Home | History | Annotate | Download | only in X86
      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
     17 define i8* @SyFgets(i8* %line, i64 %length, i64 %fid) {
     18 entry:
     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 
     27 if.then:
     28   br label %cleanup
     29 
     30 if.end:
     31   switch i64 undef, label %if.end25 [
     32     i64 0, label %if.then4
     33     i64 1, label %if.end25
     34   ]
     35 
     36 if.then4:
     37   br i1 undef, label %SyTime.exit, label %if.then.i
     38 
     39 if.then.i:
     40   unreachable
     41 
     42 SyTime.exit:
     43   br i1 undef, label %SyTime.exit2681, label %if.then.i2673
     44 
     45 if.then.i2673:
     46   unreachable
     47 
     48 SyTime.exit2681:
     49   br label %cleanup
     50 
     51 land.lhs.true14:
     52   unreachable
     53 
     54 if.end25:
     55   br i1 undef, label %SyTime.exit2720, label %if.then.i2712
     56 
     57 if.then.i2712:
     58   unreachable
     59 
     60 SyTime.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 
     65 for.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 
     69 while.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 
     75 do.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 
    107 do.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 
    114 while.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 
    145 while.cond1037.preheader:
    146   %cmp10393273 = icmp eq i8 undef, 0
    147   br i1 %cmp10393273, label %if.end1070, label %land.rhs1041
    148 
    149 while.cond635.preheader:
    150   br i1 undef, label %for.body643.us, label %while.cond661
    151 
    152 for.body643.us:
    153   br label %for.body643.us
    154 
    155 while.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 
    161 sw.bb206:
    162   br label %while.cond197.backedge
    163 
    164 sw.bb243:
    165   br label %while.cond197.backedge
    166 
    167 sw.bb256:
    168   br label %while.cond197.backedge
    169 
    170 while.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 
    176 for.cond357:
    177   br label %for.cond357
    178 
    179 sw.bb474:
    180   %cmp476 = icmp eq i8 undef, 0
    181   br i1 %cmp476, label %if.end517, label %do.body479.preheader
    182 
    183 do.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 
    191 land.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 
    196 cond.true.i.i2780:
    197   br i1 undef, label %land.lhs.true490, label %lor.rhs500
    198 
    199 cond.false.i.i2782:
    200   unreachable
    201 
    202 land.lhs.true490:
    203   br i1 false, label %lor.rhs500, label %do.body479.backedge
    204 
    205 lor.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 
    213 land.lhs.true504:
    214   br i1 undef, label %do.body479.backedge, label %if.end517
    215 
    216 do.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 
    221 do.body479.backedge.land.rhs485_crit_edge:
    222   br label %land.rhs485
    223 
    224 if.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 
    234 if.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 
    238 for.cond534:
    239   %cmp536 = icmp eq i8 undef, 0
    240   br i1 %cmp536, label %for.cond542.preheader, label %for.cond534
    241 
    242 for.cond542.preheader:
    243   br i1 undef, label %for.body545, label %for.end552
    244 
    245 for.body545:
    246   br i1 undef, label %for.end552, label %for.body545
    247 
    248 for.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 
    256 sw.bb566:
    257   br label %while.cond197.backedge
    258 
    259 while.cond661:
    260   br label %while.cond661
    261 
    262 while.cond864:
    263   br label %while.cond864
    264 
    265 sw.bb956:
    266   br i1 undef, label %if.then959, label %while.cond197.backedge
    267 
    268 if.then959:
    269   br label %while.cond962
    270 
    271 while.cond962:
    272   br label %while.cond962
    273 
    274 sw.bb979:
    275   br label %while.cond197.backedge
    276 
    277 land.rhs1041:
    278   unreachable
    279 
    280 if.end1070:
    281   br label %sw.bb1077
    282 
    283 sw.bb1077:
    284   br label %while.cond197.backedge
    285 
    286 sw.bb1134:
    287   br i1 false, label %for.body1139, label %for.cond1145.preheader
    288 
    289 for.cond1145.preheader:
    290   br i1 %cmp293427, label %for.body1150.lr.ph, label %while.cond197.backedge
    291 
    292 for.body1150.lr.ph:
    293   unreachable
    294 
    295 for.body1139:
    296   unreachable
    297 
    298 sw.default:
    299   br label %while.cond197.backedge
    300 
    301 while.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 
    311 for.cond1480.preheader:
    312   br i1 undef, label %for.body1606.lr.ph, label %for.end1609
    313 
    314 if.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 
    322 for.body1606.lr.ph:
    323   br label %for.end1609
    324 
    325 for.end1609:
    326   br i1 undef, label %for.cond1659.preheader, label %land.lhs.true1614
    327 
    328 land.lhs.true1614:
    329   br label %for.cond1659.preheader
    330 
    331 for.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 
    335 for.body1664.lr.ph:
    336   %cmp16773405 = icmp slt i64 undef, undef
    337   br i1 %cmp16773405, label %while.body1679, label %while.cond1683.preheader
    338 
    339 while.body1703.lr.ph:
    340   unreachable
    341 
    342 while.cond1683.preheader:
    343   br i1 undef, label %while.body1691, label %while.end1693
    344 
    345 while.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 
    351 if.then.i3069:
    352   br label %syEchoch.exit3070
    353 
    354 syEchoch.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 
    360 while.body1691:
    361   unreachable
    362 
    363 while.end1693:
    364   unreachable
    365 
    366 for.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 
    373 cleanup:
    374   ret i8* undef
    375 }
    376 
    377 declare i32 @fileno(%struct.TMP.2* nocapture)
    378 declare i64 @"\01_write"(i32, i8*, i64)
    379 declare i32 @__maskrune(i32, i64)
    380 declare 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