1; RUN: opt %loadPolly -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s
2;
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, i64* undef, align 8
10  %conv = trunc i64 %0 to i32
11  br label %for.body64
12
13for.body64:
14  %bestf.011 = phi float [ 0.000000e+00, %entry ], [ %this.0.bestf.0, %if.end92 ]
15  br label %for.body74
16
17for.body74:
18  br i1 false, label %for.body74, label %for.cond71.for.end85_crit_edge
19
20for.cond71.for.end85_crit_edge:
21  %cmp88 = fcmp olt float undef, %bestf.011
22  %this.0.bestf.0 = select i1 undef, float undef, float %bestf.011
23  br label %if.end92
24
25if.end92:
26  br i1 undef, label %for.body64, label %for.cond60.if.end96.loopexit_crit_edge
27
28for.cond60.if.end96.loopexit_crit_edge:           ; preds = %if.end92
29  ret void
30}
31
32; CHECK:      Statements {
33; CHECK-NEXT:     Stmt_for_cond71_for_end85_crit_edge
34; 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