[FIX] Do not recognize division by 0 as affine

llvm-svn: 271885

1 files changed, 2 insertions, 2 deletions

diff --git a/polly/lib/Support/SCEVValidator.cpp b/polly/lib/Support/SCEVValidator.cpp
index eba4d0d27fe..85bf815a21d 100644
--- a/polly/lib/Support/SCEVValidator.cpp
+++ b/polly/lib/Support/SCEVValidator.cpp
@@ -307,7 +307,7 @@ public:
     // First check if we might be able to model the division, thus if the
     // divisor is constant. If so, check the dividend, otherwise check if
     // the whole division can be seen as a parameter.
-    if (isa<SCEVConstant>(Divisor))
+    if (isa<SCEVConstant>(Divisor) && !Divisor->isZero())
       return visit(Dividend);
 
     // For signed divisions use the SDiv instruction to check for a parameter
@@ -345,7 +345,7 @@ public:
 
     auto *Divisor = SRem->getOperand(1);
     auto *CI = dyn_cast<ConstantInt>(Divisor);
-    if (!CI)
+    if (!CI || CI->isZeroValue())
       return visitGenericInst(SRem, S);
 
     auto *Dividend = SRem->getOperand(0);