llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-trunc.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer -o - %s | FileCheck %s
   3
   4 ---
   5 name: test_trunc_s64_to_s32
   6 body: |
   7   bb.0:
   8     liveins: $vgpr0_vgpr1
   9
  10     ; CHECK-LABEL: name: test_trunc_s64_to_s32
  11     ; CHECK: liveins: $vgpr0_vgpr1
  12     ; CHECK-NEXT: {{  $}}
  13     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1
  14     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  15     ; CHECK-NEXT: $vgpr0 = COPY [[TRUNC]](s32)
  16     %0:_(s64) = COPY $vgpr0_vgpr1
  17     %1:_(s32) = G_TRUNC %0
  18     $vgpr0 = COPY %1
  19 ...
  20
  21 ---
  22 name: test_trunc_s64_to_s16
  23 body: |
  24   bb.0:
  25     liveins: $vgpr0_vgpr1
  26
  27     ; CHECK-LABEL: name: test_trunc_s64_to_s16
  28     ; CHECK: liveins: $vgpr0_vgpr1
  29     ; CHECK-NEXT: {{  $}}
  30     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1
  31     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s64)
  32     ; CHECK-NEXT: S_ENDPGM 0, implicit [[TRUNC]](s16)
  33     %0:_(s64) = COPY $vgpr0_vgpr1
  34     %1:_(s16) = G_TRUNC %0
  35     S_ENDPGM 0, implicit %1
  36 ...
  37
  38 ---
  39 name: test_trunc_v2s32_to_v2s16
  40 body: |
  41   bb.0:
  42     liveins: $vgpr0_vgpr1
  43
  44     ; CHECK-LABEL: name: test_trunc_v2s32_to_v2s16
  45     ; CHECK: liveins: $vgpr0_vgpr1
  46     ; CHECK-NEXT: {{  $}}
  47     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr1
  48     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[COPY]](<2 x s32>)
  49     ; CHECK-NEXT: $vgpr0 = COPY [[TRUNC]](<2 x s16>)
  50     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
  51     %1:_(<2 x s16>) = G_TRUNC %0
  52     $vgpr0 = COPY %1
  53 ...
  54
  55 ---
  56 name: test_trunc_v3s32_to_v3s16
  57 body: |
  58   bb.0:
  59     liveins: $vgpr0_vgpr1_vgpr2
  60
  61     ; CHECK-LABEL: name: test_trunc_v3s32_to_v3s16
  62     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2
  63     ; CHECK-NEXT: {{  $}}
  64     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
  65     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<3 x s32>)
  66     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[UV]](s32)
  67     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[UV1]](s32)
  68     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[UV2]](s32)
  69     ; CHECK-NEXT: S_ENDPGM 0, implicit [[TRUNC]](s16), implicit [[TRUNC1]](s16), implicit [[TRUNC2]](s16)
  70     %0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
  71     %1:_(<3 x s16>) = G_TRUNC %0
  72     %2:_(s16), %3:_(s16), %4:_(s16) = G_UNMERGE_VALUES %1
  73     S_ENDPGM 0, implicit %2, implicit %3, implicit %4
  74 ...
  75
  76 ---
  77 name: test_trunc_v4s32_to_v4s16
  78 body: |
  79   bb.0:
  80     liveins: $vgpr0_vgpr1_vgpr2_vgpr3
  81
  82     ; CHECK-LABEL: name: test_trunc_v4s32_to_v4s16
  83     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3
  84     ; CHECK-NEXT: {{  $}}
  85     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
  86     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x s32>), [[UV1:%[0-9]+]]:_(<2 x s32>) = G_UNMERGE_VALUES [[COPY]](<4 x s32>)
  87     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[UV]](<2 x s32>)
  88     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[UV1]](<2 x s32>)
  89     ; CHECK-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<4 x s16>) = G_CONCAT_VECTORS [[TRUNC]](<2 x s16>), [[TRUNC1]](<2 x s16>)
  90     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[CONCAT_VECTORS]](<4 x s16>)
  91     %0:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
  92     %1:_(<4 x s16>) = G_TRUNC %0
  93     $vgpr0_vgpr1 = COPY %1
  94 ...
  95
  96 ---
  97 name: test_trunc_v8s32_to_v8s16
  98 body: |
  99   bb.0:
 100     liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 101
 102     ; CHECK-LABEL: name: test_trunc_v8s32_to_v8s16
 103     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 104     ; CHECK-NEXT: {{  $}}
 105     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 106     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x s32>), [[UV1:%[0-9]+]]:_(<2 x s32>), [[UV2:%[0-9]+]]:_(<2 x s32>), [[UV3:%[0-9]+]]:_(<2 x s32>) = G_UNMERGE_VALUES [[COPY]](<8 x s32>)
 107     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[UV]](<2 x s32>)
 108     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[UV1]](<2 x s32>)
 109     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[UV2]](<2 x s32>)
 110     ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(<2 x s16>) = G_TRUNC [[UV3]](<2 x s32>)
 111     ; CHECK-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<8 x s16>) = G_CONCAT_VECTORS [[TRUNC]](<2 x s16>), [[TRUNC1]](<2 x s16>), [[TRUNC2]](<2 x s16>), [[TRUNC3]](<2 x s16>)
 112     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[CONCAT_VECTORS]](<8 x s16>)
 113     %0:_(<8 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 114     %1:_(<8 x s16>) = G_TRUNC %0
 115     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 116 ...
 117
 118 ---
 119 name: test_trunc_v2s64_to_v2s16
 120 body: |
 121   bb.0:
 122     liveins: $vgpr0_vgpr1_vgpr2_vgpr3
 123
 124     ; CHECK-LABEL: name: test_trunc_v2s64_to_v2s16
 125     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3
 126     ; CHECK-NEXT: {{  $}}
 127     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 128     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY]](<2 x s64>)
 129     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV]](s64)
 130     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 131     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[TRUNC]], [[C]]
 132     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV1]](s64)
 133     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[TRUNC1]], [[C]]
 134     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 135     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C1]](s32)
 136     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
 137     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
 138     ; CHECK-NEXT: $vgpr0 = COPY [[BITCAST]](<2 x s16>)
 139     %0:_(<2 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 140     %1:_(<2 x s16>) = G_TRUNC %0
 141     $vgpr0 = COPY %1
 142 ...
 143
 144 ---
 145 name: test_trunc_v4s64_to_v4s16
 146 body: |
 147   bb.0:
 148     liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 149
 150     ; CHECK-LABEL: name: test_trunc_v4s64_to_v4s16
 151     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 152     ; CHECK-NEXT: {{  $}}
 153     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 154     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x s64>), [[UV1:%[0-9]+]]:_(<2 x s64>) = G_UNMERGE_VALUES [[COPY]](<4 x s64>)
 155     ; CHECK-NEXT: [[UV2:%[0-9]+]]:_(s64), [[UV3:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[UV]](<2 x s64>)
 156     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV2]](s64)
 157     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 158     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[TRUNC]], [[C]]
 159     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV3]](s64)
 160     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[TRUNC1]], [[C]]
 161     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 162     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C1]](s32)
 163     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
 164     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
 165     ; CHECK-NEXT: [[UV4:%[0-9]+]]:_(s64), [[UV5:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[UV1]](<2 x s64>)
 166     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s32) = G_TRUNC [[UV4]](s64)
 167     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[TRUNC2]], [[C]]
 168     ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s32) = G_TRUNC [[UV5]](s64)
 169     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[TRUNC3]], [[C]]
 170     ; CHECK-NEXT: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND3]], [[C1]](s32)
 171     ; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[AND2]], [[SHL1]]
 172     ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR1]](s32)
 173     ; CHECK-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<4 x s16>) = G_CONCAT_VECTORS [[BITCAST]](<2 x s16>), [[BITCAST1]](<2 x s16>)
 174     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[CONCAT_VECTORS]](<4 x s16>)
 175     %0:_(<4 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 176     %1:_(<4 x s16>) = G_TRUNC %0
 177     $vgpr0_vgpr1 = COPY %1
 178 ...
 179
 180 ---
 181 name: test_trunc_s64_to_s1
 182 body: |
 183   bb.0:
 184     liveins: $vgpr0_vgpr1
 185
 186     ; CHECK-LABEL: name: test_trunc_s64_to_s1
 187     ; CHECK: liveins: $vgpr0_vgpr1
 188     ; CHECK-NEXT: {{  $}}
 189     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1
 190     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[COPY]](s64)
 191     ; CHECK-NEXT: S_ENDPGM 0, implicit [[TRUNC]](s1)
 192     %0:_(s64) = COPY $vgpr0_vgpr1
 193     %1:_(s1) = G_TRUNC %0
 194     S_ENDPGM 0, implicit %1
 195 ...
 196
 197 ---
 198 name: test_trunc_s32_to_s1
 199 body: |
 200   bb.0:
 201     liveins: $vgpr0
 202
 203     ; CHECK-LABEL: name: test_trunc_s32_to_s1
 204     ; CHECK: liveins: $vgpr0
 205     ; CHECK-NEXT: {{  $}}
 206     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 207     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[COPY]](s32)
 208     ; CHECK-NEXT: S_ENDPGM 0, implicit [[TRUNC]](s1)
 209     %0:_(s32) = COPY $vgpr0
 210     %1:_(s1) = G_TRUNC %0
 211     S_ENDPGM 0, implicit %1
 212 ...
 213
 214 ---
 215 name: test_trunc_s16_to_s1
 216 body: |
 217   bb.0:
 218     liveins: $vgpr0
 219
 220     ; CHECK-LABEL: name: test_trunc_s16_to_s1
 221     ; CHECK: liveins: $vgpr0
 222     ; CHECK-NEXT: {{  $}}
 223     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 224     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[COPY]](s32)
 225     ; CHECK-NEXT: S_ENDPGM 0, implicit [[TRUNC]](s1)
 226     %0:_(s32) = COPY $vgpr0
 227     %1:_(s16) = G_TRUNC %0
 228     %2:_(s1) = G_TRUNC %1
 229     S_ENDPGM 0, implicit %2
 230 ...
 231
 232 ---
 233 name: test_trunc_v4s32_to_v4s1
 234 body: |
 235   bb.0:
 236     liveins: $vgpr0_vgpr1_vgpr2_vgpr3, $vgpr4_vgpr5_vgpr6_vgpr7, $vgpr8_vgpr9_vgpr10_vgpr11
 237
 238     ; CHECK-LABEL: name: test_trunc_v4s32_to_v4s1
 239     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3, $vgpr4_vgpr5_vgpr6_vgpr7, $vgpr8_vgpr9_vgpr10_vgpr11
 240     ; CHECK-NEXT: {{  $}}
 241     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 242     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<4 x s32>) = COPY $vgpr4_vgpr5_vgpr6_vgpr7
 243     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(<4 x s32>) = COPY $vgpr8_vgpr9_vgpr10_vgpr11
 244     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<4 x s32>)
 245     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[UV]](s32)
 246     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s1) = G_TRUNC [[UV1]](s32)
 247     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s1) = G_TRUNC [[UV2]](s32)
 248     ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s1) = G_TRUNC [[UV3]](s32)
 249     ; CHECK-NEXT: [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32), [[UV6:%[0-9]+]]:_(s32), [[UV7:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY1]](<4 x s32>)
 250     ; CHECK-NEXT: [[UV8:%[0-9]+]]:_(s32), [[UV9:%[0-9]+]]:_(s32), [[UV10:%[0-9]+]]:_(s32), [[UV11:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY2]](<4 x s32>)
 251     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[UV4]], [[UV8]]
 252     ; CHECK-NEXT: [[SELECT1:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC1]](s1), [[UV5]], [[UV9]]
 253     ; CHECK-NEXT: [[SELECT2:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC2]](s1), [[UV6]], [[UV10]]
 254     ; CHECK-NEXT: [[SELECT3:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC3]](s1), [[UV7]], [[UV11]]
 255     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[SELECT]](s32), [[SELECT1]](s32), [[SELECT2]](s32), [[SELECT3]](s32)
 256     ; CHECK-NEXT: S_ENDPGM 0, implicit [[BUILD_VECTOR]](<4 x s32>)
 257     %0:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 258     %1:_(<4 x s32>) = COPY $vgpr4_vgpr5_vgpr6_vgpr7
 259     %2:_(<4 x s32>) = COPY $vgpr8_vgpr9_vgpr10_vgpr11
 260     %3:_(<4 x s1>) = G_TRUNC %0
 261     %4:_(<4 x s32>) = G_SELECT %3, %1, %2
 262     S_ENDPGM 0, implicit %4
 263 ...
 264
 265 ---
 266 name: test_trunc_v2s64_to_v2s32
 267 body: |
 268   bb.0:
 269     liveins: $vgpr0_vgpr1_vgpr2_vgpr3
 270
 271     ; CHECK-LABEL: name: test_trunc_v2s64_to_v2s32
 272     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3
 273     ; CHECK-NEXT: {{  $}}
 274     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 275     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY]](<2 x s64>)
 276     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV]](s64)
 277     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV1]](s64)
 278     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32)
 279     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x s32>)
 280     %0:_(<2 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 281     %1:_(<2 x s32>) = G_TRUNC %0
 282     $vgpr0_vgpr1 = COPY %1
 283 ...
 284
 285 ---
 286 name: test_trunc_v4s64_to_v4s32
 287 body: |
 288   bb.0:
 289     liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 290
 291     ; CHECK-LABEL: name: test_trunc_v4s64_to_v4s32
 292     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 293     ; CHECK-NEXT: {{  $}}
 294     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 295     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64), [[UV2:%[0-9]+]]:_(s64), [[UV3:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY]](<4 x s64>)
 296     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV]](s64)
 297     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV1]](s64)
 298     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s32) = G_TRUNC [[UV2]](s64)
 299     ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s32) = G_TRUNC [[UV3]](s64)
 300     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32), [[TRUNC2]](s32), [[TRUNC3]](s32)
 301     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<4 x s32>)
 302     %0:_(<4 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 303     %1:_(<4 x s32>) = G_TRUNC %0
 304     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 305 ...
 306
 307 ---
 308 name: test_trunc_v2s128_to_v2s64
 309 body: |
 310   bb.0:
 311     liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 312
 313     ; CHECK-LABEL: name: test_trunc_v2s128_to_v2s64
 314     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 315     ; CHECK-NEXT: {{  $}}
 316     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s128>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 317     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s128), [[UV1:%[0-9]+]]:_(s128) = G_UNMERGE_VALUES [[COPY]](<2 x s128>)
 318     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s64) = G_TRUNC [[UV]](s128)
 319     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s64) = G_TRUNC [[UV1]](s128)
 320     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[TRUNC]](s64), [[TRUNC1]](s64)
 321     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x s64>)
 322     %0:_(<2 x s128>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 323     %1:_(<2 x s64>) = G_TRUNC %0
 324     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 325 ...
 326
 327 ---
 328 name: test_trunc_v2s128_to_v2s32
 329 body: |
 330   bb.0:
 331     liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 332
 333     ; CHECK-LABEL: name: test_trunc_v2s128_to_v2s32
 334     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 335     ; CHECK-NEXT: {{  $}}
 336     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s128>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 337     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s128), [[UV1:%[0-9]+]]:_(s128) = G_UNMERGE_VALUES [[COPY]](<2 x s128>)
 338     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV]](s128)
 339     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV1]](s128)
 340     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32)
 341     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x s32>)
 342     %0:_(<2 x s128>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 343     %1:_(<2 x s32>) = G_TRUNC %0
 344     $vgpr0_vgpr1 = COPY %1
 345 ...
 346
 347 ---
 348 name: test_trunc_v2s128_to_v2s16
 349 body: |
 350   bb.0:
 351     liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 352
 353     ; CHECK-LABEL: name: test_trunc_v2s128_to_v2s16
 354     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 355     ; CHECK-NEXT: {{  $}}
 356     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s128>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 357     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s128), [[UV1:%[0-9]+]]:_(s128) = G_UNMERGE_VALUES [[COPY]](<2 x s128>)
 358     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV]](s128)
 359     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 360     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[TRUNC]], [[C]]
 361     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV1]](s128)
 362     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[TRUNC1]], [[C]]
 363     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 364     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C1]](s32)
 365     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
 366     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
 367     ; CHECK-NEXT: $vgpr0 = COPY [[BITCAST]](<2 x s16>)
 368     %0:_(<2 x s128>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 369     %1:_(<2 x s16>) = G_TRUNC %0
 370     $vgpr0 = COPY %1
 371 ...
 372
 373 ---
 374 name: test_trunc_v2s96_to_v2s32
 375 body: |
 376   bb.0:
 377     liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 378
 379     ; CHECK-LABEL: name: test_trunc_v2s96_to_v2s32
 380     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 381     ; CHECK-NEXT: {{  $}}
 382     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 383     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s96) = COPY $vgpr3_vgpr4_vgpr5
 384     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s96)
 385     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s96)
 386     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32)
 387     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x s32>)
 388     %0:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 389     %1:_(s96) = COPY $vgpr3_vgpr4_vgpr5
 390     %2:_(<2 x s96>) = G_BUILD_VECTOR %0, %1
 391     %3:_(<2 x s32>) = G_TRUNC %2
 392     $vgpr0_vgpr1 = COPY %3
 393 ...
 394
 395 ---
 396 name: test_trunc_v2s96_to_v2s16
 397 body: |
 398   bb.0:
 399     liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 400
 401     ; CHECK-LABEL: name: test_trunc_v2s96_to_v2s16
 402     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 403     ; CHECK-NEXT: {{  $}}
 404     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 405     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s96) = COPY $vgpr3_vgpr4_vgpr5
 406     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s96)
 407     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 408     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[TRUNC]], [[C]]
 409     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s96)
 410     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[TRUNC1]], [[C]]
 411     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 412     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C1]](s32)
 413     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
 414     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
 415     ; CHECK-NEXT: $vgpr0 = COPY [[BITCAST]](<2 x s16>)
 416     %0:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 417     %1:_(s96) = COPY $vgpr3_vgpr4_vgpr5
 418     %2:_(<2 x s96>) = G_BUILD_VECTOR %0, %1
 419     %3:_(<2 x s16>) = G_TRUNC %2
 420     $vgpr0 = COPY %3
 421 ...
 422
 423 ---
 424 name: test_trunc_v2s96_to_v2s8
 425 body: |
 426   bb.0:
 427     liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 428
 429     ; CHECK-LABEL: name: test_trunc_v2s96_to_v2s8
 430     ; CHECK: liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 431     ; CHECK-NEXT: {{  $}}
 432     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 433     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s96) = COPY $vgpr3_vgpr4_vgpr5
 434     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s96)
 435     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s96)
 436     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32)
 437     ; CHECK-NEXT: S_ENDPGM 0, implicit [[BUILD_VECTOR]](<2 x s32>)
 438     %0:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 439     %1:_(s96) = COPY $vgpr3_vgpr4_vgpr5
 440     %2:_(<2 x s96>) = G_BUILD_VECTOR %0, %1
 441     %3:_(<2 x s8>) = G_TRUNC %2
 442     %4:_(<2 x s32>) = G_ANYEXT %3
 443     S_ENDPGM 0, implicit %4
 444 ...