81 lines · plain
1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3; In this test case we pass a pointer %A into a PHI node and also use this4; pointer as base pointer of an array store. As a result, we get both scalar5; and array memory accesses to A[] and A[0].6 7; CHECK: Arrays {8; CHECK-NEXT: float MemRef_A[*]; // Element size 49; CHECK-NEXT: ptr MemRef_x__phi; // Element size 810; CHECK-NEXT: ptr MemRef_C[*]; // Element size 811; CHECK-NEXT: }12; CHECK: Arrays (Bounds as pw_affs) {13; CHECK-NEXT: float MemRef_A[*]; // Element size 414; CHECK-NEXT: ptr MemRef_x__phi; // Element size 815; CHECK-NEXT: ptr MemRef_C[*]; // Element size 816; CHECK-NEXT: }17; CHECK: Alias Groups (0):18; CHECK-NEXT: n/a19; CHECK: Statements {20; CHECK-NEXT: Stmt_then21; CHECK-NEXT: Domain :=22; CHECK-NEXT: [p] -> { Stmt_then[i0] : p = 32 and 0 <= i0 <= 999 };23; CHECK-NEXT: Schedule :=24; CHECK-NEXT: [p] -> { Stmt_then[i0] -> [i0, 1] };25; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]26; CHECK-NEXT: [p] -> { Stmt_then[i0] -> MemRef_A[0] };27; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]28; CHECK-NEXT: [p] -> { Stmt_then[i0] -> MemRef_x__phi[] };29; CHECK-NEXT: Stmt_else30; CHECK-NEXT: Domain :=31; CHECK-NEXT: [p] -> { Stmt_else[i0] : 0 <= i0 <= 999 and (p >= 33 or p <= 31) };32; CHECK-NEXT: Schedule :=33; CHECK-NEXT: [p] -> { Stmt_else[i0] -> [i0, 0] : p >= 33 or p <= 31 };34; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]35; CHECK-NEXT: [p] -> { Stmt_else[i0] -> MemRef_A[0] };36; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]37; CHECK-NEXT: [p] -> { Stmt_else[i0] -> MemRef_x__phi[] };38; CHECK-NEXT: Stmt_bb839; CHECK-NEXT: Domain :=40; CHECK-NEXT: [p] -> { Stmt_bb8[i0] : 0 <= i0 <= 999 };41; CHECK-NEXT: Schedule :=42; CHECK-NEXT: [p] -> { Stmt_bb8[i0] -> [i0, 2] };43; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]44; CHECK-NEXT: [p] -> { Stmt_bb8[i0] -> MemRef_x__phi[] };45; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]46; CHECK-NEXT: [p] -> { Stmt_bb8[i0] -> MemRef_C[0] };47; CHECK-NEXT: }48 49target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"50 51define void @foo(ptr noalias %A, ptr noalias %B, ptr noalias %C, i32 %p) {52bb:53 br label %bb154 55bb1:56 %i.0 = phi i64 [ 0, %bb ], [ %tmp9, %bb8 ]57 %exitcond = icmp ne i64 %i.0, 100058 br i1 %exitcond, label %bb2, label %bb1059 60bb2:61 %cmp = icmp eq i32 %p, 3262 br i1 %cmp, label %then, label %else63 64then:65 store float 3.0, ptr %A66 br label %bb867 68else:69 store float 4.0, ptr %A70 br label %bb871 72bb8:73 %x = phi ptr [%A, %then], [%B, %else]74 store ptr %x, ptr %C75 %tmp9 = add nuw nsw i64 %i.0, 176 br label %bb177 78bb10:79 ret void80}81