polly/test/ScopInfo/invariant_load_canonicalize_array_baseptrs.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s \
   2 ; RUN:  -polly-invariant-load-hoisting \
   3 ; RUN:  | FileCheck %s
   4
   5 ; CHECK:      Stmt_body1
   6 ; CHECK-NEXT:       Domain :=
   7 ; CHECK-NEXT:           { Stmt_body1[i0] : 0 <= i0 <= 1022 };
   8 ; CHECK-NEXT:       Schedule :=
   9 ; CHECK-NEXT:           { Stmt_body1[i0] -> [i0, 0] };
  10 ; CHECK-NEXT:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
  11 ; CHECK-NEXT:          { Stmt_body1[i0] -> MemRef_baseB[0] };
  12 ; CHECK-NEXT: Stmt_body2
  13 ; CHECK-NEXT:       Domain :=
  14 ; CHECK-NEXT:           { Stmt_body2[i0] : 0 <= i0 <= 1022 };
  15 ; CHECK-NEXT:       Schedule :=
  16 ; CHECK-NEXT:           { Stmt_body2[i0] -> [i0, 1] };
  17 ; CHECK-NEXT:       MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
  18 ; CHECK-NEXT:                { Stmt_body2[i0] -> MemRef_baseB[0] };
  19
  20 define void @foo(ptr %A) {
  21 start:
  22   br label %loop
  23
  24 loop:
  25   %indvar = phi i64 [0, %start], [%indvar.next, %latch]
  26   %indvar.next = add nsw i64 %indvar, 1
  27   %icmp = icmp slt i64 %indvar.next, 1024
  28   br i1 %icmp, label %body1, label %exit
  29
  30 body1:
  31   %baseA = load ptr, ptr %A
  32   store float 42.0, ptr %baseA
  33   br label %body2
  34
  35 body2:
  36   %baseB = load ptr, ptr %A
  37   store float 42.0, ptr %baseB
  38   br label %latch
  39
  40 latch:
  41   br label %loop
  42
  43 exit:
  44   ret void
  45
  46 }