6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-13 10:32:06 +00:00
Code Issues Projects Releases Wiki Activity

eliminate some uses of canLosslesslyBitCastTo, this actually makes the code stronger, by nuking

Browse Source 
relational pointer comparisons with casts.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32947 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2007-01-06 01:45:59 +00:00
parent d5dc0fb011
commit 57d8637468
1 changed files with 14 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5133,25 +5133,22 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
return NI; return NI;
// Test to see if the operands of the icmp are casted versions of other // Test to see if the operands of the icmp are casted versions of other
// values. If the cast can be stripped off both arguments, we do so now. // values. If the ptr->ptr cast can be stripped off both arguments, we do so
if (CastInst *CI = dyn_cast<CastInst>(Op0)) { // now.
Value *CastOp0 = CI->getOperand(0); if (BitCastInst *CI = dyn_cast<BitCastInst>(Op0)) {
if (CI->isLosslessCast() && I.isEquality() && if (isa<PointerType>(Op0->getType()) &&
(isa<Constant>(Op1) || isa<CastInst>(Op1))) { (isa<Constant>(Op1) || isa<BitCastInst>(Op1))) {
// We keep moving the cast from the left operand over to the right // We keep moving the cast from the left operand over to the right
// operand, where it can often be eliminated completely. // operand, where it can often be eliminated completely.
Op0 = CastOp0; Op0 = CI->getOperand(0);
// If operand #1 is a cast instruction, see if we can eliminate it as // If operand #1 is a bitcast instruction, it must also be a ptr->ptr cast
// well. // so eliminate it as well.
if (CastInst *CI2 = dyn_cast<CastInst>(Op1)) { if (BitCastInst *CI2 = dyn_cast<BitCastInst>(Op1))
Value *CI2Op0 = CI2->getOperand(0); Op1 = CI2->getOperand(0);
if (CI2Op0->getType()->canLosslesslyBitCastTo(Op0->getType()))
Op1 = CI2Op0;
}
// If Op1 is a constant, we can fold the cast into the constant. // If Op1 is a constant, we can fold the cast into the constant.
if (Op1->getType() != Op0->getType()) if (Op0->getType() != Op1->getType())
if (Constant *Op1C = dyn_cast<Constant>(Op1)) { if (Constant *Op1C = dyn_cast<Constant>(Op1)) {
Op1 = ConstantExpr::getBitCast(Op1C, Op0->getType()); Op1 = ConstantExpr::getBitCast(Op1C, Op0->getType());
} else { } else {
@ -5160,7 +5157,9 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
} }
return new ICmpInst(I.getPredicate(), Op0, Op1); return new ICmpInst(I.getPredicate(), Op0, Op1);
} }
}
if (isa<CastInst>(Op0)) {
// Handle the special case of: icmp (cast bool to X), <cst> // Handle the special case of: icmp (cast bool to X), <cst>
// This comes up when you have code like // This comes up when you have code like
// int X = A < B; // int X = A < B;