aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2005-04-09 21:43:54 +0000
committerChris Lattner <sabre@nondot.org>2005-04-09 21:43:54 +0000
commita2daa8c78d8749d6b4743e8bbfe4d522cd13a669 (patch)
tree32677f7b93e9b47dbdadad390d8dc4fca7e93df2
parent91277ea45c7a6f052dd588edee51644f23194619 (diff)
add a little peephole optimization. This allows us to codegen:
int a(short i) { return i & 1; } as _a: andi. r3, r3, 1 blr instead of: _a: rlwinm r2, r3, 0, 16, 31 andi. r3, r2, 1 blr on ppc. It should also help the other risc targets. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21189 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/CodeGen/SelectionDAG/SelectionDAG.cpp11
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
index 765ff1b758..74e807ca82 100644
--- a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
+++ b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
@@ -766,6 +766,17 @@ SDOperand SelectionDAG::getNode(unsigned Opcode, MVT::ValueType VT,
if (!C2) return N2; // X and 0 -> 0
if (N2C->isAllOnesValue())
return N1; // X and -1 -> X
+
+ // and (zero_extend_inreg x:16:32), 1 -> and x, 1
+ if (N1.getOpcode() == ISD::ZERO_EXTEND_INREG ||
+ N1.getOpcode() == ISD::SIGN_EXTEND_INREG) {
+ // If we are masking out the part of our input that was extended, just
+ // mask the input to the extension directly.
+ unsigned ExtendBits =
+ MVT::getSizeInBits(cast<MVTSDNode>(N1)->getExtraValueType());
+ if ((C2 & (~0ULL << ExtendBits)) == 0)
+ return getNode(ISD::AND, VT, N1.getOperand(0), N2);
+ }
break;
case ISD::OR:
if (!C2)return N1; // X or 0 -> X