43 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; Check that there is no MK_ExitPHI READ access.4;5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"6 7define void @local_book_besterror() {8entry:9 %0 = load i64, ptr undef, align 810 %conv = trunc i64 %0 to i3211 br label %for.body6412 13for.body64:14 %bestf.011 = phi float [ 0.000000e+00, %entry ], [ %this.0.bestf.0, %if.end92 ]15 br label %for.body7416 17for.body74:18 br i1 false, label %for.body74, label %for.cond71.for.end85_crit_edge19 20for.cond71.for.end85_crit_edge:21 %cmp88 = fcmp olt float undef, %bestf.01122 %this.0.bestf.0 = select i1 undef, float undef, float %bestf.01123 br label %if.end9224 25if.end92:26 br i1 undef, label %for.body64, label %for.cond60.if.end96.loopexit_crit_edge27 28for.cond60.if.end96.loopexit_crit_edge: ; preds = %if.end9229 ret void30}31 32; CHECK: Statements {33; CHECK-NEXT: Stmt_for_cond71_for_end85_crit_edge34; CHECK-NEXT: Domain :=35; CHECK-NEXT: { Stmt_for_cond71_for_end85_crit_edge[] };36; CHECK-NEXT: Schedule :=37; CHECK-NEXT: { Stmt_for_cond71_for_end85_crit_edge[] -> [] };38; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]39; CHECK-NEXT: { Stmt_for_cond71_for_end85_crit_edge[] -> MemRef_bestf_011[] };40; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]41; CHECK-NEXT: { Stmt_for_cond71_for_end85_crit_edge[] -> MemRef_this_0_bestf_0[] };42; CHECK-NEXT: }43