test/CodeGen/AMDGPU/GlobalISel/legalize-merge-values.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -O0 -run-pass=legalizer -global-isel-abort=2 -pass-remarks-missed='gisel*' -o - %s 2> %t  | FileCheck %s
   3 # FileCheck -check-prefix=ERR %s < %t
   4
   5 # ERR-NOT: remark:
   6 # ERR: remark: <unknown>:0:0: unable to legalize instruction: %197:_(s136) = G_INSERT %209:_, %206:_(s8), 128 (in function: test_merge_s68_s17_s17_s17_s17)
   7 # ERR-NOT: remark:
   8
   9
  10 ---
  11 name: test_merge_p1_s8
  12 body: |
  13   bb.0:
  14     liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr3, $vgpr4, $vgpr5, $vgpr6, $vgpr7
  15     ; CHECK-LABEL: name: test_merge_p1_s8
  16     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  17     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
  18     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr2
  19     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY $vgpr3
  20     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY $vgpr4
  21     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY $vgpr5
  22     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY $vgpr6
  23     ; CHECK: [[COPY7:%[0-9]+]]:_(s32) = COPY $vgpr7
  24     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
  25     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
  26     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
  27     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
  28     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
  29     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
  30     ; CHECK: [[COPY8:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
  31     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY8]], [[C2]]
  32     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
  33     ; CHECK: [[COPY9:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
  34     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY9]], [[C3]]
  35     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
  36     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
  37     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
  38     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[COPY2]](s32)
  39     ; CHECK: [[AND3:%[0-9]+]]:_(s16) = G_AND [[TRUNC3]], [[TRUNC]]
  40     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
  41     ; CHECK: [[COPY10:%[0-9]+]]:_(s32) = COPY [[C4]](s32)
  42     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY10]], [[C2]]
  43     ; CHECK: [[COPY11:%[0-9]+]]:_(s32) = COPY [[COPY3]](s32)
  44     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY11]], [[C3]]
  45     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[AND4]](s32)
  46     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
  47     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[AND3]], [[TRUNC4]]
  48     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[COPY4]](s32)
  49     ; CHECK: [[AND6:%[0-9]+]]:_(s16) = G_AND [[TRUNC5]], [[TRUNC]]
  50     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
  51     ; CHECK: [[COPY12:%[0-9]+]]:_(s32) = COPY [[C5]](s32)
  52     ; CHECK: [[AND7:%[0-9]+]]:_(s32) = G_AND [[COPY12]], [[C2]]
  53     ; CHECK: [[COPY13:%[0-9]+]]:_(s32) = COPY [[COPY5]](s32)
  54     ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY13]], [[C3]]
  55     ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND8]], [[AND7]](s32)
  56     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[SHL2]](s32)
  57     ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[AND6]], [[TRUNC6]]
  58     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[COPY6]](s32)
  59     ; CHECK: [[AND9:%[0-9]+]]:_(s16) = G_AND [[TRUNC7]], [[TRUNC]]
  60     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
  61     ; CHECK: [[COPY14:%[0-9]+]]:_(s32) = COPY [[C6]](s32)
  62     ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY14]], [[C2]]
  63     ; CHECK: [[COPY15:%[0-9]+]]:_(s32) = COPY [[COPY7]](s32)
  64     ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY15]], [[C3]]
  65     ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[AND10]](s32)
  66     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[SHL3]](s32)
  67     ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[AND9]], [[TRUNC8]]
  68     ; CHECK: [[MV:%[0-9]+]]:_(p1) = G_MERGE_VALUES [[OR]](s16), [[OR1]](s16), [[OR2]](s16), [[OR3]](s16)
  69     ; CHECK: $vgpr0_vgpr1 = COPY [[MV]](p1)
  70     %0:_(s32) = COPY $vgpr0
  71     %1:_(s32) = COPY $vgpr1
  72     %2:_(s32) = COPY $vgpr2
  73     %3:_(s32) = COPY $vgpr3
  74     %4:_(s32) = COPY $vgpr4
  75     %5:_(s32) = COPY $vgpr5
  76     %6:_(s32) = COPY $vgpr6
  77     %7:_(s32) = COPY $vgpr7
  78     %8:_(s8) = G_TRUNC %0
  79     %9:_(s8) = G_TRUNC %1
  80     %10:_(s8) = G_TRUNC %2
  81     %11:_(s8) = G_TRUNC %3
  82     %12:_(s8) = G_TRUNC %4
  83     %13:_(s8) = G_TRUNC %5
  84     %14:_(s8) = G_TRUNC %6
  85     %15:_(s8) = G_TRUNC %7
  86     %16:_(p1) = G_MERGE_VALUES %8, %9, %10, %11, %12, %13, %14, %15
  87     $vgpr0_vgpr1 = COPY %16
  88
  89 ...
  90
  91 ---
  92 name: test_merge_s16_s8_s8
  93 body: |
  94   bb.0:
  95     ; CHECK-LABEL: name: test_merge_s16_s8_s8
  96     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  97     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  98     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
  99     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C2]](s32)
 100     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 101     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 102     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 103     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 104     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C3]](s32)
 105     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C4]]
 106     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 107     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 108     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C5]]
 109     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 110     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 111     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 112     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[OR]](s16)
 113     ; CHECK: $vgpr0 = COPY [[ANYEXT]](s32)
 114     %0:_(s8) = G_CONSTANT i8 0
 115     %1:_(s8) = G_CONSTANT i8 1
 116     %2:_(s16) = G_MERGE_VALUES %0, %1
 117     %3:_(s32) = G_ANYEXT %2
 118     $vgpr0 = COPY %3
 119 ...
 120
 121 ---
 122 name: test_merge_s24_s8_s8_s8
 123 body: |
 124   bb.0:
 125     ; CHECK-LABEL: name: test_merge_s24_s8_s8_s8
 126     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 127     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 128     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 129     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 130     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 131     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C3]](s32)
 132     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 133     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 134     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 135     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 136     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C4]](s32)
 137     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C5]]
 138     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 139     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 140     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C6]]
 141     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 142     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 143     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 144     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[C2]](s32)
 145     ; CHECK: [[AND3:%[0-9]+]]:_(s16) = G_AND [[TRUNC3]], [[TRUNC]]
 146     ; CHECK: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 147     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C7]](s32)
 148     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C5]]
 149     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[DEF]](s32)
 150     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C6]]
 151     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[AND4]](s32)
 152     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
 153     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[AND3]], [[TRUNC4]]
 154     ; CHECK: [[MV:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[OR]](s16), [[OR1]](s16)
 155     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[MV]](s32)
 156     ; CHECK: $vgpr0 = COPY [[COPY4]](s32)
 157     %0:_(s8) = G_CONSTANT i8 0
 158     %1:_(s8) = G_CONSTANT i8 1
 159     %2:_(s8) = G_CONSTANT i8 2
 160     %3:_(s24) = G_MERGE_VALUES %0, %1, %2
 161     %4:_(s32) = G_ANYEXT %3
 162     $vgpr0 = COPY %4
 163 ...
 164
 165 ---
 166 name: test_merge_s32_s8_s8_s8_s8
 167 body: |
 168   bb.0:
 169     ; CHECK-LABEL: name: test_merge_s32_s8_s8_s8_s8
 170     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 171     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 172     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 173     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 174     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 175     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C4]](s32)
 176     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 177     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 178     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 179     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 180     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C5]](s32)
 181     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C6]]
 182     ; CHECK: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 183     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 184     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C7]]
 185     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 186     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 187     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 188     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[C2]](s32)
 189     ; CHECK: [[AND3:%[0-9]+]]:_(s16) = G_AND [[TRUNC3]], [[TRUNC]]
 190     ; CHECK: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 191     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C8]](s32)
 192     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C6]]
 193     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C3]](s32)
 194     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C7]]
 195     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[AND4]](s32)
 196     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
 197     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[AND3]], [[TRUNC4]]
 198     ; CHECK: [[MV:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[OR]](s16), [[OR1]](s16)
 199     ; CHECK: $vgpr0 = COPY [[MV]](s32)
 200     %0:_(s8) = G_CONSTANT i8 0
 201     %1:_(s8) = G_CONSTANT i8 1
 202     %2:_(s8) = G_CONSTANT i8 2
 203     %3:_(s8) = G_CONSTANT i8 3
 204     %4:_(s32) = G_MERGE_VALUES %0, %1, %2, %3
 205     $vgpr0 = COPY %4
 206 ...
 207
 208 ---
 209 name: test_merge_s64_s32_s32
 210 body: |
 211   bb.0:
 212     liveins: $vgpr0, $vgpr1
 213     ; CHECK-LABEL: name: test_merge_s64_s32_s32
 214     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 215     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
 216     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[COPY]](s32), [[COPY1]](s32)
 217     ; CHECK: $vgpr1_vgpr2 = COPY [[MV]](s64)
 218     %0:_(s32) = COPY $vgpr0
 219     %1:_(s32) = COPY $vgpr1
 220     %2:_(s64) = G_MERGE_VALUES %0, %1
 221     $vgpr1_vgpr2 = COPY %2
 222 ...
 223
 224 ---
 225 name: test_merge_s64_s16_s16_s16_s16
 226 body: |
 227   bb.0:
 228     liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr3
 229     ; CHECK-LABEL: name: test_merge_s64_s16_s16_s16_s16
 230     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 231     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
 232     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr2
 233     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY $vgpr3
 234     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
 235     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s32)
 236     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[COPY2]](s32)
 237     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[COPY3]](s32)
 238     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[TRUNC]](s16), [[TRUNC1]](s16), [[TRUNC2]](s16), [[TRUNC3]](s16)
 239     ; CHECK: $vgpr1_vgpr2 = COPY [[MV]](s64)
 240     %0:_(s32) = COPY $vgpr0
 241     %1:_(s32) = COPY $vgpr1
 242     %2:_(s32) = COPY $vgpr2
 243     %3:_(s32) = COPY $vgpr3
 244     %4:_(s16) = G_TRUNC %0
 245     %5:_(s16) = G_TRUNC %1
 246     %6:_(s16) = G_TRUNC %2
 247     %7:_(s16) = G_TRUNC %3
 248     %8:_(s64) = G_MERGE_VALUES %4, %5, %6, %7
 249     $vgpr1_vgpr2 = COPY %8
 250 ...
 251
 252 ---
 253
 254 name: test_merge_s24_s4_s4_s4_s4_s4_s4
 255 body: |
 256   bb.0:
 257     ; CHECK-LABEL: name: test_merge_s24_s4_s4_s4_s4_s4_s4
 258     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 259     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 260     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 261     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 262     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 263     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 5
 264     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 265     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 15
 266     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C6]](s32)
 267     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 268     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 269     ; CHECK: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 270     ; CHECK: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 271     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C7]](s32)
 272     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C8]]
 273     ; CHECK: [[C9:%[0-9]+]]:_(s32) = G_CONSTANT i32 15
 274     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 275     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C9]]
 276     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 277     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 278     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 279     ; CHECK: [[C10:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 280     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C10]](s32)
 281     ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C8]]
 282     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C2]](s32)
 283     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C9]]
 284     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND4]], [[AND3]](s32)
 285     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
 286     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[OR]], [[TRUNC3]]
 287     ; CHECK: [[C11:%[0-9]+]]:_(s32) = G_CONSTANT i32 12
 288     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[C11]](s32)
 289     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C8]]
 290     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[C3]](s32)
 291     ; CHECK: [[AND6:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C9]]
 292     ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND6]], [[AND5]](s32)
 293     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL2]](s32)
 294     ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[OR1]], [[TRUNC4]]
 295     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[C4]](s32)
 296     ; CHECK: [[AND7:%[0-9]+]]:_(s16) = G_AND [[TRUNC5]], [[TRUNC]]
 297     ; CHECK: [[C12:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 298     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[C12]](s32)
 299     ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C8]]
 300     ; CHECK: [[COPY7:%[0-9]+]]:_(s32) = COPY [[C5]](s32)
 301     ; CHECK: [[AND9:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C9]]
 302     ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND9]], [[AND8]](s32)
 303     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[SHL3]](s32)
 304     ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[AND7]], [[TRUNC6]]
 305     ; CHECK: [[C13:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 306     ; CHECK: [[COPY8:%[0-9]+]]:_(s32) = COPY [[C13]](s32)
 307     ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY8]], [[C8]]
 308     ; CHECK: [[COPY9:%[0-9]+]]:_(s32) = COPY [[DEF]](s32)
 309     ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY9]], [[C9]]
 310     ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[AND10]](s32)
 311     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[SHL4]](s32)
 312     ; CHECK: [[OR4:%[0-9]+]]:_(s16) = G_OR [[OR3]], [[TRUNC7]]
 313     ; CHECK: [[C14:%[0-9]+]]:_(s32) = G_CONSTANT i32 12
 314     ; CHECK: [[COPY10:%[0-9]+]]:_(s32) = COPY [[C14]](s32)
 315     ; CHECK: [[AND12:%[0-9]+]]:_(s32) = G_AND [[COPY10]], [[C8]]
 316     ; CHECK: [[COPY11:%[0-9]+]]:_(s32) = COPY [[DEF]](s32)
 317     ; CHECK: [[AND13:%[0-9]+]]:_(s32) = G_AND [[COPY11]], [[C9]]
 318     ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[AND13]], [[AND12]](s32)
 319     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[SHL5]](s32)
 320     ; CHECK: [[OR5:%[0-9]+]]:_(s16) = G_OR [[OR4]], [[TRUNC8]]
 321     ; CHECK: [[MV:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[OR2]](s16), [[OR5]](s16)
 322     ; CHECK: [[TRUNC9:%[0-9]+]]:_(s24) = G_TRUNC [[MV]](s32)
 323     ; CHECK: S_NOP 0, implicit [[TRUNC9]](s24)
 324     %0:_(s4) = G_CONSTANT i4 0
 325     %1:_(s4) = G_CONSTANT i4 1
 326     %2:_(s4) = G_CONSTANT i4 2
 327     %3:_(s4) = G_CONSTANT i4 3
 328     %4:_(s4) = G_CONSTANT i4 4
 329     %5:_(s4) = G_CONSTANT i4 5
 330     %6:_(s24) = G_MERGE_VALUES %0, %1, %2, %3, %4, %5
 331     S_NOP 0, implicit %6
 332 ...
 333
 334 ---
 335 name: test_merge_s28_s4_s4_s4_s4_s4_s4_s4
 336 body: |
 337   bb.0:
 338     ; CHECK-LABEL: name: test_merge_s28_s4_s4_s4_s4_s4_s4_s4
 339     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 340     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 341     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 342     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 343     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 344     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 5
 345     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 6
 346     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 347     ; CHECK: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 15
 348     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C7]](s32)
 349     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 350     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 351     ; CHECK: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 352     ; CHECK: [[C9:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 353     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C8]](s32)
 354     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C9]]
 355     ; CHECK: [[C10:%[0-9]+]]:_(s32) = G_CONSTANT i32 15
 356     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 357     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C10]]
 358     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 359     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 360     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 361     ; CHECK: [[C11:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 362     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C11]](s32)
 363     ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C9]]
 364     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C2]](s32)
 365     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C10]]
 366     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND4]], [[AND3]](s32)
 367     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
 368     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[OR]], [[TRUNC3]]
 369     ; CHECK: [[C12:%[0-9]+]]:_(s32) = G_CONSTANT i32 12
 370     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[C12]](s32)
 371     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C9]]
 372     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[C3]](s32)
 373     ; CHECK: [[AND6:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C10]]
 374     ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND6]], [[AND5]](s32)
 375     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL2]](s32)
 376     ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[OR1]], [[TRUNC4]]
 377     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[C4]](s32)
 378     ; CHECK: [[AND7:%[0-9]+]]:_(s16) = G_AND [[TRUNC5]], [[TRUNC]]
 379     ; CHECK: [[C13:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 380     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[C13]](s32)
 381     ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C9]]
 382     ; CHECK: [[COPY7:%[0-9]+]]:_(s32) = COPY [[C5]](s32)
 383     ; CHECK: [[AND9:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C10]]
 384     ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND9]], [[AND8]](s32)
 385     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[SHL3]](s32)
 386     ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[AND7]], [[TRUNC6]]
 387     ; CHECK: [[C14:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 388     ; CHECK: [[COPY8:%[0-9]+]]:_(s32) = COPY [[C14]](s32)
 389     ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY8]], [[C9]]
 390     ; CHECK: [[COPY9:%[0-9]+]]:_(s32) = COPY [[C6]](s32)
 391     ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY9]], [[C10]]
 392     ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[AND10]](s32)
 393     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[SHL4]](s32)
 394     ; CHECK: [[OR4:%[0-9]+]]:_(s16) = G_OR [[OR3]], [[TRUNC7]]
 395     ; CHECK: [[C15:%[0-9]+]]:_(s32) = G_CONSTANT i32 12
 396     ; CHECK: [[COPY10:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 397     ; CHECK: [[AND12:%[0-9]+]]:_(s32) = G_AND [[COPY10]], [[C9]]
 398     ; CHECK: [[COPY11:%[0-9]+]]:_(s32) = COPY [[DEF]](s32)
 399     ; CHECK: [[AND13:%[0-9]+]]:_(s32) = G_AND [[COPY11]], [[C10]]
 400     ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[AND13]], [[AND12]](s32)
 401     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[SHL5]](s32)
 402     ; CHECK: [[OR5:%[0-9]+]]:_(s16) = G_OR [[OR4]], [[TRUNC8]]
 403     ; CHECK: [[MV:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[OR2]](s16), [[OR5]](s16)
 404     ; CHECK: [[TRUNC9:%[0-9]+]]:_(s28) = G_TRUNC [[MV]](s32)
 405     ; CHECK: S_NOP 0, implicit [[TRUNC9]](s28)
 406     %0:_(s4) = G_CONSTANT i4 0
 407     %1:_(s4) = G_CONSTANT i4 1
 408     %2:_(s4) = G_CONSTANT i4 2
 409     %3:_(s4) = G_CONSTANT i4 3
 410     %4:_(s4) = G_CONSTANT i4 4
 411     %5:_(s4) = G_CONSTANT i4 5
 412     %6:_(s4) = G_CONSTANT i4 6
 413     %7:_(s28) = G_MERGE_VALUES %0, %1, %2, %3, %4, %5, %6
 414     S_NOP 0, implicit %7
 415
 416 ---
 417 name: test_merge_s64_s8_s8_s8_s8_s8_s8_s8_s8
 418 body: |
 419   bb.0:
 420     %0:_(s8) = G_CONSTANT i8 0
 421     %1:_(s8) = G_CONSTANT i8 1
 422     %2:_(s8) = G_CONSTANT i8 2
 423     %3:_(s8) = G_CONSTANT i8 3
 424     %4:_(s8) = G_CONSTANT i8 4
 425     %5:_(s8) = G_CONSTANT i8 5
 426     %6:_(s8) = G_CONSTANT i8 6
 427     %7:_(s8) = G_CONSTANT i8 7
 428     %8:_(s64) = G_MERGE_VALUES %0, %1, %2, %3, %4, %5, %6, %7
 429     $vgpr0_vgpr1 = COPY %8
 430 ...
 431
 432 ---
 433 name: test_merge_s96_s8_s8_s8_s8_s8_s8_s8_s8_s8_s8_s8_s8
 434 body: |
 435   bb.0:
 436     ; CHECK-LABEL: name: test_merge_s96_s8_s8_s8_s8_s8_s8_s8_s8_s8_s8_s8_s8
 437     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 438     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 439     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 440     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 441     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 442     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 5
 443     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 6
 444     ; CHECK: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 7
 445     ; CHECK: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 446     ; CHECK: [[C9:%[0-9]+]]:_(s32) = G_CONSTANT i32 9
 447     ; CHECK: [[C10:%[0-9]+]]:_(s32) = G_CONSTANT i32 10
 448     ; CHECK: [[C11:%[0-9]+]]:_(s32) = G_CONSTANT i32 11
 449     ; CHECK: [[C12:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 450     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C12]](s32)
 451     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 452     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 453     ; CHECK: [[C13:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 454     ; CHECK: [[C14:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 455     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C13]](s32)
 456     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C14]]
 457     ; CHECK: [[C15:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 458     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 459     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C15]]
 460     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 461     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 462     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 463     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[C2]](s32)
 464     ; CHECK: [[AND3:%[0-9]+]]:_(s16) = G_AND [[TRUNC3]], [[TRUNC]]
 465     ; CHECK: [[C16:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 466     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C16]](s32)
 467     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C14]]
 468     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C3]](s32)
 469     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C15]]
 470     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[AND4]](s32)
 471     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
 472     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[AND3]], [[TRUNC4]]
 473     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[C4]](s32)
 474     ; CHECK: [[AND6:%[0-9]+]]:_(s16) = G_AND [[TRUNC5]], [[TRUNC]]
 475     ; CHECK: [[C17:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 476     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[C17]](s32)
 477     ; CHECK: [[AND7:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C14]]
 478     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[C5]](s32)
 479     ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C15]]
 480     ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND8]], [[AND7]](s32)
 481     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[SHL2]](s32)
 482     ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[AND6]], [[TRUNC6]]
 483     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[C6]](s32)
 484     ; CHECK: [[AND9:%[0-9]+]]:_(s16) = G_AND [[TRUNC7]], [[TRUNC]]
 485     ; CHECK: [[C18:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 486     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[C18]](s32)
 487     ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C14]]
 488     ; CHECK: [[COPY7:%[0-9]+]]:_(s32) = COPY [[C7]](s32)
 489     ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C15]]
 490     ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[AND10]](s32)
 491     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[SHL3]](s32)
 492     ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[AND9]], [[TRUNC8]]
 493     ; CHECK: [[TRUNC9:%[0-9]+]]:_(s16) = G_TRUNC [[C8]](s32)
 494     ; CHECK: [[AND12:%[0-9]+]]:_(s16) = G_AND [[TRUNC9]], [[TRUNC]]
 495     ; CHECK: [[C19:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 496     ; CHECK: [[COPY8:%[0-9]+]]:_(s32) = COPY [[C19]](s32)
 497     ; CHECK: [[AND13:%[0-9]+]]:_(s32) = G_AND [[COPY8]], [[C14]]
 498     ; CHECK: [[COPY9:%[0-9]+]]:_(s32) = COPY [[C9]](s32)
 499     ; CHECK: [[AND14:%[0-9]+]]:_(s32) = G_AND [[COPY9]], [[C15]]
 500     ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[AND14]], [[AND13]](s32)
 501     ; CHECK: [[TRUNC10:%[0-9]+]]:_(s16) = G_TRUNC [[SHL4]](s32)
 502     ; CHECK: [[OR4:%[0-9]+]]:_(s16) = G_OR [[AND12]], [[TRUNC10]]
 503     ; CHECK: [[TRUNC11:%[0-9]+]]:_(s16) = G_TRUNC [[C10]](s32)
 504     ; CHECK: [[AND15:%[0-9]+]]:_(s16) = G_AND [[TRUNC11]], [[TRUNC]]
 505     ; CHECK: [[C20:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 506     ; CHECK: [[COPY10:%[0-9]+]]:_(s32) = COPY [[C20]](s32)
 507     ; CHECK: [[AND16:%[0-9]+]]:_(s32) = G_AND [[COPY10]], [[C14]]
 508     ; CHECK: [[COPY11:%[0-9]+]]:_(s32) = COPY [[C11]](s32)
 509     ; CHECK: [[AND17:%[0-9]+]]:_(s32) = G_AND [[COPY11]], [[C15]]
 510     ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[AND17]], [[AND16]](s32)
 511     ; CHECK: [[TRUNC12:%[0-9]+]]:_(s16) = G_TRUNC [[SHL5]](s32)
 512     ; CHECK: [[OR5:%[0-9]+]]:_(s16) = G_OR [[AND15]], [[TRUNC12]]
 513     ; CHECK: [[MV:%[0-9]+]]:_(s96) = G_MERGE_VALUES [[OR]](s16), [[OR1]](s16), [[OR2]](s16), [[OR3]](s16), [[OR4]](s16), [[OR5]](s16)
 514     ; CHECK: $vgpr0_vgpr1_vgpr2 = COPY [[MV]](s96)
 515     %0:_(s8) = G_CONSTANT i8 0
 516     %1:_(s8) = G_CONSTANT i8 1
 517     %2:_(s8) = G_CONSTANT i8 2
 518     %3:_(s8) = G_CONSTANT i8 3
 519     %4:_(s8) = G_CONSTANT i8 4
 520     %5:_(s8) = G_CONSTANT i8 5
 521     %6:_(s8) = G_CONSTANT i8 6
 522     %7:_(s8) = G_CONSTANT i8 7
 523     %9:_(s8) = G_CONSTANT i8 8
 524     %10:_(s8) = G_CONSTANT i8 9
 525     %11:_(s8) = G_CONSTANT i8 10
 526     %12:_(s8) = G_CONSTANT i8 11
 527
 528     %13:_(s96) = G_MERGE_VALUES %0, %1, %2, %3, %4, %5, %6, %7, %9, %10, %11, %12
 529     $vgpr0_vgpr1_vgpr2 = COPY %13
 530 ...
 531
 532 ---
 533 name: test_merge_s96_s16_s16_s16_s16_s16_s16
 534 body: |
 535   bb.0:
 536     ; CHECK-LABEL: name: test_merge_s96_s16_s16_s16_s16_s16_s16
 537     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 538     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 539     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 540     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C1]](s32)
 541     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 542     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[C2]](s32)
 543     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 544     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[C3]](s32)
 545     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 546     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[C4]](s32)
 547     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 5
 548     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[C5]](s32)
 549     ; CHECK: [[MV:%[0-9]+]]:_(s96) = G_MERGE_VALUES [[TRUNC]](s16), [[TRUNC1]](s16), [[TRUNC2]](s16), [[TRUNC3]](s16), [[TRUNC4]](s16), [[TRUNC5]](s16)
 550     ; CHECK: $vgpr0_vgpr1_vgpr2 = COPY [[MV]](s96)
 551     %0:_(s16) = G_CONSTANT i16 0
 552     %1:_(s16) = G_CONSTANT i16 1
 553     %2:_(s16) = G_CONSTANT i16 2
 554     %3:_(s16) = G_CONSTANT i16 3
 555     %4:_(s16) = G_CONSTANT i16 4
 556     %5:_(s16) = G_CONSTANT i16 5
 557     %8:_(s96) = G_MERGE_VALUES %0, %1, %2, %3, %4, %5
 558     $vgpr0_vgpr1_vgpr2 = COPY %8
 559 ...
 560
 561 ---
 562 name: test_merge_s56_s8_s8_s8_s8_s8_s8_s8
 563 body: |
 564   bb.0:
 565     ; CHECK-LABEL: name: test_merge_s56_s8_s8_s8_s8_s8_s8_s8
 566     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 567     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 568     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 569     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 570     ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 571     ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 5
 572     ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 6
 573     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 574     ; CHECK: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 575     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C7]](s32)
 576     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 577     ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[TRUNC1]], [[TRUNC]]
 578     ; CHECK: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 579     ; CHECK: [[C9:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 580     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C8]](s32)
 581     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C9]]
 582     ; CHECK: [[C10:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 583     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
 584     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C10]]
 585     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[AND1]](s32)
 586     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[SHL]](s32)
 587     ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[TRUNC2]]
 588     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[C2]](s32)
 589     ; CHECK: [[AND3:%[0-9]+]]:_(s16) = G_AND [[TRUNC3]], [[TRUNC]]
 590     ; CHECK: [[C11:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 591     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C11]](s32)
 592     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C9]]
 593     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[C3]](s32)
 594     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C10]]
 595     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[AND4]](s32)
 596     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[SHL1]](s32)
 597     ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[AND3]], [[TRUNC4]]
 598     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[C4]](s32)
 599     ; CHECK: [[AND6:%[0-9]+]]:_(s16) = G_AND [[TRUNC5]], [[TRUNC]]
 600     ; CHECK: [[C12:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 601     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[C12]](s32)
 602     ; CHECK: [[AND7:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C9]]
 603     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[C5]](s32)
 604     ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C10]]
 605     ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND8]], [[AND7]](s32)
 606     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[SHL2]](s32)
 607     ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[AND6]], [[TRUNC6]]
 608     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[C6]](s32)
 609     ; CHECK: [[AND9:%[0-9]+]]:_(s16) = G_AND [[TRUNC7]], [[TRUNC]]
 610     ; CHECK: [[C13:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
 611     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[C13]](s32)
 612     ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C9]]
 613     ; CHECK: [[COPY7:%[0-9]+]]:_(s32) = COPY [[DEF]](s32)
 614     ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C10]]
 615     ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[AND10]](s32)
 616     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[SHL3]](s32)
 617     ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[AND9]], [[TRUNC8]]
 618     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[OR]](s16), [[OR1]](s16), [[OR2]](s16), [[OR3]](s16)
 619     ; CHECK: [[TRUNC9:%[0-9]+]]:_(s56) = G_TRUNC [[MV]](s64)
 620     ; CHECK: S_NOP 0, implicit [[TRUNC9]](s56)
 621     %0:_(s8) = G_CONSTANT i8 0
 622     %1:_(s8) = G_CONSTANT i8 1
 623     %2:_(s8) = G_CONSTANT i8 2
 624     %3:_(s8) = G_CONSTANT i8 3
 625     %4:_(s8) = G_CONSTANT i8 4
 626     %5:_(s8) = G_CONSTANT i8 5
 627     %6:_(s8) = G_CONSTANT i8 6
 628     %7:_(s56) = G_MERGE_VALUES %0, %1, %2, %3, %4, %5, %6
 629     S_NOP 0, implicit %7
 630 ...
 631
 632 ---
 633 name: test_merge_s68_s17_s17_s17_s17
 634 body: |
 635   bb.0:
 636     ; CHECK-LABEL: name: test_merge_s68_s17_s17_s17_s17
 637     ; CHECK: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC %142(s16)
 638     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 639     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s1) = G_TRUNC %143(s16)
 640     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s17) = G_TRUNC [[C]](s32)
 641     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s1) = G_TRUNC %144(s16)
 642     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 643     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s1) = G_TRUNC %145(s16)
 644     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s17) = G_TRUNC [[C1]](s32)
 645     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s1) = G_TRUNC %146(s16)
 646     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 647     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s1) = G_TRUNC %147(s16)
 648     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s17) = G_TRUNC [[C2]](s32)
 649     ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
 650     ; CHECK: [[TRUNC9:%[0-9]+]]:_(s17) = G_TRUNC [[C3]](s32)
 651     ; CHECK: [[ZEXT:%[0-9]+]]:_(s272) = G_ZEXT [[TRUNC2]](s17)
 652     ; CHECK: [[C4:%[0-9]+]]:_(s272) = G_CONSTANT i272 15
 653     ; CHECK: [[SHL:%[0-9]+]]:_(s272) = G_SHL [[ZEXT]], [[C4]](s272)
 654     ; CHECK: [[OR:%[0-9]+]]:_(s272) = G_OR [[ZEXT]], [[SHL]]
 655     ; CHECK: [[C5:%[0-9]+]]:_(s272) = G_CONSTANT i272 30
 656     ; CHECK: [[SHL1:%[0-9]+]]:_(s272) = G_SHL [[OR]], [[C5]](s272)
 657     ; CHECK: [[OR1:%[0-9]+]]:_(s272) = G_OR [[OR]], [[SHL1]]
 658     ; CHECK: [[C6:%[0-9]+]]:_(s272) = G_CONSTANT i272 45
 659     ; CHECK: [[SHL2:%[0-9]+]]:_(s272) = G_SHL [[OR1]], [[C6]](s272)
 660     ; CHECK: [[OR2:%[0-9]+]]:_(s272) = G_OR [[OR1]], [[SHL2]]
 661     ; CHECK: [[C7:%[0-9]+]]:_(s272) = G_CONSTANT i272 60
 662     ; CHECK: [[SHL3:%[0-9]+]]:_(s272) = G_SHL [[OR2]], [[C7]](s272)
 663     ; CHECK: [[OR3:%[0-9]+]]:_(s272) = G_OR [[OR2]], [[SHL3]]
 664     ; CHECK: [[C8:%[0-9]+]]:_(s272) = G_CONSTANT i272 75
 665     ; CHECK: [[SHL4:%[0-9]+]]:_(s272) = G_SHL [[OR3]], [[C8]](s272)
 666     ; CHECK: [[OR4:%[0-9]+]]:_(s272) = G_OR [[OR3]], [[SHL4]]
 667     ; CHECK: [[C9:%[0-9]+]]:_(s272) = G_CONSTANT i272 90
 668     ; CHECK: [[SHL5:%[0-9]+]]:_(s272) = G_SHL [[OR4]], [[C9]](s272)
 669     ; CHECK: [[OR5:%[0-9]+]]:_(s272) = G_OR [[OR4]], [[SHL5]]
 670     ; CHECK: [[C10:%[0-9]+]]:_(s272) = G_CONSTANT i272 105
 671     ; CHECK: [[SHL6:%[0-9]+]]:_(s272) = G_SHL [[OR5]], [[C10]](s272)
 672     ; CHECK: [[OR6:%[0-9]+]]:_(s272) = G_OR [[OR5]], [[SHL6]]
 673     ; CHECK: [[C11:%[0-9]+]]:_(s272) = G_CONSTANT i272 120
 674     ; CHECK: [[SHL7:%[0-9]+]]:_(s272) = G_SHL [[OR6]], [[C11]](s272)
 675     ; CHECK: [[OR7:%[0-9]+]]:_(s272) = G_OR [[OR6]], [[SHL7]]
 676     ; CHECK: [[C12:%[0-9]+]]:_(s272) = G_CONSTANT i272 135
 677     ; CHECK: [[SHL8:%[0-9]+]]:_(s272) = G_SHL [[OR7]], [[C12]](s272)
 678     ; CHECK: [[OR8:%[0-9]+]]:_(s272) = G_OR [[OR7]], [[SHL8]]
 679     ; CHECK: [[C13:%[0-9]+]]:_(s272) = G_CONSTANT i272 150
 680     ; CHECK: [[SHL9:%[0-9]+]]:_(s272) = G_SHL [[OR8]], [[C13]](s272)
 681     ; CHECK: [[OR9:%[0-9]+]]:_(s272) = G_OR [[OR8]], [[SHL9]]
 682     ; CHECK: [[C14:%[0-9]+]]:_(s272) = G_CONSTANT i272 165
 683     ; CHECK: [[SHL10:%[0-9]+]]:_(s272) = G_SHL [[OR9]], [[C14]](s272)
 684     ; CHECK: [[OR10:%[0-9]+]]:_(s272) = G_OR [[OR9]], [[SHL10]]
 685     ; CHECK: [[C15:%[0-9]+]]:_(s272) = G_CONSTANT i272 180
 686     ; CHECK: [[SHL11:%[0-9]+]]:_(s272) = G_SHL [[OR10]], [[C15]](s272)
 687     ; CHECK: [[OR11:%[0-9]+]]:_(s272) = G_OR [[OR10]], [[SHL11]]
 688     ; CHECK: [[C16:%[0-9]+]]:_(s272) = G_CONSTANT i272 195
 689     ; CHECK: [[SHL12:%[0-9]+]]:_(s272) = G_SHL [[OR11]], [[C16]](s272)
 690     ; CHECK: [[OR12:%[0-9]+]]:_(s272) = G_OR [[OR11]], [[SHL12]]
 691     ; CHECK: [[C17:%[0-9]+]]:_(s272) = G_CONSTANT i272 210
 692     ; CHECK: [[SHL13:%[0-9]+]]:_(s272) = G_SHL [[OR12]], [[C17]](s272)
 693     ; CHECK: [[OR13:%[0-9]+]]:_(s272) = G_OR [[OR12]], [[SHL13]]
 694     ; CHECK: [[C18:%[0-9]+]]:_(s272) = G_CONSTANT i272 225
 695     ; CHECK: [[SHL14:%[0-9]+]]:_(s272) = G_SHL [[OR13]], [[C18]](s272)
 696     ; CHECK: [[OR14:%[0-9]+]]:_(s272) = G_OR [[OR13]], [[SHL14]]
 697     ; CHECK: [[C19:%[0-9]+]]:_(s272) = G_CONSTANT i272 240
 698     ; CHECK: [[TRUNC10:%[0-9]+]]:_(s32) = G_TRUNC [[C19]](s272)
 699     ; CHECK: [[C20:%[0-9]+]]:_(s32) = G_CONSTANT i32 136
 700     ; CHECK: [[UV:%[0-9]+]]:_(s136), [[UV1:%[0-9]+]]:_(s136) = G_UNMERGE_VALUES [[OR14]](s272)
 701     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[TRUNC10]], [[C20]]
 702     ; CHECK: [[SUB1:%[0-9]+]]:_(s32) = G_SUB [[C20]], [[TRUNC10]]
 703     ; CHECK: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ult), [[TRUNC10]](s32), [[C20]]
 704     ; CHECK: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[TRUNC10]](s32), [[C]]
 705     ; CHECK: [[SHL15:%[0-9]+]]:_(s136) = G_SHL [[UV1]], [[TRUNC10]](s32)
 706     ; CHECK: [[SHL16:%[0-9]+]]:_(s136) = G_SHL [[UV1]], [[TRUNC10]](s32)
 707     ; CHECK: [[LSHR:%[0-9]+]]:_(s136) = G_LSHR [[UV]], [[SUB1]](s32)
 708     ; CHECK: [[OR15:%[0-9]+]]:_(s136) = G_OR [[SHL16]], [[LSHR]]
 709     ; CHECK: [[C21:%[0-9]+]]:_(s136) = G_CONSTANT i136 0
 710     ; CHECK: [[SHL17:%[0-9]+]]:_(s136) = G_SHL [[UV]], [[SUB]](s32)
 711     ; CHECK: [[SELECT:%[0-9]+]]:_(s136) = G_SELECT [[ICMP]](s1), [[SHL15]], [[C21]]
 712     ; CHECK: [[SELECT1:%[0-9]+]]:_(s136) = G_SELECT [[ICMP]](s1), [[OR15]], [[SHL17]]
 713     ; CHECK: [[EXTRACT:%[0-9]+]]:_(s64) = G_EXTRACT [[UV1]](s136), 0
 714     ; CHECK: [[EXTRACT1:%[0-9]+]]:_(s64) = G_EXTRACT [[UV1]](s136), 64
 715     ; CHECK: [[EXTRACT2:%[0-9]+]]:_(s8) = G_EXTRACT [[UV1]](s136), 128
 716     ; CHECK: [[EXTRACT3:%[0-9]+]]:_(s64) = G_EXTRACT [[SELECT1]](s136), 0
 717     ; CHECK: [[EXTRACT4:%[0-9]+]]:_(s64) = G_EXTRACT [[SELECT1]](s136), 64
 718     ; CHECK: [[EXTRACT5:%[0-9]+]]:_(s8) = G_EXTRACT [[SELECT1]](s136), 128
 719     ; CHECK: [[SELECT2:%[0-9]+]]:_(s64) = G_SELECT [[ICMP1]](s1), [[EXTRACT]], [[EXTRACT3]]
 720     ; CHECK: [[SELECT3:%[0-9]+]]:_(s64) = G_SELECT [[ICMP1]](s1), [[EXTRACT1]], [[EXTRACT4]]
 721     ; CHECK: [[SELECT4:%[0-9]+]]:_(s8) = G_SELECT [[ICMP1]](s1), [[EXTRACT2]], [[EXTRACT5]]
 722     ; CHECK: [[DEF:%[0-9]+]]:_(s136) = G_IMPLICIT_DEF
 723     ; CHECK: [[INSERT:%[0-9]+]]:_(s136) = G_INSERT [[DEF]], [[SELECT2]](s64), 0
 724     ; CHECK: [[INSERT1:%[0-9]+]]:_(s136) = G_INSERT [[INSERT]], [[SELECT3]](s64), 64
 725     ; CHECK: [[INSERT2:%[0-9]+]]:_(s136) = G_INSERT [[INSERT1]], [[SELECT4]](s8), 128
 726     ; CHECK: [[MV:%[0-9]+]]:_(s272) = G_MERGE_VALUES [[SELECT]](s136), [[INSERT2]](s136)
 727     ; CHECK: [[EXTRACT6:%[0-9]+]]:_(s64) = G_EXTRACT [[OR14]](s272), 0
 728     ; CHECK: [[EXTRACT7:%[0-9]+]]:_(s64) = G_EXTRACT [[OR14]](s272), 64
 729     ; CHECK: [[EXTRACT8:%[0-9]+]]:_(s64) = G_EXTRACT [[OR14]](s272), 128
 730     ; CHECK: [[EXTRACT9:%[0-9]+]]:_(s64) = G_EXTRACT [[OR14]](s272), 192
 731     ; CHECK: [[EXTRACT10:%[0-9]+]]:_(s16) = G_EXTRACT [[OR14]](s272), 256
 732     ; CHECK: [[EXTRACT11:%[0-9]+]]:_(s64) = G_EXTRACT [[MV]](s272), 0
 733     ; CHECK: [[EXTRACT12:%[0-9]+]]:_(s64) = G_EXTRACT [[MV]](s272), 64
 734     ; CHECK: [[EXTRACT13:%[0-9]+]]:_(s64) = G_EXTRACT [[MV]](s272), 128
 735     ; CHECK: [[EXTRACT14:%[0-9]+]]:_(s64) = G_EXTRACT [[MV]](s272), 192
 736     ; CHECK: [[EXTRACT15:%[0-9]+]]:_(s16) = G_EXTRACT [[MV]](s272), 256
 737     ; CHECK: [[OR16:%[0-9]+]]:_(s64) = G_OR [[EXTRACT6]], [[EXTRACT11]]
 738     ; CHECK: [[OR17:%[0-9]+]]:_(s64) = G_OR [[EXTRACT7]], [[EXTRACT12]]
 739     ; CHECK: [[OR18:%[0-9]+]]:_(s64) = G_OR [[EXTRACT8]], [[EXTRACT13]]
 740     ; CHECK: [[OR19:%[0-9]+]]:_(s64) = G_OR [[EXTRACT9]], [[EXTRACT14]]
 741     ; CHECK: [[OR20:%[0-9]+]]:_(s16) = G_OR [[EXTRACT10]], [[EXTRACT15]]
 742     ; CHECK: [[DEF1:%[0-9]+]]:_(s512) = G_IMPLICIT_DEF
 743     ; CHECK: [[TRUNC11:%[0-9]+]]:_(s272) = G_TRUNC [[DEF1]](s512)
 744     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s512) = G_ANYEXT [[TRUNC11]](s272)
 745     ; CHECK: [[INSERT3:%[0-9]+]]:_(s512) = G_INSERT [[ANYEXT]], [[OR16]](s64), 0
 746     ; CHECK: [[TRUNC12:%[0-9]+]]:_(s272) = G_TRUNC [[INSERT3]](s512)
 747     ; CHECK: [[ANYEXT1:%[0-9]+]]:_(s512) = G_ANYEXT [[TRUNC12]](s272)
 748     ; CHECK: [[INSERT4:%[0-9]+]]:_(s512) = G_INSERT [[ANYEXT1]], [[OR17]](s64), 64
 749     ; CHECK: [[TRUNC13:%[0-9]+]]:_(s272) = G_TRUNC [[INSERT4]](s512)
 750     ; CHECK: [[ANYEXT2:%[0-9]+]]:_(s512) = G_ANYEXT [[TRUNC13]](s272)
 751     ; CHECK: [[INSERT5:%[0-9]+]]:_(s512) = G_INSERT [[ANYEXT2]], [[OR18]](s64), 128
 752     ; CHECK: [[TRUNC14:%[0-9]+]]:_(s272) = G_TRUNC [[INSERT5]](s512)
 753     ; CHECK: [[ANYEXT3:%[0-9]+]]:_(s512) = G_ANYEXT [[TRUNC14]](s272)
 754     ; CHECK: [[INSERT6:%[0-9]+]]:_(s512) = G_INSERT [[ANYEXT3]], [[OR19]](s64), 192
 755     ; CHECK: [[TRUNC15:%[0-9]+]]:_(s272) = G_TRUNC [[INSERT6]](s512)
 756     ; CHECK: [[ANYEXT4:%[0-9]+]]:_(s512) = G_ANYEXT [[TRUNC15]](s272)
 757     ; CHECK: [[INSERT7:%[0-9]+]]:_(s512) = G_INSERT [[ANYEXT4]], [[OR20]](s16), 256
 758     ; CHECK: [[TRUNC16:%[0-9]+]]:_(s272) = G_TRUNC [[INSERT7]](s512)
 759     ; CHECK: [[UV2:%[0-9]+]]:_(s16), [[UV3:%[0-9]+]]:_(s16), [[UV4:%[0-9]+]]:_(s16), [[UV5:%[0-9]+]]:_(s16), [[UV6:%[0-9]+]]:_(s16), [[UV7:%[0-9]+]]:_(s16), [[UV8:%[0-9]+]]:_(s16), [[UV9:%[0-9]+]]:_(s16), [[UV10:%[0-9]+]]:_(s16), [[UV11:%[0-9]+]]:_(s16), [[UV12:%[0-9]+]]:_(s16), [[UV13:%[0-9]+]]:_(s16), [[UV14:%[0-9]+]]:_(s16), [[UV15:%[0-9]+]]:_(s16), [[UV16:%[0-9]+]]:_(s16), [[UV17:%[0-9]+]]:_(s16), [[UV18:%[0-9]+]]:_(s16) = G_UNMERGE_VALUES [[TRUNC16]](s272)
 760     ; CHECK: [[TRUNC17:%[0-9]+]]:_(s1) = G_TRUNC [[UV2]](s16)
 761     ; CHECK: [[UV19:%[0-9]+]]:_(s1), [[UV20:%[0-9]+]]:_(s1), [[UV21:%[0-9]+]]:_(s1), [[UV22:%[0-9]+]]:_(s1), [[UV23:%[0-9]+]]:_(s1), [[UV24:%[0-9]+]]:_(s1), [[UV25:%[0-9]+]]:_(s1), [[UV26:%[0-9]+]]:_(s1), [[UV27:%[0-9]+]]:_(s1), [[UV28:%[0-9]+]]:_(s1), [[UV29:%[0-9]+]]:_(s1), [[UV30:%[0-9]+]]:_(s1), [[UV31:%[0-9]+]]:_(s1), [[UV32:%[0-9]+]]:_(s1), [[UV33:%[0-9]+]]:_(s1), [[UV34:%[0-9]+]]:_(s1), [[UV35:%[0-9]+]]:_(s1) = G_UNMERGE_VALUES [[TRUNC5]](s17)
 762     ; CHECK: [[TRUNC18:%[0-9]+]]:_(s1) = G_TRUNC [[UV3]](s16)
 763     ; CHECK: [[UV36:%[0-9]+]]:_(s1), [[UV37:%[0-9]+]]:_(s1), [[UV38:%[0-9]+]]:_(s1), [[UV39:%[0-9]+]]:_(s1), [[UV40:%[0-9]+]]:_(s1), [[UV41:%[0-9]+]]:_(s1), [[UV42:%[0-9]+]]:_(s1), [[UV43:%[0-9]+]]:_(s1), [[UV44:%[0-9]+]]:_(s1), [[UV45:%[0-9]+]]:_(s1), [[UV46:%[0-9]+]]:_(s1), [[UV47:%[0-9]+]]:_(s1), [[UV48:%[0-9]+]]:_(s1), [[UV49:%[0-9]+]]:_(s1), [[UV50:%[0-9]+]]:_(s1), [[UV51:%[0-9]+]]:_(s1), [[UV52:%[0-9]+]]:_(s1) = G_UNMERGE_VALUES [[TRUNC8]](s17)
 764     ; CHECK: [[TRUNC19:%[0-9]+]]:_(s1) = G_TRUNC [[UV4]](s16)
 765     ; CHECK: [[UV53:%[0-9]+]]:_(s1), [[UV54:%[0-9]+]]:_(s1), [[UV55:%[0-9]+]]:_(s1), [[UV56:%[0-9]+]]:_(s1), [[UV57:%[0-9]+]]:_(s1), [[UV58:%[0-9]+]]:_(s1), [[UV59:%[0-9]+]]:_(s1), [[UV60:%[0-9]+]]:_(s1), [[UV61:%[0-9]+]]:_(s1), [[UV62:%[0-9]+]]:_(s1), [[UV63:%[0-9]+]]:_(s1), [[UV64:%[0-9]+]]:_(s1), [[UV65:%[0-9]+]]:_(s1), [[UV66:%[0-9]+]]:_(s1), [[UV67:%[0-9]+]]:_(s1), [[UV68:%[0-9]+]]:_(s1), [[UV69:%[0-9]+]]:_(s1) = G_UNMERGE_VALUES [[TRUNC9]](s17)
 766     ; CHECK: [[TRUNC20:%[0-9]+]]:_(s1) = G_TRUNC [[UV5]](s16)
 767     ; CHECK: [[DEF2:%[0-9]+]]:_(s1) = G_IMPLICIT_DEF
 768     ; CHECK: [[TRUNC21:%[0-9]+]]:_(s1) = G_TRUNC [[UV6]](s16)
 769     ; CHECK: [[MV1:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[TRUNC17]](s1), [[TRUNC18]](s1), [[TRUNC19]](s1), [[TRUNC20]](s1), [[TRUNC21]](s1), %14(s1), %15(s1), %16(s1), %17(s1), %18(s1), %19(s1), [[TRUNC]](s1), [[TRUNC1]](s1), [[TRUNC3]](s1), [[TRUNC4]](s1), [[TRUNC6]](s1), [[TRUNC7]](s1), [[UV19]](s1), [[UV20]](s1), [[UV21]](s1), [[UV22]](s1), [[UV23]](s1), [[UV24]](s1), [[UV25]](s1), [[UV26]](s1), [[UV27]](s1), [[UV28]](s1), [[UV29]](s1), [[UV30]](s1), [[UV31]](s1), [[UV32]](s1), [[UV33]](s1)
 770     ; CHECK: [[TRUNC22:%[0-9]+]]:_(s1) = G_TRUNC [[UV7]](s16)
 771     ; CHECK: [[MV2:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[UV34]](s1), [[UV35]](s1), [[UV36]](s1), [[UV37]](s1), [[UV38]](s1), [[UV39]](s1), [[UV40]](s1), [[UV41]](s1), [[UV42]](s1), [[UV43]](s1), [[UV44]](s1), [[UV45]](s1), [[UV46]](s1), [[UV47]](s1), [[UV48]](s1), [[UV49]](s1), [[UV50]](s1), [[UV51]](s1), [[UV52]](s1), [[UV53]](s1), [[UV54]](s1), [[UV55]](s1), [[UV56]](s1), [[UV57]](s1), [[UV58]](s1), [[UV59]](s1), [[UV60]](s1), [[UV61]](s1), [[UV62]](s1), [[UV63]](s1), [[UV64]](s1), [[UV65]](s1)
 772     ; CHECK: [[TRUNC23:%[0-9]+]]:_(s1) = G_TRUNC [[UV8]](s16)
 773     ; CHECK: [[MV3:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[UV66]](s1), [[UV67]](s1), [[UV68]](s1), [[UV69]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1), [[DEF2]](s1)
 774     ; CHECK: [[TRUNC24:%[0-9]+]]:_(s1) = G_TRUNC [[UV9]](s16)
 775     ; CHECK: [[MV4:%[0-9]+]]:_(s96) = G_MERGE_VALUES [[MV1]](s32), [[MV2]](s32), [[MV3]](s32)
 776     ; CHECK: [[TRUNC25:%[0-9]+]]:_(s1) = G_TRUNC [[UV10]](s16)
 777     ; CHECK: [[TRUNC26:%[0-9]+]]:_(s68) = G_TRUNC [[MV4]](s96)
 778     ; CHECK: [[TRUNC27:%[0-9]+]]:_(s1) = G_TRUNC [[UV11]](s16)
 779     ; CHECK: S_NOP 0, implicit [[TRUNC26]](s68)
 780     ; CHECK: [[TRUNC28:%[0-9]+]]:_(s1) = G_TRUNC [[UV12]](s16)
 781     %0:_(s17) = G_CONSTANT i17 0
 782     %1:_(s17) = G_CONSTANT i17 1
 783     %2:_(s17) = G_CONSTANT i17 2
 784     %3:_(s17) = G_CONSTANT i17 3
 785     %4:_(s68) = G_MERGE_VALUES %0, %1, %2, %3
 786     S_NOP 0, implicit %4
 787 ...
 788 ---
 789 name: test_merge_p3_s16_s16
 790 body: |
 791   bb.0:
 792     ; CHECK-LABEL: name: test_merge_p3_s16_s16
 793     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 794     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[C]](s32)
 795     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 796     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[C1]](s32)
 797     ; CHECK: [[MV:%[0-9]+]]:_(p3) = G_MERGE_VALUES [[TRUNC]](s16), [[TRUNC1]](s16)
 798     ; CHECK: $vgpr0 = COPY [[MV]](p3)
 799     %0:_(s16) = G_CONSTANT i16 0
 800     %1:_(s16) = G_CONSTANT i16 1
 801     %2:_(p3) = G_MERGE_VALUES %0, %1
 802     $vgpr0 = COPY %2
 803 ...