[llvm-commits] CVS: llvm/lib/Target/Alpha/AlphaISelDAGToDAG.cpp

[Andrew Lenharth]

Changes in directory llvm/lib/Target/Alpha:

AlphaISelDAGToDAG.cpp updated: 1.34 -> 1.35
---
Log message:

improved zap discovery

---
Diffs of the changes:  (+33 -0)

 AlphaISelDAGToDAG.cpp |   33 +++++++++++++++++++++++++++++++++
 1 files changed, 33 insertions(+)


Index: llvm/lib/Target/Alpha/AlphaISelDAGToDAG.cpp
diff -u llvm/lib/Target/Alpha/AlphaISelDAGToDAG.cpp:1.34 llvm/lib/Target/Alpha/AlphaISelDAGToDAG.cpp:1.35
--- llvm/lib/Target/Alpha/AlphaISelDAGToDAG.cpp:1.34	Thu Feb  9 01:17:49 2006
+++ llvm/lib/Target/Alpha/AlphaISelDAGToDAG.cpp	Mon Feb 13 12:52:29 2006
@@ -363,6 +363,39 @@
     }
     break;
 
+  case ISD::AND: {
+    ConstantSDNode* SC;
+    ConstantSDNode* MC;
+    if (N->getOperand(0).getOpcode() == ISD::SRL &&
+	(MC = dyn_cast<ConstantSDNode>(N->getOperand(1))) &&
+	(SC = dyn_cast<ConstantSDNode>(N->getOperand(0).getOperand(1))))
+      {
+	uint64_t sval = SC->getValue();
+	uint64_t mval = MC->getValue();
+	if (get_zapImm(mval)) //the result is a zap, let the autogened stuff deal
+	  break;
+	// given mask X, and shift S, we want to see if there is any zap in the mask
+	// if we play around with the botton S bits
+	uint64_t dontcare = (~0ULL) >> (64 - sval);
+	uint64_t mask = mval << sval;
+
+	if (get_zapImm(mask | dontcare))
+	  mask = mask | dontcare;
+
+	if (get_zapImm(mask)) {
+	  SDOperand Src;
+	  Select(Src, N->getOperand(0).getOperand(0));
+	  SDOperand Z = 
+	    SDOperand(CurDAG->getTargetNode(Alpha::ZAPNOTi, MVT::i64, Src, 
+					    getI64Imm(get_zapImm(mask))), 0);
+	  Result = SDOperand(CurDAG->getTargetNode(Alpha::SRL, MVT::i64, Z, 
+						   getI64Imm(sval)), 0);
+	  return;
+	}
+      }
+    break;
+  }
+
   }
 
   SelectCode(Result, Op);