diff options
| author | Dan Gohman <gohman@apple.com> | 2010-02-22 22:43:23 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-02-22 22:43:23 +0000 |
| commit | 0e488b3d1c9293bbf2d64d0ecc4d6339f9100351 (patch) | |
| tree | 9d3893eb6a32ae3b37608348ef4e433aefee996c /lib/VMCore/ConstantFold.cpp | |
| parent | 418b5683363bade8a6f924f753fa76d8c752be2c (diff) | |
Canonicalize ConstantInts to the right operand of commutative
operators.
The test difference is just due to the multiplication operands
being commuted (and thus requiring a more elaborate match). In
optimized code, that expression would be folded.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96816 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/ConstantFold.cpp')
| -rw-r--r-- | lib/VMCore/ConstantFold.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/VMCore/ConstantFold.cpp b/lib/VMCore/ConstantFold.cpp index c79eb7ef2c..36b307ce88 100644 --- a/lib/VMCore/ConstantFold.cpp +++ b/lib/VMCore/ConstantFold.cpp @@ -1105,6 +1105,10 @@ Constant *llvm::ConstantFoldBinaryInstruction(unsigned Opcode, return ConstantExpr::getLShr(C1, C2); break; } + } else if (isa<ConstantInt>(C1)) { + // If C1 is a ConstantInt and C2 is not, swap the operands. + if (Instruction::isCommutative(Opcode)) + return ConstantExpr::get(Opcode, C2, C1); } // At this point we know neither constant is an UndefValue. |