diff options
| -rw-r--r-- | polly/test/ScopInfo/pointer-used-as-base-pointer-and-scalar-read.ll | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/polly/test/ScopInfo/pointer-used-as-base-pointer-and-scalar-read.ll b/polly/test/ScopInfo/pointer-used-as-base-pointer-and-scalar-read.ll new file mode 100644 index 00000000000..8977bc4cc86 --- /dev/null +++ b/polly/test/ScopInfo/pointer-used-as-base-pointer-and-scalar-read.ll @@ -0,0 +1,88 @@ +; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s + +; In this test case we pass a pointer %A into a PHI node and also use this +; pointer as base pointer of an array store. As a result, we get both scalar +; and array memory accesses to A[] and A[0]. + +; CHECK: Arrays { +; CHECK: float MemRef_A[*]; // Element size 4 +; CHECK: float* MemRef_A; // Element size 0 +; CHECK: float* MemRef_x__phi; // Element size 0 +; CHECK: float* MemRef_B; // Element size 0 +; CHECK: float* MemRef_C[*]; // Element size 0 +; CHECK: } +; CHECK: Arrays (Bounds as pw_affs) { +; CHECK: float MemRef_A[*]; // Element size 4 +; CHECK: float* MemRef_A; // Element size 0 +; CHECK: float* MemRef_x__phi; // Element size 0 +; CHECK: float* MemRef_B; // Element size 0 +; CHECK: float* MemRef_C[*]; // Element size 0 +; CHECK: } +; CHECK: Alias Groups (0): +; CHECK: n/a +; CHECK: Statements { +; CHECK: Stmt_then +; CHECK: Domain := +; CHECK: [p] -> { Stmt_then[i0] : p = 32 and i0 <= 999 and i0 >= 0 }; +; CHECK: Schedule := +; CHECK: [p] -> { Stmt_then[i0] -> [i0, 1] }; +; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] +; CHECK: [p] -> { Stmt_then[i0] -> MemRef_A[0] }; +; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 1] +; CHECK: [p] -> { Stmt_then[i0] -> MemRef_A[] }; +; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1] +; CHECK: [p] -> { Stmt_then[i0] -> MemRef_x__phi[] }; +; CHECK: Stmt_else +; CHECK: Domain := +; CHECK: [p] -> { Stmt_else[i0] : (p >= 33 and i0 <= 999 and i0 >= 0) or (p <= 31 and i0 <= 999 and i0 >= 0) }; +; CHECK: Schedule := +; CHECK: [p] -> { Stmt_else[i0] -> [i0, 0] : p >= 33 or p <= 31 }; +; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] +; CHECK: [p] -> { Stmt_else[i0] -> MemRef_A[0] }; +; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 1] +; CHECK: [p] -> { Stmt_else[i0] -> MemRef_B[] }; +; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1] +; CHECK: [p] -> { Stmt_else[i0] -> MemRef_x__phi[] }; +; CHECK: Stmt_bb8 +; CHECK: Domain := +; CHECK: [p] -> { Stmt_bb8[i0] : (p >= 33 and i0 <= 999 and i0 >= 0) or (p <= 32 and i0 <= 999 and i0 >= 0) }; +; CHECK: Schedule := +; CHECK: [p] -> { Stmt_bb8[i0] -> [i0, 2] }; +; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 1] +; CHECK: [p] -> { Stmt_bb8[i0] -> MemRef_x__phi[] }; +; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] +; CHECK: [p] -> { Stmt_bb8[i0] -> MemRef_C[0] }; + + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +define void @foo(float* noalias %A, float* noalias %B, float ** noalias %C, i32 %p) { +bb: + br label %bb1 + +bb1: + %i.0 = phi i64 [ 0, %bb ], [ %tmp9, %bb8 ] + %exitcond = icmp ne i64 %i.0, 1000 + br i1 %exitcond, label %bb2, label %bb10 + +bb2: + %cmp = icmp eq i32 %p, 32 + br i1 %cmp, label %then, label %else + +then: + store float 3.0, float* %A + br label %bb8 + +else: + store float 4.0, float* %A + br label %bb8 + +bb8: + %x = phi float* [%A, %then], [%B, %else] + store float* %x, float** %C + %tmp9 = add nuw nsw i64 %i.0, 1 + br label %bb1 + +bb10: + ret void +} |
