diff options
Diffstat (limited to 'polly/test/Isl/single_loop_param_less_equal.ll')
| -rw-r--r-- | polly/test/Isl/single_loop_param_less_equal.ll | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/polly/test/Isl/single_loop_param_less_equal.ll b/polly/test/Isl/single_loop_param_less_equal.ll index 45442b868ff..06d32085b63 100644 --- a/polly/test/Isl/single_loop_param_less_equal.ll +++ b/polly/test/Isl/single_loop_param_less_equal.ll @@ -34,21 +34,26 @@ ret: ; CHECK: Stmt_loop_body(c1) ; CODEGEN: polly.start: -; CODEGEN: br label %polly.loop_header +; CODEGEN: br label %polly.loop_if -; CODEGEN: polly.loop_after: +; CODEGEN: polly.loop_exit: ; CODEGEN: br label %polly.merge_new_and_old -; CODEGEN: polly.loop_header: -; CODEGEN: %polly.loopiv = phi i64 [ 0, %polly.start ], [ %polly.next_loopiv, %polly.stmt.loop.body ] -; CODEGEN: %polly.next_loopiv = add nsw i64 %polly.loopiv, 1 -; CODEGEN: %0 = icmp sle i64 %polly.loopiv, %n -; CODEGEN: br i1 %0, label %polly.loop_body, label %polly.loop_after +; CODEGEN: polly.loop_if: +; CODEGEN: %polly.loop_guard = icmp sle i64 0, %n +; CODEGEN: br i1 %polly.loop_guard, label %polly.loop_preheader, label %polly.loop_exit -; CODEGEN: polly.loop_body: +; CODEGEN: polly.loop_header: +; CODEGEN: %polly.indvar = phi i64 [ 0, %polly.loop_preheader ], [ %polly.indvar_next, %polly.stmt.loop.body ] ; CODEGEN: br label %polly.stmt.loop.body ; CODEGEN: polly.stmt.loop.body: -; CODEGEN: %p_scevgep.moved.to.loop.body = getelementptr [1024 x i32]* @A, i64 0, i64 %polly.loopiv +; CODEGEN: %p_scevgep.moved.to.loop.body = getelementptr [1024 x i32]* @A, i64 0, i64 %polly.indvar ; CODEGEN: store i32 1, i32* %p_scevgep.moved.to.loop.body +; CODEGEN: %polly.indvar_next = add nsw i64 %polly.indvar, 1 +; CODEGEN: %polly.adjust_ub = sub i64 %n, 1 +; CODEGEN: %polly.loop_cond = icmp sle i64 %polly.indvar, %polly.adjust_ub +; CODEGEN: br i1 %polly.loop_cond, label %polly.loop_header, label %polly.loop_exit + +; CODEGEN: polly.loop_preheader: ; CODEGEN: br label %polly.loop_header |
