58 lines · plain
1; RUN: opt %loadNPMPolly -polly-invariant-load-hoisting=true '-passes=polly-custom<optree>' -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines2;3 4define void @foo(ptr %A, i32 %p, ptr %B) {5start:6 br label %branch7 8branch:9 %cmp = icmp eq i32 %p, 102410 br i1 %cmp, label %next, label %end11 12next:13 %val = load float, ptr %A14 %fcmp = fcmp oeq float %val, 41.015 br label %nonaffine16 17nonaffine:18 br i1 %fcmp, label %a, label %b19 20a:21 store float %val, ptr %A22 br label %end23 24b:25 store float 1.0, ptr %A26 br label %end27 28end:29 ret void30}31 32; CHECK: After statements {33; CHECK-NEXT: Stmt_next34; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]35; CHECK-NEXT: [p] -> { Stmt_next[] -> MemRef_A[0] };36; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]37; CHECK-NEXT: [p] -> { Stmt_next[] -> MemRef_fcmp[] };38; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]39; CHECK-NEXT: [p] -> { Stmt_next[] -> MemRef_val[] };40; CHECK-NEXT: Instructions {41; CHECK-NEXT: %val = load float, ptr %A, align 442; CHECK-NEXT: %fcmp = fcmp oeq float %val, 4.100000e+0143; CHECK-NEXT: }44; CHECK-NEXT: Stmt_nonaffine__TO__end45; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]46; CHECK-NEXT: ;47; CHECK-NEXT: new: [p] -> { Stmt_nonaffine__TO__end[] -> MemRef_A[0] };48; CHECK-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]49; CHECK-NEXT: [p] -> { Stmt_nonaffine__TO__end[] -> MemRef_A[0] };50; CHECK-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]51; CHECK-NEXT: [p] -> { Stmt_nonaffine__TO__end[] -> MemRef_A[0] };52; CHECK-NEXT: Instructions {53; CHECK-NEXT: %val = load float, ptr %A, align 454; CHECK-NEXT: %val = load float, ptr %A, align 455; CHECK-NEXT: %fcmp = fcmp oeq float %val, 4.100000e+0156; CHECK-NEXT: }57; CHECK-NEXT: }58