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