1; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting -analyze < %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
19target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
20
21%array_ty = type { i64, %array_ptr*, i8 }
22%array_ptr = type { [2 x i64], [2 x i64], [2 x i64], i64, i64, double*, double*, i8 }
23
24; Function Attrs: noinline
25define weak dso_local void @test_init_chpl(%array_ty* nonnull %arg) {
26bb:
27  br label %bb1
28
29bb1:                                              ; preds = %bb14, %bb
30  %.0 = phi i64 [ 0, %bb ], [ %tmp15, %bb14 ]
31  br label %bb2
32
33bb2:                                              ; preds = %bb2, %bb1
34  %.01 = phi i64 [ 0, %bb1 ], [ %tmp13, %bb2 ]
35  %tmp = getelementptr inbounds %array_ty, %array_ty* %arg, i64 0, i32 1
36  %tmp3 = load %array_ptr*, %array_ptr** %tmp, align 8
37  %tmp4 = getelementptr inbounds %array_ptr, %array_ptr* %tmp3, i64 0, i32 1, i64 0
38  %tmp5 = load i64, i64* %tmp4, align 8
39  %tmp6 = mul nsw i64 %tmp5, %.0
40  %tmp7 = add nsw i64 %tmp6, %.01
41  %tmp8 = getelementptr inbounds %array_ptr, %array_ptr* %tmp3, i64 0, i32 6
42  %tmp9 = load double*, double** %tmp8, align 8
43  %tmp10 = getelementptr inbounds double, double* %tmp9, i64 %tmp7
44  store double 13.0, double* %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
49bb14:                                             ; 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
54bb16:                                             ; preds = %bb14
55  ret void
56}
57