polly/test/ForwardOpTree/forward_into_region_redundant_use.ll

   1 ; RUN: opt %loadNPMPolly -polly-invariant-load-hoisting=true '-passes=print<polly-optree>' -disable-output < %s | FileCheck %s -match-full-lines
   2 ;
   3
   4 define void @foo(ptr %A, i32 %p, ptr %B) {
   5 start:
   6   br label %branch
   7
   8 branch:
   9   %cmp = icmp eq i32 %p, 1024
  10   br i1 %cmp, label %next, label %end
  11
  12 next:
  13   %val = load float, ptr %A
  14   %fcmp = fcmp oeq float %val, 41.0
  15   br label %nonaffine
  16
  17 nonaffine:
  18   br i1 %fcmp, label %a, label %b
  19
  20 a:
  21   store float %val, ptr %A
  22   br label %end
  23
  24 b:
  25   store float 1.0, ptr %A
  26   br label %end
  27
  28 end:
  29   ret void
  30 }
  31
  32 ; CHECK:      After statements {
  33 ; CHECK-NEXT:     Stmt_next
  34 ; 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 4
  42 ; CHECK-NEXT:                   %fcmp = fcmp oeq float %val, 4.100000e+01
  43 ; CHECK-NEXT:             }
  44 ; CHECK-NEXT:     Stmt_nonaffine__TO__end
  45 ; 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 4
  54 ; CHECK-NEXT:                   %val = load float, ptr %A, align 4
  55 ; CHECK-NEXT:                   %fcmp = fcmp oeq float %val, 4.100000e+01
  56 ; CHECK-NEXT:             }
  57 ; CHECK-NEXT: }