test/CodeGen/AArch64/ragreedy-csr.ll

   1 ; RUN: llc < %s -mtriple=aarch64-none-linux-gnu -regalloc=greedy -regalloc-csr-first-time-cost=15 | FileCheck %s
   2 ; RUN: llc < %s -mtriple=arm64-apple-ios7.0 -regalloc=greedy -regalloc-csr-first-time-cost=15 | FileCheck %s
   3
   4 ; This testing case is reduced from 197.parser prune_match function.
   5 ; We make sure that we do not use callee-saved registers (x19 to x25).
   6 ; rdar://16162005
   7
   8 ; CHECK-LABEL: prune_match:
   9 ; CHECK: entry
  10 ; CHECK: {{str x30|stp x29, x30}}, [sp
  11 ; CHECK-NOT: stp x25,
  12 ; CHECK-NOT: stp x23, x24
  13 ; CHECK-NOT: stp x21, x22
  14 ; CHECK-NOT: stp x19, x20
  15 ; CHECK: if.end
  16 ; CHECK: return
  17 ; CHECK: {{ldr x30|ldp x29, x30}}, [sp
  18 ; CHECK-NOT: ldp x19, x20
  19 ; CHECK-NOT: ldp x21, x22
  20 ; CHECK-NOT: ldp x23, x24
  21 ; CHECK-NOT: ldp x25,
  22
  23 %struct.List_o_links_struct = type { i32, i32, i32, %struct.List_o_links_struct* }
  24 %struct.Connector_struct = type { i16, i16, i8, i8, %struct.Connector_struct*, i8* }
  25 %struct._RuneLocale = type { [8 x i8], [32 x i8], i32 (i8*, i64, i8**)*, i32 (i32, i8*, i64, i8**)*, i32, [256 x i32], [256 x i32], [256 x i32], %struct._RuneRange, %struct._RuneRange, %struct._RuneRange, i8*, i32, i32, %struct._RuneCharClass* }
  26 %struct._RuneRange = type { i32, %struct._RuneEntry* }
  27 %struct._RuneEntry = type { i32, i32, i32, i32* }
  28 %struct._RuneCharClass = type { [14 x i8], i32 }
  29 %struct.Exp_struct = type { i8, i8, i8, i8, %union.anon }
  30 %union.anon = type { %struct.E_list_struct* }
  31 %struct.E_list_struct = type { %struct.E_list_struct*, %struct.Exp_struct* }
  32 %struct.domain_struct = type { i8*, i32, %struct.List_o_links_struct*, i32, i32, %struct.d_tree_leaf_struct*, %struct.domain_struct* }
  33 %struct.d_tree_leaf_struct = type { %struct.domain_struct*, i32, %struct.d_tree_leaf_struct* }
  34 @_DefaultRuneLocale = external global %struct._RuneLocale
  35 declare i32 @__maskrune(i32, i64) #7
  36 define fastcc i32 @prune_match(%struct.Connector_struct* nocapture readonly %a, %struct.Connector_struct* nocapture readonly %b) #9 {
  37 entry:
  38   %label56 = bitcast %struct.Connector_struct* %a to i16*
  39   %0 = load i16* %label56, align 2
  40   %label157 = bitcast %struct.Connector_struct* %b to i16*
  41   %1 = load i16* %label157, align 2
  42   %cmp = icmp eq i16 %0, %1
  43   br i1 %cmp, label %if.end, label %return, !prof !988
  44 if.end:
  45   %priority = getelementptr inbounds %struct.Connector_struct* %a, i64 0, i32 2
  46   %2 = load i8* %priority, align 1
  47   %priority5 = getelementptr inbounds %struct.Connector_struct* %b, i64 0, i32 2
  48   %3 = load i8* %priority5, align 1
  49   %string = getelementptr inbounds %struct.Connector_struct* %a, i64 0, i32 5
  50   %4 = load i8** %string, align 8
  51   %string7 = getelementptr inbounds %struct.Connector_struct* %b, i64 0, i32 5
  52   %5 = load i8** %string7, align 8
  53   br label %while.cond
  54 while.cond:
  55   %lsr.iv27 = phi i64 [ %lsr.iv.next28, %if.end17 ], [ 0, %if.end ]
  56   %scevgep55 = getelementptr i8* %4, i64 %lsr.iv27
  57   %6 = load i8* %scevgep55, align 1
  58   %idxprom.i.i = sext i8 %6 to i64
  59   %isascii.i.i224 = icmp sgt i8 %6, -1
  60   br i1 %isascii.i.i224, label %cond.true.i.i, label %cond.false.i.i, !prof !181
  61 cond.true.i.i:
  62   %arrayidx.i.i = getelementptr inbounds %struct._RuneLocale* @_DefaultRuneLocale, i64 0, i32 5, i64 %idxprom.i.i
  63   %7 = load i32* %arrayidx.i.i, align 4
  64   %and.i.i = and i32 %7, 32768
  65   br label %isupper.exit
  66 cond.false.i.i:
  67   %8 = trunc i64 %idxprom.i.i to i8
  68   %conv8 = sext i8 %8 to i32
  69   %call3.i.i = tail call i32 @__maskrune(i32 %conv8, i64 32768) #3
  70   br label %isupper.exit
  71 isupper.exit:
  72   %tobool1.sink.i.in.i = phi i32 [ %and.i.i, %cond.true.i.i ], [ %call3.i.i, %cond.false.i.i ]
  73   %tobool1.sink.i.i = icmp eq i32 %tobool1.sink.i.in.i, 0
  74   br i1 %tobool1.sink.i.i, label %lor.rhs, label %while.body, !prof !989
  75 lor.rhs:
  76   %sunkaddr = ptrtoint i8* %5 to i64
  77   %sunkaddr58 = add i64 %sunkaddr, %lsr.iv27
  78   %sunkaddr59 = inttoptr i64 %sunkaddr58 to i8*
  79   %9 = load i8* %sunkaddr59, align 1
  80   %idxprom.i.i214 = sext i8 %9 to i64
  81   %isascii.i.i213225 = icmp sgt i8 %9, -1
  82   br i1 %isascii.i.i213225, label %cond.true.i.i217, label %cond.false.i.i219, !prof !181
  83 cond.true.i.i217:
  84   %arrayidx.i.i215 = getelementptr inbounds %struct._RuneLocale* @_DefaultRuneLocale, i64 0, i32 5, i64 %idxprom.i.i214
  85   %10 = load i32* %arrayidx.i.i215, align 4
  86   %and.i.i216 = and i32 %10, 32768
  87   br label %isupper.exit223
  88 cond.false.i.i219:
  89   %11 = trunc i64 %idxprom.i.i214 to i8
  90   %conv9 = sext i8 %11 to i32
  91   %call3.i.i218 = tail call i32 @__maskrune(i32 %conv9, i64 32768) #3
  92   br label %isupper.exit223
  93 isupper.exit223:
  94   %tobool1.sink.i.in.i220 = phi i32 [ %and.i.i216, %cond.true.i.i217 ], [ %call3.i.i218, %cond.false.i.i219 ]
  95   %tobool1.sink.i.i221 = icmp eq i32 %tobool1.sink.i.in.i220, 0
  96   br i1 %tobool1.sink.i.i221, label %while.end, label %while.body, !prof !990
  97 while.body:
  98   %sunkaddr60 = ptrtoint i8* %4 to i64
  99   %sunkaddr61 = add i64 %sunkaddr60, %lsr.iv27
 100   %sunkaddr62 = inttoptr i64 %sunkaddr61 to i8*
 101   %12 = load i8* %sunkaddr62, align 1
 102   %sunkaddr63 = ptrtoint i8* %5 to i64
 103   %sunkaddr64 = add i64 %sunkaddr63, %lsr.iv27
 104   %sunkaddr65 = inttoptr i64 %sunkaddr64 to i8*
 105   %13 = load i8* %sunkaddr65, align 1
 106   %cmp14 = icmp eq i8 %12, %13
 107   br i1 %cmp14, label %if.end17, label %return, !prof !991
 108 if.end17:
 109   %lsr.iv.next28 = add i64 %lsr.iv27, 1
 110   br label %while.cond
 111 while.end:
 112   %14 = or i8 %3, %2
 113   %15 = icmp eq i8 %14, 0
 114   br i1 %15, label %if.then23, label %if.else88, !prof !992
 115 if.then23:
 116   %sunkaddr66 = ptrtoint %struct.Connector_struct* %a to i64
 117   %sunkaddr67 = add i64 %sunkaddr66, 16
 118   %sunkaddr68 = inttoptr i64 %sunkaddr67 to i8**
 119   %16 = load i8** %sunkaddr68, align 8
 120   %17 = load i8* %16, align 1
 121   %cmp26 = icmp eq i8 %17, 83
 122   %sunkaddr69 = ptrtoint i8* %4 to i64
 123   %sunkaddr70 = add i64 %sunkaddr69, %lsr.iv27
 124   %sunkaddr71 = inttoptr i64 %sunkaddr70 to i8*
 125   %18 = load i8* %sunkaddr71, align 1
 126   br i1 %cmp26, label %land.lhs.true28, label %while.cond59.preheader, !prof !993
 127 land.lhs.true28:
 128   switch i8 %18, label %land.rhs.preheader [
 129     i8 112, label %land.lhs.true35
 130     i8 0, label %return
 131   ], !prof !994
 132 land.lhs.true35:
 133   %sunkaddr72 = ptrtoint i8* %5 to i64
 134   %sunkaddr73 = add i64 %sunkaddr72, %lsr.iv27
 135   %sunkaddr74 = inttoptr i64 %sunkaddr73 to i8*
 136   %19 = load i8* %sunkaddr74, align 1
 137   switch i8 %19, label %land.rhs.preheader [
 138     i8 112, label %land.lhs.true43
 139   ], !prof !995
 140 land.lhs.true43:
 141   %20 = ptrtoint i8* %16 to i64
 142   %21 = sub i64 0, %20
 143   %scevgep52 = getelementptr i8* %4, i64 %21
 144   %scevgep53 = getelementptr i8* %scevgep52, i64 %lsr.iv27
 145   %scevgep54 = getelementptr i8* %scevgep53, i64 -1
 146   %cmp45 = icmp eq i8* %scevgep54, null
 147   br i1 %cmp45, label %return, label %lor.lhs.false47, !prof !996
 148 lor.lhs.false47:
 149   %22 = ptrtoint i8* %16 to i64
 150   %23 = sub i64 0, %22
 151   %scevgep47 = getelementptr i8* %4, i64 %23
 152   %scevgep48 = getelementptr i8* %scevgep47, i64 %lsr.iv27
 153   %scevgep49 = getelementptr i8* %scevgep48, i64 -2
 154   %cmp50 = icmp eq i8* %scevgep49, null
 155   br i1 %cmp50, label %land.lhs.true52, label %while.cond59.preheader, !prof !997
 156 land.lhs.true52:
 157   %sunkaddr75 = ptrtoint i8* %4 to i64
 158   %sunkaddr76 = add i64 %sunkaddr75, %lsr.iv27
 159   %sunkaddr77 = add i64 %sunkaddr76, -1
 160   %sunkaddr78 = inttoptr i64 %sunkaddr77 to i8*
 161   %24 = load i8* %sunkaddr78, align 1
 162   %cmp55 = icmp eq i8 %24, 73
 163   %cmp61233 = icmp eq i8 %18, 0
 164   %or.cond265 = or i1 %cmp55, %cmp61233
 165   br i1 %or.cond265, label %return, label %land.rhs.preheader, !prof !998
 166 while.cond59.preheader:
 167   %cmp61233.old = icmp eq i8 %18, 0
 168   br i1 %cmp61233.old, label %return, label %land.rhs.preheader, !prof !999
 169 land.rhs.preheader:
 170   %scevgep33 = getelementptr i8* %5, i64 %lsr.iv27
 171   %scevgep43 = getelementptr i8* %4, i64 %lsr.iv27
 172   br label %land.rhs
 173 land.rhs:
 174   %lsr.iv = phi i64 [ 0, %land.rhs.preheader ], [ %lsr.iv.next, %if.then83 ]
 175   %25 = phi i8 [ %27, %if.then83 ], [ %18, %land.rhs.preheader ]
 176   %scevgep34 = getelementptr i8* %scevgep33, i64 %lsr.iv
 177   %26 = load i8* %scevgep34, align 1
 178   %cmp64 = icmp eq i8 %26, 0
 179   br i1 %cmp64, label %return, label %while.body66, !prof !1000
 180 while.body66:
 181   %cmp68 = icmp eq i8 %25, 42
 182   %cmp72 = icmp eq i8 %26, 42
 183   %or.cond = or i1 %cmp68, %cmp72
 184   br i1 %or.cond, label %if.then83, label %lor.lhs.false74, !prof !1001
 185 lor.lhs.false74:
 186   %cmp77 = icmp ne i8 %25, %26
 187   %cmp81 = icmp eq i8 %25, 94
 188   %or.cond208 = or i1 %cmp77, %cmp81
 189   br i1 %or.cond208, label %return, label %if.then83, !prof !1002
 190 if.then83:
 191   %scevgep44 = getelementptr i8* %scevgep43, i64 %lsr.iv
 192   %scevgep45 = getelementptr i8* %scevgep44, i64 1
 193   %27 = load i8* %scevgep45, align 1
 194   %cmp61 = icmp eq i8 %27, 0
 195   %lsr.iv.next = add i64 %lsr.iv, 1
 196   br i1 %cmp61, label %return, label %land.rhs, !prof !999
 197 if.else88:
 198   %cmp89 = icmp eq i8 %2, 1
 199   %cmp92 = icmp eq i8 %3, 2
 200   %or.cond159 = and i1 %cmp89, %cmp92
 201   br i1 %or.cond159, label %while.cond95.preheader, label %if.else123, !prof !1003
 202 while.cond95.preheader:
 203   %sunkaddr79 = ptrtoint i8* %4 to i64
 204   %sunkaddr80 = add i64 %sunkaddr79, %lsr.iv27
 205   %sunkaddr81 = inttoptr i64 %sunkaddr80 to i8*
 206   %28 = load i8* %sunkaddr81, align 1
 207   %cmp97238 = icmp eq i8 %28, 0
 208   br i1 %cmp97238, label %return, label %land.rhs99.preheader, !prof !1004
 209 land.rhs99.preheader:
 210   %scevgep31 = getelementptr i8* %5, i64 %lsr.iv27
 211   %scevgep40 = getelementptr i8* %4, i64 %lsr.iv27
 212   br label %land.rhs99
 213 land.rhs99:
 214   %lsr.iv17 = phi i64 [ 0, %land.rhs99.preheader ], [ %lsr.iv.next18, %if.then117 ]
 215   %29 = phi i8 [ %31, %if.then117 ], [ %28, %land.rhs99.preheader ]
 216   %scevgep32 = getelementptr i8* %scevgep31, i64 %lsr.iv17
 217   %30 = load i8* %scevgep32, align 1
 218   %cmp101 = icmp eq i8 %30, 0
 219   br i1 %cmp101, label %return, label %while.body104, !prof !1005
 220 while.body104:
 221   %cmp107 = icmp eq i8 %29, %30
 222   %cmp111 = icmp eq i8 %29, 42
 223   %or.cond209 = or i1 %cmp107, %cmp111
 224   %cmp115 = icmp eq i8 %30, 94
 225   %or.cond210 = or i1 %or.cond209, %cmp115
 226   br i1 %or.cond210, label %if.then117, label %return, !prof !1006
 227 if.then117:
 228   %scevgep41 = getelementptr i8* %scevgep40, i64 %lsr.iv17
 229   %scevgep42 = getelementptr i8* %scevgep41, i64 1
 230   %31 = load i8* %scevgep42, align 1
 231   %cmp97 = icmp eq i8 %31, 0
 232   %lsr.iv.next18 = add i64 %lsr.iv17, 1
 233   br i1 %cmp97, label %return, label %land.rhs99, !prof !1004
 234 if.else123:
 235   %cmp124 = icmp eq i8 %3, 1
 236   %cmp127 = icmp eq i8 %2, 2
 237   %or.cond160 = and i1 %cmp124, %cmp127
 238   br i1 %or.cond160, label %while.cond130.preheader, label %return, !prof !1007
 239 while.cond130.preheader:
 240   %sunkaddr82 = ptrtoint i8* %4 to i64
 241   %sunkaddr83 = add i64 %sunkaddr82, %lsr.iv27
 242   %sunkaddr84 = inttoptr i64 %sunkaddr83 to i8*
 243   %32 = load i8* %sunkaddr84, align 1
 244   %cmp132244 = icmp eq i8 %32, 0
 245   br i1 %cmp132244, label %return, label %land.rhs134.preheader, !prof !1008
 246 land.rhs134.preheader:
 247   %scevgep29 = getelementptr i8* %5, i64 %lsr.iv27
 248   %scevgep37 = getelementptr i8* %4, i64 %lsr.iv27
 249   br label %land.rhs134
 250 land.rhs134:
 251   %lsr.iv22 = phi i64 [ 0, %land.rhs134.preheader ], [ %lsr.iv.next23, %if.then152 ]
 252   %33 = phi i8 [ %35, %if.then152 ], [ %32, %land.rhs134.preheader ]
 253   %scevgep30 = getelementptr i8* %scevgep29, i64 %lsr.iv22
 254   %34 = load i8* %scevgep30, align 1
 255   %cmp136 = icmp eq i8 %34, 0
 256   br i1 %cmp136, label %return, label %while.body139, !prof !1009
 257 while.body139:
 258   %cmp142 = icmp eq i8 %33, %34
 259   %cmp146 = icmp eq i8 %34, 42
 260   %or.cond211 = or i1 %cmp142, %cmp146
 261   %cmp150 = icmp eq i8 %33, 94
 262   %or.cond212 = or i1 %or.cond211, %cmp150
 263   br i1 %or.cond212, label %if.then152, label %return, !prof !1010
 264 if.then152:
 265   %scevgep38 = getelementptr i8* %scevgep37, i64 %lsr.iv22
 266   %scevgep39 = getelementptr i8* %scevgep38, i64 1
 267   %35 = load i8* %scevgep39, align 1
 268   %cmp132 = icmp eq i8 %35, 0
 269   %lsr.iv.next23 = add i64 %lsr.iv22, 1
 270   br i1 %cmp132, label %return, label %land.rhs134, !prof !1008
 271 return:
 272   %retval.0 = phi i32 [ 0, %entry ], [ 1, %land.lhs.true52 ], [ 1, %land.lhs.true43 ], [ 0, %if.else123 ], [ 1, %while.cond59.preheader ], [ 1, %while.cond95.preheader ], [ 1, %while.cond130.preheader ], [ 1, %land.lhs.true28 ], [ 1, %if.then83 ], [ 0, %lor.lhs.false74 ], [ 1, %land.rhs ], [ 1, %if.then117 ], [ 0, %while.body104 ], [ 1, %land.rhs99 ], [ 1, %if.then152 ], [ 0, %while.body139 ], [ 1, %land.rhs134 ], [ 0, %while.body ]
 273   ret i32 %retval.0
 274 }
 275 !181 = metadata !{metadata !"branch_weights", i32 662038, i32 1}
 276 !988 = metadata !{metadata !"branch_weights", i32 12091450, i32 1916}
 277 !989 = metadata !{metadata !"branch_weights", i32 7564670, i32 4526781}
 278 !990 = metadata !{metadata !"branch_weights", i32 7484958, i32 13283499}
 279 !991 = metadata !{metadata !"branch_weights", i32 8677007, i32 4606493}
 280 !992 = metadata !{metadata !"branch_weights", i32 -1172426948, i32 145094705}
 281 !993 = metadata !{metadata !"branch_weights", i32 1468914, i32 5683688}
 282 !994 = metadata !{metadata !"branch_weights", i32 114025221, i32 -1217548794, i32 -1199521551, i32 87712616}
 283 !995 = metadata !{metadata !"branch_weights", i32 1853716452, i32 -444717951, i32 932776759}
 284 !996 = metadata !{metadata !"branch_weights", i32 1004870, i32 20259}
 285 !997 = metadata !{metadata !"branch_weights", i32 20071, i32 189}
 286 !998 = metadata !{metadata !"branch_weights", i32 -1020255939, i32 572177766}
 287 !999 = metadata !{metadata !"branch_weights", i32 2666513, i32 3466431}
 288 !1000 = metadata !{metadata !"branch_weights", i32 5117635, i32 1859780}
 289 !1001 = metadata !{metadata !"branch_weights", i32 354902465, i32 -1444604407}
 290 !1002 = metadata !{metadata !"branch_weights", i32 -1762419279, i32 1592770684}
 291 !1003 = metadata !{metadata !"branch_weights", i32 1435905930, i32 -1951930624}
 292 !1004 = metadata !{metadata !"branch_weights", i32 1, i32 504888}
 293 !1005 = metadata !{metadata !"branch_weights", i32 94662, i32 504888}
 294 !1006 = metadata !{metadata !"branch_weights", i32 -1897793104, i32 160196332}
 295 !1007 = metadata !{metadata !"branch_weights", i32 2074643678, i32 -29579071}
 296 !1008 = metadata !{metadata !"branch_weights", i32 1, i32 226163}
 297 !1009 = metadata !{metadata !"branch_weights", i32 58357, i32 226163}
 298 !1010 = metadata !{metadata !"branch_weights", i32 -2072848646, i32 92907517}