add a little peephole optimization. This allows us to codegen:
authorChris Lattner <sabre@nondot.org>
Sat, 9 Apr 2005 21:43:54 +0000 (21:43 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 9 Apr 2005 21:43:54 +0000 (21:43 +0000)
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

lib/CodeGen/SelectionDAG/SelectionDAG.cpp

index 765ff1b758a340d0cd63072d07970c2708925be2..74e807ca82697a6c6482a554e3d119b39ef0fa91 100644 (file)
@@ -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