llvm/test/CodeGen/X86/ragreedy-last-chance-recoloring.ll

   1 ; RUN: llc -regalloc=greedy -relocation-model=pic  < %s 2>&1 | FileCheck %s
   2 ; Without the last chance recoloring, this test fails with:
   3 ; "ran out of registers".
   4
   5 ; NOTE: With the fix to PR18883, we don't actually run out of registers here
   6 ; any more, and so those checks are disabled. This test remains only for general coverage.
   7 ; XXX: not llc -regalloc=greedy -relocation-model=pic -lcr-max-depth=0  < %s 2>&1 | FileCheck %s --check-prefix=CHECK-DEPTH
   8 ; Test whether failure due to cutoff for depth is reported
   9
  10 ; XXX: not llc -regalloc=greedy -relocation-model=pic -lcr-max-interf=1  < %s 2>&1 | FileCheck %s --check-prefix=CHECK-INTERF
  11 ; Test whether failure due to cutoff for interference is reported
  12
  13 ; RUN: llc -regalloc=greedy -relocation-model=pic -lcr-max-interf=1 -lcr-max-depth=0 -exhaustive-register-search < %s > %t 2>&1
  14 ; RUN: FileCheck --input-file=%t %s --check-prefix=CHECK-EXHAUSTIVE
  15 ; Test whether exhaustive-register-search can bypass the depth and interference cutoffs of last chance recoloring
  16
  17 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
  18 target triple = "i386-apple-macosx"
  19
  20 @fp_dh_36985b17790d59a27994eaab5dcb00ee = external constant [499 x i32]
  21 @fp_dh_18716afa4a5354de0a302c8edb3b0ee1 = external global i32
  22 @fp_dh_20a33cdeefab8f4c8887e82766cb9dcb = external global ptr
  23 @fp_dh_9d93c897906e39883c58b034c8e786b2 = external global [5419648 x i8], align 16
  24
  25 ; Function Attrs: nounwind ssp
  26 ; CHECK-NOT: ran out of registers during register allocation
  27 ; CHECK-INTERF: error: register allocation failed: maximum interference for recoloring reached
  28 ; CHECK-DEPTH: error: register allocation failed: maximum depth for recoloring reached
  29 ; CHECK-EXHAUSTIVE-NOT: error: register allocation failed: maximum {{depth|interference}} for recoloring reached
  30 define void @fp_dh_f870bf31fd8ffe068450366e3f05389a(ptr %arg) #0 {
  31 bb:
  32   indirectbr ptr undef, [label %bb85, label %bb206]
  33
  34 bb85:                                             ; preds = %bb222, %bb85, %bb
  35   store ptr blockaddress(@fp_dh_f870bf31fd8ffe068450366e3f05389a, %bb206), ptr undef, align 4
  36   indirectbr ptr undef, [label %bb439, label %bb85]
  37
  38 bb206:                                            ; preds = %bb
  39   %tmp = getelementptr [499 x i32], ptr @fp_dh_36985b17790d59a27994eaab5dcb00ee, i32 0, i32 undef
  40   %tmp207 = load i32, ptr %tmp
  41   %tmp208 = add i32 %tmp207, 1
  42   %tmp209 = inttoptr i32 %tmp208 to ptr
  43   indirectbr ptr %tmp209, [label %bb213]
  44
  45 bb213:                                            ; preds = %bb206
  46   %tmp214 = load i32, ptr @fp_dh_18716afa4a5354de0a302c8edb3b0ee1, align 4
  47   %tmp215 = load ptr, ptr @fp_dh_20a33cdeefab8f4c8887e82766cb9dcb, align 4
  48   %tmp216 = urem i32 -717428541, %tmp214
  49   %tmp217 = getelementptr i8, ptr %tmp215, i32 %tmp216
  50   %tmp219 = load i32, ptr %tmp217, align 4
  51   store i32 %tmp219, ptr undef, align 4
  52   %tmp220 = select i1 false, i32 359373646, i32 1677237955
  53   %tmp221 = add i32 %tmp220, 0
  54   indirectbr ptr undef, [label %bb432, label %bb222]
  55
  56 bb222:                                            ; preds = %bb213
  57   %tmp224 = load i32, ptr undef, align 4
  58   %tmp225 = load i32, ptr undef, align 4
  59   %tmp226 = xor i32 %tmp225, %tmp224
  60   %tmp227 = shl i32 %tmp226, 1
  61   %tmp228 = and i32 %tmp227, -2048880334
  62   %tmp229 = sub i32 0, %tmp228
  63   %tmp230 = add i32 0, %tmp229
  64   %tmp231 = xor i32 %tmp230, 1059356227
  65   %tmp232 = mul i32 %tmp231, 1603744721
  66   %tmp233 = urem i32 %tmp232, 259
  67   %tmp234 = getelementptr [259 x i8], ptr getelementptr inbounds ([5419648 x i8], ptr @fp_dh_9d93c897906e39883c58b034c8e786b2, i32 0, i32 2039075), i32 0, i32 %tmp233
  68   %tmp235 = load i8, ptr %tmp234, align 1
  69   %tmp236 = add i32 %tmp233, 2
  70   %tmp237 = getelementptr [264 x i8], ptr getelementptr inbounds ([5419648 x i8], ptr @fp_dh_9d93c897906e39883c58b034c8e786b2, i32 0, i32 3388166), i32 0, i32 %tmp236
  71   %tmp238 = load i8, ptr %tmp237, align 1
  72   %tmp239 = getelementptr [265 x i8], ptr getelementptr inbounds ([5419648 x i8], ptr @fp_dh_9d93c897906e39883c58b034c8e786b2, i32 0, i32 1325165), i32 0, i32 0
  73   %tmp240 = load i8, ptr %tmp239, align 1
  74   %tmp241 = add i32 %tmp233, 6
  75   %tmp242 = trunc i32 %tmp241 to i8
  76   %tmp243 = mul i8 %tmp242, -3
  77   %tmp244 = add i8 %tmp243, 3
  78   %tmp245 = mul i8 %tmp242, -6
  79   %tmp246 = and i8 %tmp245, 6
  80   %tmp247 = sub i8 0, %tmp246
  81   %tmp248 = add i8 %tmp244, %tmp247
  82   %tmp249 = load i8, ptr undef, align 1
  83   %tmp250 = xor i8 %tmp235, 17
  84   %tmp251 = xor i8 %tmp250, %tmp238
  85   %tmp252 = xor i8 %tmp251, %tmp240
  86   %tmp253 = xor i8 %tmp252, %tmp249
  87   %tmp254 = xor i8 %tmp253, %tmp248
  88   %tmp255 = zext i8 %tmp254 to i16
  89   %tmp256 = shl nuw i16 %tmp255, 8
  90   %tmp257 = load i8, ptr null, align 1
  91   %tmp258 = load i32, ptr @fp_dh_18716afa4a5354de0a302c8edb3b0ee1, align 4
  92   %tmp259 = load ptr, ptr @fp_dh_20a33cdeefab8f4c8887e82766cb9dcb, align 4
  93   %tmp260 = urem i32 -717428541, %tmp258
  94   %tmp261 = getelementptr i8, ptr %tmp259, i32 %tmp260
  95   %tmp263 = load i32, ptr %tmp261, align 4
  96   %tmp264 = xor i32 %tmp263, 0
  97   %tmp265 = shl i32 %tmp264, 1
  98   %tmp266 = and i32 %tmp265, -1312119832
  99   %tmp267 = sub i32 0, %tmp266
 100   %tmp268 = add i32 0, %tmp267
 101   %tmp269 = xor i32 %tmp268, 623994670
 102   %tmp270 = mul i32 %tmp269, 1603744721
 103   %tmp271 = urem i32 %tmp270, 259
 104   %tmp274 = add i32 %tmp271, 3
 105   %tmp275 = getelementptr [265 x i8], ptr getelementptr inbounds ([5419648 x i8], ptr @fp_dh_9d93c897906e39883c58b034c8e786b2, i32 0, i32 1325165), i32 0, i32 %tmp274
 106   %tmp276 = load i8, ptr %tmp275, align 1
 107   %tmp277 = add i32 %tmp271, 6
 108   %tmp278 = trunc i32 %tmp277 to i8
 109   %tmp279 = mul i8 %tmp278, -3
 110   %tmp280 = add i8 %tmp279, 31
 111   %tmp281 = add i8 %tmp280, 0
 112   %tmp282 = xor i8 %tmp257, 13
 113   %tmp283 = xor i8 %tmp282, 0
 114   %tmp284 = xor i8 %tmp283, 0
 115   %tmp285 = xor i8 %tmp284, %tmp276
 116   %tmp286 = xor i8 %tmp285, %tmp281
 117   %tmp287 = zext i8 %tmp286 to i16
 118   %tmp288 = or i16 %tmp287, %tmp256
 119   %tmp289 = xor i16 %tmp288, 14330
 120   %tmp290 = add i16 0, %tmp289
 121   %tmp291 = add i16 %tmp290, -14330
 122   %tmp292 = zext i16 %tmp291 to i32
 123   %tmp293 = add i16 %tmp290, -14330
 124   %tmp294 = lshr i16 %tmp293, 12
 125   %tmp295 = zext i16 %tmp294 to i32
 126   %tmp296 = sub i32 0, %tmp295
 127   %tmp297 = xor i32 %tmp296, 16
 128   %tmp298 = add i32 0, %tmp297
 129   %tmp299 = and i32 %tmp298, 31
 130   %tmp300 = and i32 %tmp292, 30864
 131   %tmp301 = shl i32 %tmp300, %tmp299
 132   %tmp302 = xor i32 0, %tmp301
 133   %tmp303 = add i32 0, %tmp302
 134   %tmp304 = and i32 %tmp298, 31
 135   %tmp305 = and i32 %tmp303, 25568
 136   %tmp306 = lshr i32 %tmp305, %tmp304
 137   %tmp307 = xor i32 0, %tmp306
 138   %tmp308 = add i32 0, %tmp307
 139   %tmp309 = trunc i32 %tmp308 to i16
 140   %tmp310 = shl i16 %tmp309, 1
 141   %tmp311 = and i16 %tmp310, -4648
 142   %tmp312 = shl i16 %tmp309, 1
 143   %tmp313 = and i16 %tmp312, 4646
 144   %tmp314 = xor i16 %tmp311, 17700
 145   %tmp315 = xor i16 %tmp313, 17700
 146   %tmp316 = add i16 %tmp314, %tmp315
 147   %tmp317 = and i16 %tmp314, %tmp315
 148   %tmp318 = shl nuw i16 %tmp317, 1
 149   %tmp319 = sub i16 0, %tmp318
 150   %tmp320 = add i16 %tmp316, %tmp319
 151   %tmp321 = and i16 %tmp320, 29906
 152   %tmp322 = xor i16 %tmp309, 14953
 153   %tmp323 = add i16 0, %tmp322
 154   %tmp324 = sub i16 0, %tmp321
 155   %tmp325 = xor i16 %tmp324, %tmp323
 156   %tmp326 = add i16 0, %tmp325
 157   %tmp327 = add i32 %tmp221, 1161362661
 158   %tmp333 = icmp eq i16 %tmp326, 14953
 159   %tmp334 = add i32 %tmp327, -1456704142
 160   %tmp335 = zext i1 %tmp333 to i32
 161   %tmp336 = add i32 %tmp334, %tmp335
 162   %tmp337 = getelementptr [499 x i32], ptr @fp_dh_36985b17790d59a27994eaab5dcb00ee, i32 0, i32 %tmp336
 163   %tmp338 = load i32, ptr %tmp337
 164   %tmp339 = add i32 %tmp338, 1
 165   %tmp340 = inttoptr i32 %tmp339 to ptr
 166   indirectbr ptr %tmp340, [label %bb85, label %bb439]
 167
 168 bb432:                                            ; preds = %bb432, %bb213
 169   %tmp433 = phi i32 [ %tmp221, %bb213 ], [ %tmp433, %bb432 ]
 170   %tmp434 = add i32 %tmp433, 1022523279
 171   %tmp435 = getelementptr [499 x i32], ptr @fp_dh_36985b17790d59a27994eaab5dcb00ee, i32 0, i32 %tmp434
 172   %tmp436 = load i32, ptr %tmp435
 173   %tmp437 = add i32 %tmp436, 1
 174   %tmp438 = inttoptr i32 %tmp437 to ptr
 175   indirectbr ptr %tmp438, [label %bb432]
 176
 177 bb439:                                            ; preds = %bb222, %bb85
 178   ret void
 179 }
 180
 181 attributes #0 = { nounwind ssp "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }