1; RUN: opt < %s -basicaa -da -analyze -delinearize
2;
3; a, b, c, d, g, h;
4; char *f;
5; static fn1(p1) {
6;   char *e = p1;
7;   for (; d;) {
8;     a = 0;
9;     for (;; ++a)
10;       for (; b; ++b)
11;         c = e[b + a];
12;   }
13; }
14;
15; fn2() {
16;   for (;;)
17;     fn1(&f[g * h]);
18; }
19
20@g = common global i32 0, align 4
21@h = common global i32 0, align 4
22@f = common global i8* null, align 4
23@a = common global i32 0, align 4
24@b = common global i32 0, align 4
25@c = common global i32 0, align 4
26@d = common global i32 0, align 4
27
28define i32 @fn2() {
29entry:
30  %.pr = load i32, i32* @d, align 4
31  %phitmp = icmp eq i32 %.pr, 0
32  br label %for.cond
33
34for.cond:
35  %0 = phi i1 [ true, %for.cond ], [ %phitmp, %entry ]
36  br i1 %0, label %for.cond, label %for.cond2thread-pre-split.preheader.i
37
38for.cond2thread-pre-split.preheader.i:
39  %1 = load i32, i32* @g, align 4
40  %2 = load i32, i32* @h, align 4
41  %mul = mul nsw i32 %2, %1
42  %3 = load i8*, i8** @f, align 4
43  %.pr.pre.i = load i32, i32* @b, align 4
44  br label %for.cond2thread-pre-split.i
45
46for.cond2thread-pre-split.i:
47  %.pr.i = phi i32 [ 0, %for.inc5.i ], [ %.pr.pre.i, %for.cond2thread-pre-split.preheader.i ]
48  %storemerge.i = phi i32 [ %inc6.i, %for.inc5.i ], [ 0, %for.cond2thread-pre-split.preheader.i ]
49  store i32 %storemerge.i, i32* @a, align 4
50  %tobool31.i = icmp eq i32 %.pr.i, 0
51  br i1 %tobool31.i, label %for.inc5.i, label %for.body4.preheader.i
52
53for.body4.preheader.i:
54  %4 = icmp slt i32 %.pr.i, -7
55  %add.i = add i32 %storemerge.i, %mul
56  br i1 %4, label %for.body4.i.preheader, label %for.body4.ur.i.preheader
57
58for.body4.i.preheader:
59  %5 = sub i32 -8, %.pr.i
60  %6 = lshr i32 %5, 3
61  %7 = mul i32 %6, 8
62  br label %for.body4.i
63
64for.body4.i:
65  %8 = phi i32 [ %inc.7.i, %for.body4.i ], [ %.pr.i, %for.body4.i.preheader ]
66  %arrayidx.sum1 = add i32 %add.i, %8
67  %arrayidx.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum1
68  %9 = load i8, i8* %arrayidx.i, align 1
69  %conv.i = sext i8 %9 to i32
70  store i32 %conv.i, i32* @c, align 4
71  %inc.i = add nsw i32 %8, 1
72  store i32 %inc.i, i32* @b, align 4
73  %arrayidx.sum2 = add i32 %add.i, %inc.i
74  %arrayidx.1.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum2
75  %10 = load i8, i8* %arrayidx.1.i, align 1
76  %conv.1.i = sext i8 %10 to i32
77  store i32 %conv.1.i, i32* @c, align 4
78  %inc.1.i = add nsw i32 %8, 2
79  store i32 %inc.1.i, i32* @b, align 4
80  %arrayidx.sum3 = add i32 %add.i, %inc.1.i
81  %arrayidx.2.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum3
82  %11 = load i8, i8* %arrayidx.2.i, align 1
83  %conv.2.i = sext i8 %11 to i32
84  store i32 %conv.2.i, i32* @c, align 4
85  %inc.2.i = add nsw i32 %8, 3
86  store i32 %inc.2.i, i32* @b, align 4
87  %arrayidx.sum4 = add i32 %add.i, %inc.2.i
88  %arrayidx.3.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum4
89  %12 = load i8, i8* %arrayidx.3.i, align 1
90  %conv.3.i = sext i8 %12 to i32
91  store i32 %conv.3.i, i32* @c, align 4
92  %inc.3.i = add nsw i32 %8, 4
93  store i32 %inc.3.i, i32* @b, align 4
94  %arrayidx.sum5 = add i32 %add.i, %inc.3.i
95  %arrayidx.4.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum5
96  %13 = load i8, i8* %arrayidx.4.i, align 1
97  %conv.4.i = sext i8 %13 to i32
98  store i32 %conv.4.i, i32* @c, align 4
99  %inc.4.i = add nsw i32 %8, 5
100  store i32 %inc.4.i, i32* @b, align 4
101  %arrayidx.sum6 = add i32 %add.i, %inc.4.i
102  %arrayidx.5.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum6
103  %14 = load i8, i8* %arrayidx.5.i, align 1
104  %conv.5.i = sext i8 %14 to i32
105  store i32 %conv.5.i, i32* @c, align 4
106  %inc.5.i = add nsw i32 %8, 6
107  store i32 %inc.5.i, i32* @b, align 4
108  %arrayidx.sum7 = add i32 %add.i, %inc.5.i
109  %arrayidx.6.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum7
110  %15 = load i8, i8* %arrayidx.6.i, align 1
111  %conv.6.i = sext i8 %15 to i32
112  store i32 %conv.6.i, i32* @c, align 4
113  %inc.6.i = add nsw i32 %8, 7
114  store i32 %inc.6.i, i32* @b, align 4
115  %arrayidx.sum8 = add i32 %add.i, %inc.6.i
116  %arrayidx.7.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum8
117  %16 = load i8, i8* %arrayidx.7.i, align 1
118  %conv.7.i = sext i8 %16 to i32
119  store i32 %conv.7.i, i32* @c, align 4
120  %inc.7.i = add nsw i32 %8, 8
121  store i32 %inc.7.i, i32* @b, align 4
122  %tobool3.7.i = icmp sgt i32 %inc.7.i, -8
123  br i1 %tobool3.7.i, label %for.inc5.loopexit.ur-lcssa.i, label %for.body4.i
124
125for.inc5.loopexit.ur-lcssa.i:
126  %17 = add i32 %.pr.i, 8
127  %18 = add i32 %17, %7
128  %19 = icmp eq i32 %18, 0
129  br i1 %19, label %for.inc5.i, label %for.body4.ur.i.preheader
130
131for.body4.ur.i.preheader:
132  %.ph = phi i32 [ %18, %for.inc5.loopexit.ur-lcssa.i ], [ %.pr.i, %for.body4.preheader.i ]
133  br label %for.body4.ur.i
134
135for.body4.ur.i:
136  %20 = phi i32 [ %inc.ur.i, %for.body4.ur.i ], [ %.ph, %for.body4.ur.i.preheader ]
137  %arrayidx.sum = add i32 %add.i, %20
138  %arrayidx.ur.i = getelementptr inbounds i8, i8* %3, i32 %arrayidx.sum
139  %21 = load i8, i8* %arrayidx.ur.i, align 1
140  %conv.ur.i = sext i8 %21 to i32
141  store i32 %conv.ur.i, i32* @c, align 4
142  %inc.ur.i = add nsw i32 %20, 1
143  store i32 %inc.ur.i, i32* @b, align 4
144  %tobool3.ur.i = icmp eq i32 %inc.ur.i, 0
145  br i1 %tobool3.ur.i, label %for.inc5.i.loopexit, label %for.body4.ur.i
146
147for.inc5.i.loopexit:
148  br label %for.inc5.i
149
150for.inc5.i:
151  %inc6.i = add nsw i32 %storemerge.i, 1
152  br label %for.cond2thread-pre-split.i
153}
154