62 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3; Verify that 'tmp' is stored in bb1 and read by bb3, as it is needed as4; incoming value for the tmp11 PHI node.5 6; CHECK: Stmt_bb17; CHECK-NEXT: Domain :=8; CHECK-NEXT: { Stmt_bb1[] };9; CHECK-NEXT: Schedule :=10; CHECK-NEXT: { Stmt_bb1[] -> [0] };11; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]12; CHECK-NEXT: { Stmt_bb1[] -> MemRef_global[0] };13; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]14; CHECK-NEXT: { Stmt_bb1[] -> MemRef_tmp[] };15; CHECK-NEXT: Stmt_bb3__TO__bb1016; CHECK-NEXT: Domain :=17; CHECK-NEXT: { Stmt_bb3__TO__bb10[] };18; CHECK-NEXT: Schedule :=19; CHECK-NEXT: { Stmt_bb3__TO__bb10[] -> [1] };20; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]21; CHECK-NEXT: { Stmt_bb3__TO__bb10[] -> MemRef_tmp[] };22; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]23; CHECK-NEXT: { Stmt_bb3__TO__bb10[] -> MemRef_tmp11[] };24 25target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"26target triple = "x86_64-unknown-linux-gnu"27 28%struct.hoge = type { double, double, i8, i8, i8 }29 30@global = external local_unnamed_addr global %struct.hoge, align 831 32define void @widget() local_unnamed_addr {33bb:34 br label %bb135 36bb1: ; preds = %bb37 %tmp = load double, ptr @global, align 838 br i1 false, label %bb3, label %bb239 40bb2: ; preds = %bb141 br label %bb342 43bb3: ; preds = %bb2, %bb144 br i1 false, label %bb8, label %bb445 46bb4: ; preds = %bb347 br label %bb548 49bb5: ; preds = %bb450 %tmp6 = and i32 undef, 1671168051 %tmp7 = icmp eq i32 %tmp6, 052 br i1 %tmp7, label %bb8, label %bb1053 54bb8: ; preds = %bb5, %bb355 %tmp9 = phi double [ %tmp, %bb3 ], [ undef, %bb5 ]56 br label %bb1057 58bb10: ; preds = %bb8, %bb559 %tmp11 = phi double [ undef, %bb5 ], [ %tmp9, %bb8 ]60 ret void61}62