RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
Code Issues Projects Releases Wiki Activity

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

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

4
lib/Analysis/ValueTracking.cpp
View File

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

22
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
}