polly/test/ScopDetect/collective_invariant_loads.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -polly-invariant-load-hoisting -disable-output< %s | FileCheck %s
   2
   3 ;CHECK:     Function: test_init_chpl
   4 ;CHECK-NEXT:     Region: %bb1---%bb16
   5 ;CHECK-NEXT:     Max Loop Depth:  2
   6 ;CHECK-NEXT:     Invariant Accesses: {
   7 ;CHECK-NEXT:             ReadAccess := [Reduction Type: NONE] [Scalar: 0]
   8 ;CHECK-NEXT:                 [tmp5] -> { Stmt_bb2[i0, i1] -> MemRef_arg[1] };
   9 ;CHECK-NEXT:             Execution Context: [tmp5] -> {  :  }
  10 ;CHECK-NEXT:             ReadAccess := [Reduction Type: NONE] [Scalar: 0]
  11 ;CHECK-NEXT:                 [tmp5] -> { Stmt_bb2[i0, i1] -> MemRef_tmp3[9] };
  12 ;CHECK-NEXT:             Execution Context: [tmp5] -> {  :  }
  13 ;CHECK-NEXT:             ReadAccess := [Reduction Type: NONE] [Scalar: 0]
  14 ;CHECK-NEXT:                 [tmp5] -> { Stmt_bb2[i0, i1] -> MemRef_tmp3[2] };
  15 ;CHECK-NEXT:             Execution Context: [tmp5] -> {  :  }
  16 ;CHECK-NEXT:     }
  17
  18
  19 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  20
  21 %array_ty = type { i64, ptr, i8 }
  22 %array_ptr = type { [2 x i64], [2 x i64], [2 x i64], i64, i64, ptr, ptr, i8 }
  23
  24 ; Function Attrs: noinline
  25 define weak dso_local void @test_init_chpl(ptr nonnull %arg) {
  26 bb:
  27   br label %bb1
  28
  29 bb1:                                              ; preds = %bb14, %bb
  30   %.0 = phi i64 [ 0, %bb ], [ %tmp15, %bb14 ]
  31   br label %bb2
  32
  33 bb2:                                              ; preds = %bb2, %bb1
  34   %.01 = phi i64 [ 0, %bb1 ], [ %tmp13, %bb2 ]
  35   %tmp = getelementptr inbounds %array_ty, ptr %arg, i64 0, i32 1
  36   %tmp3 = load ptr, ptr %tmp, align 8
  37   %tmp4 = getelementptr inbounds %array_ptr, ptr %tmp3, i64 0, i32 1, i64 0
  38   %tmp5 = load i64, ptr %tmp4, align 8
  39   %tmp6 = mul nsw i64 %tmp5, %.0
  40   %tmp7 = add nsw i64 %tmp6, %.01
  41   %tmp8 = getelementptr inbounds %array_ptr, ptr %tmp3, i64 0, i32 6
  42   %tmp9 = load ptr, ptr %tmp8, align 8
  43   %tmp10 = getelementptr inbounds double, ptr %tmp9, i64 %tmp7
  44   store double 13.0, ptr %tmp10, align 8
  45   %tmp13 = add nuw nsw i64 %.01, 1
  46   %exitcond = icmp ne i64 %tmp13, 1000
  47   br i1 %exitcond, label %bb2, label %bb14
  48
  49 bb14:                                             ; preds = %bb2
  50   %tmp15 = add nuw nsw i64 %.0, 1
  51   %exitcond8 = icmp ne i64 %tmp15, 1000
  52   br i1 %exitcond8, label %bb1, label %bb16
  53
  54 bb16:                                             ; preds = %bb14
  55   ret void
  56 }