6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-14 11:32:34 +00:00
Code Issues Projects Releases Wiki Activity

Implement better constant folding of unordered FCMP predicates.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33063 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Reid Spencer 2007-01-11 00:25:45 +00:00
parent 97149737f2
commit 5305478511
1 changed files with 27 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
lib/VMCore/ConstantFold.cpp
View File

@ -1110,18 +1110,38 @@ Constant *llvm::ConstantFoldCompareInstruction(unsigned short pred,
case FCmpInst::FCMP_FALSE: return ConstantBool::getFalse();
case FCmpInst::FCMP_TRUE: return ConstantBool::getTrue();
case FCmpInst::FCMP_UNO:
case FCmpInst::FCMP_ORD: break; // Can't fold these
return ConstantBool::get(C1Val != C1Val || C2Val != C2Val);
case FCmpInst::FCMP_ORD:
return ConstantBool::get(C1Val == C1Val && C2Val == C2Val);
case FCmpInst::FCMP_UEQ:
if (C1Val != C1Val || C2Val != C2Val)
return ConstantBool::getTrue();
/* FALL THROUGH */
case FCmpInst::FCMP_OEQ: return ConstantBool::get(C1Val == C2Val);
case FCmpInst::FCMP_ONE:
case FCmpInst::FCMP_UNE: return ConstantBool::get(C1Val != C2Val);
case FCmpInst::FCMP_OLT:
case FCmpInst::FCMP_ULT: return ConstantBool::get(C1Val < C2Val);
case FCmpInst::FCMP_UNE:
if (C1Val != C1Val || C2Val != C2Val)
return ConstantBool::getTrue();
/* FALL THROUGH */
case FCmpInst::FCMP_ONE: return ConstantBool::get(C1Val != C2Val);
case FCmpInst::FCMP_ULT:
if (C1Val != C1Val || C2Val != C2Val)
return ConstantBool::getTrue();
/* FALL THROUGH */
case FCmpInst::FCMP_OLT: return ConstantBool::get(C1Val < C2Val);
case FCmpInst::FCMP_UGT:
if (C1Val != C1Val || C2Val != C2Val)
return ConstantBool::getTrue();
/* FALL THROUGH */
case FCmpInst::FCMP_OGT: return ConstantBool::get(C1Val > C2Val);
case FCmpInst::FCMP_OLE:
case FCmpInst::FCMP_ULE: return ConstantBool::get(C1Val <= C2Val);
case FCmpInst::FCMP_ULE:
if (C1Val != C1Val || C2Val != C2Val)
return ConstantBool::getTrue();
/* FALL THROUGH */
case FCmpInst::FCMP_OLE: return ConstantBool::get(C1Val <= C2Val);
case FCmpInst::FCMP_UGE:
if (C1Val != C1Val || C2Val != C2Val)
return ConstantBool::getTrue();
/* FALL THROUGH */
case FCmpInst::FCMP_OGE: return ConstantBool::get(C1Val >= C2Val);
}
} else if (const ConstantPacked *CP1 = dyn_cast<ConstantPacked>(C1)) {