llvm/test/CodeGen/MLRegAlloc/Inputs/input.ll

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