Fix similar missing optimization opportunity in XOR.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31123 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2006-10-22 22:22:58 +00:00
parent ecb8d06356
commit 7e189d095e

View File

@ -349,19 +349,28 @@ namespace {
}
} break;
case Instruction::Xor: {
ConstantIntegral *CI = dyn_cast<ConstantIntegral>(V1);
if (!CI) break;
if (CI->isAllOnesValue()) {
if (BO->getOperand(0) == V1)
add(Opcode, ConstantBool::getFalse(), BO->getOperand(1), false);
if (BO->getOperand(1) == V1)
add(Opcode, ConstantBool::getFalse(), BO->getOperand(0), false);
}
if (CI->isNullValue()) {
if (BO->getOperand(0) == ConstantBool::getTrue())
add(Opcode, ConstantBool::getTrue(), BO->getOperand(1), false);
if (BO->getOperand(1) == ConstantBool::getTrue())
add(Opcode, ConstantBool::getTrue(), BO->getOperand(0), false);
if (ConstantIntegral *CI = dyn_cast<ConstantIntegral>(V1)) {
const Type *Ty = BO->getType();
if (CI->isAllOnesValue()) {
if (BO->getOperand(0) == V1)
add(Opcode, Constant::getNullValue(Ty),
BO->getOperand(1), false);
if (BO->getOperand(1) == V1)
add(Opcode, Constant::getNullValue(Ty),
BO->getOperand(0), false);
}
if (CI->isNullValue()) {
ConstantIntegral *Op0 =
dyn_cast<ConstantIntegral>(BO->getOperand(0));
ConstantIntegral *Op1 =
dyn_cast<ConstantIntegral>(BO->getOperand(1));
if (Op0 && Op0->isAllOnesValue())
add(Opcode, ConstantIntegral::getAllOnesValue(Ty),
BO->getOperand(1), false);
if (Op1 && Op1->isAllOnesValue())
add(Opcode, ConstantIntegral::getAllOnesValue(Ty),
BO->getOperand(0), false);
}
}
} break;
default: