llvm/test/CodeGen/AMDGPU/GlobalISel/combine-shl-from-extend-narrow.postlegal.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -run-pass=amdgpu-postlegalizer-combiner -verify-machineinstrs %s -o - | FileCheck -check-prefix=GFX6  %s
   3 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=gfx900 -run-pass=amdgpu-postlegalizer-combiner -verify-machineinstrs %s -o - | FileCheck -check-prefix=GFX9  %s
   4
   5 # Can't narrow this; need known bits
   6 ---
   7 name: shl_s64_by_2_from_anyext_s32
   8 tracksRegLiveness: true
   9 legalized: true
  10 body:             |
  11   bb.0:
  12     liveins: $vgpr0
  13
  14     ; GFX6-LABEL: name: shl_s64_by_2_from_anyext_s32
  15     ; GFX6: liveins: $vgpr0
  16     ; GFX6-NEXT: {{  $}}
  17     ; GFX6-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  18     ; GFX6-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[COPY]](s32)
  19     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  20     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[ANYEXT]], [[C]](s32)
  21     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY [[SHL]](s64)
  22     ;
  23     ; GFX9-LABEL: name: shl_s64_by_2_from_anyext_s32
  24     ; GFX9: liveins: $vgpr0
  25     ; GFX9-NEXT: {{  $}}
  26     ; GFX9-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  27     ; GFX9-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[COPY]](s32)
  28     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  29     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[ANYEXT]], [[C]](s32)
  30     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY [[SHL]](s64)
  31     %0:_(s32) = COPY $vgpr0
  32     %1:_(s64) = G_ANYEXT %0
  33     %2:_(s32) = G_CONSTANT i32 2
  34     %3:_(s64) = G_SHL %1, %2
  35     $vgpr0_vgpr1 = COPY %3
  36 ...
  37
  38 # Can't narrow this; need known bits
  39 ---
  40 name: shl_s64_by_2_from_sext_s32
  41 tracksRegLiveness: true
  42 legalized: true
  43 body:             |
  44   bb.0:
  45     liveins: $vgpr0
  46
  47     ; GFX6-LABEL: name: shl_s64_by_2_from_sext_s32
  48     ; GFX6: liveins: $vgpr0
  49     ; GFX6-NEXT: {{  $}}
  50     ; GFX6-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  51     ; GFX6-NEXT: [[SEXT:%[0-9]+]]:_(s64) = G_SEXT [[COPY]](s32)
  52     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  53     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[SEXT]], [[C]](s32)
  54     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY [[SHL]](s64)
  55     ;
  56     ; GFX9-LABEL: name: shl_s64_by_2_from_sext_s32
  57     ; GFX9: liveins: $vgpr0
  58     ; GFX9-NEXT: {{  $}}
  59     ; GFX9-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  60     ; GFX9-NEXT: [[SEXT:%[0-9]+]]:_(s64) = G_SEXT [[COPY]](s32)
  61     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  62     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[SEXT]], [[C]](s32)
  63     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY [[SHL]](s64)
  64     %0:_(s32) = COPY $vgpr0
  65     %1:_(s64) = G_SEXT %0
  66     %2:_(s32) = G_CONSTANT i32 2
  67     %3:_(s64) = G_SHL %1, %2
  68     $vgpr0_vgpr1 = COPY %3
  69 ...
  70
  71 # Can't narrow this; need known bits
  72 ---
  73 name: shl_s64_by_2_from_zext_s32
  74 tracksRegLiveness: true
  75 legalized: true
  76 body:             |
  77   bb.0:
  78     liveins: $vgpr0
  79
  80     ; GFX6-LABEL: name: shl_s64_by_2_from_zext_s32
  81     ; GFX6: liveins: $vgpr0
  82     ; GFX6-NEXT: {{  $}}
  83     ; GFX6-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  84     ; GFX6-NEXT: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY]](s32)
  85     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  86     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[ZEXT]], [[C]](s32)
  87     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY [[SHL]](s64)
  88     ;
  89     ; GFX9-LABEL: name: shl_s64_by_2_from_zext_s32
  90     ; GFX9: liveins: $vgpr0
  91     ; GFX9-NEXT: {{  $}}
  92     ; GFX9-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  93     ; GFX9-NEXT: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT [[COPY]](s32)
  94     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  95     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[ZEXT]], [[C]](s32)
  96     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY [[SHL]](s64)
  97     %0:_(s32) = COPY $vgpr0
  98     %1:_(s64) = G_ZEXT %0
  99     %2:_(s32) = G_CONSTANT i32 2
 100     %3:_(s64) = G_SHL %1, %2
 101     $vgpr0_vgpr1 = COPY %3
 102 ...
 103
 104 ---
 105 name: narrow_shl_s64_by_2_from_anyext_s32
 106 tracksRegLiveness: true
 107 legalized: true
 108 body:             |
 109   bb.0:
 110     liveins: $vgpr0
 111
 112     ; GFX6-LABEL: name: narrow_shl_s64_by_2_from_anyext_s32
 113     ; GFX6: liveins: $vgpr0
 114     ; GFX6-NEXT: {{  $}}
 115     ; GFX6-NEXT: %narrow:_(s32) = COPY $vgpr0
 116     ; GFX6-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 117     ; GFX6-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 118     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 119     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 120     ; GFX6-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 121     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 122     ;
 123     ; GFX9-LABEL: name: narrow_shl_s64_by_2_from_anyext_s32
 124     ; GFX9: liveins: $vgpr0
 125     ; GFX9-NEXT: {{  $}}
 126     ; GFX9-NEXT: %narrow:_(s32) = COPY $vgpr0
 127     ; GFX9-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 128     ; GFX9-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 129     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 130     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 131     ; GFX9-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 132     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 133     %narrow:_(s32) = COPY $vgpr0
 134     %masklow30:_(s32) = G_CONSTANT i32 1073741823
 135     %masked:_(s32) = G_AND %narrow, %masklow30
 136     %extend:_(s64) = G_ANYEXT %masked
 137     %shiftamt:_(s32) = G_CONSTANT i32 2
 138     %shl:_(s64) = G_SHL %extend, %shiftamt
 139     $vgpr0_vgpr1 = COPY %shl
 140 ...
 141
 142 ---
 143 name: narrow_shl_s64_by_2_from_zext_s32
 144 tracksRegLiveness: true
 145 legalized: true
 146 body:             |
 147   bb.0:
 148     liveins: $vgpr0
 149
 150     ; GFX6-LABEL: name: narrow_shl_s64_by_2_from_zext_s32
 151     ; GFX6: liveins: $vgpr0
 152     ; GFX6-NEXT: {{  $}}
 153     ; GFX6-NEXT: %narrow:_(s32) = COPY $vgpr0
 154     ; GFX6-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 155     ; GFX6-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 156     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 157     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 158     ; GFX6-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 159     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 160     ;
 161     ; GFX9-LABEL: name: narrow_shl_s64_by_2_from_zext_s32
 162     ; GFX9: liveins: $vgpr0
 163     ; GFX9-NEXT: {{  $}}
 164     ; GFX9-NEXT: %narrow:_(s32) = COPY $vgpr0
 165     ; GFX9-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 166     ; GFX9-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 167     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 168     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 169     ; GFX9-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 170     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 171     %narrow:_(s32) = COPY $vgpr0
 172     %masklow30:_(s32) = G_CONSTANT i32 1073741823
 173     %masked:_(s32) = G_AND %narrow, %masklow30
 174     %extend:_(s64) = G_ZEXT %masked
 175     %shiftamt:_(s32) = G_CONSTANT i32 2
 176     %shl:_(s64) = G_SHL %extend, %shiftamt
 177     $vgpr0_vgpr1 = COPY %shl
 178 ...
 179
 180 ---
 181 name: narrow_shl_s64_by_2_from_sext_s32
 182 tracksRegLiveness: true
 183 legalized: true
 184 body:             |
 185   bb.0:
 186     liveins: $vgpr0
 187
 188     ; GFX6-LABEL: name: narrow_shl_s64_by_2_from_sext_s32
 189     ; GFX6: liveins: $vgpr0
 190     ; GFX6-NEXT: {{  $}}
 191     ; GFX6-NEXT: %narrow:_(s32) = COPY $vgpr0
 192     ; GFX6-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 193     ; GFX6-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 194     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 195     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 196     ; GFX6-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 197     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 198     ;
 199     ; GFX9-LABEL: name: narrow_shl_s64_by_2_from_sext_s32
 200     ; GFX9: liveins: $vgpr0
 201     ; GFX9-NEXT: {{  $}}
 202     ; GFX9-NEXT: %narrow:_(s32) = COPY $vgpr0
 203     ; GFX9-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 204     ; GFX9-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 205     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 206     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 207     ; GFX9-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 208     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 209     %narrow:_(s32) = COPY $vgpr0
 210     %masklow30:_(s32) = G_CONSTANT i32 1073741823
 211     %masked:_(s32) = G_AND %narrow, %masklow30
 212     %extend:_(s64) = G_SEXT %masked
 213     %shiftamt:_(s32) = G_CONSTANT i32 2
 214     %shl:_(s64) = G_SHL %extend, %shiftamt
 215     $vgpr0_vgpr1 = COPY %shl
 216 ...
 217
 218 ---
 219 name: narrow_shl_s64_by_2_from_zext_s32_lookthrough_amount
 220 tracksRegLiveness: true
 221 legalized: true
 222 body:             |
 223   bb.0:
 224     liveins: $vgpr0
 225
 226     ; GFX6-LABEL: name: narrow_shl_s64_by_2_from_zext_s32_lookthrough_amount
 227     ; GFX6: liveins: $vgpr0
 228     ; GFX6-NEXT: {{  $}}
 229     ; GFX6-NEXT: %narrow:_(s32) = COPY $vgpr0
 230     ; GFX6-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 231     ; GFX6-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 232     ; GFX6-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 233     ; GFX6-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 234     ; GFX6-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 235     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 236     ;
 237     ; GFX9-LABEL: name: narrow_shl_s64_by_2_from_zext_s32_lookthrough_amount
 238     ; GFX9: liveins: $vgpr0
 239     ; GFX9-NEXT: {{  $}}
 240     ; GFX9-NEXT: %narrow:_(s32) = COPY $vgpr0
 241     ; GFX9-NEXT: %masklow30:_(s32) = G_CONSTANT i32 1073741823
 242     ; GFX9-NEXT: %masked:_(s32) = G_AND %narrow, %masklow30
 243     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 244     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL %masked, [[C]](s32)
 245     ; GFX9-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s32)
 246     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 247     %narrow:_(s32) = COPY $vgpr0
 248     %masklow30:_(s32) = G_CONSTANT i32 1073741823
 249     %masked:_(s32) = G_AND %narrow, %masklow30
 250     %extend:_(s64) = G_ZEXT %masked
 251     %shiftamt64:_(s64) = G_CONSTANT i64 2
 252     %shiftamt:_(s32) = G_TRUNC %shiftamt64
 253     %shl:_(s64) = G_SHL %extend, %shiftamt
 254     $vgpr0_vgpr1 = COPY %shl
 255 ...
 256
 257 # Can't introduce a 16-bit shift before gfx8
 258 ---
 259 name: narrow_shl_s32_by_2_from_zext_s16
 260 tracksRegLiveness: true
 261 legalized: true
 262 body:             |
 263   bb.0:
 264     liveins: $vgpr0
 265
 266     ; GFX6-LABEL: name: narrow_shl_s32_by_2_from_zext_s16
 267     ; GFX6: liveins: $vgpr0
 268     ; GFX6-NEXT: {{  $}}
 269     ; GFX6-NEXT: %argument:_(s32) = COPY $vgpr0
 270     ; GFX6-NEXT: %narrow:_(s16) = G_TRUNC %argument(s32)
 271     ; GFX6-NEXT: %masklow14:_(s16) = G_CONSTANT i16 16383
 272     ; GFX6-NEXT: %masked:_(s16) = G_AND %narrow, %masklow14
 273     ; GFX6-NEXT: %extend:_(s32) = G_ZEXT %masked(s16)
 274     ; GFX6-NEXT: %shiftamt:_(s32) = G_CONSTANT i32 2
 275     ; GFX6-NEXT: %shl:_(s32) = G_SHL %extend, %shiftamt(s32)
 276     ; GFX6-NEXT: $vgpr0 = COPY %shl(s32)
 277     ;
 278     ; GFX9-LABEL: name: narrow_shl_s32_by_2_from_zext_s16
 279     ; GFX9: liveins: $vgpr0
 280     ; GFX9-NEXT: {{  $}}
 281     ; GFX9-NEXT: %argument:_(s32) = COPY $vgpr0
 282     ; GFX9-NEXT: %narrow:_(s16) = G_TRUNC %argument(s32)
 283     ; GFX9-NEXT: %masklow14:_(s16) = G_CONSTANT i16 16383
 284     ; GFX9-NEXT: %masked:_(s16) = G_AND %narrow, %masklow14
 285     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 2
 286     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s16) = G_SHL %masked, [[C]](s16)
 287     ; GFX9-NEXT: %shl:_(s32) = G_ZEXT [[SHL]](s16)
 288     ; GFX9-NEXT: $vgpr0 = COPY %shl(s32)
 289     %argument:_(s32) = COPY $vgpr0
 290     %narrow:_(s16) = G_TRUNC %argument
 291     %masklow14:_(s16) = G_CONSTANT i16 16383
 292     %masked:_(s16) = G_AND %narrow, %masklow14
 293     %extend:_(s32) = G_ZEXT %masked
 294     %shiftamt:_(s32) = G_CONSTANT i32 2
 295     %shl:_(s32) = G_SHL %extend, %shiftamt
 296     $vgpr0 = COPY %shl
 297 ...
 298
 299 ---
 300 name: narrow_shl_s64_by_2_from_zext_s16
 301 tracksRegLiveness: true
 302 legalized: true
 303 body:             |
 304   bb.0:
 305     liveins: $vgpr0
 306
 307     ; GFX6-LABEL: name: narrow_shl_s64_by_2_from_zext_s16
 308     ; GFX6: liveins: $vgpr0
 309     ; GFX6-NEXT: {{  $}}
 310     ; GFX6-NEXT: %argument:_(s32) = COPY $vgpr0
 311     ; GFX6-NEXT: %narrow:_(s16) = G_TRUNC %argument(s32)
 312     ; GFX6-NEXT: %masklow14:_(s16) = G_CONSTANT i16 16383
 313     ; GFX6-NEXT: %masked:_(s16) = G_AND %narrow, %masklow14
 314     ; GFX6-NEXT: %extend:_(s64) = G_ZEXT %masked(s16)
 315     ; GFX6-NEXT: %shiftamt:_(s32) = G_CONSTANT i32 2
 316     ; GFX6-NEXT: %shl:_(s64) = G_SHL %extend, %shiftamt(s32)
 317     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 318     ;
 319     ; GFX9-LABEL: name: narrow_shl_s64_by_2_from_zext_s16
 320     ; GFX9: liveins: $vgpr0
 321     ; GFX9-NEXT: {{  $}}
 322     ; GFX9-NEXT: %argument:_(s32) = COPY $vgpr0
 323     ; GFX9-NEXT: %narrow:_(s16) = G_TRUNC %argument(s32)
 324     ; GFX9-NEXT: %masklow14:_(s16) = G_CONSTANT i16 16383
 325     ; GFX9-NEXT: %masked:_(s16) = G_AND %narrow, %masklow14
 326     ; GFX9-NEXT: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 2
 327     ; GFX9-NEXT: [[SHL:%[0-9]+]]:_(s16) = G_SHL %masked, [[C]](s16)
 328     ; GFX9-NEXT: %shl:_(s64) = G_ZEXT [[SHL]](s16)
 329     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY %shl(s64)
 330     %argument:_(s32) = COPY $vgpr0
 331     %narrow:_(s16) = G_TRUNC %argument
 332     %masklow14:_(s16) = G_CONSTANT i16 16383
 333     %masked:_(s16) = G_AND %narrow, %masklow14
 334     %extend:_(s64) = G_ZEXT %masked
 335     %shiftamt:_(s32) = G_CONSTANT i32 2
 336     %shl:_(s64) = G_SHL %extend, %shiftamt
 337     $vgpr0_vgpr1 = COPY %shl
 338 ...
 339
 340 ---
 341 name: do_not_shl_s32_zero_by_16_from_zext_s16
 342 tracksRegLiveness: true
 343 legalized: true
 344
 345 body:             |
 346   bb.0:
 347     liveins: $vgpr0
 348     ; GFX6-LABEL: name: do_not_shl_s32_zero_by_16_from_zext_s16
 349     ; GFX6: liveins: $vgpr0
 350     ; GFX6-NEXT: {{  $}}
 351     ; GFX6-NEXT: %shl:_(s32) = G_CONSTANT i32 0
 352     ; GFX6-NEXT: $vgpr0 = COPY %shl(s32)
 353     ;
 354     ; GFX9-LABEL: name: do_not_shl_s32_zero_by_16_from_zext_s16
 355     ; GFX9: liveins: $vgpr0
 356     ; GFX9-NEXT: {{  $}}
 357     ; GFX9-NEXT: %shl:_(s32) = G_CONSTANT i32 0
 358     ; GFX9-NEXT: $vgpr0 = COPY %shl(s32)
 359     %zero:_(s16) = G_CONSTANT i16 0
 360     %extend:_(s32) = G_ZEXT %zero:_(s16)
 361     %shiftamt:_(s16) = G_CONSTANT i16 16
 362     %shl:_(s32) = G_SHL %extend, %shiftamt(s16)
 363     $vgpr0 = COPY %shl
 364 ...
 365
 366 ---
 367 name: do_not_shl_v2s32_zero_by_16_from_zext_v2s16
 368 tracksRegLiveness: true
 369 legalized: true
 370
 371 body:             |
 372   bb.0:
 373     liveins: $vgpr0
 374     ; GFX6-LABEL: name: do_not_shl_v2s32_zero_by_16_from_zext_v2s16
 375     ; GFX6: liveins: $vgpr0
 376     ; GFX6-NEXT: {{  $}}
 377     ; GFX6-NEXT: %zero:_(s16) = G_CONSTANT i16 0
 378     ; GFX6-NEXT: %zerovector:_(<2 x s16>) = G_BUILD_VECTOR %zero(s16), %zero(s16)
 379     ; GFX6-NEXT: %shiftamt:_(s16) = G_CONSTANT i16 16
 380     ; GFX6-NEXT: %shiftamtvector:_(<2 x s16>) = G_BUILD_VECTOR %shiftamt(s16), %shiftamt(s16)
 381     ; GFX6-NEXT: %extend:_(<2 x s32>) = G_ZEXT %zerovector(<2 x s16>)
 382     ; GFX6-NEXT: %shl:_(<2 x s32>) = G_SHL %extend, %shiftamtvector(<2 x s16>)
 383     ; GFX6-NEXT: $vgpr0_vgpr1 = COPY %shl(<2 x s32>)
 384     ;
 385     ; GFX9-LABEL: name: do_not_shl_v2s32_zero_by_16_from_zext_v2s16
 386     ; GFX9: liveins: $vgpr0
 387     ; GFX9-NEXT: {{  $}}
 388     ; GFX9-NEXT: %zero:_(s16) = G_CONSTANT i16 0
 389     ; GFX9-NEXT: %zerovector:_(<2 x s16>) = G_BUILD_VECTOR %zero(s16), %zero(s16)
 390     ; GFX9-NEXT: %shiftamt:_(s16) = G_CONSTANT i16 16
 391     ; GFX9-NEXT: %shiftamtvector:_(<2 x s16>) = G_BUILD_VECTOR %shiftamt(s16), %shiftamt(s16)
 392     ; GFX9-NEXT: %extend:_(<2 x s32>) = G_ZEXT %zerovector(<2 x s16>)
 393     ; GFX9-NEXT: %shl:_(<2 x s32>) = G_SHL %extend, %shiftamtvector(<2 x s16>)
 394     ; GFX9-NEXT: $vgpr0_vgpr1 = COPY %shl(<2 x s32>)
 395     %zero:_(s16) = G_CONSTANT i16 0
 396     %zerovector:_(<2 x s16>) = G_BUILD_VECTOR %zero, %zero:_(s16)
 397     %shiftamt:_(s16) = G_CONSTANT i16 16
 398     %shiftamtvector:_(<2 x s16>) = G_BUILD_VECTOR %shiftamt, %shiftamt:_(s16)
 399     %extend:_(<2 x s32>) = G_ZEXT %zerovector:_(<2 x s16>)
 400     %shl:_(<2 x s32>) = G_SHL %extend, %shiftamtvector
 401     $vgpr0_vgpr1 = COPY %shl
 402 ...
 403
 404 ---
 405 name: do_not_shl_s32_by_16_from_zext_s16
 406 tracksRegLiveness: true
 407 legalized: true
 408
 409 body:             |
 410   bb.0:
 411     liveins: $vgpr0
 412     ; GFX6-LABEL: name: do_not_shl_s32_by_16_from_zext_s16
 413     ; GFX6: liveins: $vgpr0
 414     ; GFX6-NEXT: {{  $}}
 415     ; GFX6-NEXT: %argument:_(s32) = COPY $vgpr0
 416     ; GFX6-NEXT: %truncate:_(s16) = G_TRUNC %argument(s32)
 417     ; GFX6-NEXT: %shiftamt:_(s16) = G_CONSTANT i16 16
 418     ; GFX6-NEXT: %extend:_(s32) = G_ZEXT %truncate(s16)
 419     ; GFX6-NEXT: %shl:_(s32) = G_SHL %extend, %shiftamt(s16)
 420     ; GFX6-NEXT: $vgpr0 = COPY %shl(s32)
 421     ;
 422     ; GFX9-LABEL: name: do_not_shl_s32_by_16_from_zext_s16
 423     ; GFX9: liveins: $vgpr0
 424     ; GFX9-NEXT: {{  $}}
 425     ; GFX9-NEXT: %argument:_(s32) = COPY $vgpr0
 426     ; GFX9-NEXT: %truncate:_(s16) = G_TRUNC %argument(s32)
 427     ; GFX9-NEXT: %shiftamt:_(s16) = G_CONSTANT i16 16
 428     ; GFX9-NEXT: %extend:_(s32) = G_ZEXT %truncate(s16)
 429     ; GFX9-NEXT: %shl:_(s32) = G_SHL %extend, %shiftamt(s16)
 430     ; GFX9-NEXT: $vgpr0 = COPY %shl(s32)
 431     %argument:_(s32) = COPY $vgpr0
 432     %truncate:_(s16) = G_TRUNC %argument:_(s32)
 433     %shiftamt:_(s16) = G_CONSTANT i16 16
 434     %extend:_(s32) = G_ZEXT %truncate:_(s16)
 435     %shl:_(s32) = G_SHL %extend, %shiftamt(s16)
 436     $vgpr0 = COPY %shl
 437 ...