llvm/test/CodeGen/Hexagon/bug14859-split-const-block-addr.ll

   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, ptr }
   7 %s.1 = type { ptr, ptr, ptr, i32 }
   8
   9 ; Function Attrs: nounwind
  10 declare i32 @f0(ptr nocapture) #0 align 2
  11
  12 ; Function Attrs: nounwind
  13 declare void @f1(ptr 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, ptr %a5, ptr %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 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
  30 b1:                                               ; preds = %b0
  31   call void @f7(ptr %v7, ptr %v6, ptr %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(ptr %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, 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
  60 b5:                                               ; 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
  65 b6:                                               ; 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
  82 b7:                                               ; preds = %b6
  83   br label %b8
  84
  85 b8:                                               ; 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
  92 b9:                                               ; 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
  98 b10:                                              ; 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
 104 b11:                                              ; 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
 110 b12:                                              ; 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
 117 b13:                                              ; preds = %b8
 118   call void @f9(ptr %v35, ptr %v36, ptr %v32)
 119   br label %b43
 120
 121 b14:                                              ; preds = %b12
 122   br label %b15
 123
 124 b15:                                              ; 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
 130 b16:                                              ; preds = %b15
 131   br label %b17
 132
 133 b17:                                              ; 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
 143 b18:                                              ; 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
 148 b19:                                              ; 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
 166 b20:                                              ; 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
 171 b21:                                              ; 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
 187 b22:                                              ; preds = %b21
 188   br label %b23
 189
 190 b23:                                              ; 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
 198 b24:                                              ; preds = %b23
 199   br label %b30
 200
 201 b25:                                              ; 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
 207 b26:                                              ; preds = %b25
 208   br label %b27
 209
 210 b27:                                              ; 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
 220 b28:                                              ; 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
 225 b29:                                              ; preds = %b28
 226   call void @f6(ptr %v97, ptr %v85, ptr %v6)
 227   br label %b43
 228
 229 b30:                                              ; 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
 238 b31:                                              ; 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
 251 b32:                                              ; preds = %b30
 252   br label %b31
 253
 254 b33:                                              ; preds = %b18
 255   br i1 %v10, label %b34, label %b37
 256
 257 b34:                                              ; 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
 264 b35:                                              ; preds = %b34
 265   %v118 = call ptr @f5(ptr %v7, i32 %v116, ptr %v115, ptr %a6)
 266   br label %b36
 267
 268 b36:                                              ; 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
 274 b37:                                              ; 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
 281 b38:                                              ; preds = %b37
 282   %v126 = call ptr @f4(ptr %v6, i32 %v124, ptr %v123, ptr %a6)
 283   br label %b39
 284
 285 b39:                                              ; 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
 291 b40:                                              ; 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
 305 b41:                                              ; preds = %b27
 306   br label %b43
 307
 308 b42:                                              ; preds = %b17
 309   br label %b43
 310
 311 b43:                                              ; preds = %b42, %b41, %b40, %b29, %b28, %b25, %b15, %b13, %b1
 312   ret void
 313 }
 314
 315 ; Function Attrs: inlinehint
 316 declare i32 @f3(i32, i32, i32, i32, i32, ptr nocapture) #1
 317
 318 ; Function Attrs: inlinehint
 319 declare ptr @f4(ptr, i32, ptr, ptr) #1
 320
 321 ; Function Attrs: inlinehint
 322 declare ptr @f5(ptr, i32, ptr, ptr) #1
 323
 324 ; Function Attrs: inlinehint
 325 declare void @f6(ptr, ptr, ptr) #1
 326
 327 ; Function Attrs: inlinehint
 328 declare void @f7(ptr, ptr, ptr) #1
 329
 330 ; Function Attrs: inlinehint
 331 declare void @f8(ptr, ptr, ptr) #1
 332
 333 ; Function Attrs: inlinehint
 334 declare void @f9(ptr, ptr, ptr) #1
 335
 336 ; Function Attrs: argmemonly nounwind
 337 declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #2
 338
 339 ; Function Attrs: argmemonly nounwind
 340 declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #2
 341
 342 ; Function Attrs: argmemonly nounwind
 343 declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1) #2
 344
 345 attributes #0 = { nounwind }
 346 attributes #1 = { inlinehint }
 347 attributes #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}