polly/test/ScopInfo/exit-phi-2.ll

   1 ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
   2 ;
   3 ; Check that there is no MK_ExitPHI READ access.
   4 ;
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6
   7 define void @local_book_besterror() {
   8 entry:
   9   %0 = load i64, i64* undef, align 8
  10   %conv = trunc i64 %0 to i32
  11   br label %for.body64
  12
  13 for.body64:
  14   %bestf.011 = phi float [ 0.000000e+00, %entry ], [ %this.0.bestf.0, %if.end92 ]
  15   br label %for.body74
  16
  17 for.body74:
  18   br i1 false, label %for.body74, label %for.cond71.for.end85_crit_edge
  19
  20 for.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
  25 if.end92:
  26   br i1 undef, label %for.body64, label %for.cond60.if.end96.loopexit_crit_edge
  27
  28 for.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: }