1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -loop-interchange -loop-interchange-threshold=-10 -S %s | FileCheck %s
3
4target triple = "powerpc64le-unknown-linux-gnu"
5
6; The test contains a GEP with an operand that is not SCEV-able. Make sure
7; loop-interchange does not crash.
8define void @test([256 x float]* noalias %src, float* %dst) {
9; CHECK-LABEL: @test(
10; CHECK-NEXT:  entry:
11; CHECK-NEXT:    br label [[INNER_PREHEADER:%.*]]
12; CHECK:       outer.header.preheader:
13; CHECK-NEXT:    br label [[OUTER_HEADER:%.*]]
14; CHECK:       outer.header:
15; CHECK-NEXT:    [[I:%.*]] = phi i32 [ [[I_NEXT:%.*]], [[OUTER_LATCH:%.*]] ], [ 0, [[OUTER_HEADER_PREHEADER:%.*]] ]
16; CHECK-NEXT:    br label [[INNER_SPLIT1:%.*]]
17; CHECK:       inner.preheader:
18; CHECK-NEXT:    br label [[INNER:%.*]]
19; CHECK:       inner:
20; CHECK-NEXT:    [[J:%.*]] = phi i64 [ [[TMP0:%.*]], [[INNER_SPLIT:%.*]] ], [ 0, [[INNER_PREHEADER]] ]
21; CHECK-NEXT:    br label [[OUTER_HEADER_PREHEADER]]
22; CHECK:       inner.split1:
23; CHECK-NEXT:    [[SRC_GEP:%.*]] = getelementptr inbounds [256 x float], [256 x float]* [[SRC:%.*]], <2 x i64> <i64 0, i64 1>, i64 [[J]]
24; CHECK-NEXT:    [[SRC_0:%.*]] = extractelement <2 x float*> [[SRC_GEP]], i32 0
25; CHECK-NEXT:    [[LV_0:%.*]] = load float, float* [[SRC_0]], align 4
26; CHECK-NEXT:    [[ADD_0:%.*]] = fadd float [[LV_0]], 1.000000e+00
27; CHECK-NEXT:    [[DST_GEP:%.*]] = getelementptr inbounds float, float* [[DST:%.*]], i64 [[J]]
28; CHECK-NEXT:    store float [[ADD_0]], float* [[DST_GEP]], align 4
29; CHECK-NEXT:    [[J_NEXT:%.*]] = add nuw nsw i64 [[J]], 1
30; CHECK-NEXT:    [[INNER_EXITCOND:%.*]] = icmp eq i64 [[J_NEXT]], 100
31; CHECK-NEXT:    br label [[OUTER_LATCH]]
32; CHECK:       inner.split:
33; CHECK-NEXT:    [[TMP0]] = add nuw nsw i64 [[J]], 1
34; CHECK-NEXT:    [[TMP1:%.*]] = icmp eq i64 [[TMP0]], 100
35; CHECK-NEXT:    br i1 [[TMP1]], label [[EXIT:%.*]], label [[INNER]]
36; CHECK:       outer.latch:
37; CHECK-NEXT:    [[I_NEXT]] = add nuw nsw i32 [[I]], 1
38; CHECK-NEXT:    [[OUTER_EXITCOND:%.*]] = icmp eq i32 [[I_NEXT]], 100
39; CHECK-NEXT:    br i1 [[OUTER_EXITCOND]], label [[INNER_SPLIT]], label [[OUTER_HEADER]]
40; CHECK:       exit:
41; CHECK-NEXT:    ret void
42;
43entry:
44  br label %outer.header
45
46outer.header:
47  %i = phi i32 [ %i.next, %outer.latch ], [ 0, %entry ]
48  br label %inner
49
50inner:
51  %j = phi i64 [ 0, %outer.header ], [ %j.next, %inner ]
52  %src.gep = getelementptr inbounds [256 x float], [256 x float]* %src, <2 x i64> <i64 0, i64 1>, i64 %j
53  %src.0 = extractelement <2 x float*> %src.gep, i32 0
54  %lv.0 = load float, float* %src.0
55  %add.0 = fadd float %lv.0, 1.0
56  %dst.gep = getelementptr inbounds float, float* %dst, i64 %j
57  store float %add.0, float* %dst.gep
58  %j.next = add nuw nsw i64 %j, 1
59  %inner.exitcond = icmp eq i64 %j.next, 100
60  br i1 %inner.exitcond, label %outer.latch, label %inner
61
62outer.latch:
63  %i.next = add nuw nsw i32 %i, 1
64  %outer.exitcond = icmp eq i32 %i.next, 100
65  br i1 %outer.exitcond, label %exit, label %outer.header
66
67exit:
68  ret void
69}
70