1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
|
; RUN: llc -march=hexagon -O3 -hexagon-small-data-threshold=0 < %s
; REQUIRES: asserts
target triple = "hexagon"
%s.0 = type { %s.1, ptr }
%s.1 = type { ptr, ptr, ptr, i32 }
; Function Attrs: nounwind
declare i32 @f0(ptr nocapture) #0 align 2
; Function Attrs: nounwind
declare void @f1(ptr nocapture) unnamed_addr #0 align 2
; Function Attrs: inlinehint
define void @f2(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4, ptr %a5, ptr %a6) #1 {
b0:
%v0 = alloca %s.0, align 4
%v1 = alloca %s.0, align 4
%v2 = alloca %s.0, align 4
%v3 = alloca %s.0, align 4
%v4 = alloca %s.0, align 4
%v5 = alloca %s.0, align 4
%v6 = inttoptr i32 %a0 to ptr
%v7 = inttoptr i32 %a1 to ptr
%v8 = add nsw i32 %a4, %a3
%v9 = icmp eq i32 %v8, 2
br i1 %v9, label %b1, label %b2
b1: ; preds = %b0
call void @f7(ptr %v7, ptr %v6, ptr %a6)
br label %b43
b2: ; preds = %b0
%v10 = icmp sgt i32 %a3, %a4
br i1 %v10, label %b18, label %b3
b3: ; preds = %b2
%v11 = call i32 @f0(ptr %a5)
%v12 = icmp slt i32 %v11, %a3
br i1 %v12, label %b18, label %b4
b4: ; preds = %b3
%v13 = getelementptr inbounds %s.0, ptr %a5, i32 0, i32 1
%v14 = load ptr, ptr %v13, align 4, !tbaa !0
%v16 = load ptr, ptr %v14, align 4, !tbaa !0
%v17 = getelementptr inbounds %s.1, ptr %v14, i32 0, i32 1
store ptr %v16, ptr %v17, align 4, !tbaa !0
call void @llvm.memset.p0.i64(ptr align 4 %v3, i8 0, i64 16, i1 false)
%v19 = load ptr, ptr %v13, align 4, !tbaa !0
%v20 = getelementptr inbounds %s.0, ptr %v3, i32 0, i32 1
store ptr %v19, ptr %v20, align 4, !tbaa !0
call void @llvm.lifetime.start.p0(i64 -1, ptr %v1)
call void @llvm.memset.p0.i64(ptr align 4 %v1, i8 0, i64 16, i1 false)
%v22 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 1
store ptr %v19, ptr %v22, align 4, !tbaa !0
%v23 = icmp eq ptr %v6, %v7
br i1 %v23, label %b6, label %b5
b5: ; preds = %b4
call void @f8(ptr %v6, ptr %v1, ptr %v7)
%v24 = load ptr, ptr %v22, align 4, !tbaa !0
br label %b6
b6: ; preds = %b5, %b4
%v25 = phi ptr [ %v24, %b5 ], [ %v19, %b4 ]
call void @llvm.memset.p0.i64(ptr align 4 %v2, i8 0, i64 16, i1 false)
%v27 = getelementptr inbounds %s.0, ptr %v2, i32 0, i32 1
store ptr %v25, ptr %v27, align 4, !tbaa !0
call void @f1(ptr %v1) #0
call void @llvm.lifetime.end.p0(i64 -1, ptr %v1)
call void @f1(ptr %v2) #0
call void @f1(ptr %v3) #0
%v28 = load ptr, ptr %v13, align 4, !tbaa !0
%v30 = load ptr, ptr %v28, align 4, !tbaa !0
%v31 = getelementptr inbounds %s.1, ptr %v28, i32 0, i32 1
%v32 = load ptr, ptr %v31, align 4, !tbaa !0
%v33 = inttoptr i32 %a2 to ptr
%v34 = icmp eq ptr %v30, %v32
br i1 %v34, label %b15, label %b7
b7: ; preds = %b6
br label %b8
b8: ; preds = %b12, %b7
%v35 = phi ptr [ %v47, %b12 ], [ %v30, %b7 ]
%v36 = phi ptr [ %v48, %b12 ], [ %v6, %b7 ]
%v37 = phi ptr [ %v46, %b12 ], [ %v7, %b7 ]
%v38 = icmp eq ptr %v37, %v33
br i1 %v38, label %b13, label %b9
b9: ; preds = %b8
%v39 = load i8, ptr %v37, align 1, !tbaa !4
%v40 = load i8, ptr %v35, align 1, !tbaa !4
%v41 = call zeroext i1 %a6(i8 zeroext %v39, i8 zeroext %v40)
br i1 %v41, label %b10, label %b11
b10: ; preds = %b9
%v42 = load i8, ptr %v37, align 1, !tbaa !4
store i8 %v42, ptr %v36, align 1, !tbaa !4
%v43 = getelementptr inbounds i8, ptr %v37, i32 1
br label %b12
b11: ; preds = %b9
%v44 = load i8, ptr %v35, align 1, !tbaa !4
store i8 %v44, ptr %v36, align 1, !tbaa !4
%v45 = getelementptr inbounds i8, ptr %v35, i32 1
br label %b12
b12: ; preds = %b11, %b10
%v46 = phi ptr [ %v43, %b10 ], [ %v37, %b11 ]
%v47 = phi ptr [ %v35, %b10 ], [ %v45, %b11 ]
%v48 = getelementptr inbounds i8, ptr %v36, i32 1
%v49 = icmp eq ptr %v47, %v32
br i1 %v49, label %b14, label %b8
b13: ; preds = %b8
call void @f9(ptr %v35, ptr %v36, ptr %v32)
br label %b43
b14: ; preds = %b12
br label %b15
b15: ; preds = %b14, %b6
%v50 = phi ptr [ %v7, %b6 ], [ %v46, %b14 ]
%v51 = phi ptr [ %v6, %b6 ], [ %v48, %b14 ]
%v52 = icmp eq ptr %v50, %v33
br i1 %v52, label %b43, label %b16
b16: ; preds = %b15
br label %b17
b17: ; preds = %b17, %b16
%v53 = phi ptr [ %v56, %b17 ], [ %v51, %b16 ]
%v54 = phi ptr [ %v57, %b17 ], [ %v50, %b16 ]
%v55 = load i8, ptr %v54, align 1, !tbaa !4
store i8 %v55, ptr %v53, align 1, !tbaa !4
%v56 = getelementptr inbounds i8, ptr %v53, i32 1
%v57 = getelementptr inbounds i8, ptr %v54, i32 1
%v58 = icmp eq ptr %v57, %v33
br i1 %v58, label %b42, label %b17
b18: ; preds = %b3, %b2
%v59 = call i32 @f0(ptr %a5)
%v60 = icmp slt i32 %v59, %a4
br i1 %v60, label %b33, label %b19
b19: ; preds = %b18
%v61 = getelementptr inbounds %s.0, ptr %a5, i32 0, i32 1
%v62 = load ptr, ptr %v61, align 4, !tbaa !0
%v64 = load ptr, ptr %v62, align 4, !tbaa !0
%v65 = getelementptr inbounds %s.1, ptr %v62, i32 0, i32 1
store ptr %v64, ptr %v65, align 4, !tbaa !0
call void @llvm.memset.p0.i64(ptr align 4 %v5, i8 0, i64 16, i1 false)
%v67 = load ptr, ptr %v61, align 4, !tbaa !0
%v68 = getelementptr inbounds %s.0, ptr %v5, i32 0, i32 1
store ptr %v67, ptr %v68, align 4, !tbaa !0
call void @llvm.lifetime.start.p0(i64 -1, ptr %v0)
call void @llvm.memset.p0.i64(ptr align 4 %v0, i8 0, i64 16, i1 false)
%v70 = getelementptr inbounds %s.0, ptr %v0, i32 0, i32 1
store ptr %v67, ptr %v70, align 4, !tbaa !0
%v71 = inttoptr i32 %a2 to ptr
%v72 = icmp eq ptr %v7, %v71
br i1 %v72, label %b21, label %b20
b20: ; preds = %b19
call void @f8(ptr %v7, ptr %v0, ptr %v71)
%v73 = load ptr, ptr %v70, align 4, !tbaa !0
br label %b21
b21: ; preds = %b20, %b19
%v74 = phi ptr [ %v73, %b20 ], [ %v67, %b19 ]
call void @llvm.memset.p0.i64(ptr align 4 %v4, i8 0, i64 16, i1 false)
%v76 = getelementptr inbounds %s.0, ptr %v4, i32 0, i32 1
store ptr %v74, ptr %v76, align 4, !tbaa !0
call void @f1(ptr %v0) #0
call void @llvm.lifetime.end.p0(i64 -1, ptr %v0)
call void @f1(ptr %v4) #0
call void @f1(ptr %v5) #0
%v77 = load ptr, ptr %v61, align 4, !tbaa !0
%v79 = load ptr, ptr %v77, align 4, !tbaa !0
%v80 = getelementptr inbounds %s.1, ptr %v77, i32 0, i32 1
%v81 = load ptr, ptr %v80, align 4, !tbaa !0
%v82 = icmp eq ptr %v6, %v7
br i1 %v82, label %b25, label %b22
b22: ; preds = %b21
br label %b23
b23: ; preds = %b31, %b22
%v83 = phi ptr [ %v100, %b31 ], [ %v81, %b22 ]
%v84 = phi ptr [ %v111, %b31 ], [ %v71, %b22 ]
%v85 = phi ptr [ %v86, %b31 ], [ %v7, %b22 ]
%v86 = getelementptr inbounds i8, ptr %v85, i32 -1
%v87 = icmp eq ptr %v83, %v79
br i1 %v87, label %b28, label %b24
b24: ; preds = %b23
br label %b30
b25: ; preds = %b31, %b21
%v88 = phi ptr [ %v81, %b21 ], [ %v100, %b31 ]
%v89 = phi ptr [ %v71, %b21 ], [ %v111, %b31 ]
%v90 = icmp eq ptr %v88, %v79
br i1 %v90, label %b43, label %b26
b26: ; preds = %b25
br label %b27
b27: ; preds = %b27, %b26
%v91 = phi ptr [ %v93, %b27 ], [ %v88, %b26 ]
%v92 = phi ptr [ %v95, %b27 ], [ %v89, %b26 ]
%v93 = getelementptr inbounds i8, ptr %v91, i32 -1
%v94 = load i8, ptr %v93, align 1, !tbaa !4
%v95 = getelementptr inbounds i8, ptr %v92, i32 -1
store i8 %v94, ptr %v95, align 1, !tbaa !4
%v96 = icmp eq ptr %v93, %v79
br i1 %v96, label %b41, label %b27
b28: ; preds = %b31, %b23
%v97 = phi ptr [ %v111, %b31 ], [ %v84, %b23 ]
%v98 = icmp eq ptr %v6, %v85
br i1 %v98, label %b43, label %b29
b29: ; preds = %b28
call void @f6(ptr %v97, ptr %v85, ptr %v6)
br label %b43
b30: ; preds = %b31, %b24
%v99 = phi ptr [ %v111, %b31 ], [ %v84, %b24 ]
%v100 = phi ptr [ %v101, %b31 ], [ %v83, %b24 ]
%v101 = getelementptr inbounds i8, ptr %v100, i32 -1
%v102 = load i8, ptr %v101, align 1, !tbaa !4
%v103 = load i8, ptr %v86, align 1, !tbaa !4
%v104 = call zeroext i1 %a6(i8 zeroext %v102, i8 zeroext %v103)
br i1 %v104, label %b31, label %b32
b31: ; preds = %b32, %b30
%v105 = phi ptr [ %v101, %b32 ], [ %v86, %b30 ]
%v106 = phi ptr [ %v101, %b32 ], [ %v6, %b30 ]
%v107 = phi ptr [ %v79, %b32 ], [ %v86, %b30 ]
%v108 = phi ptr [ blockaddress(@f2, %b30), %b32 ], [ blockaddress(@f2, %b23), %b30 ]
%v109 = phi ptr [ blockaddress(@f2, %b28), %b32 ], [ blockaddress(@f2, %b25), %b30 ]
%v110 = load i8, ptr %v105, align 1, !tbaa !4
%v111 = getelementptr inbounds i8, ptr %v99, i32 -1
store i8 %v110, ptr %v111, align 1, !tbaa !4
%v112 = icmp eq ptr %v106, %v107
%v113 = select i1 %v112, ptr %v109, ptr %v108
indirectbr ptr %v113, [label %b25, label %b28, label %b23, label %b30]
b32: ; preds = %b30
br label %b31
b33: ; preds = %b18
br i1 %v10, label %b34, label %b37
b34: ; preds = %b33
%v114 = sdiv i32 %a3, 2
%v115 = getelementptr inbounds i8, ptr %v6, i32 %v114
%v116 = sub i32 %a2, %a1
%v117 = icmp sgt i32 %v116, 0
br i1 %v117, label %b35, label %b36
b35: ; preds = %b34
%v118 = call ptr @f5(ptr %v7, i32 %v116, ptr %v115, ptr %a6)
br label %b36
b36: ; preds = %b35, %b34
%v119 = phi ptr [ %v7, %b34 ], [ %v118, %b35 ]
%v120 = ptrtoint ptr %v119 to i32
%v121 = sub i32 %v120, %a1
br label %b40
b37: ; preds = %b33
%v122 = sdiv i32 %a4, 2
%v123 = getelementptr inbounds i8, ptr %v7, i32 %v122
%v124 = sub i32 %a1, %a0
%v125 = icmp sgt i32 %v124, 0
br i1 %v125, label %b38, label %b39
b38: ; preds = %b37
%v126 = call ptr @f4(ptr %v6, i32 %v124, ptr %v123, ptr %a6)
br label %b39
b39: ; preds = %b38, %b37
%v127 = phi ptr [ %v6, %b37 ], [ %v126, %b38 ]
%v128 = ptrtoint ptr %v127 to i32
%v129 = sub i32 %v128, %a0
br label %b40
b40: ; preds = %b39, %b36
%v130 = phi ptr [ %v127, %b39 ], [ %v115, %b36 ]
%v131 = phi ptr [ %v123, %b39 ], [ %v119, %b36 ]
%v132 = phi i32 [ %v129, %b39 ], [ %v114, %b36 ]
%v133 = phi i32 [ %v122, %b39 ], [ %v121, %b36 ]
%v134 = sub nsw i32 %a3, %v132
%v135 = ptrtoint ptr %v130 to i32
%v136 = ptrtoint ptr %v131 to i32
%v137 = call i32 @f3(i32 %v135, i32 %a1, i32 %v136, i32 %v134, i32 %v133, ptr %a5)
call void @f2(i32 %a0, i32 %v135, i32 %v137, i32 %v132, i32 %v133, ptr %a5, ptr %a6)
%v138 = sub nsw i32 %a4, %v133
call void @f2(i32 %v137, i32 %v136, i32 %a2, i32 %v134, i32 %v138, ptr %a5, ptr %a6)
br label %b43
b41: ; preds = %b27
br label %b43
b42: ; preds = %b17
br label %b43
b43: ; preds = %b42, %b41, %b40, %b29, %b28, %b25, %b15, %b13, %b1
ret void
}
; Function Attrs: inlinehint
declare i32 @f3(i32, i32, i32, i32, i32, ptr nocapture) #1
; Function Attrs: inlinehint
declare ptr @f4(ptr, i32, ptr, ptr) #1
; Function Attrs: inlinehint
declare ptr @f5(ptr, i32, ptr, ptr) #1
; Function Attrs: inlinehint
declare void @f6(ptr, ptr, ptr) #1
; Function Attrs: inlinehint
declare void @f7(ptr, ptr, ptr) #1
; Function Attrs: inlinehint
declare void @f8(ptr, ptr, ptr) #1
; Function Attrs: inlinehint
declare void @f9(ptr, ptr, ptr) #1
; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #2
; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #2
; Function Attrs: argmemonly nounwind
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1) #2
attributes #0 = { nounwind }
attributes #1 = { inlinehint }
attributes #2 = { argmemonly nounwind }
!0 = !{!1, !1, i64 0}
!1 = !{!"any pointer", !2}
!2 = !{!"omnipotent char", !3}
!3 = !{!"Simple C/C++ TBAA"}
!4 = !{!2, !2, i64 0}
|
