1; RUN: llc < %s -mtriple=x86_64-apple-macosx -regalloc=greedy | FileCheck %s 2 3; This testing case is reduced from 254.gap SyFgets function. 4; We make sure a spill is hoisted to a cold BB inside the hotter outer loop. 5 6%struct.TMP.1 = type { %struct.TMP.2*, %struct.TMP.2*, [1024 x i8] } 7%struct.TMP.2 = type { i8*, i32, i32, i16, i16, %struct.TMP.3, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.TMP.3, %struct.TMP.4*, i32, [3 x i8], [1 x i8], %struct.TMP.3, i32, i64 } 8%struct.TMP.4 = type opaque 9%struct.TMP.3 = type { i8*, i32 } 10 11@syBuf = external global [16 x %struct.TMP.1], align 16 12@syHistory = external global [8192 x i8], align 16 13@SyFgets.yank = external global [512 x i8], align 16 14@syCTRO = external global i32, align 4 15 16; CHECK-LABEL: SyFgets 17define i8* @SyFgets(i8* %line, i64 %length, i64 %fid) { 18entry: 19 %sub.ptr.rhs.cast646 = ptrtoint i8* %line to i64 20 %old = alloca [512 x i8], align 16 21 %0 = getelementptr inbounds [512 x i8], [512 x i8]* %old, i64 0, i64 0 22 switch i64 %fid, label %if.then [ 23 i64 2, label %if.end 24 i64 0, label %if.end 25 ] 26 27if.then: 28 br label %cleanup 29 30if.end: 31 switch i64 undef, label %if.end25 [ 32 i64 0, label %if.then4 33 i64 1, label %if.end25 34 ] 35 36if.then4: 37 br i1 undef, label %SyTime.exit, label %if.then.i 38 39if.then.i: 40 unreachable 41 42SyTime.exit: 43 br i1 undef, label %SyTime.exit2681, label %if.then.i2673 44 45if.then.i2673: 46 unreachable 47 48SyTime.exit2681: 49 br label %cleanup 50 51land.lhs.true14: 52 unreachable 53 54if.end25: 55 br i1 undef, label %SyTime.exit2720, label %if.then.i2712 56 57if.then.i2712: 58 unreachable 59 60SyTime.exit2720: 61 %add.ptr = getelementptr [512 x i8], [512 x i8]* %old, i64 0, i64 512 62 %cmp293427 = icmp ult i8* %0, %add.ptr 63 br i1 %cmp293427, label %for.body.lr.ph, label %while.body.preheader 64 65for.body.lr.ph: 66 call void @llvm.memset.p0i8.i64(i8* undef, i8 32, i64 512, i32 16, i1 false) 67 br label %while.body.preheader 68 69while.body.preheader: 70 %add.ptr1603 = getelementptr [512 x i8], [512 x i8]* null, i64 0, i64 512 71 %echo.i3101 = getelementptr [16 x %struct.TMP.1], [16 x %struct.TMP.1]* @syBuf, i64 0, i64 %fid, i32 1 72 %1 = xor i64 %sub.ptr.rhs.cast646, -1 73 br label %do.body 74 75do.body: 76 %ch2.0 = phi i32 [ 0, %while.body.preheader ], [ %ch.12.ch2.12, %do.body ] 77 %rep.0 = phi i32 [ 1, %while.body.preheader ], [ %rep.6, %do.body ] 78 store i32 0, i32* @syCTRO, align 4, !tbaa !1 79 %ch.0.ch2.0 = select i1 undef, i32 14, i32 %ch2.0 80 %ch2.2 = select i1 undef, i32 0, i32 %ch.0.ch2.0 81 %ch.2.ch2.2 = select i1 undef, i32 0, i32 %ch2.2 82 %ch2.4 = select i1 undef, i32 278, i32 %ch.2.ch2.2 83 %ch2.5 = select i1 undef, i32 0, i32 %ch2.4 84 %rep.2 = select i1 undef, i32 undef, i32 %rep.0 85 %ch.5.ch2.5 = select i1 undef, i32 undef, i32 %ch2.5 86 %ch2.7 = select i1 undef, i32 0, i32 %ch.5.ch2.5 87 %rep.3 = select i1 undef, i32 undef, i32 %rep.2 88 %ch.7.ch2.7 = select i1 false, i32 0, i32 %ch2.7 89 %mul98.rep.3 = select i1 false, i32 0, i32 %rep.3 90 %ch2.9 = select i1 undef, i32 undef, i32 %ch.7.ch2.7 91 %rep.5 = select i1 undef, i32 undef, i32 %mul98.rep.3 92 %ch2.10 = select i1 false, i32 undef, i32 %ch2.9 93 %rep.6 = select i1 false, i32 undef, i32 %rep.5 94 %isdigittmp = add i32 %ch2.10, -48 95 %isdigit = icmp ult i32 %isdigittmp, 10 96 %cmp119 = icmp eq i32 undef, 22 97 %or.cond1875 = and i1 %isdigit, %cmp119 98 %ch.10.ch2.10 = select i1 %or.cond1875, i32 undef, i32 %ch2.10 99 %.ch.10 = select i1 %or.cond1875, i32 0, i32 undef 100 %ch2.12 = select i1 undef, i32 %.ch.10, i32 %ch.10.ch2.10 101 %ch.12 = select i1 undef, i32 0, i32 %.ch.10 102 %ch.12.ch2.12 = select i1 false, i32 %ch.12, i32 %ch2.12 103 %.ch.12 = select i1 false, i32 0, i32 %ch.12 104 %cmp147 = icmp eq i32 %.ch.12, 0 105 br i1 %cmp147, label %do.body, label %do.end 106 107do.end: 108 %cmp164 = icmp eq i32 %ch.12.ch2.12, 21 109 %mul167 = shl i32 %rep.6, 2 110 %rep.8 = select i1 %cmp164, i32 %mul167, i32 %rep.6 111 %..ch.19 = select i1 false, i32 2, i32 0 112 br i1 undef, label %while.body200, label %while.end1465 113 114while.body200: 115 %dec3386.in = phi i32 [ %dec3386, %while.cond197.backedge ], [ %rep.8, %do.end ] 116 %oldc.13384 = phi i32 [ %oldc.1.be, %while.cond197.backedge ], [ 0, %do.end ] 117 %ch.213379 = phi i32 [ %last.1.be, %while.cond197.backedge ], [ %..ch.19, %do.end ] 118 %last.13371 = phi i32 [ %last.1.be, %while.cond197.backedge ], [ 0, %do.end ] 119 %dec3386 = add i32 %dec3386.in, -1 120 switch i32 %ch.213379, label %sw.default [ 121 i32 1, label %while.cond201.preheader 122 i32 322, label %sw.bb206 123 i32 354, label %sw.bb206 124 i32 2, label %sw.bb243 125 i32 364, label %sw.bb1077 126 i32 326, label %sw.bb256 127 i32 358, label %sw.bb256 128 i32 341, label %sw.bb979 129 i32 323, label %while.cond1037.preheader 130 i32 373, label %sw.bb979 131 i32 4, label %if.then1477 132 i32 332, label %sw.bb1077 133 i32 11, label %for.cond357 134 i32 355, label %while.cond1037.preheader 135 i32 324, label %sw.bb474 136 i32 356, label %sw.bb474 137 i32 20, label %sw.bb566 138 i32 -1, label %while.cond197.backedge 139 i32 268, label %sw.bb1134 140 i32 16, label %while.cond635.preheader 141 i32 18, label %sw.bb956 142 i32 316, label %while.cond864 143 ] 144 145while.cond1037.preheader: 146 %cmp10393273 = icmp eq i8 undef, 0 147 br i1 %cmp10393273, label %if.end1070, label %land.rhs1041 148 149while.cond635.preheader: 150 br i1 undef, label %for.body643.us, label %while.cond661 151 152for.body643.us: 153 br label %for.body643.us 154 155while.cond201.preheader: 156 %umax = select i1 false, i64 undef, i64 %1 157 %2 = xor i64 %umax, -1 158 %3 = inttoptr i64 %2 to i8* 159 br label %while.cond197.backedge 160 161sw.bb206: 162 br label %while.cond197.backedge 163 164sw.bb243: 165 br label %while.cond197.backedge 166 167sw.bb256: 168 br label %while.cond197.backedge 169 170while.cond197.backedge: 171 %last.1.be = phi i32 [ %ch.213379, %sw.default ], [ -1, %while.body200 ], [ %ch.213379, %sw.bb1077 ], [ %ch.213379, %sw.bb979 ], [ 18, %sw.bb956 ], [ 20, %sw.bb566 ], [ %ch.213379, %for.end552 ], [ %ch.213379, %sw.bb256 ], [ 2, %sw.bb243 ], [ 1, %while.cond201.preheader ], [ 268, %for.cond1145.preheader ], [ %ch.213379, %sw.bb206 ] 172 %oldc.1.be = phi i32 [ %oldc.13384, %sw.default ], [ %oldc.13384, %while.body200 ], [ %oldc.13384, %sw.bb1077 ], [ %oldc.13384, %sw.bb979 ], [ %oldc.13384, %sw.bb956 ], [ %oldc.13384, %sw.bb566 ], [ %oldc.13384, %for.end552 ], [ %oldc.13384, %sw.bb256 ], [ %oldc.13384, %sw.bb243 ], [ %oldc.13384, %while.cond201.preheader ], [ 0, %for.cond1145.preheader ], [ %oldc.13384, %sw.bb206 ] 173 %cmp198 = icmp sgt i32 %dec3386, 0 174 br i1 %cmp198, label %while.body200, label %while.end1465 175 176for.cond357: 177 br label %for.cond357 178 179sw.bb474: 180 %cmp476 = icmp eq i8 undef, 0 181 br i1 %cmp476, label %if.end517, label %do.body479.preheader 182 183do.body479.preheader: 184 ; CHECK: do.body479.preheader 185 ; spill is hoisted here. Although loop depth1 is even hotter than loop depth2, do.body479.preheader is cold. 186 ; CHECK: movq %r{{.*}}, {{[0-9]+}}(%rsp) 187 ; CHECK: land.rhs485 188 %cmp4833314 = icmp eq i8 undef, 0 189 br i1 %cmp4833314, label %if.end517, label %land.rhs485 190 191land.rhs485: 192 %incdec.ptr4803316 = phi i8* [ %incdec.ptr480, %do.body479.backedge.land.rhs485_crit_edge ], [ undef, %do.body479.preheader ] 193 %isascii.i.i27763151 = icmp sgt i8 undef, -1 194 br i1 %isascii.i.i27763151, label %cond.true.i.i2780, label %cond.false.i.i2782 195 196cond.true.i.i2780: 197 br i1 undef, label %land.lhs.true490, label %lor.rhs500 198 199cond.false.i.i2782: 200 unreachable 201 202land.lhs.true490: 203 br i1 false, label %lor.rhs500, label %do.body479.backedge 204 205lor.rhs500: 206 ; CHECK: lor.rhs500 207 ; Make sure spill is hoisted to a cold preheader in outside loop. 208 ; CHECK-NOT: movq %r{{.*}}, {{[0-9]+}}(%rsp) 209 ; CHECK: callq {{.*}}maskrune 210 %call3.i.i2792 = call i32 @__maskrune(i32 undef, i64 256) 211 br i1 undef, label %land.lhs.true504, label %do.body479.backedge 212 213land.lhs.true504: 214 br i1 undef, label %do.body479.backedge, label %if.end517 215 216do.body479.backedge: 217 %incdec.ptr480 = getelementptr i8, i8* %incdec.ptr4803316, i64 1 218 %cmp483 = icmp eq i8 undef, 0 219 br i1 %cmp483, label %if.end517, label %do.body479.backedge.land.rhs485_crit_edge 220 221do.body479.backedge.land.rhs485_crit_edge: 222 br label %land.rhs485 223 224if.end517: 225 %q.4 = phi i8* [ undef, %sw.bb474 ], [ undef, %do.body479.preheader ], [ %incdec.ptr480, %do.body479.backedge ], [ %incdec.ptr4803316, %land.lhs.true504 ] 226 switch i32 %last.13371, label %if.then532 [ 227 i32 383, label %for.cond534 228 i32 356, label %for.cond534 229 i32 324, label %for.cond534 230 i32 24, label %for.cond534 231 i32 11, label %for.cond534 232 ] 233 234if.then532: 235 store i8 0, i8* getelementptr inbounds ([512 x i8], [512 x i8]* @SyFgets.yank, i64 0, i64 0), align 16, !tbaa !5 236 br label %for.cond534 237 238for.cond534: 239 %cmp536 = icmp eq i8 undef, 0 240 br i1 %cmp536, label %for.cond542.preheader, label %for.cond534 241 242for.cond542.preheader: 243 br i1 undef, label %for.body545, label %for.end552 244 245for.body545: 246 br i1 undef, label %for.end552, label %for.body545 247 248for.end552: 249 %s.2.lcssa = phi i8* [ undef, %for.cond542.preheader ], [ %q.4, %for.body545 ] 250 %sub.ptr.lhs.cast553 = ptrtoint i8* %s.2.lcssa to i64 251 %sub.ptr.sub555 = sub i64 %sub.ptr.lhs.cast553, 0 252 %arrayidx556 = getelementptr i8, i8* null, i64 %sub.ptr.sub555 253 store i8 0, i8* %arrayidx556, align 1, !tbaa !5 254 br label %while.cond197.backedge 255 256sw.bb566: 257 br label %while.cond197.backedge 258 259while.cond661: 260 br label %while.cond661 261 262while.cond864: 263 br label %while.cond864 264 265sw.bb956: 266 br i1 undef, label %if.then959, label %while.cond197.backedge 267 268if.then959: 269 br label %while.cond962 270 271while.cond962: 272 br label %while.cond962 273 274sw.bb979: 275 br label %while.cond197.backedge 276 277land.rhs1041: 278 unreachable 279 280if.end1070: 281 br label %sw.bb1077 282 283sw.bb1077: 284 br label %while.cond197.backedge 285 286sw.bb1134: 287 br i1 false, label %for.body1139, label %for.cond1145.preheader 288 289for.cond1145.preheader: 290 br i1 %cmp293427, label %for.body1150.lr.ph, label %while.cond197.backedge 291 292for.body1150.lr.ph: 293 unreachable 294 295for.body1139: 296 unreachable 297 298sw.default: 299 br label %while.cond197.backedge 300 301while.end1465: 302 %oldc.1.lcssa = phi i32 [ 0, %do.end ], [ %oldc.1.be, %while.cond197.backedge ] 303 %ch.21.lcssa = phi i32 [ %..ch.19, %do.end ], [ %last.1.be, %while.cond197.backedge ] 304 switch i32 %ch.21.lcssa, label %for.cond1480.preheader [ 305 i32 -1, label %if.then1477 306 i32 15, label %if.then1477 307 i32 13, label %if.then1477 308 i32 10, label %if.then1477 309 ] 310 311for.cond1480.preheader: 312 br i1 undef, label %for.body1606.lr.ph, label %for.end1609 313 314if.then1477: 315 %p.1.lcssa3539 = phi i8* [ null, %while.end1465 ], [ null, %while.end1465 ], [ null, %while.end1465 ], [ null, %while.end1465 ], [ %line, %while.body200 ] 316 %call1.i3057 = call i64 @"\01_write"(i32 undef, i8* undef, i64 1) 317 %sub.ptr.lhs.cast1717 = ptrtoint i8* %p.1.lcssa3539 to i64 318 %sub.ptr.sub1719 = sub i64 %sub.ptr.lhs.cast1717, %sub.ptr.rhs.cast646 319 %idx.neg1727 = sub i64 0, %sub.ptr.sub1719 320 br label %for.body1723 321 322for.body1606.lr.ph: 323 br label %for.end1609 324 325for.end1609: 326 br i1 undef, label %for.cond1659.preheader, label %land.lhs.true1614 327 328land.lhs.true1614: 329 br label %for.cond1659.preheader 330 331for.cond1659.preheader: 332 %cmp16623414 = icmp ult i8* undef, %add.ptr1603 333 br i1 %cmp16623414, label %for.body1664.lr.ph, label %while.body1703.lr.ph 334 335for.body1664.lr.ph: 336 %cmp16773405 = icmp slt i64 undef, undef 337 br i1 %cmp16773405, label %while.body1679, label %while.cond1683.preheader 338 339while.body1703.lr.ph: 340 unreachable 341 342while.cond1683.preheader: 343 br i1 undef, label %while.body1691, label %while.end1693 344 345while.body1679: 346 %oldc.43406 = phi i32 [ %inc, %syEchoch.exit3070 ], [ %oldc.1.lcssa, %for.body1664.lr.ph ] 347 %4 = load %struct.TMP.2*, %struct.TMP.2** %echo.i3101, align 8, !tbaa !6 348 %call.i3062 = call i32 @fileno(%struct.TMP.2* %4) 349 br i1 undef, label %if.then.i3069, label %syEchoch.exit3070 350 351if.then.i3069: 352 br label %syEchoch.exit3070 353 354syEchoch.exit3070: 355 %inc = add i32 %oldc.43406, 1 356 %conv1672 = sext i32 %inc to i64 357 %cmp1677 = icmp slt i64 %conv1672, undef 358 br i1 %cmp1677, label %while.body1679, label %while.cond1683.preheader 359 360while.body1691: 361 unreachable 362 363while.end1693: 364 unreachable 365 366for.body1723: 367 %q.303203 = phi i8* [ getelementptr inbounds ([8192 x i8], [8192 x i8]* @syHistory, i64 0, i64 8189), %if.then1477 ], [ %incdec.ptr1730, %for.body1723 ] 368 %add.ptr1728 = getelementptr i8, i8* %q.303203, i64 %idx.neg1727 369 %5 = load i8, i8* %add.ptr1728, align 1, !tbaa !5 370 %incdec.ptr1730 = getelementptr i8, i8* %q.303203, i64 -1 371 br label %for.body1723 372 373cleanup: 374 ret i8* undef 375} 376 377declare i32 @fileno(%struct.TMP.2* nocapture) 378declare i64 @"\01_write"(i32, i8*, i64) 379declare i32 @__maskrune(i32, i64) 380declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) 381 382!llvm.ident = !{!0} 383 384!0 = !{!"clang version 3.5.0 (trunk 204257)"} 385!1 = !{!2, !2, i64 0} 386!2 = !{!"int", !3, i64 0} 387!3 = !{!"omnipotent char", !4, i64 0} 388!4 = !{!"Simple C/C++ TBAA"} 389!5 = !{!3, !3, i64 0} 390!6 = !{!7, !8, i64 8} 391!7 = !{!"", !8, i64 0, !8, i64 8, !3, i64 16} 392!8 = !{!"any pointer", !3, i64 0} 393