Update to ISL 0.16.1
llvm-svn: 257898
diff --git a/polly/test/Isl/CodeGen/exprModDiv.ll b/polly/test/Isl/CodeGen/exprModDiv.ll
index 23319dd..671d68c 100644
--- a/polly/test/Isl/CodeGen/exprModDiv.ll
+++ b/polly/test/Isl/CodeGen/exprModDiv.ll
@@ -32,17 +32,14 @@
; #define floord(n,d) ((n < 0) ? (n - d + 1) : n) / d
; A[p + 127 * floord(-p - 1, 127) + 127]
-; CHECK: %17 = sub nsw i64 0, %p
-; CHECK: %18 = sub nsw i64 %17, 1
-; CHECK: %pexp.fdiv_q.0 = sub i64 %18, 127
+; CHECK: %pexp.fdiv_q.0 = sub i64 %p, 127
; CHECK: %pexp.fdiv_q.1 = add i64 %pexp.fdiv_q.0, 1
-; CHECK: %pexp.fdiv_q.2 = icmp slt i64 %18, 0
-; CHECK: %pexp.fdiv_q.3 = select i1 %pexp.fdiv_q.2, i64 %pexp.fdiv_q.1, i64 %18
+; CHECK: %pexp.fdiv_q.2 = icmp slt i64 %p, 0
+; CHECK: %pexp.fdiv_q.3 = select i1 %pexp.fdiv_q.2, i64 %pexp.fdiv_q.1, i64 %p
; CHECK: %pexp.fdiv_q.4 = sdiv i64 %pexp.fdiv_q.3, 127
-; CHECK: %19 = mul nsw i64 127, %pexp.fdiv_q.4
-; CHECK: %20 = add nsw i64 %p, %19
-; CHECK: %21 = add nsw i64 %20, 127
-; CHECK: %polly.access.A8 = getelementptr float, float* %A, i64 %21
+; CHECK: %17 = mul nsw i64 127, %pexp.fdiv_q.4
+; CHECK: %18 = sub nsw i64 %p, %17
+; CHECK: %polly.access.A8 = getelementptr float, float* %A, i64 %18
; A[p / 127]
; CHECK: %pexp.div = sdiv exact i64 %p, 127
@@ -58,13 +55,10 @@
; #define floord(n,d) ((n < 0) ? (n - d + 1) : n) / d
; A[p + 128 * floord(-p - 1, 128) + 128]
-; POW2: %17 = sub nsw i64 0, %p
-; POW2: %18 = sub nsw i64 %17, 1
-; POW2: %polly.fdiv_q.shr = ashr i64 %18, 7
-; POW2: %19 = mul nsw i64 128, %polly.fdiv_q.shr
-; POW2: %20 = add nsw i64 %p, %19
-; POW2: %21 = add nsw i64 %20, 128
-; POW2: %polly.access.A8 = getelementptr float, float* %A, i64 %21
+; POW2: %polly.fdiv_q.shr = ashr i64 %p, 7
+; POW2: %17 = mul nsw i64 128, %polly.fdiv_q.shr
+; POW2: %18 = sub nsw i64 %p, %17
+; POW2: %polly.access.A8 = getelementptr float, float* %A, i64 %18
; A[p / 128]
; POW2: %pexp.div = sdiv exact i64 %p, 128