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

Implement better constant folding of unordered FCMP predicates.

Browse Source 
llvm-svn: 33063
This commit is contained in:
Reid Spencer 2007-01-11 00:25:45 +00:00
parent a0b4424ed4
commit 12c2bdcc62
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/ConstantFolding.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)) {