From: Chris Lattner <sabre@nondot.org>
Date: Thu, 17 May 2007 18:19:23 +0000 (+0000)
Subject: disable MaskedValueIsZero, ComputeMaskedBits, and SimplifyDemandedBits for
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=3fc5b01d38ddccbe53ff0b32cc0100351d698c66;p=oota-llvm.git

disable MaskedValueIsZero, ComputeMaskedBits, and SimplifyDemandedBits for
i128 integers.  The 64-bit masks are not wide enough to represent the results.
These should be converted to APInt someday.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37169 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/CodeGen/SelectionDAG/TargetLowering.cpp b/lib/CodeGen/SelectionDAG/TargetLowering.cpp
index 970533b9a51..a0125d395d1 100644
--- a/lib/CodeGen/SelectionDAG/TargetLowering.cpp
+++ b/lib/CodeGen/SelectionDAG/TargetLowering.cpp
@@ -365,6 +365,11 @@ bool TargetLowering::SimplifyDemandedBits(SDOperand Op, uint64_t DemandedMask,
                                           TargetLoweringOpt &TLO,
                                           unsigned Depth) const {
   KnownZero = KnownOne = 0;   // Don't know anything.
+
+  // The masks are not wide enough to represent this type!  Should use APInt.
+  if (Op.getValueType() == MVT::i128)
+    return false;
+  
   // Other users may use these bits.
   if (!Op.Val->hasOneUse()) { 
     if (Depth != 0) {
@@ -874,6 +879,10 @@ bool TargetLowering::SimplifyDemandedBits(SDOperand Op, uint64_t DemandedMask,
 /// for bits that V cannot have.
 bool TargetLowering::MaskedValueIsZero(SDOperand Op, uint64_t Mask, 
                                        unsigned Depth) const {
+  // The masks are not wide enough to represent this type!  Should use APInt.
+  if (Op.getValueType() == MVT::i128)
+    return false;
+  
   uint64_t KnownZero, KnownOne;
   ComputeMaskedBits(Op, Mask, KnownZero, KnownOne, Depth);
   assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); 
@@ -891,6 +900,10 @@ void TargetLowering::ComputeMaskedBits(SDOperand Op, uint64_t Mask,
   if (Depth == 6 || Mask == 0)
     return;  // Limit search depth.
   
+  // The masks are not wide enough to represent this type!  Should use APInt.
+  if (Op.getValueType() == MVT::i128)
+    return;
+  
   uint64_t KnownZero2, KnownOne2;
 
   switch (Op.getOpcode()) {