1; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \
2; RUN:     -verify-dom-info -verify-loop-info -verify-loop-lcssa -stats 2>&1
3; RUN: FileCheck --input-file=%t --check-prefix=REMARKS %s
4
5target triple = "powerpc64le-unknown-linux-gnu"
6@a = global i32 0
7@b = global i8 0
8@c = global i32 0
9@d = global i32 0
10@e = global [1 x [1 x i32]] zeroinitializer
11
12; REMARKS: --- !Passed
13; REMARKS-NEXT: Pass:            loop-interchange
14; REMARKS-NEXT: Name:            Interchanged
15; REMARKS-NEXT: Function:        pr43326
16
17define void @pr43326() {
18entry:
19  %0 = load i32, i32* @a
20  %tobool.not2 = icmp eq i32 %0, 0
21  br i1 %tobool.not2, label %for.end14, label %for.body.lr.ph
22
23for.body.lr.ph:                                   ; preds = %entry
24  %d.promoted = load i32, i32* @d
25  %a.promoted = load i32, i32* @a
26  br label %for.body
27
28for.body:                                         ; preds = %for.body.lr.ph, %for.inc12
29  %inc1312 = phi i32 [ %a.promoted, %for.body.lr.ph ], [ %inc13, %for.inc12 ]
30  %xor.lcssa.lcssa11 = phi i32 [ %d.promoted, %for.body.lr.ph ], [ %xor.lcssa.lcssa, %for.inc12 ]
31  br label %for.body3
32
33for.body3:                                        ; preds = %for.body, %for.inc10
34  %xor.lcssa9 = phi i32 [ %xor.lcssa.lcssa11, %for.body ], [ %xor.lcssa, %for.inc10 ]
35  %dec7 = phi i8 [ 0, %for.body ], [ %dec, %for.inc10 ]
36  %idxprom8 = sext i8 %dec7 to i64
37  br label %for.body7
38
39for.body7:                                        ; preds = %for.body3, %for.inc
40  %xor5 = phi i32 [ %xor.lcssa9, %for.body3 ], [ %xor, %for.inc ]
41  %inc4 = phi i32 [ 0, %for.body3 ], [ %inc, %for.inc ]
42  %idxprom = sext i32 %inc4 to i64
43  %arrayidx9 = getelementptr inbounds [1 x [1 x i32]], [1 x [1 x i32]]* @e, i64 0, i64 %idxprom, i64 %idxprom8
44  %1 = load i32, i32* %arrayidx9
45  %xor = xor i32 %xor5, %1
46  br label %for.inc
47
48for.inc:                                          ; preds = %for.body7
49  %inc = add nsw i32 %inc4, 1
50  %cmp5 = icmp slt i32 %inc, 1
51  br i1 %cmp5, label %for.body7, label %for.end
52
53for.end:                                          ; preds = %for.inc
54  %xor.lcssa = phi i32 [ %xor, %for.inc ]
55  %inc.lcssa = phi i32 [ %inc, %for.inc ]
56  br label %for.inc10
57
58for.inc10:                                        ; preds = %for.end
59  %dec = add i8 %dec7, -1
60  %cmp = icmp sgt i8 %dec, -1
61  br i1 %cmp, label %for.body3, label %for.end11
62
63for.end11:                                        ; preds = %for.inc10
64  %xor.lcssa.lcssa = phi i32 [ %xor.lcssa, %for.inc10 ]
65  %dec.lcssa = phi i8 [ %dec, %for.inc10 ]
66  %inc.lcssa.lcssa = phi i32 [ %inc.lcssa, %for.inc10 ]
67  br label %for.inc12
68
69for.inc12:                                        ; preds = %for.end11
70  %inc13 = add nsw i32 %inc1312, 1
71  %tobool.not = icmp eq i32 %inc13, 0
72  br i1 %tobool.not, label %for.cond.for.end14_crit_edge, label %for.body
73
74for.cond.for.end14_crit_edge:                     ; preds = %for.inc12
75  %inc13.lcssa = phi i32 [ %inc13, %for.inc12 ]
76  %inc.lcssa.lcssa.lcssa = phi i32 [ %inc.lcssa.lcssa, %for.inc12 ]
77  %xor.lcssa.lcssa.lcssa = phi i32 [ %xor.lcssa.lcssa, %for.inc12 ]
78  %dec.lcssa.lcssa = phi i8 [ %dec.lcssa, %for.inc12 ]
79  store i8 %dec.lcssa.lcssa, i8* @b
80  store i32 %xor.lcssa.lcssa.lcssa, i32* @d
81  store i32 %inc.lcssa.lcssa.lcssa, i32* @c
82  store i32 %inc13.lcssa, i32* @a
83  br label %for.end14
84
85for.end14:                                        ; preds = %for.cond.for.end14_crit_edge, %entry
86  ret void
87}
88