Implement InstCombine/cast.ll:test29

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@28126 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2006-05-05 06:39:07 +00:00
parent a0771b8020
commit 6fc205fc44

View File

@ -2640,6 +2640,19 @@ Instruction *InstCombiner::visitAnd(BinaryOperator &I) {
}
}
// fold (and (cast A), (cast B)) -> (cast (and A, B))
if (CastInst *Op0C = dyn_cast<CastInst>(Op0)) {
if (CastInst *Op1C = dyn_cast<CastInst>(Op1))
if (Op0C->getOperand(0)->getType() == Op1C->getOperand(0)->getType() &&
Op0C->getOperand(0)->getType()->isIntegral()) {
Instruction *NewOp = BinaryOperator::createAnd(Op0C->getOperand(0),
Op1C->getOperand(0),
I.getName());
InsertNewInstBefore(NewOp, I);
return new CastInst(NewOp, I.getType());
}
}
return Changed ? &I : 0;
}
@ -2865,6 +2878,20 @@ Instruction *InstCombiner::visitOr(BinaryOperator &I) {
}
}
}
// fold (or (cast A), (cast B)) -> (cast (or A, B))
if (CastInst *Op0C = dyn_cast<CastInst>(Op0)) {
if (CastInst *Op1C = dyn_cast<CastInst>(Op1))
if (Op0C->getOperand(0)->getType() == Op1C->getOperand(0)->getType() &&
Op0C->getOperand(0)->getType()->isIntegral()) {
Instruction *NewOp = BinaryOperator::createOr(Op0C->getOperand(0),
Op1C->getOperand(0),
I.getName());
InsertNewInstBefore(NewOp, I);
return new CastInst(NewOp, I.getType());
}
}
return Changed ? &I : 0;
}
@ -3030,6 +3057,19 @@ Instruction *InstCombiner::visitXor(BinaryOperator &I) {
if (Instruction *R = AssociativeOpt(I, FoldSetCCLogical(*this, RHS)))
return R;
// fold (xor (cast A), (cast B)) -> (cast (xor A, B))
if (CastInst *Op0C = dyn_cast<CastInst>(Op0)) {
if (CastInst *Op1C = dyn_cast<CastInst>(Op1))
if (Op0C->getOperand(0)->getType() == Op1C->getOperand(0)->getType() &&
Op0C->getOperand(0)->getType()->isIntegral()) {
Instruction *NewOp = BinaryOperator::createXor(Op0C->getOperand(0),
Op1C->getOperand(0),
I.getName());
InsertNewInstBefore(NewOp, I);
return new CastInst(NewOp, I.getType());
}
}
return Changed ? &I : 0;
}