RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-05 10:39:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Repair a transform that Chris noticed a bug in. Thanks to Nicholas for pointing out my stupid mistakes when writing this patch. :-)

Browse Source 
llvm-svn: 45384
This commit is contained in:
Owen Anderson 2007-12-28 07:42:12 +00:00
parent 2456399ce5
commit ebd3e9c500
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4835,11 +4835,18 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
if (ConstantInt *CI = dyn_cast<ConstantInt>(Op1)) {
Value *A, *B;
#if 0
// (icmp cond (sub A B) 0) -> (icmp cond A B)
if (CI->isNullValue() && match(Op0, m_Sub(m_Value(A), m_Value(B))))
return new ICmpInst(I.getPredicate(), A, B);
#endif
// (icmp cond (sub A B) 0) -> ...
if (CI->isNullValue() && match(Op0, m_Sub(m_Value(A), m_Value(B)))) {
// (icmp cond A B) if cond is signed or equality
if (CmpInst::isSigned(I.getPredicate()) || I.isEquality())
return new ICmpInst(I.getPredicate(), A, B);
// (icmp ne A B) if cond is ugt
else if (I.getPredicate() == ICmpInst::ICMP_UGT)
return new ICmpInst(ICmpInst::ICMP_NE, A, B);
// (icmp eq A B) if cond is ule
else if (I.getPredicate() == ICmpInst::ICMP_ULE)
return new ICmpInst(ICmpInst::ICMP_EQ, A, B);
}
switch (I.getPredicate()) {
default: break;