mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-10 06:25:01 +00:00
Fix PR1800 by correcting mistaken logic.
llvm-svn: 44188
This commit is contained in:
parent
8b9d6f487e
commit
5574ba5ce6
@ -3577,8 +3577,7 @@ Instruction *InstCombiner::visitAnd(BinaryOperator &I) {
|
||||
case ICmpInst::ICMP_SGT:
|
||||
switch (RHSCC) {
|
||||
default: assert(0 && "Unknown integer condition code!");
|
||||
case ICmpInst::ICMP_EQ: // (X s> 13 & X == 15) -> X s> 13
|
||||
return ReplaceInstUsesWith(I, LHS);
|
||||
case ICmpInst::ICMP_EQ: // (X s> 13 & X == 15) -> X == 15
|
||||
case ICmpInst::ICMP_SGT: // (X s> 13 & X s> 15) -> X s> 15
|
||||
return ReplaceInstUsesWith(I, RHS);
|
||||
case ICmpInst::ICMP_UGT: // (X s> 13 & X u> 15) -> no change
|
||||
|
10
test/Transforms/InstCombine/2007-11-15-CompareMiscomp.ll
Normal file
10
test/Transforms/InstCombine/2007-11-15-CompareMiscomp.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {icmp eq i32 %In, 1}
|
||||
; PR1800
|
||||
|
||||
define i1 @test(i32 %In) {
|
||||
%c1 = icmp sgt i32 %In, -1
|
||||
%c2 = icmp eq i32 %In, 1
|
||||
%V = and i1 %c1, %c2
|
||||
ret i1 %V
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user