[polly] r363599 - [test] Add wrap flags after D61934.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Mon Jun 17 12:17:07 2019
New Revision: 363599

URL: http://llvm.org/viewvc/llvm-project?rev=363599&view=rev
Log:
[test] Add wrap flags after D61934.

https://reviews.llvm.org/D61934, committed as r362687, r363540, r363364
and r363147, made some emitted instruction nus/nsw. Add these falgs to
Polly's regression tests.

This should fix
    Polly :: Isl/CodeGen/partial_write_in_region_with_loop.ll
    Polly :: Isl/CodeGen/scev_expansion_in_nonaffine.ll

Modified:
    polly/trunk/test/Isl/CodeGen/partial_write_in_region_with_loop.ll
    polly/trunk/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll

Modified: polly/trunk/test/Isl/CodeGen/partial_write_in_region_with_loop.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/partial_write_in_region_with_loop.ll?rev=363599&r1=363598&r2=363599&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/partial_write_in_region_with_loop.ll (original)
+++ polly/trunk/test/Isl/CodeGen/partial_write_in_region_with_loop.ll Mon Jun 17 12:17:07 2019
@@ -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

Modified: polly/trunk/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll?rev=363599&r1=363598&r2=363599&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll (original)
+++ polly/trunk/test/Isl/CodeGen/scev_expansion_in_nonaffine.ll Mon Jun 17 12:17:07 2019
@@ -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