/// SimplifyInstruction - See if we can compute a simplified version of this
/// instruction. If not, this returns null.
Value *llvm::SimplifyInstruction(Instruction *I, const TargetData *TD) {
- Value *Ret = 0;
switch (I->getOpcode()) {
default:
return ConstantFoldInstruction(I, TD);
case Instruction::Add:
- Ret = SimplifyAddInst(I->getOperand(0), I->getOperand(1),
- cast<BinaryOperator>(I)->hasNoSignedWrap(),
- cast<BinaryOperator>(I)->hasNoUnsignedWrap(), TD);
- break;
+ return SimplifyAddInst(I->getOperand(0), I->getOperand(1),
+ cast<BinaryOperator>(I)->hasNoSignedWrap(),
+ cast<BinaryOperator>(I)->hasNoUnsignedWrap(), TD);
case Instruction::And:
- Ret = SimplifyAndInst(I->getOperand(0), I->getOperand(1), TD);
- break;
+ return SimplifyAndInst(I->getOperand(0), I->getOperand(1), TD);
case Instruction::Or:
- Ret = SimplifyOrInst(I->getOperand(0), I->getOperand(1), TD);
- break;
+ return SimplifyOrInst(I->getOperand(0), I->getOperand(1), TD);
case Instruction::ICmp:
- Ret = SimplifyICmpInst(cast<ICmpInst>(I)->getPredicate(),
- I->getOperand(0), I->getOperand(1), TD);
- break;
+ return SimplifyICmpInst(cast<ICmpInst>(I)->getPredicate(),
+ I->getOperand(0), I->getOperand(1), TD);
case Instruction::FCmp:
- Ret = SimplifyFCmpInst(cast<FCmpInst>(I)->getPredicate(),
- I->getOperand(0), I->getOperand(1), TD);
- break;
+ return SimplifyFCmpInst(cast<FCmpInst>(I)->getPredicate(),
+ I->getOperand(0), I->getOperand(1), TD);
case Instruction::Select:
- Ret = SimplifySelectInst(I->getOperand(0), I->getOperand(1),
+ return SimplifySelectInst(I->getOperand(0), I->getOperand(1),
I->getOperand(2), TD);
- break;
case Instruction::GetElementPtr: {
SmallVector<Value*, 8> Ops(I->op_begin(), I->op_end());
- Ret = SimplifyGEPInst(&Ops[0], Ops.size(), TD);
- break;
+ return SimplifyGEPInst(&Ops[0], Ops.size(), TD);
}
}
-
- // It is possible, in situations involving unreachable loops, to
- // have a replacement that, through recursive simplification, ends up
- // simplifying to itself.
- return Ret != I ? Ret : 0;
}
/// ReplaceAndSimplifyAllUses - Perform From->replaceAllUsesWith(To) and then