diff options
| -rw-r--r-- | polly/test/ScopInfo/two-loops-right-after-each-other.ll | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/polly/test/ScopInfo/two-loops-right-after-each-other.ll b/polly/test/ScopInfo/two-loops-right-after-each-other.ll new file mode 100644 index 00000000000..5230c358188 --- /dev/null +++ b/polly/test/ScopInfo/two-loops-right-after-each-other.ll @@ -0,0 +1,42 @@ +; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -analyze \ +; RUN: < %s | FileCheck %s + +; CHECK: Stmt_loop_1 +; CHECK: Domain := +; CHECK: [N] -> { Stmt_loop_1[i0] : i0 >= 0 and i0 <= 101 and N <= 100 }; +; CHECK: Stmt_loop_2 +; CHECK: Domain := +; CHECK: [N] -> { Stmt_loop_2[i0] : i0 >= 0 and i0 <= 301 and N <= 100 }; + +define void @foo(float* %A, i64 %N) { +entry: + br label %branch + +branch: + %cond = icmp sle i64 %N, 100 + br i1 %cond, label %loop.1, label %merge + +loop.1: + %indvar.1 = phi i64 [0, %branch], [%indvar.next.1, %loop.1] + %indvar.next.1 = add i64 %indvar.1, 1 + %val.1 = load float, float* %A + %sum.1 = fadd float %val.1, 1.0 + store float %sum.1, float* %A + %cond.1 = icmp sle i64 %indvar.1, 100 + br i1 %cond.1, label %loop.1, label %loop.2 + +loop.2: + %indvar.2 = phi i64 [0, %loop.1], [%indvar.next.2, %loop.2] + %indvar.next.2 = add i64 %indvar.2, 1 + %val.2 = load float, float* %A + %sum.2 = fadd float %val.2, 1.0 + store float %sum.2, float* %A + %cond.2 = icmp sle i64 %indvar.2, 300 + br i1 %cond.2, label %loop.2, label %merge + +merge: + br label %exit + +exit: + ret void +} |
