llvm/test/CodeGen/RISCV/GlobalISel/instruction-select/rvv/sext.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=riscv32 -mattr=+v -run-pass=instruction-select -simplify-mir -verify-machineinstrs %s -o - | FileCheck -check-prefix=RV32I %s
   3 # RUN: llc -mtriple=riscv64 -mattr=+v -run-pass=instruction-select -simplify-mir -verify-machineinstrs %s -o - | FileCheck -check-prefix=RV64I %s
   4
   5 ---
   6 name:            sext_nxv1i16_nxv1i8
   7 legalized:       true
   8 regBankSelected: true
   9 tracksRegLiveness: true
  10 body:             |
  11   bb.0.entry:
  12     liveins: $v8
  13
  14     ; RV32I-LABEL: name: sext_nxv1i16_nxv1i8
  15     ; RV32I: liveins: $v8
  16     ; RV32I-NEXT: {{  $}}
  17     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
  18     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
  19     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_MF4 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
  20     ; RV32I-NEXT: $v8 = COPY %1
  21     ; RV32I-NEXT: PseudoRET implicit $v8
  22     ;
  23     ; RV64I-LABEL: name: sext_nxv1i16_nxv1i8
  24     ; RV64I: liveins: $v8
  25     ; RV64I-NEXT: {{  $}}
  26     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
  27     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
  28     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_MF4 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
  29     ; RV64I-NEXT: $v8 = COPY %1
  30     ; RV64I-NEXT: PseudoRET implicit $v8
  31     %0:vrb(<vscale x 1 x s8>) = COPY $v8
  32     %1:vrb(<vscale x 1 x s16>) = G_SEXT %0(<vscale x 1 x s8>)
  33     $v8 = COPY %1(<vscale x 1 x s16>)
  34     PseudoRET implicit $v8
  35
  36 ...
  37 ---
  38 name:            sext_nxv1i32_nxv1i8
  39 legalized:       true
  40 regBankSelected: true
  41 tracksRegLiveness: true
  42 body:             |
  43   bb.0.entry:
  44     liveins: $v8
  45
  46     ; RV32I-LABEL: name: sext_nxv1i32_nxv1i8
  47     ; RV32I: liveins: $v8
  48     ; RV32I-NEXT: {{  $}}
  49     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
  50     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
  51     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF4_MF2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
  52     ; RV32I-NEXT: $v8 = COPY %1
  53     ; RV32I-NEXT: PseudoRET implicit $v8
  54     ;
  55     ; RV64I-LABEL: name: sext_nxv1i32_nxv1i8
  56     ; RV64I: liveins: $v8
  57     ; RV64I-NEXT: {{  $}}
  58     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
  59     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
  60     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF4_MF2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
  61     ; RV64I-NEXT: $v8 = COPY %1
  62     ; RV64I-NEXT: PseudoRET implicit $v8
  63     %0:vrb(<vscale x 1 x s8>) = COPY $v8
  64     %1:vrb(<vscale x 1 x s32>) = G_SEXT %0(<vscale x 1 x s8>)
  65     $v8 = COPY %1(<vscale x 1 x s32>)
  66     PseudoRET implicit $v8
  67
  68 ...
  69 ---
  70 name:            sext_nxv1i64_nxv1i8
  71 legalized:       true
  72 regBankSelected: true
  73 tracksRegLiveness: true
  74 body:             |
  75   bb.0.entry:
  76     liveins: $v8
  77
  78     ; RV32I-LABEL: name: sext_nxv1i64_nxv1i8
  79     ; RV32I: liveins: $v8
  80     ; RV32I-NEXT: {{  $}}
  81     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
  82     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
  83     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF8_M1 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
  84     ; RV32I-NEXT: $v8 = COPY %1
  85     ; RV32I-NEXT: PseudoRET implicit $v8
  86     ;
  87     ; RV64I-LABEL: name: sext_nxv1i64_nxv1i8
  88     ; RV64I: liveins: $v8
  89     ; RV64I-NEXT: {{  $}}
  90     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
  91     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
  92     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF8_M1 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
  93     ; RV64I-NEXT: $v8 = COPY %1
  94     ; RV64I-NEXT: PseudoRET implicit $v8
  95     %0:vrb(<vscale x 1 x s8>) = COPY $v8
  96     %1:vrb(<vscale x 1 x s64>) = G_SEXT %0(<vscale x 1 x s8>)
  97     $v8 = COPY %1(<vscale x 1 x s64>)
  98     PseudoRET implicit $v8
  99
 100 ...
 101 ---
 102 name:            sext_nxv2i16_nxv2i8
 103 legalized:       true
 104 regBankSelected: true
 105 tracksRegLiveness: true
 106 body:             |
 107   bb.0.entry:
 108     liveins: $v8
 109
 110     ; RV32I-LABEL: name: sext_nxv2i16_nxv2i8
 111     ; RV32I: liveins: $v8
 112     ; RV32I-NEXT: {{  $}}
 113     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 114     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 115     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_MF2 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 116     ; RV32I-NEXT: $v8 = COPY %1
 117     ; RV32I-NEXT: PseudoRET implicit $v8
 118     ;
 119     ; RV64I-LABEL: name: sext_nxv2i16_nxv2i8
 120     ; RV64I: liveins: $v8
 121     ; RV64I-NEXT: {{  $}}
 122     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 123     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 124     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_MF2 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 125     ; RV64I-NEXT: $v8 = COPY %1
 126     ; RV64I-NEXT: PseudoRET implicit $v8
 127     %0:vrb(<vscale x 2 x s8>) = COPY $v8
 128     %1:vrb(<vscale x 2 x s16>) = G_SEXT %0(<vscale x 2 x s8>)
 129     $v8 = COPY %1(<vscale x 2 x s16>)
 130     PseudoRET implicit $v8
 131
 132 ...
 133 ---
 134 name:            sext_nxv2i32_nxv2i8
 135 legalized:       true
 136 regBankSelected: true
 137 tracksRegLiveness: true
 138 body:             |
 139   bb.0.entry:
 140     liveins: $v8
 141
 142     ; RV32I-LABEL: name: sext_nxv2i32_nxv2i8
 143     ; RV32I: liveins: $v8
 144     ; RV32I-NEXT: {{  $}}
 145     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 146     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 147     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF4_M1 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 148     ; RV32I-NEXT: $v8 = COPY %1
 149     ; RV32I-NEXT: PseudoRET implicit $v8
 150     ;
 151     ; RV64I-LABEL: name: sext_nxv2i32_nxv2i8
 152     ; RV64I: liveins: $v8
 153     ; RV64I-NEXT: {{  $}}
 154     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 155     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 156     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF4_M1 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 157     ; RV64I-NEXT: $v8 = COPY %1
 158     ; RV64I-NEXT: PseudoRET implicit $v8
 159     %0:vrb(<vscale x 2 x s8>) = COPY $v8
 160     %1:vrb(<vscale x 2 x s32>) = G_SEXT %0(<vscale x 2 x s8>)
 161     $v8 = COPY %1(<vscale x 2 x s32>)
 162     PseudoRET implicit $v8
 163
 164 ...
 165 ---
 166 name:            sext_nxv2i64_nxv2i8
 167 legalized:       true
 168 regBankSelected: true
 169 tracksRegLiveness: true
 170 body:             |
 171   bb.0.entry:
 172     liveins: $v8
 173
 174     ; RV32I-LABEL: name: sext_nxv2i64_nxv2i8
 175     ; RV32I: liveins: $v8
 176     ; RV32I-NEXT: {{  $}}
 177     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 178     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 179     ; RV32I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF8_M2 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 180     ; RV32I-NEXT: $v8m2 = COPY %1
 181     ; RV32I-NEXT: PseudoRET implicit $v8m2
 182     ;
 183     ; RV64I-LABEL: name: sext_nxv2i64_nxv2i8
 184     ; RV64I: liveins: $v8
 185     ; RV64I-NEXT: {{  $}}
 186     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 187     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 188     ; RV64I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF8_M2 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 189     ; RV64I-NEXT: $v8m2 = COPY %1
 190     ; RV64I-NEXT: PseudoRET implicit $v8m2
 191     %0:vrb(<vscale x 2 x s8>) = COPY $v8
 192     %1:vrb(<vscale x 2 x s64>) = G_SEXT %0(<vscale x 2 x s8>)
 193     $v8m2 = COPY %1(<vscale x 2 x s64>)
 194     PseudoRET implicit $v8m2
 195
 196 ...
 197 ---
 198 name:            sext_nxv4i16_nxv4i8
 199 legalized:       true
 200 regBankSelected: true
 201 tracksRegLiveness: true
 202 body:             |
 203   bb.0.entry:
 204     liveins: $v8
 205
 206     ; RV32I-LABEL: name: sext_nxv4i16_nxv4i8
 207     ; RV32I: liveins: $v8
 208     ; RV32I-NEXT: {{  $}}
 209     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 210     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 211     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_M1 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 212     ; RV32I-NEXT: $v8 = COPY %1
 213     ; RV32I-NEXT: PseudoRET implicit $v8
 214     ;
 215     ; RV64I-LABEL: name: sext_nxv4i16_nxv4i8
 216     ; RV64I: liveins: $v8
 217     ; RV64I-NEXT: {{  $}}
 218     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 219     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 220     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_M1 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 221     ; RV64I-NEXT: $v8 = COPY %1
 222     ; RV64I-NEXT: PseudoRET implicit $v8
 223     %0:vrb(<vscale x 4 x s8>) = COPY $v8
 224     %1:vrb(<vscale x 4 x s16>) = G_SEXT %0(<vscale x 4 x s8>)
 225     $v8 = COPY %1(<vscale x 4 x s16>)
 226     PseudoRET implicit $v8
 227
 228 ...
 229 ---
 230 name:            sext_nxv4i32_nxv4i8
 231 legalized:       true
 232 regBankSelected: true
 233 tracksRegLiveness: true
 234 body:             |
 235   bb.0.entry:
 236     liveins: $v8
 237
 238     ; RV32I-LABEL: name: sext_nxv4i32_nxv4i8
 239     ; RV32I: liveins: $v8
 240     ; RV32I-NEXT: {{  $}}
 241     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 242     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 243     ; RV32I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF4_M2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 244     ; RV32I-NEXT: $v8m2 = COPY %1
 245     ; RV32I-NEXT: PseudoRET implicit $v8m2
 246     ;
 247     ; RV64I-LABEL: name: sext_nxv4i32_nxv4i8
 248     ; RV64I: liveins: $v8
 249     ; RV64I-NEXT: {{  $}}
 250     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 251     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 252     ; RV64I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF4_M2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 253     ; RV64I-NEXT: $v8m2 = COPY %1
 254     ; RV64I-NEXT: PseudoRET implicit $v8m2
 255     %0:vrb(<vscale x 4 x s8>) = COPY $v8
 256     %1:vrb(<vscale x 4 x s32>) = G_SEXT %0(<vscale x 4 x s8>)
 257     $v8m2 = COPY %1(<vscale x 4 x s32>)
 258     PseudoRET implicit $v8m2
 259
 260 ...
 261 ---
 262 name:            sext_nxv4i64_nxv4i8
 263 legalized:       true
 264 regBankSelected: true
 265 tracksRegLiveness: true
 266 body:             |
 267   bb.0.entry:
 268     liveins: $v8
 269
 270     ; RV32I-LABEL: name: sext_nxv4i64_nxv4i8
 271     ; RV32I: liveins: $v8
 272     ; RV32I-NEXT: {{  $}}
 273     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 274     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 275     ; RV32I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF8_M4 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 276     ; RV32I-NEXT: $v8m4 = COPY %1
 277     ; RV32I-NEXT: PseudoRET implicit $v8m4
 278     ;
 279     ; RV64I-LABEL: name: sext_nxv4i64_nxv4i8
 280     ; RV64I: liveins: $v8
 281     ; RV64I-NEXT: {{  $}}
 282     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 283     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 284     ; RV64I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF8_M4 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 285     ; RV64I-NEXT: $v8m4 = COPY %1
 286     ; RV64I-NEXT: PseudoRET implicit $v8m4
 287     %0:vrb(<vscale x 4 x s8>) = COPY $v8
 288     %1:vrb(<vscale x 4 x s64>) = G_SEXT %0(<vscale x 4 x s8>)
 289     $v8m4 = COPY %1(<vscale x 4 x s64>)
 290     PseudoRET implicit $v8m4
 291
 292 ...
 293 ---
 294 name:            sext_nxv8i16_nxv8i8
 295 legalized:       true
 296 regBankSelected: true
 297 tracksRegLiveness: true
 298 body:             |
 299   bb.0.entry:
 300     liveins: $v8
 301
 302     ; RV32I-LABEL: name: sext_nxv8i16_nxv8i8
 303     ; RV32I: liveins: $v8
 304     ; RV32I-NEXT: {{  $}}
 305     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 306     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 307     ; RV32I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF2_M2 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 308     ; RV32I-NEXT: $v8m2 = COPY %1
 309     ; RV32I-NEXT: PseudoRET implicit $v8m2
 310     ;
 311     ; RV64I-LABEL: name: sext_nxv8i16_nxv8i8
 312     ; RV64I: liveins: $v8
 313     ; RV64I-NEXT: {{  $}}
 314     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 315     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 316     ; RV64I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF2_M2 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 317     ; RV64I-NEXT: $v8m2 = COPY %1
 318     ; RV64I-NEXT: PseudoRET implicit $v8m2
 319     %0:vrb(<vscale x 8 x s8>) = COPY $v8
 320     %1:vrb(<vscale x 8 x s16>) = G_SEXT %0(<vscale x 8 x s8>)
 321     $v8m2 = COPY %1(<vscale x 8 x s16>)
 322     PseudoRET implicit $v8m2
 323
 324 ...
 325 ---
 326 name:            sext_nxv8i32_nxv8i8
 327 legalized:       true
 328 regBankSelected: true
 329 tracksRegLiveness: true
 330 body:             |
 331   bb.0.entry:
 332     liveins: $v8
 333
 334     ; RV32I-LABEL: name: sext_nxv8i32_nxv8i8
 335     ; RV32I: liveins: $v8
 336     ; RV32I-NEXT: {{  $}}
 337     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 338     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 339     ; RV32I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF4_M4 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 340     ; RV32I-NEXT: $v8m4 = COPY %1
 341     ; RV32I-NEXT: PseudoRET implicit $v8m4
 342     ;
 343     ; RV64I-LABEL: name: sext_nxv8i32_nxv8i8
 344     ; RV64I: liveins: $v8
 345     ; RV64I-NEXT: {{  $}}
 346     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 347     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 348     ; RV64I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF4_M4 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 349     ; RV64I-NEXT: $v8m4 = COPY %1
 350     ; RV64I-NEXT: PseudoRET implicit $v8m4
 351     %0:vrb(<vscale x 8 x s8>) = COPY $v8
 352     %1:vrb(<vscale x 8 x s32>) = G_SEXT %0(<vscale x 8 x s8>)
 353     $v8m4 = COPY %1(<vscale x 8 x s32>)
 354     PseudoRET implicit $v8m4
 355
 356 ...
 357 ---
 358 name:            sext_nxv8i64_nxv8i8
 359 legalized:       true
 360 regBankSelected: true
 361 tracksRegLiveness: true
 362 body:             |
 363   bb.0.entry:
 364     liveins: $v8
 365
 366     ; RV32I-LABEL: name: sext_nxv8i64_nxv8i8
 367     ; RV32I: liveins: $v8
 368     ; RV32I-NEXT: {{  $}}
 369     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 370     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 371     ; RV32I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF8_M8 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 372     ; RV32I-NEXT: $v8m8 = COPY %1
 373     ; RV32I-NEXT: PseudoRET implicit $v8m8
 374     ;
 375     ; RV64I-LABEL: name: sext_nxv8i64_nxv8i8
 376     ; RV64I: liveins: $v8
 377     ; RV64I-NEXT: {{  $}}
 378     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 379     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 380     ; RV64I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF8_M8 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 381     ; RV64I-NEXT: $v8m8 = COPY %1
 382     ; RV64I-NEXT: PseudoRET implicit $v8m8
 383     %0:vrb(<vscale x 8 x s8>) = COPY $v8
 384     %1:vrb(<vscale x 8 x s64>) = G_SEXT %0(<vscale x 8 x s8>)
 385     $v8m8 = COPY %1(<vscale x 8 x s64>)
 386     PseudoRET implicit $v8m8
 387
 388 ...
 389 ---
 390 name:            sext_nxv16i16_nxv16i8
 391 legalized:       true
 392 regBankSelected: true
 393 tracksRegLiveness: true
 394 body:             |
 395   bb.0.entry:
 396     liveins: $v8m2
 397
 398     ; RV32I-LABEL: name: sext_nxv16i16_nxv16i8
 399     ; RV32I: liveins: $v8m2
 400     ; RV32I-NEXT: {{  $}}
 401     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 402     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 403     ; RV32I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF2_M4 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 404     ; RV32I-NEXT: $v8m4 = COPY %1
 405     ; RV32I-NEXT: PseudoRET implicit $v8m4
 406     ;
 407     ; RV64I-LABEL: name: sext_nxv16i16_nxv16i8
 408     ; RV64I: liveins: $v8m2
 409     ; RV64I-NEXT: {{  $}}
 410     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 411     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 412     ; RV64I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF2_M4 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 413     ; RV64I-NEXT: $v8m4 = COPY %1
 414     ; RV64I-NEXT: PseudoRET implicit $v8m4
 415     %0:vrb(<vscale x 16 x s8>) = COPY $v8m2
 416     %1:vrb(<vscale x 16 x s16>) = G_SEXT %0(<vscale x 16 x s8>)
 417     $v8m4 = COPY %1(<vscale x 16 x s16>)
 418     PseudoRET implicit $v8m4
 419
 420 ...
 421 ---
 422 name:            sext_nxv16i32_nxv16i8
 423 legalized:       true
 424 regBankSelected: true
 425 tracksRegLiveness: true
 426 body:             |
 427   bb.0.entry:
 428     liveins: $v8m2
 429
 430     ; RV32I-LABEL: name: sext_nxv16i32_nxv16i8
 431     ; RV32I: liveins: $v8m2
 432     ; RV32I-NEXT: {{  $}}
 433     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 434     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 435     ; RV32I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF4_M8 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 436     ; RV32I-NEXT: $v8m8 = COPY %1
 437     ; RV32I-NEXT: PseudoRET implicit $v8m8
 438     ;
 439     ; RV64I-LABEL: name: sext_nxv16i32_nxv16i8
 440     ; RV64I: liveins: $v8m2
 441     ; RV64I-NEXT: {{  $}}
 442     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 443     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 444     ; RV64I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF4_M8 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 445     ; RV64I-NEXT: $v8m8 = COPY %1
 446     ; RV64I-NEXT: PseudoRET implicit $v8m8
 447     %0:vrb(<vscale x 16 x s8>) = COPY $v8m2
 448     %1:vrb(<vscale x 16 x s32>) = G_SEXT %0(<vscale x 16 x s8>)
 449     $v8m8 = COPY %1(<vscale x 16 x s32>)
 450     PseudoRET implicit $v8m8
 451
 452 ...
 453 ---
 454 name:            sext_nxv32i16_nxv32i8
 455 legalized:       true
 456 regBankSelected: true
 457 tracksRegLiveness: true
 458 body:             |
 459   bb.0.entry:
 460     liveins: $v8m4
 461
 462     ; RV32I-LABEL: name: sext_nxv32i16_nxv32i8
 463     ; RV32I: liveins: $v8m4
 464     ; RV32I-NEXT: {{  $}}
 465     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm4 = COPY $v8m4
 466     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 467     ; RV32I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF2_M8 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 468     ; RV32I-NEXT: $v8m8 = COPY %1
 469     ; RV32I-NEXT: PseudoRET implicit $v8m8
 470     ;
 471     ; RV64I-LABEL: name: sext_nxv32i16_nxv32i8
 472     ; RV64I: liveins: $v8m4
 473     ; RV64I-NEXT: {{  $}}
 474     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm4 = COPY $v8m4
 475     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 476     ; RV64I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF2_M8 [[DEF]], [[COPY]], -1, 4 /* e16 */, 3 /* ta, ma */
 477     ; RV64I-NEXT: $v8m8 = COPY %1
 478     ; RV64I-NEXT: PseudoRET implicit $v8m8
 479     %0:vrb(<vscale x 32 x s8>) = COPY $v8m4
 480     %1:vrb(<vscale x 32 x s16>) = G_SEXT %0(<vscale x 32 x s8>)
 481     $v8m8 = COPY %1(<vscale x 32 x s16>)
 482     PseudoRET implicit $v8m8
 483
 484 ...
 485 ---
 486 name:            sext_nxv1i32_nxv1i16
 487 legalized:       true
 488 regBankSelected: true
 489 tracksRegLiveness: true
 490 body:             |
 491   bb.0.entry:
 492     liveins: $v8
 493
 494     ; RV32I-LABEL: name: sext_nxv1i32_nxv1i16
 495     ; RV32I: liveins: $v8
 496     ; RV32I-NEXT: {{  $}}
 497     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 498     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 499     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_MF2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 500     ; RV32I-NEXT: $v8 = COPY %1
 501     ; RV32I-NEXT: PseudoRET implicit $v8
 502     ;
 503     ; RV64I-LABEL: name: sext_nxv1i32_nxv1i16
 504     ; RV64I: liveins: $v8
 505     ; RV64I-NEXT: {{  $}}
 506     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 507     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 508     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_MF2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 509     ; RV64I-NEXT: $v8 = COPY %1
 510     ; RV64I-NEXT: PseudoRET implicit $v8
 511     %0:vrb(<vscale x 1 x s16>) = COPY $v8
 512     %1:vrb(<vscale x 1 x s32>) = G_SEXT %0(<vscale x 1 x s16>)
 513     $v8 = COPY %1(<vscale x 1 x s32>)
 514     PseudoRET implicit $v8
 515
 516 ...
 517 ---
 518 name:            sext_nxv1i64_nxv1i16
 519 legalized:       true
 520 regBankSelected: true
 521 tracksRegLiveness: true
 522 body:             |
 523   bb.0.entry:
 524     liveins: $v8
 525
 526     ; RV32I-LABEL: name: sext_nxv1i64_nxv1i16
 527     ; RV32I: liveins: $v8
 528     ; RV32I-NEXT: {{  $}}
 529     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 530     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 531     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF4_M1 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 532     ; RV32I-NEXT: $v8 = COPY %1
 533     ; RV32I-NEXT: PseudoRET implicit $v8
 534     ;
 535     ; RV64I-LABEL: name: sext_nxv1i64_nxv1i16
 536     ; RV64I: liveins: $v8
 537     ; RV64I-NEXT: {{  $}}
 538     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 539     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 540     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF4_M1 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 541     ; RV64I-NEXT: $v8 = COPY %1
 542     ; RV64I-NEXT: PseudoRET implicit $v8
 543     %0:vrb(<vscale x 1 x s16>) = COPY $v8
 544     %1:vrb(<vscale x 1 x s64>) = G_SEXT %0(<vscale x 1 x s16>)
 545     $v8 = COPY %1(<vscale x 1 x s64>)
 546     PseudoRET implicit $v8
 547
 548 ...
 549 ---
 550 name:            sext_nxv2i32_nxv2i16
 551 legalized:       true
 552 regBankSelected: true
 553 tracksRegLiveness: true
 554 body:             |
 555   bb.0.entry:
 556     liveins: $v8
 557
 558     ; RV32I-LABEL: name: sext_nxv2i32_nxv2i16
 559     ; RV32I: liveins: $v8
 560     ; RV32I-NEXT: {{  $}}
 561     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 562     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 563     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_M1 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 564     ; RV32I-NEXT: $v8 = COPY %1
 565     ; RV32I-NEXT: PseudoRET implicit $v8
 566     ;
 567     ; RV64I-LABEL: name: sext_nxv2i32_nxv2i16
 568     ; RV64I: liveins: $v8
 569     ; RV64I-NEXT: {{  $}}
 570     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 571     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 572     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_M1 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 573     ; RV64I-NEXT: $v8 = COPY %1
 574     ; RV64I-NEXT: PseudoRET implicit $v8
 575     %0:vrb(<vscale x 2 x s16>) = COPY $v8
 576     %1:vrb(<vscale x 2 x s32>) = G_SEXT %0(<vscale x 2 x s16>)
 577     $v8 = COPY %1(<vscale x 2 x s32>)
 578     PseudoRET implicit $v8
 579
 580 ...
 581 ---
 582 name:            sext_nxv2i64_nxv2i16
 583 legalized:       true
 584 regBankSelected: true
 585 tracksRegLiveness: true
 586 body:             |
 587   bb.0.entry:
 588     liveins: $v8
 589
 590     ; RV32I-LABEL: name: sext_nxv2i64_nxv2i16
 591     ; RV32I: liveins: $v8
 592     ; RV32I-NEXT: {{  $}}
 593     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 594     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 595     ; RV32I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF4_M2 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 596     ; RV32I-NEXT: $v8m2 = COPY %1
 597     ; RV32I-NEXT: PseudoRET implicit $v8m2
 598     ;
 599     ; RV64I-LABEL: name: sext_nxv2i64_nxv2i16
 600     ; RV64I: liveins: $v8
 601     ; RV64I-NEXT: {{  $}}
 602     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 603     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 604     ; RV64I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF4_M2 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 605     ; RV64I-NEXT: $v8m2 = COPY %1
 606     ; RV64I-NEXT: PseudoRET implicit $v8m2
 607     %0:vrb(<vscale x 2 x s16>) = COPY $v8
 608     %1:vrb(<vscale x 2 x s64>) = G_SEXT %0(<vscale x 2 x s16>)
 609     $v8m2 = COPY %1(<vscale x 2 x s64>)
 610     PseudoRET implicit $v8m2
 611
 612 ...
 613 ---
 614 name:            sext_nxv4i32_nxv4i16
 615 legalized:       true
 616 regBankSelected: true
 617 tracksRegLiveness: true
 618 body:             |
 619   bb.0.entry:
 620     liveins: $v8
 621
 622     ; RV32I-LABEL: name: sext_nxv4i32_nxv4i16
 623     ; RV32I: liveins: $v8
 624     ; RV32I-NEXT: {{  $}}
 625     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 626     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 627     ; RV32I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF2_M2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 628     ; RV32I-NEXT: $v8m2 = COPY %1
 629     ; RV32I-NEXT: PseudoRET implicit $v8m2
 630     ;
 631     ; RV64I-LABEL: name: sext_nxv4i32_nxv4i16
 632     ; RV64I: liveins: $v8
 633     ; RV64I-NEXT: {{  $}}
 634     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 635     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 636     ; RV64I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF2_M2 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 637     ; RV64I-NEXT: $v8m2 = COPY %1
 638     ; RV64I-NEXT: PseudoRET implicit $v8m2
 639     %0:vrb(<vscale x 4 x s16>) = COPY $v8
 640     %1:vrb(<vscale x 4 x s32>) = G_SEXT %0(<vscale x 4 x s16>)
 641     $v8m2 = COPY %1(<vscale x 4 x s32>)
 642     PseudoRET implicit $v8m2
 643
 644 ...
 645 ---
 646 name:            sext_nxv4i64_nxv4i16
 647 legalized:       true
 648 regBankSelected: true
 649 tracksRegLiveness: true
 650 body:             |
 651   bb.0.entry:
 652     liveins: $v8
 653
 654     ; RV32I-LABEL: name: sext_nxv4i64_nxv4i16
 655     ; RV32I: liveins: $v8
 656     ; RV32I-NEXT: {{  $}}
 657     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 658     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 659     ; RV32I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF4_M4 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 660     ; RV32I-NEXT: $v8m4 = COPY %1
 661     ; RV32I-NEXT: PseudoRET implicit $v8m4
 662     ;
 663     ; RV64I-LABEL: name: sext_nxv4i64_nxv4i16
 664     ; RV64I: liveins: $v8
 665     ; RV64I-NEXT: {{  $}}
 666     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 667     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 668     ; RV64I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF4_M4 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 669     ; RV64I-NEXT: $v8m4 = COPY %1
 670     ; RV64I-NEXT: PseudoRET implicit $v8m4
 671     %0:vrb(<vscale x 4 x s16>) = COPY $v8
 672     %1:vrb(<vscale x 4 x s64>) = G_SEXT %0(<vscale x 4 x s16>)
 673     $v8m4 = COPY %1(<vscale x 4 x s64>)
 674     PseudoRET implicit $v8m4
 675
 676 ...
 677 ---
 678 name:            sext_nxv8i32_nxv8i16
 679 legalized:       true
 680 regBankSelected: true
 681 tracksRegLiveness: true
 682 body:             |
 683   bb.0.entry:
 684     liveins: $v8m2
 685
 686     ; RV32I-LABEL: name: sext_nxv8i32_nxv8i16
 687     ; RV32I: liveins: $v8m2
 688     ; RV32I-NEXT: {{  $}}
 689     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 690     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 691     ; RV32I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF2_M4 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 692     ; RV32I-NEXT: $v8m4 = COPY %1
 693     ; RV32I-NEXT: PseudoRET implicit $v8m4
 694     ;
 695     ; RV64I-LABEL: name: sext_nxv8i32_nxv8i16
 696     ; RV64I: liveins: $v8m2
 697     ; RV64I-NEXT: {{  $}}
 698     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 699     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 700     ; RV64I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF2_M4 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 701     ; RV64I-NEXT: $v8m4 = COPY %1
 702     ; RV64I-NEXT: PseudoRET implicit $v8m4
 703     %0:vrb(<vscale x 8 x s16>) = COPY $v8m2
 704     %1:vrb(<vscale x 8 x s32>) = G_SEXT %0(<vscale x 8 x s16>)
 705     $v8m4 = COPY %1(<vscale x 8 x s32>)
 706     PseudoRET implicit $v8m4
 707
 708 ...
 709 ---
 710 name:            sext_nxv8i64_nxv8i16
 711 legalized:       true
 712 regBankSelected: true
 713 tracksRegLiveness: true
 714 body:             |
 715   bb.0.entry:
 716     liveins: $v8m2
 717
 718     ; RV32I-LABEL: name: sext_nxv8i64_nxv8i16
 719     ; RV32I: liveins: $v8m2
 720     ; RV32I-NEXT: {{  $}}
 721     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 722     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 723     ; RV32I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF4_M8 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 724     ; RV32I-NEXT: $v8m8 = COPY %1
 725     ; RV32I-NEXT: PseudoRET implicit $v8m8
 726     ;
 727     ; RV64I-LABEL: name: sext_nxv8i64_nxv8i16
 728     ; RV64I: liveins: $v8m2
 729     ; RV64I-NEXT: {{  $}}
 730     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 731     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 732     ; RV64I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF4_M8 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 733     ; RV64I-NEXT: $v8m8 = COPY %1
 734     ; RV64I-NEXT: PseudoRET implicit $v8m8
 735     %0:vrb(<vscale x 8 x s16>) = COPY $v8m2
 736     %1:vrb(<vscale x 8 x s64>) = G_SEXT %0(<vscale x 8 x s16>)
 737     $v8m8 = COPY %1(<vscale x 8 x s64>)
 738     PseudoRET implicit $v8m8
 739
 740 ...
 741 ---
 742 name:            sext_nxv16i32_nxv16i16
 743 legalized:       true
 744 regBankSelected: true
 745 tracksRegLiveness: true
 746 body:             |
 747   bb.0.entry:
 748     liveins: $v8m4
 749
 750     ; RV32I-LABEL: name: sext_nxv16i32_nxv16i16
 751     ; RV32I: liveins: $v8m4
 752     ; RV32I-NEXT: {{  $}}
 753     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm4 = COPY $v8m4
 754     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 755     ; RV32I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF2_M8 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 756     ; RV32I-NEXT: $v8m8 = COPY %1
 757     ; RV32I-NEXT: PseudoRET implicit $v8m8
 758     ;
 759     ; RV64I-LABEL: name: sext_nxv16i32_nxv16i16
 760     ; RV64I: liveins: $v8m4
 761     ; RV64I-NEXT: {{  $}}
 762     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm4 = COPY $v8m4
 763     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 764     ; RV64I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF2_M8 [[DEF]], [[COPY]], -1, 5 /* e32 */, 3 /* ta, ma */
 765     ; RV64I-NEXT: $v8m8 = COPY %1
 766     ; RV64I-NEXT: PseudoRET implicit $v8m8
 767     %0:vrb(<vscale x 16 x s16>) = COPY $v8m4
 768     %1:vrb(<vscale x 16 x s32>) = G_SEXT %0(<vscale x 16 x s16>)
 769     $v8m8 = COPY %1(<vscale x 16 x s32>)
 770     PseudoRET implicit $v8m8
 771
 772 ...
 773 ---
 774 name:            sext_nxv1i64_nxv1i32
 775 legalized:       true
 776 regBankSelected: true
 777 tracksRegLiveness: true
 778 body:             |
 779   bb.0.entry:
 780     liveins: $v8
 781
 782     ; RV32I-LABEL: name: sext_nxv1i64_nxv1i32
 783     ; RV32I: liveins: $v8
 784     ; RV32I-NEXT: {{  $}}
 785     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 786     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 787     ; RV32I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_M1 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 788     ; RV32I-NEXT: $v8 = COPY %1
 789     ; RV32I-NEXT: PseudoRET implicit $v8
 790     ;
 791     ; RV64I-LABEL: name: sext_nxv1i64_nxv1i32
 792     ; RV64I: liveins: $v8
 793     ; RV64I-NEXT: {{  $}}
 794     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 795     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vr = IMPLICIT_DEF
 796     ; RV64I-NEXT: early-clobber %1:vr = PseudoVSEXT_VF2_M1 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 797     ; RV64I-NEXT: $v8 = COPY %1
 798     ; RV64I-NEXT: PseudoRET implicit $v8
 799     %0:vrb(<vscale x 1 x s32>) = COPY $v8
 800     %1:vrb(<vscale x 1 x s64>) = G_SEXT %0(<vscale x 1 x s32>)
 801     $v8 = COPY %1(<vscale x 1 x s64>)
 802     PseudoRET implicit $v8
 803
 804 ...
 805 ---
 806 name:            sext_nxv2i64_nxv2i32
 807 legalized:       true
 808 regBankSelected: true
 809 tracksRegLiveness: true
 810 body:             |
 811   bb.0.entry:
 812     liveins: $v8
 813
 814     ; RV32I-LABEL: name: sext_nxv2i64_nxv2i32
 815     ; RV32I: liveins: $v8
 816     ; RV32I-NEXT: {{  $}}
 817     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 818     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 819     ; RV32I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF2_M2 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 820     ; RV32I-NEXT: $v8m2 = COPY %1
 821     ; RV32I-NEXT: PseudoRET implicit $v8m2
 822     ;
 823     ; RV64I-LABEL: name: sext_nxv2i64_nxv2i32
 824     ; RV64I: liveins: $v8
 825     ; RV64I-NEXT: {{  $}}
 826     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vr = COPY $v8
 827     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm2 = IMPLICIT_DEF
 828     ; RV64I-NEXT: early-clobber %1:vrm2 = PseudoVSEXT_VF2_M2 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 829     ; RV64I-NEXT: $v8m2 = COPY %1
 830     ; RV64I-NEXT: PseudoRET implicit $v8m2
 831     %0:vrb(<vscale x 2 x s32>) = COPY $v8
 832     %1:vrb(<vscale x 2 x s64>) = G_SEXT %0(<vscale x 2 x s32>)
 833     $v8m2 = COPY %1(<vscale x 2 x s64>)
 834     PseudoRET implicit $v8m2
 835
 836 ...
 837 ---
 838 name:            sext_nxv4i64_nxv4i32
 839 legalized:       true
 840 regBankSelected: true
 841 tracksRegLiveness: true
 842 body:             |
 843   bb.0.entry:
 844     liveins: $v8m2
 845
 846     ; RV32I-LABEL: name: sext_nxv4i64_nxv4i32
 847     ; RV32I: liveins: $v8m2
 848     ; RV32I-NEXT: {{  $}}
 849     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 850     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 851     ; RV32I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF2_M4 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 852     ; RV32I-NEXT: $v8m4 = COPY %1
 853     ; RV32I-NEXT: PseudoRET implicit $v8m4
 854     ;
 855     ; RV64I-LABEL: name: sext_nxv4i64_nxv4i32
 856     ; RV64I: liveins: $v8m2
 857     ; RV64I-NEXT: {{  $}}
 858     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm2 = COPY $v8m2
 859     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm4 = IMPLICIT_DEF
 860     ; RV64I-NEXT: early-clobber %1:vrm4 = PseudoVSEXT_VF2_M4 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 861     ; RV64I-NEXT: $v8m4 = COPY %1
 862     ; RV64I-NEXT: PseudoRET implicit $v8m4
 863     %0:vrb(<vscale x 4 x s32>) = COPY $v8m2
 864     %1:vrb(<vscale x 4 x s64>) = G_SEXT %0(<vscale x 4 x s32>)
 865     $v8m4 = COPY %1(<vscale x 4 x s64>)
 866     PseudoRET implicit $v8m4
 867
 868 ...
 869 ---
 870 name:            sext_nxv8i64_nxv8i32
 871 legalized:       true
 872 regBankSelected: true
 873 tracksRegLiveness: true
 874 body:             |
 875   bb.0.entry:
 876     liveins: $v8m4
 877
 878     ; RV32I-LABEL: name: sext_nxv8i64_nxv8i32
 879     ; RV32I: liveins: $v8m4
 880     ; RV32I-NEXT: {{  $}}
 881     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrm4 = COPY $v8m4
 882     ; RV32I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 883     ; RV32I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF2_M8 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 884     ; RV32I-NEXT: $v8m8 = COPY %1
 885     ; RV32I-NEXT: PseudoRET implicit $v8m8
 886     ;
 887     ; RV64I-LABEL: name: sext_nxv8i64_nxv8i32
 888     ; RV64I: liveins: $v8m4
 889     ; RV64I-NEXT: {{  $}}
 890     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrm4 = COPY $v8m4
 891     ; RV64I-NEXT: [[DEF:%[0-9]+]]:vrm8 = IMPLICIT_DEF
 892     ; RV64I-NEXT: early-clobber %1:vrm8 = PseudoVSEXT_VF2_M8 [[DEF]], [[COPY]], -1, 6 /* e64 */, 3 /* ta, ma */
 893     ; RV64I-NEXT: $v8m8 = COPY %1
 894     ; RV64I-NEXT: PseudoRET implicit $v8m8
 895     %0:vrb(<vscale x 8 x s32>) = COPY $v8m4
 896     %1:vrb(<vscale x 8 x s64>) = G_SEXT %0(<vscale x 8 x s32>)
 897     $v8m8 = COPY %1(<vscale x 8 x s64>)
 898     PseudoRET implicit $v8m8
 899
 900 ...