diff options
Diffstat (limited to 'polly/test/IndependentBlocks/inter_bb_scalar_dep.ll')
| -rw-r--r-- | polly/test/IndependentBlocks/inter_bb_scalar_dep.ll | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/polly/test/IndependentBlocks/inter_bb_scalar_dep.ll b/polly/test/IndependentBlocks/inter_bb_scalar_dep.ll index 4860e8700ac..5a6014d4995 100644 --- a/polly/test/IndependentBlocks/inter_bb_scalar_dep.ll +++ b/polly/test/IndependentBlocks/inter_bb_scalar_dep.ll @@ -1,5 +1,7 @@ ; RUN: opt %loadPolly -basicaa -polly-independent -S < %s | FileCheck %s ; RUN: opt %loadPolly -basicaa -polly-independent -polly-codegen-scev -S < %s | FileCheck %s +; RUN: opt %loadPolly -basicaa -polly-independent -disable-polly-intra-scop-scalar-to-array -S < %s | FileCheck %s -check-prefix=SCALARACCESS +; RUN: opt %loadPolly -basicaa -polly-independent -polly-codegen-scev -disable-polly-intra-scop-scalar-to-array -S < %s | FileCheck %s -check-prefix=SCALARACCESS ; void f(long A[], int N, int *init_ptr) { ; long i, j; @@ -21,6 +23,8 @@ entry: ; CHECK: entry ; CHECK: %init.s2a = alloca i64 ; CHECK: br label %for.i + +; SCALARACCESS-NOT: alloca br label %for.i for.i: @@ -30,6 +34,7 @@ for.i: entry.next: %init = load i64* %init_ptr +; SCALARACCESS-NOT: store br label %for.j for.j: @@ -37,6 +42,7 @@ for.j: %init_plus_two = add i64 %init, 2 ; CHECK: %init.loadarray = load i64* %init.s2a ; CHECK: %init_plus_two = add i64 %init.loadarray, 2 +; SCALARACCESS: %init_plus_two = add i64 %init, 2 %scevgep = getelementptr i64* %A, i64 %indvar.j store i64 %init_plus_two, i64* %scevgep %indvar.j.next = add nsw i64 %indvar.j, 1 |
