polly/test/ScopInfo/NonAffine/non_affine_region_guaranteed_non-entry.ll

   1 ; RUN: opt %loadNPMPolly -polly-allow-nonaffine-loops -polly-detect '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
   2
   3 ; The SCoP contains a loop with multiple exit blocks (BBs after leaving
   4 ; the loop). The current implementation of deriving their domain derives
   5 ; only a common domain for all of the exit blocks. We disabled loops with
   6 ; multiple exit blocks until this is fixed.
   7 ; XFAIL: *
   8
   9 ; The BasicBlock "guaranteed" is always executed inside the non-affine subregion
  10 ; region_entry->region_exit. As such, writes accesses in blocks that always
  11 ; execute are MustWriteAccesses. Before Polly commit r255473, we only assumed
  12 ; that the subregion's entry block is guaranteed to execute.
  13
  14 ; CHECK-NOT: MayWriteAccess
  15 ; CHECK:      MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
  16 ; CHECK-NEXT:     { Stmt_region_entry__TO__region_exit[i0] -> MemRef_A[0] };
  17 ; CHECK-NOT: MayWriteAccess
  18
  19 define void @f(ptr %A, ptr %B, ptr %C, float %b) {
  20 entry:
  21   br label %for.cond
  22
  23 for.cond:
  24   %indvar = phi i32 [ %indvar.next, %for.inc ], [ 0, %entry ]
  25   %exitcond = icmp ne i32 %indvar, 1024
  26   br i1 %exitcond, label %region_entry, label %return
  27
  28 region_entry:
  29   br label %bb2
  30
  31 bb2:
  32   br label %guaranteed
  33
  34 bb3:
  35   br label %bb3
  36
  37 guaranteed:
  38   %ptr = getelementptr i32, ptr %B, i32 %indvar
  39   %val = load i32, ptr %ptr
  40   %cmp = icmp eq i32 %val, 0
  41   store i32 0, ptr %A
  42   br i1 %cmp, label %bb5, label %bb6
  43
  44 bb5:
  45   br label %region_exit
  46
  47 bb6:
  48   %ptr2 = getelementptr i32, ptr %C, i32 %indvar
  49   %val2 = load i32, ptr %ptr2
  50   %cmp2 = icmp eq i32 %val2, 0
  51   br i1 %cmp2, label %region_exit, label %region_entry
  52
  53 region_exit:
  54   br label %for.inc
  55
  56 for.inc:
  57   %indvar.next = add i32 %indvar, 1
  58   br label %for.cond
  59
  60 return:
  61   ret void
  62 }