Disable support for modulo expressions

  The support for modulo expressions is not comlete and makes the new
  domain generation harder. As the currently broken domain generation
  needs to be replaced, we will first swap in the new, fixed domain
  generation and make it compatible with the modulo expressions later.

llvm-svn: 247278

1 files changed, 17 insertions, 11 deletions

diff --git a/polly/lib/Support/SCEVValidator.cpp b/polly/lib/Support/SCEVValidator.cpp
index 85bda185ec3..4514219d79a 100644
--- a/polly/lib/Support/SCEVValidator.cpp
+++ b/polly/lib/Support/SCEVValidator.cpp
@@ -350,17 +350,23 @@ public:
   }
 
   ValidatorResult visitSRemInstruction(Instruction *SRem, const SCEV *S) {
-    assert(SRem->getOpcode() == Instruction::SRem &&
-           "Assumed SRem instruction!");
-
-    auto *Divisor = SRem->getOperand(1);
-    auto *CI = dyn_cast<ConstantInt>(Divisor);
-    if (!CI)
-      return visitGenericInst(SRem, S);
-
-    auto *Dividend = SRem->getOperand(0);
-    auto *DividendSCEV = SE.getSCEV(Dividend);
-    return visit(DividendSCEV);
+    // TODO: FIXME: SRem instructions in the domain description are currently
+    //              not compatible with the domain generation. Once this is
+    //              fixed we need to enable this handling again.
+    return ValidatorResult(SCEVType::INVALID);
+#if 0
+        assert(SRem->getOpcode() == Instruction::SRem &&
+               "Assumed SRem instruction!");
+
+        auto *Divisor = SRem->getOperand(1);
+        auto *CI = dyn_cast<ConstantInt>(Divisor);
+        if (!CI)
+          return visitGenericInst(SRem, S);
+
+        auto *Dividend = SRem->getOperand(0);
+        auto *DividendSCEV = SE.getSCEV(Dividend);
+        return visit(DividendSCEV);
+#endif
   }
 
   ValidatorResult visitUnknown(const SCEVUnknown *Expr) {