maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189. 

llvm-svn: 152066
This commit is contained in:
Eli Friedman 2012-03-05 23:09:40 +00:00
parent 9d96f843b8
commit a8b75ac798
2 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/lib/Analysis/ValueTracking.cpp
View File

@ -691,8 +691,8 @@ void llvm::ComputeMaskedBits(Value *V, const APInt &Mask,
if (P->hasConstantValue() == P)
break;
KnownZero = APInt::getAllOnesValue(BitWidth);
KnownOne = APInt::getAllOnesValue(BitWidth);
KnownZero = Mask;
KnownOne = Mask;
for (unsigned i = 0, e = P->getNumIncomingValues(); i != e; ++i) {
// Skip direct self references.
if (P->getIncomingValue(i) == P) continue;

22
llvm/test/Transforms/InstSimplify/phi.ll Normal file
View File

@ -0,0 +1,22 @@
; RUN: opt < %s -instsimplify -S | FileCheck %s
; PR12189
define i1 @test1(i32 %x) {
; CHECK: @test1
br i1 true, label %a, label %b
a:
%aa = or i32 %x, 10
br label %c
b:
%bb = or i32 %x, 10
br label %c
c:
%cc = phi i32 [ %bb, %b ], [%aa, %a ]
%d = urem i32 %cc, 2
%e = icmp eq i32 %d, 0
ret i1 %e
; CHECK: ret i1 %e
}