llvm/test/CodeGen/AArch64/GlobalISel/legalize-fshl.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
   2 # RUN: llc -O0 -mtriple=arm64-unknown-unknown -global-isel -run-pass=legalizer -global-isel-abort=1 %s -o - | FileCheck %s
   3
   4 ---
   5 name:            fshl_i8
   6 alignment:       4
   7 tracksRegLiveness: true
   8 body:             |
   9   bb.0:
  10     liveins: $w0, $w1, $w2
  11
  12     ; CHECK-LABEL: name: fshl_i8
  13     ; CHECK: liveins: $w0, $w1, $w2
  14     ; CHECK-NEXT: {{  $}}
  15     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  16     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  17     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  18     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 7
  19     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C]]
  20     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  21     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[C1]]
  22     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C]](s32)
  23     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[XOR]], [[COPY3]]
  24     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
  25     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[AND]], [[C2]]
  26     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[AND2]](s32)
  27     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C2]]
  28     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
  29     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND3]], [[C3]](s64)
  30     ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s32) = G_AND [[AND1]], [[C2]]
  31     ; CHECK-NEXT: [[AND5:%[0-9]+]]:_(s32) = G_AND [[LSHR]], [[C2]]
  32     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[AND5]], [[AND4]](s32)
  33     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR1]]
  34     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
  35     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  36     %3:_(s32) = COPY $w0
  37     %0:_(s8) = G_TRUNC %3(s32)
  38     %4:_(s32) = COPY $w1
  39     %1:_(s8) = G_TRUNC %4(s32)
  40     %5:_(s32) = COPY $w2
  41     %2:_(s8) = G_TRUNC %5(s32)
  42     %6:_(s8) = G_FSHL %0, %1, %2(s8)
  43     %7:_(s32) = G_ANYEXT %6(s8)
  44     $w0 = COPY %7(s32)
  45     RET_ReallyLR implicit $w0
  46
  47 ...
  48
  49 ---
  50 name:            fshl_i16
  51 alignment:       4
  52 tracksRegLiveness: true
  53 body:             |
  54   bb.0:
  55     liveins: $w0, $w1, $w2
  56
  57     ; CHECK-LABEL: name: fshl_i16
  58     ; CHECK: liveins: $w0, $w1, $w2
  59     ; CHECK-NEXT: {{  $}}
  60     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  61     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  62     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  63     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 15
  64     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C]]
  65     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  66     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[C1]]
  67     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C]](s32)
  68     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[XOR]], [[COPY3]]
  69     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
  70     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[AND]], [[C2]]
  71     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[AND2]](s32)
  72     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C2]]
  73     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
  74     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND3]], [[C3]](s64)
  75     ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s32) = G_AND [[AND1]], [[C2]]
  76     ; CHECK-NEXT: [[AND5:%[0-9]+]]:_(s32) = G_AND [[LSHR]], [[C2]]
  77     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[AND5]], [[AND4]](s32)
  78     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR1]]
  79     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
  80     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  81     %3:_(s32) = COPY $w0
  82     %0:_(s16) = G_TRUNC %3(s32)
  83     %4:_(s32) = COPY $w1
  84     %1:_(s16) = G_TRUNC %4(s32)
  85     %5:_(s32) = COPY $w2
  86     %2:_(s16) = G_TRUNC %5(s32)
  87     %6:_(s16) = G_FSHL %0, %1, %2(s16)
  88     %7:_(s32) = G_ANYEXT %6(s16)
  89     $w0 = COPY %7(s32)
  90     RET_ReallyLR implicit $w0
  91
  92 ...
  93
  94 ---
  95 name:            fshl_i32
  96 alignment:       4
  97 tracksRegLiveness: true
  98 body:             |
  99   bb.0:
 100     liveins: $w0, $w1, $w2
 101
 102     ; CHECK-LABEL: name: fshl_i32
 103     ; CHECK: liveins: $w0, $w1, $w2
 104     ; CHECK-NEXT: {{  $}}
 105     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 106     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 107     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
 108     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 31
 109     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C]]
 110     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
 111     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[C1]]
 112     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[XOR]], [[C]]
 113     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[AND]](s32)
 114     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 115     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY1]], [[C2]](s64)
 116     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[LSHR]], [[AND1]](s32)
 117     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR1]]
 118     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 119     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 120     %0:_(s32) = COPY $w0
 121     %1:_(s32) = COPY $w1
 122     %2:_(s32) = COPY $w2
 123     %3:_(s32) = G_FSHL %0, %1, %2(s32)
 124     $w0 = COPY %3(s32)
 125     RET_ReallyLR implicit $w0
 126
 127 ...
 128
 129 ---
 130 name:            fshl_i64
 131 alignment:       4
 132 tracksRegLiveness: true
 133 body:             |
 134   bb.0:
 135     liveins: $x0, $x1, $x2
 136
 137     ; CHECK-LABEL: name: fshl_i64
 138     ; CHECK: liveins: $x0, $x1, $x2
 139     ; CHECK-NEXT: {{  $}}
 140     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 141     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
 142     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
 143     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 63
 144     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY2]], [[C]]
 145     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 -1
 146     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[COPY2]], [[C1]]
 147     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[XOR]], [[C]]
 148     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 149     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[COPY]], [[AND]](s64)
 150     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s64) = G_LSHR [[COPY1]], [[C2]](s64)
 151     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s64) = G_LSHR [[LSHR]], [[AND1]](s64)
 152     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[SHL]], [[LSHR1]]
 153     ; CHECK-NEXT: $x0 = COPY [[OR]](s64)
 154     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 155     %0:_(s64) = COPY $x0
 156     %1:_(s64) = COPY $x1
 157     %2:_(s64) = COPY $x2
 158     %3:_(s64) = G_FSHL %0, %1, %2(s64)
 159     $x0 = COPY %3(s64)
 160     RET_ReallyLR implicit $x0
 161
 162 ...
 163
 164 ---
 165 name:            fshl_i8_const_shift
 166 alignment:       4
 167 tracksRegLiveness: true
 168 body:             |
 169   bb.0:
 170     liveins: $w0, $w1
 171
 172     ; CHECK-LABEL: name: fshl_i8_const_shift
 173     ; CHECK: liveins: $w0, $w1
 174     ; CHECK-NEXT: {{  $}}
 175     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 176     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 177     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 4
 178     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 179     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 180     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 181     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND]], [[C]](s64)
 182     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR]]
 183     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 184     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 185     %2:_(s32) = COPY $w0
 186     %0:_(s8) = G_TRUNC %2(s32)
 187     %3:_(s32) = COPY $w1
 188     %1:_(s8) = G_TRUNC %3(s32)
 189     %7:_(s8) = G_CONSTANT i8 4
 190     %5:_(s8) = G_FSHL %0, %1, %7(s8)
 191     %6:_(s32) = G_ANYEXT %5(s8)
 192     $w0 = COPY %6(s32)
 193     RET_ReallyLR implicit $w0
 194
 195 ...
 196
 197 ---
 198 name:            fshl_i8_const_overshift
 199 alignment:       4
 200 tracksRegLiveness: true
 201 body:             |
 202   bb.0:
 203     liveins: $w0, $w1
 204
 205     ; CHECK-LABEL: name: fshl_i8_const_overshift
 206     ; CHECK: liveins: $w0, $w1
 207     ; CHECK-NEXT: {{  $}}
 208     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 209     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 210     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 2
 211     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 212     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 213     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 214     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 6
 215     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND]], [[C2]](s64)
 216     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR]]
 217     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 218     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 219     %2:_(s32) = COPY $w0
 220     %0:_(s8) = G_TRUNC %2(s32)
 221     %3:_(s32) = COPY $w1
 222     %1:_(s8) = G_TRUNC %3(s32)
 223     %7:_(s8) = G_CONSTANT i8 10
 224     %5:_(s8) = G_FSHL %0, %1, %7(s8)
 225     %6:_(s32) = G_ANYEXT %5(s8)
 226     $w0 = COPY %6(s32)
 227     RET_ReallyLR implicit $w0
 228
 229 ...
 230
 231 ---
 232 name:            fshl_i8_shift_by_bitwidth
 233 alignment:       4
 234 tracksRegLiveness: true
 235 body:             |
 236   bb.0:
 237     liveins: $w0, $w1
 238
 239     ; CHECK-LABEL: name: fshl_i8_shift_by_bitwidth
 240     ; CHECK: liveins: $w0, $w1
 241     ; CHECK-NEXT: {{  $}}
 242     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 243     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 244     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 245     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 246     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 247     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 248     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 249     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND]], [[C2]](s64)
 250     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[LSHR]], [[C1]]
 251     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 7
 252     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[AND1]], [[C3]](s64)
 253     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR1]]
 254     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 255     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 256     %2:_(s32) = COPY $w0
 257     %0:_(s8) = G_TRUNC %2(s32)
 258     %3:_(s32) = COPY $w1
 259     %1:_(s8) = G_TRUNC %3(s32)
 260     %7:_(s8) = G_CONSTANT i8 8
 261     %5:_(s8) = G_FSHL %0, %1, %7(s8)
 262     %6:_(s32) = G_ANYEXT %5(s8)
 263     $w0 = COPY %6(s32)
 264     RET_ReallyLR implicit $w0
 265
 266 ...
 267
 268 ---
 269 name:            fshl_i16_const_shift
 270 alignment:       4
 271 tracksRegLiveness: true
 272 body:             |
 273   bb.0:
 274     liveins: $w0, $w1
 275
 276     ; CHECK-LABEL: name: fshl_i16_const_shift
 277     ; CHECK: liveins: $w0, $w1
 278     ; CHECK-NEXT: {{  $}}
 279     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 280     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 281     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 12
 282     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 283     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 284     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 285     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 4
 286     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND]], [[C2]](s64)
 287     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR]]
 288     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 289     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 290     %2:_(s32) = COPY $w0
 291     %0:_(s16) = G_TRUNC %2(s32)
 292     %3:_(s32) = COPY $w1
 293     %1:_(s16) = G_TRUNC %3(s32)
 294     %4:_(s16) = G_CONSTANT i16 12
 295     %5:_(s16) = G_FSHL %0, %1, %4(s16)
 296     %6:_(s32) = G_ANYEXT %5(s16)
 297     $w0 = COPY %6(s32)
 298     RET_ReallyLR implicit $w0
 299
 300 ...
 301
 302 ---
 303 name:            fshl_i16_const_overshift
 304 alignment:       4
 305 tracksRegLiveness: true
 306 body:             |
 307   bb.0:
 308     liveins: $w0, $w1
 309
 310     ; CHECK-LABEL: name: fshl_i16_const_overshift
 311     ; CHECK: liveins: $w0, $w1
 312     ; CHECK-NEXT: {{  $}}
 313     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 314     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 315     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 4
 316     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 317     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 318     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 319     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 12
 320     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND]], [[C2]](s64)
 321     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR]]
 322     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 323     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 324     %2:_(s32) = COPY $w0
 325     %0:_(s16) = G_TRUNC %2(s32)
 326     %3:_(s32) = COPY $w1
 327     %1:_(s16) = G_TRUNC %3(s32)
 328     %4:_(s16) = G_CONSTANT i16 20
 329     %5:_(s16) = G_FSHL %0, %1, %4(s16)
 330     %6:_(s32) = G_ANYEXT %5(s16)
 331     $w0 = COPY %6(s32)
 332     RET_ReallyLR implicit $w0
 333
 334 ...
 335
 336 ---
 337 name:            fshl_i16_shift_by_bitwidth
 338 alignment:       4
 339 tracksRegLiveness: true
 340 body:             |
 341   bb.0:
 342     liveins: $w0, $w1
 343
 344     ; CHECK-LABEL: name: fshl_i16_shift_by_bitwidth
 345     ; CHECK: liveins: $w0, $w1
 346     ; CHECK-NEXT: {{  $}}
 347     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 348     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 349     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 350     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 351     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 352     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 353     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 354     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND]], [[C2]](s64)
 355     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[LSHR]], [[C1]]
 356     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 15
 357     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[AND1]], [[C3]](s64)
 358     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR1]]
 359     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 360     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 361     %2:_(s32) = COPY $w0
 362     %0:_(s16) = G_TRUNC %2(s32)
 363     %3:_(s32) = COPY $w1
 364     %1:_(s16) = G_TRUNC %3(s32)
 365     %4:_(s16) = G_CONSTANT i16 16
 366     %5:_(s16) = G_FSHL %0, %1, %4(s16)
 367     %6:_(s32) = G_ANYEXT %5(s16)
 368     $w0 = COPY %6(s32)
 369     RET_ReallyLR implicit $w0
 370
 371 ...
 372
 373 ---
 374 name:            fshl_i32_const_shift
 375 alignment:       4
 376 tracksRegLiveness: true
 377 body:             |
 378   bb.0:
 379     liveins: $w0, $w1
 380
 381     ; CHECK-LABEL: name: fshl_i32_const_shift
 382     ; CHECK: liveins: $w0, $w1
 383     ; CHECK-NEXT: {{  $}}
 384     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 385     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 386     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 23
 387     ; CHECK-NEXT: [[FSHR:%[0-9]+]]:_(s32) = G_FSHR [[COPY]], [[COPY1]], [[C]](s64)
 388     ; CHECK-NEXT: $w0 = COPY [[FSHR]](s32)
 389     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 390     %0:_(s32) = COPY $w0
 391     %1:_(s32) = COPY $w1
 392     %2:_(s32) = G_CONSTANT i32 9
 393     %3:_(s32) = G_FSHL %0, %1, %2(s32)
 394     $w0 = COPY %3(s32)
 395     RET_ReallyLR implicit $w0
 396
 397 ...
 398
 399 ---
 400 name:            fshl_i32_const_overshift
 401 alignment:       4
 402 tracksRegLiveness: true
 403 body:             |
 404   bb.0:
 405     liveins: $w0, $w1
 406
 407     ; CHECK-LABEL: name: fshl_i32_const_overshift
 408     ; CHECK: liveins: $w0, $w1
 409     ; CHECK-NEXT: {{  $}}
 410     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 411     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 412     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 22
 413     ; CHECK-NEXT: [[FSHR:%[0-9]+]]:_(s32) = G_FSHR [[COPY]], [[COPY1]], [[C]](s64)
 414     ; CHECK-NEXT: $w0 = COPY [[FSHR]](s32)
 415     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 416     %0:_(s32) = COPY $w0
 417     %1:_(s32) = COPY $w1
 418     %4:_(s32) = G_CONSTANT i32 42
 419     %3:_(s32) = G_FSHL %0, %1, %4(s32)
 420     $w0 = COPY %3(s32)
 421     RET_ReallyLR implicit $w0
 422
 423 ...
 424
 425 ---
 426 name:            fshl_i32_shift_by_bandwidth
 427 alignment:       4
 428 tracksRegLiveness: true
 429 body:             |
 430   bb.0:
 431     liveins: $w0, $w1
 432
 433     ; CHECK-LABEL: name: fshl_i32_shift_by_bandwidth
 434     ; CHECK: liveins: $w0, $w1
 435     ; CHECK-NEXT: {{  $}}
 436     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 437     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 438     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 439     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s64)
 440     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 441     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY1]], [[C1]](s64)
 442     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 31
 443     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[LSHR]], [[C2]](s64)
 444     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[SHL]], [[LSHR1]]
 445     ; CHECK-NEXT: $w0 = COPY [[OR]](s32)
 446     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 447     %0:_(s32) = COPY $w0
 448     %1:_(s32) = COPY $w1
 449     %4:_(s32) = G_CONSTANT i32 32
 450     %3:_(s32) = G_FSHL %0, %1, %4(s32)
 451     $w0 = COPY %3(s32)
 452     RET_ReallyLR implicit $w0
 453
 454 ...
 455
 456 ---
 457 name:            fshl_i64_const_shift
 458 alignment:       4
 459 tracksRegLiveness: true
 460 body:             |
 461   bb.0:
 462     liveins: $x0, $x1
 463
 464     ; CHECK-LABEL: name: fshl_i64_const_shift
 465     ; CHECK: liveins: $x0, $x1
 466     ; CHECK-NEXT: {{  $}}
 467     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 468     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
 469     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 23
 470     ; CHECK-NEXT: [[FSHR:%[0-9]+]]:_(s64) = G_FSHR [[COPY]], [[COPY1]], [[C]](s64)
 471     ; CHECK-NEXT: $x0 = COPY [[FSHR]](s64)
 472     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 473     %0:_(s64) = COPY $x0
 474     %1:_(s64) = COPY $x1
 475     %4:_(s64) = G_CONSTANT i64 41
 476     %3:_(s64) = G_FSHL %0, %1, %4(s64)
 477     $x0 = COPY %3(s64)
 478     RET_ReallyLR implicit $x0
 479
 480 ...
 481
 482 ---
 483 name:            fshl_i64_const_overshift
 484 alignment:       4
 485 tracksRegLiveness: true
 486 body:             |
 487   bb.0:
 488     liveins: $x0, $x1
 489
 490     ; CHECK-LABEL: name: fshl_i64_const_overshift
 491     ; CHECK: liveins: $x0, $x1
 492     ; CHECK-NEXT: {{  $}}
 493     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 494     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
 495     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 56
 496     ; CHECK-NEXT: [[FSHR:%[0-9]+]]:_(s64) = G_FSHR [[COPY]], [[COPY1]], [[C]](s64)
 497     ; CHECK-NEXT: $x0 = COPY [[FSHR]](s64)
 498     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 499     %0:_(s64) = COPY $x0
 500     %1:_(s64) = COPY $x1
 501     %4:_(s64) = G_CONSTANT i64 72
 502     %3:_(s64) = G_FSHL %0, %1, %4(s64)
 503     $x0 = COPY %3(s64)
 504     RET_ReallyLR implicit $x0
 505
 506 ...
 507
 508 ---
 509 name:            fshl_i64_shift_by_bandwidth
 510 alignment:       4
 511 tracksRegLiveness: true
 512 body:             |
 513   bb.0:
 514     liveins: $x0, $x1
 515
 516     ; CHECK-LABEL: name: fshl_i64_shift_by_bandwidth
 517     ; CHECK: liveins: $x0, $x1
 518     ; CHECK-NEXT: {{  $}}
 519     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 520     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
 521     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 63
 522     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 523     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
 524     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[COPY]], [[C1]](s64)
 525     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s64) = G_LSHR [[COPY1]], [[C2]](s64)
 526     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s64) = G_LSHR [[LSHR]], [[C]](s64)
 527     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[SHL]], [[LSHR1]]
 528     ; CHECK-NEXT: $x0 = COPY [[OR]](s64)
 529     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 530     %0:_(s64) = COPY $x0
 531     %1:_(s64) = COPY $x1
 532     %4:_(s64) = G_CONSTANT i64 64
 533     %3:_(s64) = G_FSHL %0, %1, %4(s64)
 534     $x0 = COPY %3(s64)
 535     RET_ReallyLR implicit $x0
 536
 537 ...
 538
 539
 540
 541 ---
 542 name:            fshl_v4i32_shift_by_bitwidth
 543 alignment:       4
 544 tracksRegLiveness: true
 545 body:             |
 546   bb.0:
 547     liveins: $q0, $q1
 548
 549     ; CHECK-LABEL: name: fshl_v4i32_shift_by_bitwidth
 550     ; CHECK: liveins: $q0, $q1
 551     ; CHECK-NEXT: {{  $}}
 552     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
 553     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<4 x s32>) = COPY $q1
 554     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 31
 555     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 556     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[C1]](s32), [[C1]](s32), [[C1]](s32), [[C1]](s32)
 557     ; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[C]](s32), [[C]](s32), [[C]](s32), [[C]](s32)
 558     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 559     ; CHECK-NEXT: [[BUILD_VECTOR2:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[C2]](s32), [[C2]](s32), [[C2]](s32), [[C2]](s32)
 560     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(<4 x s32>) = G_SHL [[COPY]], [[BUILD_VECTOR]](<4 x s32>)
 561     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(<4 x s32>) = G_LSHR [[COPY1]], [[BUILD_VECTOR2]](<4 x s32>)
 562     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(<4 x s32>) = G_LSHR [[LSHR]], [[BUILD_VECTOR1]](<4 x s32>)
 563     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(<4 x s32>) = G_OR [[SHL]], [[LSHR1]]
 564     ; CHECK-NEXT: $q0 = COPY [[OR]](<4 x s32>)
 565     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 566     %0:_(<4 x s32>) = COPY $q0
 567     %1:_(<4 x s32>) = COPY $q1
 568     %3:_(s32) = G_CONSTANT i32 32
 569     %2:_(<4 x s32>) = G_BUILD_VECTOR %3(s32), %3(s32), %3(s32), %3(s32)
 570     %4:_(<4 x s32>) = G_FSHL %0, %1, %2(<4 x s32>)
 571     $q0 = COPY %4(<4 x s32>)
 572     RET_ReallyLR implicit $q0
 573
 574 ...