6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-01 15:11:24 +00:00
Code Issues Projects Releases Wiki Activity

- Reduce nesting.

Browse Source 
- No need to do a swap on a canonicalized pattern.

No functionality change.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60397 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling 2008-12-02 05:06:43 +00:00
parent f8828eb41b
commit dda74e0702
1 changed files with 16 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4447,30 +4447,24 @@ Instruction *InstCombiner::FoldOrOfICmps(Instruction &I,
/// of the two constants is "all ones".)
Instruction *InstCombiner::FoldOrWithConstants(BinaryOperator &I, Value *Op,
Value *A, Value *B, Value *C) {
if (ConstantInt *CI1 = dyn_cast<ConstantInt>(C)) {
Value *V1 = 0, *C2 = 0;
if (match(Op, m_And(m_Value(V1), m_Value(C2)))) {
ConstantInt *CI2 = dyn_cast<ConstantInt>(C2);
ConstantInt *CI1 = dyn_cast<ConstantInt>(C);
if (!CI1) return 0;
if (!CI2) {
std::swap(V1, C2);
CI2 = dyn_cast<ConstantInt>(C2);
}
Value *V1 = 0, *C2 = 0;
if (match(Op, m_And(m_Value(V1), m_Value(C2)))) {
ConstantInt *CI2 = dyn_cast<ConstantInt>(C2);
if (!CI2) return 0;
if (CI2) {
APInt Xor = CI1->getValue() ^ CI2->getValue();
if (Xor.isAllOnesValue()) {
if (V1 == B) {
Instruction *NewOp =
InsertNewInstBefore(BinaryOperator::CreateAnd(A, CI1), I);
return BinaryOperator::CreateOr(NewOp, B);
}
if (V1 == A) {
Instruction *NewOp =
InsertNewInstBefore(BinaryOperator::CreateAnd(B, CI1), I);
return BinaryOperator::CreateOr(NewOp, A);
}
}
APInt Xor = CI1->getValue() ^ CI2->getValue();
if (Xor.isAllOnesValue()) {
if (V1 == B) {
Instruction *NewOp =
InsertNewInstBefore(BinaryOperator::CreateAnd(A, CI1), I);
return BinaryOperator::CreateOr(NewOp, B);
} else if (V1 == A) {
Instruction *NewOp =
InsertNewInstBefore(BinaryOperator::CreateAnd(B, CI1), I);
return BinaryOperator::CreateOr(NewOp, A);
}
}
}