diff options
| -rw-r--r-- | polly/test/Isl/CodeGen/partial_write_in_region_with_loop.ll | 2 | ||||
| -rw-r--r-- | polly/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/polly/test/Isl/CodeGen/partial_write_in_region_with_loop.ll b/polly/test/Isl/CodeGen/partial_write_in_region_with_loop.ll index 6b2f91adb97..3c6ebaffad3 100644 --- a/polly/test/Isl/CodeGen/partial_write_in_region_with_loop.ll +++ b/polly/test/Isl/CodeGen/partial_write_in_region_with_loop.ll @@ -10,7 +10,7 @@ ; CHECK-NEXT: %polly.subregion.iv = phi i32 [ %polly.subregion.iv.inc, %polly.stmt.bb5.cont ], [ 0, %polly.stmt.bb3.entry ] ; CHECK-NEXT: %polly.j.0 = phi i64 [ %j.0.phiops.reload, %polly.stmt.bb3.entry ], [ %p_tmp10, %polly.stmt.bb5.cont ] ; CHECK-NEXT: %8 = zext i64 %polly.indvar to i65 -; CHECK-NEXT: %9 = add i64 %polly.indvar, -1 +; CHECK-NEXT: %9 = add nsw i64 %polly.indvar, -1 ; CHECK-NEXT: %10 = zext i64 %9 to i65 ; CHECK-NEXT: %11 = mul i65 %8, %10 ; CHECK-NEXT: %12 = lshr i65 %11, 1 diff --git a/polly/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll b/polly/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll index b2edacd619a..3e673523152 100644 --- a/polly/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll +++ b/polly/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll @@ -9,12 +9,12 @@ ; whole subregion. ; CHECK-LABEL: polly.stmt.if.then.110: -; CHECK: %[[R1_1:[0-9]*]] = mul i64 %polly.indvar[[R0_1:[0-9]*]], 30 +; CHECK: %[[R1_1:[0-9]*]] = mul nuw nsw i64 %polly.indvar[[R0_1:[0-9]*]], 30 ; CHECK: %scevgep[[R1_2:[0-9]*]] = getelementptr i32, i32* %scevgep{{[0-9]*}}, i64 %[[R1_1]] ; CHECK: store i32 0, i32* %scevgep[[R1_2]], align 8 ; CHECK-LABEL: polly.stmt.if.else: -; CHECK: %[[R2_1:[0-9]*]] = mul i64 %polly.indvar[[R0_1]], 30 +; CHECK: %[[R2_1:[0-9]*]] = mul nuw nsw i64 %polly.indvar[[R0_1]], 30 ; CHECK: %scevgep[[R2_2:[0-9]*]] = getelementptr i32, i32* %scevgep{{[0-9]*}}, i64 %[[R2_1]] ; CHECK: store i32 21, i32* %scevgep[[R2_2]], align 8 |
