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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -run-pass=legalizer -allow-ginsert-as-artifact=0 -global-isel-abort=0 %s -o - | FileCheck %s
   3 # RUN: llc -O0 -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer -allow-ginsert-as-artifact=0 -global-isel-abort=0 %s -o - | FileCheck %s
   4
   5 ---
   6 name: test_freeze_s1
   7 body: |
   8   bb.0:
   9
  10     ; CHECK-LABEL: name: test_freeze_s1
  11     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  12     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[COPY]](s32)
  13     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s1) = G_FREEZE [[TRUNC]]
  14     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[FREEZE]](s1)
  15     ; CHECK-NEXT: $vgpr0 = COPY [[ANYEXT]](s32)
  16     %0:_(s32) = COPY $vgpr0
  17     %1:_(s1) = G_TRUNC %0
  18     %2:_(s1) = G_FREEZE %1
  19     %3:_(s32) = G_ANYEXT %2
  20     $vgpr0 = COPY %3
  21 ...
  22
  23 ---
  24 name: test_freeze_s7
  25 body: |
  26   bb.0:
  27
  28     ; CHECK-LABEL: name: test_freeze_s7
  29     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  30     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s32) = G_FREEZE [[COPY]]
  31     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](s32)
  32     %0:_(s32) = COPY $vgpr0
  33     %1:_(s7) = G_TRUNC %0
  34     %2:_(s7) = G_FREEZE %1
  35     %3:_(s32) = G_ANYEXT %2
  36     $vgpr0 = COPY %3
  37 ...
  38
  39 ---
  40 name: test_freeze_s8
  41 body: |
  42   bb.0:
  43
  44     ; CHECK-LABEL: name: test_freeze_s8
  45     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  46     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s32) = G_FREEZE [[COPY]]
  47     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](s32)
  48     %0:_(s32) = COPY $vgpr0
  49     %1:_(s8) = G_TRUNC %0
  50     %2:_(s8) = G_FREEZE %1
  51     %3:_(s32) = G_ANYEXT %2
  52     $vgpr0 = COPY %3
  53 ...
  54
  55 ---
  56 name: test_freeze_s16
  57 body: |
  58   bb.0:
  59
  60     ; CHECK-LABEL: name: test_freeze_s16
  61     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  62     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
  63     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s16) = G_FREEZE [[TRUNC]]
  64     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[FREEZE]](s16)
  65     ; CHECK-NEXT: $vgpr0 = COPY [[ANYEXT]](s32)
  66     %0:_(s32) = COPY $vgpr0
  67     %1:_(s16) = G_TRUNC %0
  68     %2:_(s16) = G_FREEZE %1
  69     %3:_(s32) = G_ANYEXT %2
  70     $vgpr0 = COPY %3
  71 ...
  72
  73 ---
  74 name: test_freeze_s32
  75 body: |
  76   bb.0:
  77
  78     ; CHECK-LABEL: name: test_freeze_s32
  79     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  80     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s32) = G_FREEZE [[COPY]]
  81     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](s32)
  82     %0:_(s32) = COPY $vgpr0
  83     %1:_(s32) = G_FREEZE %0
  84     $vgpr0 = COPY %1
  85 ...
  86
  87 ---
  88 name: test_freeze_s48
  89 body: |
  90   bb.0:
  91
  92     ; CHECK-LABEL: name: test_freeze_s48
  93     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1
  94     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s64) = G_FREEZE [[COPY]]
  95     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](s64)
  96     %0:_(s64) = COPY $vgpr0_vgpr1
  97     %1:_(s48) = G_TRUNC %0
  98     %2:_(s48) = G_FREEZE %1
  99     %3:_(s64) = G_ANYEXT %2
 100     $vgpr0_vgpr1 = COPY %3
 101 ...
 102
 103 ---
 104 name: test_freeze_s64
 105 body: |
 106   bb.0:
 107
 108     ; CHECK-LABEL: name: test_freeze_s64
 109     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1
 110     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s64) = G_FREEZE [[COPY]]
 111     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](s64)
 112     %0:_(s64) = COPY $vgpr0_vgpr1
 113     %1:_(s64) = G_FREEZE %0
 114     $vgpr0_vgpr1 = COPY %1
 115 ...
 116
 117 ---
 118 name: test_freeze_s65
 119 body: |
 120   bb.0:
 121
 122     ; CHECK-LABEL: name: test_freeze_s65
 123     ; CHECK: [[COPY:%[0-9]+]]:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 124     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](s96)
 125     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 126     ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[UV]](s32), [[UV1]](s32)
 127     ; CHECK-NEXT: [[MV1:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[UV2]](s32), [[DEF]](s32)
 128     ; CHECK-NEXT: [[MV2:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[MV]](s64), [[MV1]](s64)
 129     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s128) = G_FREEZE [[MV2]]
 130     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s96) = G_TRUNC [[FREEZE]](s128)
 131     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[TRUNC]](s96)
 132     %0:_(s96) = COPY $vgpr0_vgpr1_vgpr2
 133     %1:_(s65) = G_TRUNC %0
 134     %2:_(s65) = G_FREEZE %1
 135     %3:_(s96) = G_ANYEXT %2
 136     $vgpr0_vgpr1_vgpr2 = COPY %3
 137 ...
 138
 139 ---
 140 name: test_freeze_s128
 141 body: |
 142   bb.0:
 143
 144     ; CHECK-LABEL: name: test_freeze_s128
 145     ; CHECK: [[COPY:%[0-9]+]]:_(s128) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 146     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s128) = G_FREEZE [[COPY]]
 147     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[FREEZE]](s128)
 148     %0:_(s128) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 149     %1:_(s128) = G_FREEZE %0
 150     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 151 ...
 152
 153 ---
 154 name: test_freeze_256
 155 body: |
 156   bb.0:
 157
 158     ; CHECK-LABEL: name: test_freeze_256
 159     ; CHECK: [[COPY:%[0-9]+]]:_(s256) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 160     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s256) = G_FREEZE [[COPY]]
 161     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY [[FREEZE]](s256)
 162     %0:_(s256) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 163     %1:_(s256) = G_FREEZE %0
 164     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY %1
 165 ...
 166
 167 ---
 168 name: test_freeze_s448
 169 body: |
 170   bb.0:
 171
 172     ; CHECK-LABEL: name: test_freeze_s448
 173     ; CHECK: [[COPY:%[0-9]+]]:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 174     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s448) = G_TRUNC [[COPY]](s512)
 175     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s448) = G_FREEZE [[TRUNC]]
 176     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64), [[UV2:%[0-9]+]]:_(s64), [[UV3:%[0-9]+]]:_(s64), [[UV4:%[0-9]+]]:_(s64), [[UV5:%[0-9]+]]:_(s64), [[UV6:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[FREEZE]](s448)
 177     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
 178     ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s512) = G_MERGE_VALUES [[UV]](s64), [[UV1]](s64), [[UV2]](s64), [[UV3]](s64), [[UV4]](s64), [[UV5]](s64), [[UV6]](s64), [[DEF]](s64)
 179     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY [[MV]](s512)
 180     %0:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 181     %1:_(s448) = G_TRUNC %0
 182     %2:_(s448) = G_FREEZE %1
 183     %3:_(s512) = G_ANYEXT %2
 184     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY %3
 185 ...
 186
 187 ---
 188 name: test_freeze_s512
 189 body: |
 190   bb.0:
 191
 192     ; CHECK-LABEL: name: test_freeze_s512
 193     ; CHECK: [[COPY:%[0-9]+]]:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 194     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s512) = G_FREEZE [[COPY]]
 195     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY [[FREEZE]](s512)
 196     %0:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 197     %1:_(s512) = G_FREEZE %0
 198     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY %1
 199 ...
 200
 201 ---
 202 name: test_freeze_s1024
 203 body: |
 204   bb.0:
 205
 206     ; CHECK-LABEL: name: test_freeze_s1024
 207     ; CHECK: [[COPY:%[0-9]+]]:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 208     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64), [[UV2:%[0-9]+]]:_(s64), [[UV3:%[0-9]+]]:_(s64), [[UV4:%[0-9]+]]:_(s64), [[UV5:%[0-9]+]]:_(s64), [[UV6:%[0-9]+]]:_(s64), [[UV7:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY]](s512)
 209     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
 210     ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s1024) = G_MERGE_VALUES [[UV]](s64), [[UV1]](s64), [[UV2]](s64), [[UV3]](s64), [[UV4]](s64), [[UV5]](s64), [[UV6]](s64), [[UV7]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64)
 211     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s1024) = G_FREEZE [[MV]]
 212     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](s1024)
 213     %0:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 214     %1:_(s1024) = G_ANYEXT %0
 215     %2:_(s1024) = G_FREEZE %1
 216     S_NOP 0, implicit %2
 217 ...
 218
 219 ---
 220 name: test_freeze_s1056
 221 body: |
 222   bb.0:
 223
 224     ; CHECK-LABEL: name: test_freeze_s1056
 225     ; CHECK: [[COPY:%[0-9]+]]:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 226     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s1056) = G_ANYEXT [[COPY]](s512)
 227     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s1056) = G_FREEZE [[ANYEXT]]
 228     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](s1056)
 229     %0:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 230     %1:_(s1056) = G_ANYEXT %0
 231     %2:_(s1056) = G_FREEZE %1
 232     S_NOP 0, implicit %2
 233 ...
 234
 235 ---
 236 name: test_freeze_s2048
 237 body: |
 238   bb.0:
 239
 240     ; CHECK-LABEL: name: test_freeze_s2048
 241     ; CHECK: [[COPY:%[0-9]+]]:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 242     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64), [[UV2:%[0-9]+]]:_(s64), [[UV3:%[0-9]+]]:_(s64), [[UV4:%[0-9]+]]:_(s64), [[UV5:%[0-9]+]]:_(s64), [[UV6:%[0-9]+]]:_(s64), [[UV7:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY]](s512)
 243     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
 244     ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s1024) = G_MERGE_VALUES [[UV]](s64), [[UV1]](s64), [[UV2]](s64), [[UV3]](s64), [[UV4]](s64), [[UV5]](s64), [[UV6]](s64), [[UV7]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64)
 245     ; CHECK-NEXT: [[MV1:%[0-9]+]]:_(s1024) = G_MERGE_VALUES [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64), [[DEF]](s64)
 246     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(s1024) = G_FREEZE [[MV]]
 247     ; CHECK-NEXT: [[FREEZE1:%[0-9]+]]:_(s1024) = G_FREEZE [[MV1]]
 248     ; CHECK-NEXT: [[MV2:%[0-9]+]]:_(s2048) = G_MERGE_VALUES [[FREEZE]](s1024), [[FREEZE1]](s1024)
 249     ; CHECK-NEXT: S_NOP 0, implicit [[MV2]](s2048)
 250     %0:_(s512) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 251     %1:_(s2048) = G_ANYEXT %0
 252     %2:_(s2048) = G_FREEZE %1
 253     S_NOP 0, implicit %2
 254 ...
 255
 256 ---
 257 name: test_freeze_v2s32
 258 body: |
 259   bb.0:
 260
 261     ; CHECK-LABEL: name: test_freeze_v2s32
 262     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr1
 263     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<2 x s32>) = G_FREEZE [[COPY]]
 264     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](<2 x s32>)
 265     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
 266     %1:_(<2 x s32>) = G_FREEZE %0
 267     $vgpr0_vgpr1 = COPY %1
 268 ...
 269
 270 ---
 271 name: test_freeze_v3s32
 272 body: |
 273   bb.0:
 274
 275     ; CHECK-LABEL: name: test_freeze_v3s32
 276     ; CHECK: [[COPY:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 277     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<3 x s32>) = G_FREEZE [[COPY]]
 278     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[FREEZE]](<3 x s32>)
 279     %0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 280     %1:_(<3 x s32>) = G_FREEZE %0
 281     $vgpr0_vgpr1_vgpr2 = COPY %1
 282 ...
 283
 284 ---
 285 name: test_freeze_v4s32
 286 body: |
 287   bb.0:
 288
 289     ; CHECK-LABEL: name: test_freeze_v4s32
 290     ; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 291     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<4 x s32>) = G_FREEZE [[COPY]]
 292     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[FREEZE]](<4 x s32>)
 293     %0:_(<4 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 294     %1:_(<4 x s32>) = G_FREEZE %0
 295     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 296 ...
 297
 298 ---
 299 name: test_freeze_v5s32
 300 body: |
 301   bb.0:
 302
 303     ; CHECK-LABEL: name: test_freeze_v5s32
 304     ; CHECK: [[COPY:%[0-9]+]]:_(<5 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4
 305     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<5 x s32>) = G_FREEZE [[COPY]]
 306     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4 = COPY [[FREEZE]](<5 x s32>)
 307     %0:_(<5 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4
 308     %1:_(<5 x s32>) = G_FREEZE %0
 309     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4 = COPY %1
 310 ...
 311
 312 ---
 313 name: test_freeze_v6s32
 314 body: |
 315   bb.0:
 316
 317     ; CHECK-LABEL: name: test_freeze_v6s32
 318     ; CHECK: [[DEF:%[0-9]+]]:_(<6 x s32>) = G_IMPLICIT_DEF
 319     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<6 x s32>) = G_FREEZE [[DEF]]
 320     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](<6 x s32>)
 321     %0:_(<6 x s32>) = G_IMPLICIT_DEF
 322     %1:_(<6 x s32>) = G_FREEZE %0
 323     S_NOP 0, implicit %1
 324 ...
 325
 326 ---
 327 name: test_freeze_v7s32
 328 body: |
 329   bb.0:
 330
 331     ; CHECK-LABEL: name: test_freeze_v7s32
 332     ; CHECK: [[DEF:%[0-9]+]]:_(<7 x s32>) = G_IMPLICIT_DEF
 333     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<7 x s32>) = G_FREEZE [[DEF]]
 334     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](<7 x s32>)
 335     %0:_(<7 x s32>) = G_IMPLICIT_DEF
 336     %1:_(<7 x s32>) = G_FREEZE %0
 337     S_NOP 0, implicit %1
 338 ...
 339
 340 ---
 341 name: test_freeze_v8s32
 342 body: |
 343   bb.0:
 344
 345     ; CHECK-LABEL: name: test_freeze_v8s32
 346     ; CHECK: [[COPY:%[0-9]+]]:_(<8 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 347     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<8 x s32>) = G_FREEZE [[COPY]]
 348     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY [[FREEZE]](<8 x s32>)
 349     %0:_(<8 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
 350     %1:_(<8 x s32>) = G_FREEZE %0
 351     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY %1
 352 ...
 353
 354 ---
 355 name: test_freeze_v16s32
 356 body: |
 357   bb.0:
 358
 359     ; CHECK-LABEL: name: test_freeze_v16s32
 360     ; CHECK: [[COPY:%[0-9]+]]:_(<16 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 361     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[COPY]]
 362     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY [[FREEZE]](<16 x s32>)
 363     %0:_(<16 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 364     %1:_(<16 x s32>) = G_FREEZE %0
 365     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY %1
 366 ...
 367
 368 ---
 369 name: test_freeze_v17s32
 370 body: |
 371   bb.0:
 372
 373     ; CHECK-LABEL: name: test_freeze_v17s32
 374     ; CHECK: [[COPY:%[0-9]+]]:_(<16 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 375     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[COPY]]
 376     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](<16 x s32>)
 377     %0:_(<16 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15
 378     %1:_(<16 x s32>) = G_FREEZE %0
 379     S_NOP 0, implicit %1
 380 ...
 381
 382 ---
 383 name: test_freeze_v32s32
 384 body: |
 385   bb.0:
 386
 387     ; CHECK-LABEL: name: test_freeze_v32s32
 388     ; CHECK: [[DEF:%[0-9]+]]:_(<32 x s32>) = G_IMPLICIT_DEF
 389     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<32 x s32>) = G_FREEZE [[DEF]]
 390     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](<32 x s32>)
 391     %0:_(<32 x s32>) = G_IMPLICIT_DEF
 392     %1:_(<32 x s32>) = G_FREEZE %0
 393     S_NOP 0, implicit %1
 394 ...
 395
 396 ---
 397 name: test_freeze_v33s32
 398 body: |
 399   bb.0:
 400
 401     ; CHECK-LABEL: name: test_freeze_v33s32
 402     ; CHECK: [[DEF:%[0-9]+]]:_(<16 x s32>) = G_IMPLICIT_DEF
 403     ; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 404     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32), [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32), [[UV6:%[0-9]+]]:_(s32), [[UV7:%[0-9]+]]:_(s32), [[UV8:%[0-9]+]]:_(s32), [[UV9:%[0-9]+]]:_(s32), [[UV10:%[0-9]+]]:_(s32), [[UV11:%[0-9]+]]:_(s32), [[UV12:%[0-9]+]]:_(s32), [[UV13:%[0-9]+]]:_(s32), [[UV14:%[0-9]+]]:_(s32), [[UV15:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[DEF]](<16 x s32>)
 405     ; CHECK-NEXT: [[UV16:%[0-9]+]]:_(s32), [[UV17:%[0-9]+]]:_(s32), [[UV18:%[0-9]+]]:_(s32), [[UV19:%[0-9]+]]:_(s32), [[UV20:%[0-9]+]]:_(s32), [[UV21:%[0-9]+]]:_(s32), [[UV22:%[0-9]+]]:_(s32), [[UV23:%[0-9]+]]:_(s32), [[UV24:%[0-9]+]]:_(s32), [[UV25:%[0-9]+]]:_(s32), [[UV26:%[0-9]+]]:_(s32), [[UV27:%[0-9]+]]:_(s32), [[UV28:%[0-9]+]]:_(s32), [[UV29:%[0-9]+]]:_(s32), [[UV30:%[0-9]+]]:_(s32), [[UV31:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[DEF]](<16 x s32>)
 406     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<16 x s32>) = G_BUILD_VECTOR [[UV]](s32), [[UV1]](s32), [[UV2]](s32), [[UV3]](s32), [[UV4]](s32), [[UV5]](s32), [[UV6]](s32), [[UV7]](s32), [[UV8]](s32), [[UV9]](s32), [[UV10]](s32), [[UV11]](s32), [[UV12]](s32), [[UV13]](s32), [[UV14]](s32), [[UV15]](s32)
 407     ; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<16 x s32>) = G_BUILD_VECTOR [[UV16]](s32), [[UV17]](s32), [[UV18]](s32), [[UV19]](s32), [[UV20]](s32), [[UV21]](s32), [[UV22]](s32), [[UV23]](s32), [[UV24]](s32), [[UV25]](s32), [[UV26]](s32), [[UV27]](s32), [[UV28]](s32), [[UV29]](s32), [[UV30]](s32), [[UV31]](s32)
 408     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[BUILD_VECTOR]]
 409     ; CHECK-NEXT: [[FREEZE1:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[BUILD_VECTOR1]]
 410     ; CHECK-NEXT: [[FREEZE2:%[0-9]+]]:_(s32) = G_FREEZE [[DEF1]]
 411     ; CHECK-NEXT: [[UV32:%[0-9]+]]:_(s32), [[UV33:%[0-9]+]]:_(s32), [[UV34:%[0-9]+]]:_(s32), [[UV35:%[0-9]+]]:_(s32), [[UV36:%[0-9]+]]:_(s32), [[UV37:%[0-9]+]]:_(s32), [[UV38:%[0-9]+]]:_(s32), [[UV39:%[0-9]+]]:_(s32), [[UV40:%[0-9]+]]:_(s32), [[UV41:%[0-9]+]]:_(s32), [[UV42:%[0-9]+]]:_(s32), [[UV43:%[0-9]+]]:_(s32), [[UV44:%[0-9]+]]:_(s32), [[UV45:%[0-9]+]]:_(s32), [[UV46:%[0-9]+]]:_(s32), [[UV47:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[FREEZE]](<16 x s32>)
 412     ; CHECK-NEXT: [[UV48:%[0-9]+]]:_(s32), [[UV49:%[0-9]+]]:_(s32), [[UV50:%[0-9]+]]:_(s32), [[UV51:%[0-9]+]]:_(s32), [[UV52:%[0-9]+]]:_(s32), [[UV53:%[0-9]+]]:_(s32), [[UV54:%[0-9]+]]:_(s32), [[UV55:%[0-9]+]]:_(s32), [[UV56:%[0-9]+]]:_(s32), [[UV57:%[0-9]+]]:_(s32), [[UV58:%[0-9]+]]:_(s32), [[UV59:%[0-9]+]]:_(s32), [[UV60:%[0-9]+]]:_(s32), [[UV61:%[0-9]+]]:_(s32), [[UV62:%[0-9]+]]:_(s32), [[UV63:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[FREEZE1]](<16 x s32>)
 413     ; CHECK-NEXT: [[BUILD_VECTOR2:%[0-9]+]]:_(<33 x s32>) = G_BUILD_VECTOR [[UV32]](s32), [[UV33]](s32), [[UV34]](s32), [[UV35]](s32), [[UV36]](s32), [[UV37]](s32), [[UV38]](s32), [[UV39]](s32), [[UV40]](s32), [[UV41]](s32), [[UV42]](s32), [[UV43]](s32), [[UV44]](s32), [[UV45]](s32), [[UV46]](s32), [[UV47]](s32), [[UV48]](s32), [[UV49]](s32), [[UV50]](s32), [[UV51]](s32), [[UV52]](s32), [[UV53]](s32), [[UV54]](s32), [[UV55]](s32), [[UV56]](s32), [[UV57]](s32), [[UV58]](s32), [[UV59]](s32), [[UV60]](s32), [[UV61]](s32), [[UV62]](s32), [[UV63]](s32), [[FREEZE2]](s32)
 414     ; CHECK-NEXT: S_NOP 0, implicit [[BUILD_VECTOR2]](<33 x s32>)
 415     %0:_(<33 x s32>) = G_IMPLICIT_DEF
 416     %1:_(<33 x s32>) = G_FREEZE %0
 417     S_NOP 0, implicit %1
 418 ...
 419
 420 ---
 421 name: test_freeze_v64s32
 422 body: |
 423   bb.0:
 424
 425     ; CHECK-LABEL: name: test_freeze_v64s32
 426     ; CHECK: [[DEF:%[0-9]+]]:_(<16 x s32>) = G_IMPLICIT_DEF
 427     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[DEF]]
 428     ; CHECK-NEXT: [[FREEZE1:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[DEF]]
 429     ; CHECK-NEXT: [[FREEZE2:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[DEF]]
 430     ; CHECK-NEXT: [[FREEZE3:%[0-9]+]]:_(<16 x s32>) = G_FREEZE [[DEF]]
 431     ; CHECK-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<64 x s32>) = G_CONCAT_VECTORS [[FREEZE]](<16 x s32>), [[FREEZE1]](<16 x s32>), [[FREEZE2]](<16 x s32>), [[FREEZE3]](<16 x s32>)
 432     ; CHECK-NEXT: S_NOP 0, implicit [[CONCAT_VECTORS]](<64 x s32>)
 433     %0:_(<64 x s32>) = G_IMPLICIT_DEF
 434     %1:_(<64 x s32>) = G_FREEZE %0
 435     S_NOP 0, implicit %1
 436 ...
 437
 438 ---
 439 name: test_freeze_v2s1
 440 body: |
 441   bb.0:
 442     liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
 443
 444     ; CHECK-LABEL: name: test_freeze_v2s1
 445     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr1
 446     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr2_vgpr3
 447     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)
 448     ; CHECK-NEXT: [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY1]](<2 x s32>)
 449     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV]](s32), [[UV2]]
 450     ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV1]](s32), [[UV3]]
 451     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[ICMP]](s1)
 452     ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[ICMP1]](s1)
 453     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[ANYEXT]](s32), [[ANYEXT1]](s32)
 454     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<2 x s32>) = G_FREEZE [[BUILD_VECTOR]]
 455     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](<2 x s32>)
 456     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
 457     %1:_(<2 x s32>) = COPY $vgpr2_vgpr3
 458     %2:_(<2 x s1>) = G_ICMP intpred(ne), %0, %1
 459     %3:_(<2 x s1>) = G_FREEZE %2
 460     %4:_(<2 x s32>) = G_ANYEXT %3
 461     $vgpr0_vgpr1 = COPY %4
 462 ...
 463
 464 ---
 465 name: test_freeze_v3s1
 466 body: |
 467   bb.0:
 468     liveins: $vgpr0_vgpr1_vgpr2, $vgpr3_vgpr4_vgpr5
 469
 470     ; CHECK-LABEL: name: test_freeze_v3s1
 471     ; CHECK: [[COPY:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 472     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr3_vgpr4_vgpr5
 473     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<3 x s32>)
 474     ; CHECK-NEXT: [[UV3:%[0-9]+]]:_(s32), [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY1]](<3 x s32>)
 475     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV]](s32), [[UV3]]
 476     ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV1]](s32), [[UV4]]
 477     ; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV2]](s32), [[UV5]]
 478     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[ICMP]](s1)
 479     ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[ICMP1]](s1)
 480     ; CHECK-NEXT: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[ICMP2]](s1)
 481     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s32>) = G_BUILD_VECTOR [[ANYEXT]](s32), [[ANYEXT1]](s32), [[ANYEXT2]](s32)
 482     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<3 x s32>) = G_FREEZE [[BUILD_VECTOR]]
 483     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[FREEZE]](<3 x s32>)
 484     %0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 485     %1:_(<3 x s32>) = COPY $vgpr3_vgpr4_vgpr5
 486     %2:_(<3 x s1>) = G_ICMP intpred(ne), %0, %1
 487     %3:_(<3 x s1>) = G_FREEZE %2
 488     %4:_(<3 x s32>) = G_ANYEXT %3
 489     $vgpr0_vgpr1_vgpr2 = COPY %4
 490 ...
 491
 492 ---
 493 name: test_freeze_v2s8
 494 body: |
 495   bb.0:
 496
 497     ; CHECK-LABEL: name: test_freeze_v2s8
 498     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr1
 499     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<2 x s32>) = G_FREEZE [[COPY]]
 500     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](<2 x s32>)
 501     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
 502     %1:_(<2 x s8>) = G_TRUNC %0
 503     %2:_(<2 x s8>) = G_FREEZE %1
 504     %3:_(<2 x s32>) = G_ANYEXT %2
 505     $vgpr0_vgpr1 = COPY %3
 506 ...
 507
 508 ---
 509 name: test_freeze_v3s8
 510 body: |
 511   bb.0:
 512
 513     ; CHECK-LABEL: name: test_freeze_v3s8
 514     ; CHECK: [[COPY:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 515     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<3 x s32>)
 516     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 517     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[UV]](s32), [[UV1]](s32), [[UV2]](s32), [[DEF]](s32)
 518     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<4 x s32>) = G_FREEZE [[BUILD_VECTOR]]
 519     ; CHECK-NEXT: [[UV3:%[0-9]+]]:_(s32), [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32), [[UV6:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[FREEZE]](<4 x s32>)
 520     ; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<3 x s32>) = G_BUILD_VECTOR [[UV3]](s32), [[UV4]](s32), [[UV5]](s32)
 521     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[BUILD_VECTOR1]](<3 x s32>)
 522     %0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 523     %1:_(<3 x s8>) = G_TRUNC %0
 524     %2:_(<3 x s8>) = G_FREEZE %1
 525     %3:_(<3 x s32>) = G_ANYEXT %2
 526     $vgpr0_vgpr1_vgpr2 = COPY %3
 527 ...
 528
 529 ---
 530 name: test_freeze_v2s16
 531 body: |
 532   bb.0:
 533
 534     ; CHECK-LABEL: name: test_freeze_v2s16
 535     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s16>) = COPY $vgpr0
 536     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<2 x s16>) = G_FREEZE [[COPY]]
 537     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](<2 x s16>)
 538     %0:_(<2 x s16>) = COPY $vgpr0
 539     %1:_(<2 x s16>) = G_FREEZE %0
 540     $vgpr0 = COPY %1
 541 ...
 542
 543 ---
 544 name: test_freeze_v3s16
 545 body: |
 546   bb.0:
 547
 548     ; CHECK-LABEL: name: test_freeze_v3s16
 549     ; CHECK: [[COPY:%[0-9]+]]:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 550     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<3 x s32>)
 551     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 552     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[UV]], [[C]]
 553     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[UV1]], [[C]]
 554     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 555     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C1]](s32)
 556     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
 557     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
 558     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[UV2]], [[C]]
 559     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 560     ; CHECK-NEXT: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[C2]], [[C1]](s32)
 561     ; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[AND2]], [[SHL1]]
 562     ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR1]](s32)
 563     ; CHECK-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<4 x s16>) = G_CONCAT_VECTORS [[BITCAST]](<2 x s16>), [[BITCAST1]](<2 x s16>)
 564     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<4 x s16>) = G_FREEZE [[CONCAT_VECTORS]]
 565     ; CHECK-NEXT: [[UV3:%[0-9]+]]:_(<2 x s16>), [[UV4:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[FREEZE]](<4 x s16>)
 566     ; CHECK-NEXT: [[BITCAST2:%[0-9]+]]:_(s32) = G_BITCAST [[UV3]](<2 x s16>)
 567     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST2]], [[C1]](s32)
 568     ; CHECK-NEXT: [[BITCAST3:%[0-9]+]]:_(s32) = G_BITCAST [[UV4]](<2 x s16>)
 569     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s32>) = G_BUILD_VECTOR [[BITCAST2]](s32), [[LSHR]](s32), [[BITCAST3]](s32)
 570     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[BUILD_VECTOR]](<3 x s32>)
 571     %0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
 572     %1:_(<3 x s16>) = G_TRUNC %0
 573     %2:_(<3 x s16>) = G_FREEZE %1
 574     %3:_(<3 x s32>) = G_ANYEXT %2
 575     $vgpr0_vgpr1_vgpr2 = COPY %3
 576 ...
 577
 578 ---
 579 name: test_freeze_v4s16
 580 body: |
 581   bb.0:
 582
 583     ; CHECK-LABEL: name: test_freeze_v4s16
 584     ; CHECK: [[COPY:%[0-9]+]]:_(<4 x s16>) = COPY $vgpr0_vgpr1
 585     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<4 x s16>) = G_FREEZE [[COPY]]
 586     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](<4 x s16>)
 587     %0:_(<4 x s16>) = COPY $vgpr0_vgpr1
 588     %1:_(<4 x s16>) = G_FREEZE %0
 589     $vgpr0_vgpr1 = COPY %1
 590 ...
 591
 592 ---
 593 name: test_freeze_v5s16
 594 body: |
 595   bb.0:
 596
 597     ; CHECK-LABEL: name: test_freeze_v5s16
 598     ; CHECK: [[COPY:%[0-9]+]]:_(<5 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4
 599     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32), [[UV4:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<5 x s32>)
 600     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 601     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[UV]], [[C]]
 602     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[UV1]], [[C]]
 603     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
 604     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C1]](s32)
 605     ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
 606     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
 607     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[UV2]], [[C]]
 608     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[UV3]], [[C]]
 609     ; CHECK-NEXT: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND3]], [[C1]](s32)
 610     ; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[AND2]], [[SHL1]]
 611     ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR1]](s32)
 612     ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s32) = G_AND [[UV4]], [[C]]
 613     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 614     ; CHECK-NEXT: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[C2]], [[C1]](s32)
 615     ; CHECK-NEXT: [[OR2:%[0-9]+]]:_(s32) = G_OR [[AND4]], [[SHL2]]
 616     ; CHECK-NEXT: [[BITCAST2:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR2]](s32)
 617     ; CHECK-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<6 x s16>) = G_CONCAT_VECTORS [[BITCAST]](<2 x s16>), [[BITCAST1]](<2 x s16>), [[BITCAST2]](<2 x s16>)
 618     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<6 x s16>) = G_FREEZE [[CONCAT_VECTORS]]
 619     ; CHECK-NEXT: [[UV5:%[0-9]+]]:_(<2 x s16>), [[UV6:%[0-9]+]]:_(<2 x s16>), [[UV7:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[FREEZE]](<6 x s16>)
 620     ; CHECK-NEXT: [[BITCAST3:%[0-9]+]]:_(s32) = G_BITCAST [[UV5]](<2 x s16>)
 621     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST3]], [[C1]](s32)
 622     ; CHECK-NEXT: [[BITCAST4:%[0-9]+]]:_(s32) = G_BITCAST [[UV6]](<2 x s16>)
 623     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST4]], [[C1]](s32)
 624     ; CHECK-NEXT: [[BITCAST5:%[0-9]+]]:_(s32) = G_BITCAST [[UV7]](<2 x s16>)
 625     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<5 x s32>) = G_BUILD_VECTOR [[BITCAST3]](s32), [[LSHR]](s32), [[BITCAST4]](s32), [[LSHR1]](s32), [[BITCAST5]](s32)
 626     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4 = COPY [[BUILD_VECTOR]](<5 x s32>)
 627     %0:_(<5 x s32>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4
 628     %1:_(<5 x s16>) = G_TRUNC %0
 629     %2:_(<5 x s16>) = G_FREEZE %1
 630     %3:_(<5 x s32>) = G_ANYEXT %2
 631     $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4 = COPY %3
 632 ...
 633
 634 ---
 635 name: test_freeze_v6s16
 636 body: |
 637   bb.0:
 638
 639     ; CHECK-LABEL: name: test_freeze_v6s16
 640     ; CHECK: [[COPY:%[0-9]+]]:_(<6 x s16>) = COPY $vgpr0_vgpr1_vgpr2
 641     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<6 x s16>) = G_FREEZE [[COPY]]
 642     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2 = COPY [[FREEZE]](<6 x s16>)
 643     %0:_(<6 x s16>) = COPY $vgpr0_vgpr1_vgpr2
 644     %1:_(<6 x s16>) = G_FREEZE %0
 645     $vgpr0_vgpr1_vgpr2 = COPY %1
 646 ...
 647
 648 ---
 649 name: test_freeze_v8s16
 650 body: |
 651   bb.0:
 652
 653     ; CHECK-LABEL: name: test_freeze_v8s16
 654     ; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 655     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<8 x s16>) = G_FREEZE [[COPY]]
 656     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[FREEZE]](<8 x s16>)
 657     %0:_(<8 x s16>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 658     %1:_(<8 x s16>) = G_FREEZE %0
 659     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 660 ...
 661
 662 ---
 663 name: test_freeze_v2s64
 664 body: |
 665   bb.0:
 666
 667     ; CHECK-LABEL: name: test_freeze_v2s64
 668     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 669     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<2 x s64>) = G_FREEZE [[COPY]]
 670     ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[FREEZE]](<2 x s64>)
 671     %0:_(<2 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
 672     %1:_(<2 x s64>) = G_FREEZE %0
 673     $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
 674 ...
 675
 676 ---
 677 name: test_freeze_v4s8
 678 body: |
 679   bb.0:
 680     liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr3
 681
 682     ; CHECK-LABEL: name: test_freeze_v4s8
 683     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
 684     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
 685     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr2
 686     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $vgpr3
 687     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
 688     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<4 x s32>) = G_FREEZE [[BUILD_VECTOR]]
 689     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[FREEZE]](<4 x s32>)
 690     ; CHECK-NEXT: S_ENDPGM 0, implicit [[UV]](s32), implicit [[UV1]](s32), implicit [[UV2]](s32), implicit [[UV3]](s32)
 691     %0:_(s32) = COPY $vgpr0
 692     %1:_(s32) = COPY $vgpr1
 693     %2:_(s32) = COPY $vgpr2
 694     %3:_(s32) = COPY $vgpr3
 695     %4:_(s8) = G_TRUNC %0
 696     %5:_(s8) = G_TRUNC %1
 697     %6:_(s8) = G_TRUNC %2
 698     %7:_(s8) = G_TRUNC %3
 699     %8:_(<4 x s8>) = G_BUILD_VECTOR %4, %5, %6, %7
 700     %9:_(<4 x s8>) = G_FREEZE %8
 701     %10:_(s8), %11:_(s8), %12:_(s8), %13:_(s8) = G_UNMERGE_VALUES %9
 702     %14:_(s32) = G_ANYEXT %10
 703     %15:_(s32) = G_ANYEXT %11
 704     %16:_(s32) = G_ANYEXT %12
 705     %17:_(s32) = G_ANYEXT %13
 706     S_ENDPGM 0, implicit %14, implicit %15, implicit %16, implicit %17
 707 ...
 708
 709 ---
 710 name: test_freeze_p0
 711 body: |
 712   bb.0:
 713
 714     ; CHECK-LABEL: name: test_freeze_p0
 715     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
 716     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p0) = G_FREEZE [[COPY]]
 717     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](p0)
 718     %0:_(p0) = COPY $vgpr0_vgpr1
 719     %1:_(p0) = G_FREEZE %0
 720     $vgpr0_vgpr1 = COPY %1
 721 ...
 722
 723 ---
 724 name: test_freeze_p1
 725 body: |
 726   bb.0:
 727
 728     ; CHECK-LABEL: name: test_freeze_p1
 729     ; CHECK: [[COPY:%[0-9]+]]:_(p1) = COPY $vgpr0_vgpr1
 730     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p1) = G_FREEZE [[COPY]]
 731     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](p1)
 732     %0:_(p1) = COPY $vgpr0_vgpr1
 733     %1:_(p1) = G_FREEZE %0
 734     $vgpr0_vgpr1 = COPY %1
 735 ...
 736
 737 ---
 738 name: test_freeze_p2
 739 body: |
 740   bb.0:
 741
 742     ; CHECK-LABEL: name: test_freeze_p2
 743     ; CHECK: [[COPY:%[0-9]+]]:_(p2) = COPY $vgpr0
 744     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p2) = G_FREEZE [[COPY]]
 745     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](p2)
 746     %0:_(p2) = COPY $vgpr0
 747     %1:_(p2) = G_FREEZE %0
 748     $vgpr0 = COPY %1
 749 ...
 750
 751 ---
 752 name: test_freeze_p3
 753 body: |
 754   bb.0:
 755
 756     ; CHECK-LABEL: name: test_freeze_p3
 757     ; CHECK: [[COPY:%[0-9]+]]:_(p3) = COPY $vgpr0
 758     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p3) = G_FREEZE [[COPY]]
 759     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](p3)
 760     %0:_(p3) = COPY $vgpr0
 761     %1:_(p3) = G_FREEZE %0
 762     $vgpr0 = COPY %1
 763 ...
 764
 765 ---
 766 name: test_freeze_p4
 767 body: |
 768   bb.0:
 769
 770     ; CHECK-LABEL: name: test_freeze_p4
 771     ; CHECK: [[COPY:%[0-9]+]]:_(p4) = COPY $vgpr0_vgpr1
 772     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p4) = G_FREEZE [[COPY]]
 773     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](p4)
 774     %0:_(p4) = COPY $vgpr0_vgpr1
 775     %1:_(p4) = G_FREEZE %0
 776     $vgpr0_vgpr1 = COPY %1
 777 ...
 778
 779 ---
 780 name: test_freeze_p5
 781 body: |
 782   bb.0:
 783
 784     ; CHECK-LABEL: name: test_freeze_p5
 785     ; CHECK: [[COPY:%[0-9]+]]:_(p5) = COPY $vgpr0
 786     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p5) = G_FREEZE [[COPY]]
 787     ; CHECK-NEXT: $vgpr0 = COPY [[FREEZE]](p5)
 788     %0:_(p5) = COPY $vgpr0
 789     %1:_(p5) = G_FREEZE %0
 790     $vgpr0 = COPY %1
 791 ...
 792
 793 ---
 794 name: test_freeze_p999
 795 body: |
 796   bb.0:
 797
 798     ; CHECK-LABEL: name: test_freeze_p999
 799     ; CHECK: [[COPY:%[0-9]+]]:_(p999) = COPY $vgpr0_vgpr1
 800     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(p999) = G_FREEZE [[COPY]]
 801     ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[FREEZE]](p999)
 802     %0:_(p999) = COPY $vgpr0_vgpr1
 803     %1:_(p999) = G_FREEZE %0
 804     $vgpr0_vgpr1 = COPY %1
 805
 806 ...
 807
 808 ---
 809 name: test_freeze_v2s1024
 810 body: |
 811   bb.0:
 812
 813     ; CHECK-LABEL: name: test_freeze_v2s1024
 814     ; CHECK: [[DEF:%[0-9]+]]:_(<2 x s1024>) = G_IMPLICIT_DEF
 815     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<2 x s1024>) = G_FREEZE [[DEF]]
 816     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](<2 x s1024>)
 817     %0:_(<2 x s1024>) = G_IMPLICIT_DEF
 818     %1:_(<2 x s1024>) = G_FREEZE %0
 819     S_NOP 0, implicit %1
 820 ...
 821
 822 ---
 823
 824 name: test_freeze_v3s1024
 825 body: |
 826   bb.0:
 827
 828     ; CHECK-LABEL: name: test_freeze_v3s1024
 829     ; CHECK: [[DEF:%[0-9]+]]:_(<3 x s1024>) = G_IMPLICIT_DEF
 830     ; CHECK-NEXT: [[FREEZE:%[0-9]+]]:_(<3 x s1024>) = G_FREEZE [[DEF]]
 831     ; CHECK-NEXT: S_NOP 0, implicit [[FREEZE]](<3 x s1024>)
 832     %0:_(<3 x s1024>) = G_IMPLICIT_DEF
 833     %1:_(<3 x s1024>) = G_FREEZE %0
 834     S_NOP 0, implicit %1
 835 ...