6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-14 17:34:41 +00:00
Code Issues Projects Releases Wiki Activity

Do not handle case where LHS is equal to zero, because InstCombiner always moves

Browse Source 
it to RHS anyway.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136586 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakub Staszak 2011-07-31 04:47:20 +00:00
parent 592ad6a82f
commit a385c20d42
1 changed files with 8 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
lib/Analysis/BranchProbabilityInfo.cpp
View File

@ -287,21 +287,9 @@ bool BranchProbabilityAnalysis::calcZeroHeuristics(BasicBlock *BB) {
if (!CI)
return false;
Value *LHS = CI->getOperand(0);
Value *RHS = CI->getOperand(1);
bool hasZero = false;
bool lhsZero = false;
if (ConstantInt *CI = dyn_cast<ConstantInt>(LHS)) {
hasZero = CI->isZero();
lhsZero = true;
}
if (!hasZero)
if (ConstantInt *CI = dyn_cast<ConstantInt>(RHS))
hasZero = CI->isZero();
if (!hasZero)
ConstantInt *CV = dyn_cast<ConstantInt>(RHS);
if (!CV || !CV->isZero())
return false;
bool isProb;
@ -321,11 +309,9 @@ bool BranchProbabilityAnalysis::calcZeroHeuristics(BasicBlock *BB) {
case CmpInst::ICMP_SLT:
case CmpInst::ICMP_SLE:
// Less or equal to zero is not expected.
// 0 < X -> isProb = true
// 0 <= X -> isProb = true
// X < 0 -> isProb = false
// X <= 0 -> isProb = false
isProb = lhsZero;
// X < 0 -> Unlikely
// X <= 0 -> Unlikely
isProb = false;
break;
case CmpInst::ICMP_UGT:
@ -333,11 +319,9 @@ bool BranchProbabilityAnalysis::calcZeroHeuristics(BasicBlock *BB) {
case CmpInst::ICMP_SGT:
case CmpInst::ICMP_SGE:
// Greater or equal to zero is expected.
// 0 > X -> isProb = false
// 0 >= X -> isProb = false
// X > 0 -> isProb = true
// X >= 0 -> isProb = true
isProb = !lhsZero;
// X > 0 -> Likely
// X >= 0 -> Likely
isProb = true;
break;
default: