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