6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-04 06:09:05 +00:00
Code Issues Projects Releases Wiki Activity

Reinstate this optimization, but without the miscompile. Thanks to Bill for

Browse Source 
tracking down that this was breaking llvm-gcc bootstrap on Linux.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54394 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2008-08-06 04:54:03 +00:00
parent 5226698f67
commit b30591ec64
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
lib/Transforms/Scalar/InstructionCombining.cpp
View File

@ -3586,6 +3586,21 @@ Instruction *InstCombiner::visitAnd(BinaryOperator &I) {
}
}
{ // (icmp ult A, C) & (icmp ult B, C) --> (icmp ult (A|B), C)
// where C is a power of 2
Value *A, *B;
ConstantInt *C1, *C2;
ICmpInst::Predicate LHSCC, RHSCC;
if (match(&I, m_And(m_ICmp(LHSCC, m_Value(A), m_ConstantInt(C1)),
m_ICmp(RHSCC, m_Value(B), m_ConstantInt(C2)))))
if (C1 == C2 && LHSCC == RHSCC && LHSCC == ICmpInst::ICMP_ULT &&
C1->getValue().isPowerOf2()) {
Instruction *NewOr = BinaryOperator::CreateOr(A, B);
InsertNewInstBefore(NewOr, I);
return new ICmpInst(LHSCC, NewOr, C1);
}
}
if (ICmpInst *RHS = dyn_cast<ICmpInst>(Op1)) {
// (icmp1 A, B) & (icmp2 A, B) --> (icmp3 A, B)
if (Instruction *R = AssociativeOpt(I, FoldICmpLogical(*this, RHS)))

10
test/Transforms/InstCombine/2008-07-08-AndICmp.ll Normal file
View File

@ -0,0 +1,10 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep icmp | count 1
; PR2330
define i1 @foo(i32 %a, i32 %b) nounwind {
entry:
icmp ult i32 %a, 8 ; <i1>:0 [#uses=1]
icmp ult i32 %b, 8 ; <i1>:1 [#uses=1]
and i1 %1, %0 ; <i1>:2 [#uses=1]
ret i1 %2
}