RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-12-02 00:36:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixed an assertion failure for tracking sext of a vector of integers

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90290 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Mon P Wang 2009-12-02 04:59:58 +00:00
parent e3a18de4f6
commit 69a008075b
2 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Analysis/ValueTracking.cpp
View File

@ -659,7 +659,7 @@ unsigned llvm::ComputeNumSignBits(Value *V, const TargetData *TD,
switch (Operator::getOpcode(V)) {
default: break;
case Instruction::SExt:
Tmp = TyBits-cast<IntegerType>(U->getOperand(0)->getType())->getBitWidth();
Tmp = TyBits - U->getOperand(0)->getType()->getScalarSizeInBits();
return ComputeNumSignBits(U->getOperand(0), TD, Depth+1) + Tmp;
case Instruction::AShr:

14
test/Transforms/InstCombine/sext-2.ll Normal file
View File

@ -0,0 +1,14 @@
; Checks to see that instcombine can handle a sign extension of i1
; RUN: opt < %s -instcombine -S | FileCheck %s
define void @test(<2 x i16> %srcA, <2 x i16> %srcB, <2 x i16>* %dst) nounwind {
entry:
; CHECK-NOT: tmask
; CHECK: ret
%cmp = icmp eq <2 x i16> %srcB, %srcA;
%sext = sext <2 x i1> %cmp to <2 x i16>;
%tmask = ashr <2 x i16> %sext, <i16 15, i16 15> ;
store <2 x i16> %tmask, <2 x i16>* %dst;
ret void
}