xref: /aosp_15_r20/external/llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; ModuleID = 'SymbolicSIV.bc'
4*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
5*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-apple-macosx10.6.0"
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
9*9880d681SAndroid Build Coastguard Worker;;    A[2*i + n] = i;
10*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[3*i + 3*n];
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv0(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
13*9880d681SAndroid Build Coastguard Workerentry:
14*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
15*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
16*9880d681SAndroid Build Coastguard Worker
17*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
18*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
19*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
20*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
21*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
22*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
23*9880d681SAndroid Build Coastguard Worker
24*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
25*9880d681SAndroid Build Coastguard Worker  br label %for.body
26*9880d681SAndroid Build Coastguard Worker
27*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
28*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
29*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
30*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
31*9880d681SAndroid Build Coastguard Worker  %mul = shl nsw i64 %i.03, 1
32*9880d681SAndroid Build Coastguard Worker  %add = add i64 %mul, %n
33*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
34*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
35*9880d681SAndroid Build Coastguard Worker  %mul14 = add i64 %i.03, %n
36*9880d681SAndroid Build Coastguard Worker  %add3 = mul i64 %mul14, 3
37*9880d681SAndroid Build Coastguard Worker  %arrayidx4 = getelementptr inbounds i32, i32* %A, i64 %add3
38*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx4, align 4
39*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
40*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
41*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
42*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
43*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
44*9880d681SAndroid Build Coastguard Worker
45*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
46*9880d681SAndroid Build Coastguard Worker  br label %for.end
47*9880d681SAndroid Build Coastguard Worker
48*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
49*9880d681SAndroid Build Coastguard Worker  ret void
50*9880d681SAndroid Build Coastguard Worker}
51*9880d681SAndroid Build Coastguard Worker
52*9880d681SAndroid Build Coastguard Worker
53*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
54*9880d681SAndroid Build Coastguard Worker;;    A[2*i + 5*n] = i;
55*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[3*i + 2*n];
56*9880d681SAndroid Build Coastguard Worker
57*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
58*9880d681SAndroid Build Coastguard Workerentry:
59*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
60*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
61*9880d681SAndroid Build Coastguard Worker
62*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
63*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
64*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
65*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
66*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
67*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
68*9880d681SAndroid Build Coastguard Worker
69*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
70*9880d681SAndroid Build Coastguard Worker  br label %for.body
71*9880d681SAndroid Build Coastguard Worker
72*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
73*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
74*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
75*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
76*9880d681SAndroid Build Coastguard Worker  %mul = shl nsw i64 %i.03, 1
77*9880d681SAndroid Build Coastguard Worker  %mul1 = mul i64 %n, 5
78*9880d681SAndroid Build Coastguard Worker  %add = add i64 %mul, %mul1
79*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
80*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
81*9880d681SAndroid Build Coastguard Worker  %mul2 = mul nsw i64 %i.03, 3
82*9880d681SAndroid Build Coastguard Worker  %mul3 = shl i64 %n, 1
83*9880d681SAndroid Build Coastguard Worker  %add4 = add i64 %mul2, %mul3
84*9880d681SAndroid Build Coastguard Worker  %arrayidx5 = getelementptr inbounds i32, i32* %A, i64 %add4
85*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx5, align 4
86*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
87*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
88*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
89*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
90*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
91*9880d681SAndroid Build Coastguard Worker
92*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
93*9880d681SAndroid Build Coastguard Worker  br label %for.end
94*9880d681SAndroid Build Coastguard Worker
95*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
96*9880d681SAndroid Build Coastguard Worker  ret void
97*9880d681SAndroid Build Coastguard Worker}
98*9880d681SAndroid Build Coastguard Worker
99*9880d681SAndroid Build Coastguard Worker
100*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
101*9880d681SAndroid Build Coastguard Worker;;    A[2*i - n] = i;
102*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[-i + 2*n];
103*9880d681SAndroid Build Coastguard Worker
104*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv2(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
105*9880d681SAndroid Build Coastguard Workerentry:
106*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
107*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
108*9880d681SAndroid Build Coastguard Worker
109*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
110*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
111*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
112*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
113*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
114*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
115*9880d681SAndroid Build Coastguard Worker
116*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
117*9880d681SAndroid Build Coastguard Worker  br label %for.body
118*9880d681SAndroid Build Coastguard Worker
119*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
120*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
121*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
122*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
123*9880d681SAndroid Build Coastguard Worker  %mul = shl nsw i64 %i.03, 1
124*9880d681SAndroid Build Coastguard Worker  %sub = sub i64 %mul, %n
125*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %sub
126*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
127*9880d681SAndroid Build Coastguard Worker  %mul2 = shl i64 %n, 1
128*9880d681SAndroid Build Coastguard Worker  %add = sub i64 %mul2, %i.03
129*9880d681SAndroid Build Coastguard Worker  %arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %add
130*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx3, align 4
131*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
132*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
133*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
134*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
135*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
136*9880d681SAndroid Build Coastguard Worker
137*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
138*9880d681SAndroid Build Coastguard Worker  br label %for.end
139*9880d681SAndroid Build Coastguard Worker
140*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
141*9880d681SAndroid Build Coastguard Worker  ret void
142*9880d681SAndroid Build Coastguard Worker}
143*9880d681SAndroid Build Coastguard Worker
144*9880d681SAndroid Build Coastguard Worker
145*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
146*9880d681SAndroid Build Coastguard Worker;;    A[-2*i + n + 1] = i;
147*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[i - 2*n];
148*9880d681SAndroid Build Coastguard Worker
149*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv3(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
150*9880d681SAndroid Build Coastguard Workerentry:
151*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
152*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
153*9880d681SAndroid Build Coastguard Worker
154*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
155*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
156*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
157*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
158*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
159*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
160*9880d681SAndroid Build Coastguard Worker
161*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
162*9880d681SAndroid Build Coastguard Worker  br label %for.body
163*9880d681SAndroid Build Coastguard Worker
164*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
165*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
166*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
167*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
168*9880d681SAndroid Build Coastguard Worker  %mul = mul nsw i64 %i.03, -2
169*9880d681SAndroid Build Coastguard Worker  %add = add i64 %mul, %n
170*9880d681SAndroid Build Coastguard Worker  %add1 = add i64 %add, 1
171*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add1
172*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
173*9880d681SAndroid Build Coastguard Worker  %mul2 = shl i64 %n, 1
174*9880d681SAndroid Build Coastguard Worker  %sub = sub i64 %i.03, %mul2
175*9880d681SAndroid Build Coastguard Worker  %arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %sub
176*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx3, align 4
177*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
178*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
179*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
180*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
181*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
182*9880d681SAndroid Build Coastguard Worker
183*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
184*9880d681SAndroid Build Coastguard Worker  br label %for.end
185*9880d681SAndroid Build Coastguard Worker
186*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
187*9880d681SAndroid Build Coastguard Worker  ret void
188*9880d681SAndroid Build Coastguard Worker}
189*9880d681SAndroid Build Coastguard Worker
190*9880d681SAndroid Build Coastguard Worker
191*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
192*9880d681SAndroid Build Coastguard Worker;;    A[-2*i + 3*n] = i;
193*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[-i + n];
194*9880d681SAndroid Build Coastguard Worker
195*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
196*9880d681SAndroid Build Coastguard Workerentry:
197*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
198*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
199*9880d681SAndroid Build Coastguard Worker
200*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
201*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
202*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
203*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
204*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
205*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
206*9880d681SAndroid Build Coastguard Worker
207*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
208*9880d681SAndroid Build Coastguard Worker  br label %for.body
209*9880d681SAndroid Build Coastguard Worker
210*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
211*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
212*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
213*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
214*9880d681SAndroid Build Coastguard Worker  %mul = mul nsw i64 %i.03, -2
215*9880d681SAndroid Build Coastguard Worker  %mul1 = mul i64 %n, 3
216*9880d681SAndroid Build Coastguard Worker  %add = add i64 %mul, %mul1
217*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
218*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
219*9880d681SAndroid Build Coastguard Worker  %add2 = sub i64 %n, %i.03
220*9880d681SAndroid Build Coastguard Worker  %arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %add2
221*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx3, align 4
222*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
223*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
224*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
225*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
226*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
227*9880d681SAndroid Build Coastguard Worker
228*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
229*9880d681SAndroid Build Coastguard Worker  br label %for.end
230*9880d681SAndroid Build Coastguard Worker
231*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
232*9880d681SAndroid Build Coastguard Worker  ret void
233*9880d681SAndroid Build Coastguard Worker}
234*9880d681SAndroid Build Coastguard Worker
235*9880d681SAndroid Build Coastguard Worker
236*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
237*9880d681SAndroid Build Coastguard Worker;;    A[-2*i - 2*n] = i;
238*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[-i - n];
239*9880d681SAndroid Build Coastguard Worker
240*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
241*9880d681SAndroid Build Coastguard Workerentry:
242*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
243*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
244*9880d681SAndroid Build Coastguard Worker
245*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
246*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
247*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
248*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
249*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
250*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
251*9880d681SAndroid Build Coastguard Worker
252*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
253*9880d681SAndroid Build Coastguard Worker  br label %for.body
254*9880d681SAndroid Build Coastguard Worker
255*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
256*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
257*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
258*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
259*9880d681SAndroid Build Coastguard Worker  %mul = mul nsw i64 %i.03, -2
260*9880d681SAndroid Build Coastguard Worker  %mul1 = shl i64 %n, 1
261*9880d681SAndroid Build Coastguard Worker  %sub = sub i64 %mul, %mul1
262*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %sub
263*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
264*9880d681SAndroid Build Coastguard Worker  %sub2 = sub nsw i64 0, %i.03
265*9880d681SAndroid Build Coastguard Worker  %sub3 = sub i64 %sub2, %n
266*9880d681SAndroid Build Coastguard Worker  %arrayidx4 = getelementptr inbounds i32, i32* %A, i64 %sub3
267*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx4, align 4
268*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
269*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
270*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
271*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
272*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
273*9880d681SAndroid Build Coastguard Worker
274*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
275*9880d681SAndroid Build Coastguard Worker  br label %for.end
276*9880d681SAndroid Build Coastguard Worker
277*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
278*9880d681SAndroid Build Coastguard Worker  ret void
279*9880d681SAndroid Build Coastguard Worker}
280*9880d681SAndroid Build Coastguard Worker
281*9880d681SAndroid Build Coastguard Worker
282*9880d681SAndroid Build Coastguard Worker;; why doesn't SCEV package understand that n >= 0?
283*9880d681SAndroid Build Coastguard Worker;;  for (long unsigned i = 0; i < n; i++) {
284*9880d681SAndroid Build Coastguard Worker;;    A[i + n + 1] = i;
285*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[-i];
286*9880d681SAndroid Build Coastguard Worker
287*9880d681SAndroid Build Coastguard Workerdefine void @weaktest(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
288*9880d681SAndroid Build Coastguard Workerentry:
289*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
290*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
291*9880d681SAndroid Build Coastguard Worker
292*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
293*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - flow [*|<] splitable!
294*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - split level = 1, iteration = ((0 smax (-1 + (-1 * %n))) /u 2)!
295*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
296*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
297*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
298*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
299*9880d681SAndroid Build Coastguard Worker
300*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
301*9880d681SAndroid Build Coastguard Worker  br label %for.body
302*9880d681SAndroid Build Coastguard Worker
303*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
304*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
305*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
306*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
307*9880d681SAndroid Build Coastguard Worker  %add = add i64 %i.03, %n
308*9880d681SAndroid Build Coastguard Worker  %add1 = add i64 %add, 1
309*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add1
310*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
311*9880d681SAndroid Build Coastguard Worker  %sub = sub i64 0, %i.03
312*9880d681SAndroid Build Coastguard Worker  %arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %sub
313*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx2, align 4
314*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
315*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
316*9880d681SAndroid Build Coastguard Worker  %inc = add i64 %i.03, 1
317*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
318*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
319*9880d681SAndroid Build Coastguard Worker
320*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
321*9880d681SAndroid Build Coastguard Worker  br label %for.end
322*9880d681SAndroid Build Coastguard Worker
323*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
324*9880d681SAndroid Build Coastguard Worker  ret void
325*9880d681SAndroid Build Coastguard Worker}
326*9880d681SAndroid Build Coastguard Worker
327*9880d681SAndroid Build Coastguard Worker
328*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
329*9880d681SAndroid Build Coastguard Worker;;    A[4*N*i + M] = i;
330*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[4*N*i + 3*M + 1];
331*9880d681SAndroid Build Coastguard Worker
332*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv6(i32* %A, i32* %B, i64 %n, i64 %N, i64 %M) nounwind uwtable ssp {
333*9880d681SAndroid Build Coastguard Workerentry:
334*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
335*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
336*9880d681SAndroid Build Coastguard Worker
337*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
338*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
339*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
340*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
341*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
342*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
343*9880d681SAndroid Build Coastguard Worker
344*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
345*9880d681SAndroid Build Coastguard Worker  br label %for.body
346*9880d681SAndroid Build Coastguard Worker
347*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
348*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
349*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
350*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
351*9880d681SAndroid Build Coastguard Worker  %mul = shl i64 %N, 2
352*9880d681SAndroid Build Coastguard Worker  %mul1 = mul i64 %mul, %i.03
353*9880d681SAndroid Build Coastguard Worker  %add = add i64 %mul1, %M
354*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
355*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
356*9880d681SAndroid Build Coastguard Worker  %mul2 = shl i64 %N, 2
357*9880d681SAndroid Build Coastguard Worker  %mul3 = mul i64 %mul2, %i.03
358*9880d681SAndroid Build Coastguard Worker  %mul4 = mul i64 %M, 3
359*9880d681SAndroid Build Coastguard Worker  %add5 = add i64 %mul3, %mul4
360*9880d681SAndroid Build Coastguard Worker  %add6 = add i64 %add5, 1
361*9880d681SAndroid Build Coastguard Worker  %arrayidx7 = getelementptr inbounds i32, i32* %A, i64 %add6
362*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %arrayidx7, align 4
363*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
364*9880d681SAndroid Build Coastguard Worker  store i32 %0, i32* %B.addr.02, align 4
365*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
366*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
367*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
368*9880d681SAndroid Build Coastguard Worker
369*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
370*9880d681SAndroid Build Coastguard Worker  br label %for.end
371*9880d681SAndroid Build Coastguard Worker
372*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
373*9880d681SAndroid Build Coastguard Worker  ret void
374*9880d681SAndroid Build Coastguard Worker}
375*9880d681SAndroid Build Coastguard Worker
376*9880d681SAndroid Build Coastguard Worker
377*9880d681SAndroid Build Coastguard Worker;;  for (long int i = 0; i < n; i++) {
378*9880d681SAndroid Build Coastguard Worker;;    A[2*N*i + M] = i;
379*9880d681SAndroid Build Coastguard Worker;;    *B++ = A[2*N*i - 3*M + 2];
380*9880d681SAndroid Build Coastguard Worker
381*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv7(i32* %A, i32* %B, i64 %n, i64 %N, i64 %M) nounwind uwtable ssp {
382*9880d681SAndroid Build Coastguard Workerentry:
383*9880d681SAndroid Build Coastguard Worker  %cmp1 = icmp eq i64 %n, 0
384*9880d681SAndroid Build Coastguard Worker  br i1 %cmp1, label %for.end, label %for.body.preheader
385*9880d681SAndroid Build Coastguard Worker
386*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
387*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - flow [<>]!
388*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
389*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
390*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused!
391*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none!
392*9880d681SAndroid Build Coastguard Worker
393*9880d681SAndroid Build Coastguard Workerfor.body.preheader:                               ; preds = %entry
394*9880d681SAndroid Build Coastguard Worker  br label %for.body
395*9880d681SAndroid Build Coastguard Worker
396*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body.preheader, %for.body
397*9880d681SAndroid Build Coastguard Worker  %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
398*9880d681SAndroid Build Coastguard Worker  %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
399*9880d681SAndroid Build Coastguard Worker  %conv = trunc i64 %i.03 to i32
400*9880d681SAndroid Build Coastguard Worker  %mul = shl i64 %N, 1
401*9880d681SAndroid Build Coastguard Worker  %mul1 = mul i64 %mul, %i.03
402*9880d681SAndroid Build Coastguard Worker  %add = add i64 %mul1, %M
403*9880d681SAndroid Build Coastguard Worker  %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
404*9880d681SAndroid Build Coastguard Worker  store i32 %conv, i32* %arrayidx, align 4
405*9880d681SAndroid Build Coastguard Worker  %mul2 = shl i64 %N, 1
406*9880d681SAndroid Build Coastguard Worker  %mul3 = mul i64 %mul2, %i.03
407*9880d681SAndroid Build Coastguard Worker  %0 = mul i64 %M, -3
408*9880d681SAndroid Build Coastguard Worker  %sub = add i64 %mul3, %0
409*9880d681SAndroid Build Coastguard Worker  %add5 = add i64 %sub, 2
410*9880d681SAndroid Build Coastguard Worker  %arrayidx6 = getelementptr inbounds i32, i32* %A, i64 %add5
411*9880d681SAndroid Build Coastguard Worker  %1 = load i32, i32* %arrayidx6, align 4
412*9880d681SAndroid Build Coastguard Worker  %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
413*9880d681SAndroid Build Coastguard Worker  store i32 %1, i32* %B.addr.02, align 4
414*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i64 %i.03, 1
415*9880d681SAndroid Build Coastguard Worker  %exitcond = icmp ne i64 %inc, %n
416*9880d681SAndroid Build Coastguard Worker  br i1 %exitcond, label %for.body, label %for.end.loopexit
417*9880d681SAndroid Build Coastguard Worker
418*9880d681SAndroid Build Coastguard Workerfor.end.loopexit:                                 ; preds = %for.body
419*9880d681SAndroid Build Coastguard Worker  br label %for.end
420*9880d681SAndroid Build Coastguard Worker
421*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.end.loopexit, %entry
422*9880d681SAndroid Build Coastguard Worker  ret void
423*9880d681SAndroid Build Coastguard Worker}
424