From fc4429e7c1681968280a477032b7e506ff67b2a7 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 21 Jan 2005 23:06:49 +0000 Subject: Handle comparisons of gep instructions that have different typed indices as long as they are the same size. llvm-svn: 19734 --- llvm/lib/Transforms/Scalar/InstructionCombining.cpp | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'llvm/lib/Transforms/Scalar/InstructionCombining.cpp') diff --git a/llvm/lib/Transforms/Scalar/InstructionCombining.cpp b/llvm/lib/Transforms/Scalar/InstructionCombining.cpp index 6312f426dd3..080bc78943a 100644 --- a/llvm/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/llvm/lib/Transforms/Scalar/InstructionCombining.cpp @@ -2244,9 +2244,9 @@ Instruction *InstCombiner::FoldGEPSetCC(User *GEPLHS, Value *RHS, unsigned DiffOperand = 0; // The operand that differs. for (unsigned i = 1, e = GEPRHS->getNumOperands(); i != e; ++i) if (GEPLHS->getOperand(i) != GEPRHS->getOperand(i)) { - if (GEPLHS->getOperand(i)->getType() != - GEPRHS->getOperand(i)->getType()) { - // Irreconsilable differences. + if (GEPLHS->getOperand(i)->getType()->getPrimitiveSize() != + GEPRHS->getOperand(i)->getType()->getPrimitiveSize()) { + // Irreconcilable differences. NumDifferences = 2; break; } else { @@ -2259,8 +2259,12 @@ Instruction *InstCombiner::FoldGEPSetCC(User *GEPLHS, Value *RHS, return ReplaceInstUsesWith(I, // No comparison is needed here. ConstantBool::get(Cond == Instruction::SetEQ)); else if (NumDifferences == 1) { - return new SetCondInst(Cond, GEPLHS->getOperand(DiffOperand), - GEPRHS->getOperand(DiffOperand)); + Value *LHSV = GEPLHS->getOperand(DiffOperand); + Value *RHSV = GEPRHS->getOperand(DiffOperand); + if (LHSV->getType() != RHSV->getType()) + LHSV = InsertNewInstBefore(new CastInst(LHSV, RHSV->getType(), + LHSV->getName()+".c"), I); + return new SetCondInst(Cond, LHSV, RHSV); } } -- cgit v1.2.3