llvm/test/CodeGen/RISCV/GlobalISel/regbankselect/rvv/add.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=riscv32 -mattr=+m,+v -run-pass=regbankselect \
   3 # RUN:   -simplify-mir -verify-machineinstrs %s \
   4 # RUN:   -o - | FileCheck -check-prefix=RV32I %s
   5 # RUN: llc -mtriple=riscv64 -mattr=+m,+v -run-pass=regbankselect \
   6 # RUN:   -simplify-mir -verify-machineinstrs %s \
   7 # RUN:   -o - | FileCheck -check-prefix=RV64I %s
   8 ---
   9 name:            vadd_vv_nxv1i8
  10 legalized:       true
  11 tracksRegLiveness: true
  12 body:             |
  13   bb.0.entry:
  14     liveins: $v8, $v9
  15
  16     ; RV32I-LABEL: name: vadd_vv_nxv1i8
  17     ; RV32I: liveins: $v8, $v9
  18     ; RV32I-NEXT: {{  $}}
  19     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s8>) = COPY $v8
  20     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s8>) = COPY $v9
  21     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s8>) = G_ADD [[COPY]], [[COPY1]]
  22     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s8>)
  23     ; RV32I-NEXT: PseudoRET implicit $v8
  24     ;
  25     ; RV64I-LABEL: name: vadd_vv_nxv1i8
  26     ; RV64I: liveins: $v8, $v9
  27     ; RV64I-NEXT: {{  $}}
  28     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s8>) = COPY $v8
  29     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s8>) = COPY $v9
  30     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s8>) = G_ADD [[COPY]], [[COPY1]]
  31     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s8>)
  32     ; RV64I-NEXT: PseudoRET implicit $v8
  33     %0:_(<vscale x 1 x s8>) = COPY $v8
  34     %1:_(<vscale x 1 x s8>) = COPY $v9
  35     %2:_(<vscale x 1 x s8>) = G_ADD %0, %1
  36     $v8 = COPY %2(<vscale x 1 x s8>)
  37     PseudoRET implicit $v8
  38
  39 ...
  40 ---
  41 name:            vadd_vv_nxv2i8
  42 legalized:       true
  43 tracksRegLiveness: true
  44 body:             |
  45   bb.0.entry:
  46     liveins: $v8, $v9
  47
  48     ; RV32I-LABEL: name: vadd_vv_nxv2i8
  49     ; RV32I: liveins: $v8, $v9
  50     ; RV32I-NEXT: {{  $}}
  51     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s8>) = COPY $v8
  52     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s8>) = COPY $v9
  53     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s8>) = G_ADD [[COPY]], [[COPY1]]
  54     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 2 x s8>)
  55     ; RV32I-NEXT: PseudoRET implicit $v8
  56     ;
  57     ; RV64I-LABEL: name: vadd_vv_nxv2i8
  58     ; RV64I: liveins: $v8, $v9
  59     ; RV64I-NEXT: {{  $}}
  60     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s8>) = COPY $v8
  61     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s8>) = COPY $v9
  62     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s8>) = G_ADD [[COPY]], [[COPY1]]
  63     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 2 x s8>)
  64     ; RV64I-NEXT: PseudoRET implicit $v8
  65     %0:_(<vscale x 2 x s8>) = COPY $v8
  66     %1:_(<vscale x 2 x s8>) = COPY $v9
  67     %2:_(<vscale x 2 x s8>) = G_ADD %0, %1
  68     $v8 = COPY %2(<vscale x 2 x s8>)
  69     PseudoRET implicit $v8
  70
  71 ...
  72 ---
  73 name:            vadd_vv_nxv4i8
  74 legalized:       true
  75 tracksRegLiveness: true
  76 body:             |
  77   bb.0.entry:
  78     liveins: $v8, $v9
  79
  80     ; RV32I-LABEL: name: vadd_vv_nxv4i8
  81     ; RV32I: liveins: $v8, $v9
  82     ; RV32I-NEXT: {{  $}}
  83     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s8>) = COPY $v8
  84     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s8>) = COPY $v9
  85     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s8>) = G_ADD [[COPY]], [[COPY1]]
  86     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 4 x s8>)
  87     ; RV32I-NEXT: PseudoRET implicit $v8
  88     ;
  89     ; RV64I-LABEL: name: vadd_vv_nxv4i8
  90     ; RV64I: liveins: $v8, $v9
  91     ; RV64I-NEXT: {{  $}}
  92     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s8>) = COPY $v8
  93     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s8>) = COPY $v9
  94     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s8>) = G_ADD [[COPY]], [[COPY1]]
  95     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 4 x s8>)
  96     ; RV64I-NEXT: PseudoRET implicit $v8
  97     %0:_(<vscale x 4 x s8>) = COPY $v8
  98     %1:_(<vscale x 4 x s8>) = COPY $v9
  99     %2:_(<vscale x 4 x s8>) = G_ADD %0, %1
 100     $v8 = COPY %2(<vscale x 4 x s8>)
 101     PseudoRET implicit $v8
 102
 103 ...
 104 ---
 105 name:            vadd_vv_nxv8i8
 106 legalized:       true
 107 tracksRegLiveness: true
 108 body:             |
 109   bb.0.entry:
 110     liveins: $v8, $v9
 111
 112     ; RV32I-LABEL: name: vadd_vv_nxv8i8
 113     ; RV32I: liveins: $v8, $v9
 114     ; RV32I-NEXT: {{  $}}
 115     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s8>) = COPY $v8
 116     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s8>) = COPY $v9
 117     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s8>) = G_ADD [[COPY]], [[COPY1]]
 118     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 8 x s8>)
 119     ; RV32I-NEXT: PseudoRET implicit $v8
 120     ;
 121     ; RV64I-LABEL: name: vadd_vv_nxv8i8
 122     ; RV64I: liveins: $v8, $v9
 123     ; RV64I-NEXT: {{  $}}
 124     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s8>) = COPY $v8
 125     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s8>) = COPY $v9
 126     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s8>) = G_ADD [[COPY]], [[COPY1]]
 127     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 8 x s8>)
 128     ; RV64I-NEXT: PseudoRET implicit $v8
 129     %0:_(<vscale x 8 x s8>) = COPY $v8
 130     %1:_(<vscale x 8 x s8>) = COPY $v9
 131     %2:_(<vscale x 8 x s8>) = G_ADD %0, %1
 132     $v8 = COPY %2(<vscale x 8 x s8>)
 133     PseudoRET implicit $v8
 134
 135 ...
 136 ---
 137 name:            vadd_vv_nxv16i8
 138 legalized:       true
 139 tracksRegLiveness: true
 140 body:             |
 141   bb.0.entry:
 142     liveins: $v8m2, $v10m2
 143
 144     ; RV32I-LABEL: name: vadd_vv_nxv16i8
 145     ; RV32I: liveins: $v8m2, $v10m2
 146     ; RV32I-NEXT: {{  $}}
 147     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 16 x s8>) = COPY $v8m2
 148     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 16 x s8>) = COPY $v10m2
 149     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 16 x s8>) = G_ADD [[COPY]], [[COPY1]]
 150     ; RV32I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 16 x s8>)
 151     ; RV32I-NEXT: PseudoRET implicit $v8m2
 152     ;
 153     ; RV64I-LABEL: name: vadd_vv_nxv16i8
 154     ; RV64I: liveins: $v8m2, $v10m2
 155     ; RV64I-NEXT: {{  $}}
 156     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 16 x s8>) = COPY $v8m2
 157     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 16 x s8>) = COPY $v10m2
 158     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 16 x s8>) = G_ADD [[COPY]], [[COPY1]]
 159     ; RV64I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 16 x s8>)
 160     ; RV64I-NEXT: PseudoRET implicit $v8m2
 161     %0:_(<vscale x 16 x s8>) = COPY $v8m2
 162     %1:_(<vscale x 16 x s8>) = COPY $v10m2
 163     %2:_(<vscale x 16 x s8>) = G_ADD %0, %1
 164     $v8m2 = COPY %2(<vscale x 16 x s8>)
 165     PseudoRET implicit $v8m2
 166
 167 ...
 168 ---
 169 name:            vadd_vv_nxv32i8
 170 legalized:       true
 171 tracksRegLiveness: true
 172 body:             |
 173   bb.0.entry:
 174     liveins: $v8m4, $v12m4
 175
 176     ; RV32I-LABEL: name: vadd_vv_nxv32i8
 177     ; RV32I: liveins: $v8m4, $v12m4
 178     ; RV32I-NEXT: {{  $}}
 179     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 32 x s8>) = COPY $v8m4
 180     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 32 x s8>) = COPY $v12m4
 181     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 32 x s8>) = G_ADD [[COPY]], [[COPY1]]
 182     ; RV32I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 32 x s8>)
 183     ; RV32I-NEXT: PseudoRET implicit $v8m4
 184     ;
 185     ; RV64I-LABEL: name: vadd_vv_nxv32i8
 186     ; RV64I: liveins: $v8m4, $v12m4
 187     ; RV64I-NEXT: {{  $}}
 188     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 32 x s8>) = COPY $v8m4
 189     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 32 x s8>) = COPY $v12m4
 190     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 32 x s8>) = G_ADD [[COPY]], [[COPY1]]
 191     ; RV64I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 32 x s8>)
 192     ; RV64I-NEXT: PseudoRET implicit $v8m4
 193     %0:_(<vscale x 32 x s8>) = COPY $v8m4
 194     %1:_(<vscale x 32 x s8>) = COPY $v12m4
 195     %2:_(<vscale x 32 x s8>) = G_ADD %0, %1
 196     $v8m4 = COPY %2(<vscale x 32 x s8>)
 197     PseudoRET implicit $v8m4
 198
 199 ...
 200 ---
 201 name:            vadd_vv_nxv64i8
 202 legalized:       true
 203 tracksRegLiveness: true
 204 body:             |
 205   bb.0.entry:
 206     liveins: $v8m8, $v16m8
 207
 208     ; RV32I-LABEL: name: vadd_vv_nxv64i8
 209     ; RV32I: liveins: $v8m8, $v16m8
 210     ; RV32I-NEXT: {{  $}}
 211     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 64 x s8>) = COPY $v8m8
 212     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 64 x s8>) = COPY $v16m8
 213     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 64 x s8>) = G_ADD [[COPY]], [[COPY1]]
 214     ; RV32I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 64 x s8>)
 215     ; RV32I-NEXT: PseudoRET implicit $v8m8
 216     ;
 217     ; RV64I-LABEL: name: vadd_vv_nxv64i8
 218     ; RV64I: liveins: $v8m8, $v16m8
 219     ; RV64I-NEXT: {{  $}}
 220     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 64 x s8>) = COPY $v8m8
 221     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 64 x s8>) = COPY $v16m8
 222     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 64 x s8>) = G_ADD [[COPY]], [[COPY1]]
 223     ; RV64I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 64 x s8>)
 224     ; RV64I-NEXT: PseudoRET implicit $v8m8
 225     %0:_(<vscale x 64 x s8>) = COPY $v8m8
 226     %1:_(<vscale x 64 x s8>) = COPY $v16m8
 227     %2:_(<vscale x 64 x s8>) = G_ADD %0, %1
 228     $v8m8 = COPY %2(<vscale x 64 x s8>)
 229     PseudoRET implicit $v8m8
 230
 231 ...
 232 ---
 233 name:            vadd_vv_nxv1i16
 234 legalized:       true
 235 tracksRegLiveness: true
 236 body:             |
 237   bb.0.entry:
 238     liveins: $v8, $v9
 239
 240     ; RV32I-LABEL: name: vadd_vv_nxv1i16
 241     ; RV32I: liveins: $v8, $v9
 242     ; RV32I-NEXT: {{  $}}
 243     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s16>) = COPY $v8
 244     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s16>) = COPY $v9
 245     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s16>) = G_ADD [[COPY]], [[COPY1]]
 246     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s16>)
 247     ; RV32I-NEXT: PseudoRET implicit $v8
 248     ;
 249     ; RV64I-LABEL: name: vadd_vv_nxv1i16
 250     ; RV64I: liveins: $v8, $v9
 251     ; RV64I-NEXT: {{  $}}
 252     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s16>) = COPY $v8
 253     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s16>) = COPY $v9
 254     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s16>) = G_ADD [[COPY]], [[COPY1]]
 255     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s16>)
 256     ; RV64I-NEXT: PseudoRET implicit $v8
 257     %0:_(<vscale x 1 x s16>) = COPY $v8
 258     %1:_(<vscale x 1 x s16>) = COPY $v9
 259     %2:_(<vscale x 1 x s16>) = G_ADD %0, %1
 260     $v8 = COPY %2(<vscale x 1 x s16>)
 261     PseudoRET implicit $v8
 262
 263 ...
 264 ---
 265 name:            vadd_vv_nxv2i16
 266 legalized:       true
 267 tracksRegLiveness: true
 268 body:             |
 269   bb.0.entry:
 270     liveins: $v8, $v9
 271
 272     ; RV32I-LABEL: name: vadd_vv_nxv2i16
 273     ; RV32I: liveins: $v8, $v9
 274     ; RV32I-NEXT: {{  $}}
 275     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s16>) = COPY $v8
 276     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s16>) = COPY $v9
 277     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s16>) = G_ADD [[COPY]], [[COPY1]]
 278     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 2 x s16>)
 279     ; RV32I-NEXT: PseudoRET implicit $v8
 280     ;
 281     ; RV64I-LABEL: name: vadd_vv_nxv2i16
 282     ; RV64I: liveins: $v8, $v9
 283     ; RV64I-NEXT: {{  $}}
 284     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s16>) = COPY $v8
 285     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s16>) = COPY $v9
 286     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s16>) = G_ADD [[COPY]], [[COPY1]]
 287     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 2 x s16>)
 288     ; RV64I-NEXT: PseudoRET implicit $v8
 289     %0:_(<vscale x 2 x s16>) = COPY $v8
 290     %1:_(<vscale x 2 x s16>) = COPY $v9
 291     %2:_(<vscale x 2 x s16>) = G_ADD %0, %1
 292     $v8 = COPY %2(<vscale x 2 x s16>)
 293     PseudoRET implicit $v8
 294
 295 ...
 296 ---
 297 name:            vadd_vv_nxv4i16
 298 legalized:       true
 299 tracksRegLiveness: true
 300 body:             |
 301   bb.0.entry:
 302     liveins: $v8, $v9
 303
 304     ; RV32I-LABEL: name: vadd_vv_nxv4i16
 305     ; RV32I: liveins: $v8, $v9
 306     ; RV32I-NEXT: {{  $}}
 307     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s16>) = COPY $v8
 308     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s16>) = COPY $v9
 309     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s16>) = G_ADD [[COPY]], [[COPY1]]
 310     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 4 x s16>)
 311     ; RV32I-NEXT: PseudoRET implicit $v8
 312     ;
 313     ; RV64I-LABEL: name: vadd_vv_nxv4i16
 314     ; RV64I: liveins: $v8, $v9
 315     ; RV64I-NEXT: {{  $}}
 316     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s16>) = COPY $v8
 317     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s16>) = COPY $v9
 318     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s16>) = G_ADD [[COPY]], [[COPY1]]
 319     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 4 x s16>)
 320     ; RV64I-NEXT: PseudoRET implicit $v8
 321     %0:_(<vscale x 4 x s16>) = COPY $v8
 322     %1:_(<vscale x 4 x s16>) = COPY $v9
 323     %2:_(<vscale x 4 x s16>) = G_ADD %0, %1
 324     $v8 = COPY %2(<vscale x 4 x s16>)
 325     PseudoRET implicit $v8
 326
 327 ...
 328 ---
 329 name:            vadd_vv_nxv8i16
 330 legalized:       true
 331 tracksRegLiveness: true
 332 body:             |
 333   bb.0.entry:
 334     liveins: $v8m2, $v10m2
 335
 336     ; RV32I-LABEL: name: vadd_vv_nxv8i16
 337     ; RV32I: liveins: $v8m2, $v10m2
 338     ; RV32I-NEXT: {{  $}}
 339     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s16>) = COPY $v8m2
 340     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s16>) = COPY $v10m2
 341     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s16>) = G_ADD [[COPY]], [[COPY1]]
 342     ; RV32I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 8 x s16>)
 343     ; RV32I-NEXT: PseudoRET implicit $v8m2
 344     ;
 345     ; RV64I-LABEL: name: vadd_vv_nxv8i16
 346     ; RV64I: liveins: $v8m2, $v10m2
 347     ; RV64I-NEXT: {{  $}}
 348     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s16>) = COPY $v8m2
 349     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s16>) = COPY $v10m2
 350     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s16>) = G_ADD [[COPY]], [[COPY1]]
 351     ; RV64I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 8 x s16>)
 352     ; RV64I-NEXT: PseudoRET implicit $v8m2
 353     %0:_(<vscale x 8 x s16>) = COPY $v8m2
 354     %1:_(<vscale x 8 x s16>) = COPY $v10m2
 355     %2:_(<vscale x 8 x s16>) = G_ADD %0, %1
 356     $v8m2 = COPY %2(<vscale x 8 x s16>)
 357     PseudoRET implicit $v8m2
 358
 359 ...
 360 ---
 361 name:            vadd_vv_nxv16i16
 362 legalized:       true
 363 tracksRegLiveness: true
 364 body:             |
 365   bb.0.entry:
 366     liveins: $v8m4, $v12m4
 367
 368     ; RV32I-LABEL: name: vadd_vv_nxv16i16
 369     ; RV32I: liveins: $v8m4, $v12m4
 370     ; RV32I-NEXT: {{  $}}
 371     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 16 x s16>) = COPY $v8m4
 372     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 16 x s16>) = COPY $v12m4
 373     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 16 x s16>) = G_ADD [[COPY]], [[COPY1]]
 374     ; RV32I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 16 x s16>)
 375     ; RV32I-NEXT: PseudoRET implicit $v8m4
 376     ;
 377     ; RV64I-LABEL: name: vadd_vv_nxv16i16
 378     ; RV64I: liveins: $v8m4, $v12m4
 379     ; RV64I-NEXT: {{  $}}
 380     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 16 x s16>) = COPY $v8m4
 381     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 16 x s16>) = COPY $v12m4
 382     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 16 x s16>) = G_ADD [[COPY]], [[COPY1]]
 383     ; RV64I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 16 x s16>)
 384     ; RV64I-NEXT: PseudoRET implicit $v8m4
 385     %0:_(<vscale x 16 x s16>) = COPY $v8m4
 386     %1:_(<vscale x 16 x s16>) = COPY $v12m4
 387     %2:_(<vscale x 16 x s16>) = G_ADD %0, %1
 388     $v8m4 = COPY %2(<vscale x 16 x s16>)
 389     PseudoRET implicit $v8m4
 390
 391 ...
 392 ---
 393 name:            vadd_vv_nxv32i16
 394 legalized:       true
 395 tracksRegLiveness: true
 396 body:             |
 397   bb.0.entry:
 398     liveins: $v8m8, $v16m8
 399
 400     ; RV32I-LABEL: name: vadd_vv_nxv32i16
 401     ; RV32I: liveins: $v8m8, $v16m8
 402     ; RV32I-NEXT: {{  $}}
 403     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 32 x s16>) = COPY $v8m8
 404     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 32 x s16>) = COPY $v16m8
 405     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 32 x s16>) = G_ADD [[COPY]], [[COPY1]]
 406     ; RV32I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 32 x s16>)
 407     ; RV32I-NEXT: PseudoRET implicit $v8m8
 408     ;
 409     ; RV64I-LABEL: name: vadd_vv_nxv32i16
 410     ; RV64I: liveins: $v8m8, $v16m8
 411     ; RV64I-NEXT: {{  $}}
 412     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 32 x s16>) = COPY $v8m8
 413     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 32 x s16>) = COPY $v16m8
 414     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 32 x s16>) = G_ADD [[COPY]], [[COPY1]]
 415     ; RV64I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 32 x s16>)
 416     ; RV64I-NEXT: PseudoRET implicit $v8m8
 417     %0:_(<vscale x 32 x s16>) = COPY $v8m8
 418     %1:_(<vscale x 32 x s16>) = COPY $v16m8
 419     %2:_(<vscale x 32 x s16>) = G_ADD %0, %1
 420     $v8m8 = COPY %2(<vscale x 32 x s16>)
 421     PseudoRET implicit $v8m8
 422
 423 ...
 424 ---
 425 name:            vadd_vv_nxv1i32
 426 legalized:       true
 427 tracksRegLiveness: true
 428 body:             |
 429   bb.0.entry:
 430     liveins: $v8, $v9
 431
 432     ; RV32I-LABEL: name: vadd_vv_nxv1i32
 433     ; RV32I: liveins: $v8, $v9
 434     ; RV32I-NEXT: {{  $}}
 435     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s32>) = COPY $v8
 436     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s32>) = COPY $v9
 437     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s32>) = G_ADD [[COPY]], [[COPY1]]
 438     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s32>)
 439     ; RV32I-NEXT: PseudoRET implicit $v8
 440     ;
 441     ; RV64I-LABEL: name: vadd_vv_nxv1i32
 442     ; RV64I: liveins: $v8, $v9
 443     ; RV64I-NEXT: {{  $}}
 444     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s32>) = COPY $v8
 445     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s32>) = COPY $v9
 446     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s32>) = G_ADD [[COPY]], [[COPY1]]
 447     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s32>)
 448     ; RV64I-NEXT: PseudoRET implicit $v8
 449     %0:_(<vscale x 1 x s32>) = COPY $v8
 450     %1:_(<vscale x 1 x s32>) = COPY $v9
 451     %2:_(<vscale x 1 x s32>) = G_ADD %0, %1
 452     $v8 = COPY %2(<vscale x 1 x s32>)
 453     PseudoRET implicit $v8
 454
 455 ...
 456 ---
 457 name:            vadd_vv_nxv2i32
 458 legalized:       true
 459 tracksRegLiveness: true
 460 body:             |
 461   bb.0.entry:
 462     liveins: $v8, $v9
 463
 464     ; RV32I-LABEL: name: vadd_vv_nxv2i32
 465     ; RV32I: liveins: $v8, $v9
 466     ; RV32I-NEXT: {{  $}}
 467     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s32>) = COPY $v8
 468     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s32>) = COPY $v9
 469     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s32>) = G_ADD [[COPY]], [[COPY1]]
 470     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 2 x s32>)
 471     ; RV32I-NEXT: PseudoRET implicit $v8
 472     ;
 473     ; RV64I-LABEL: name: vadd_vv_nxv2i32
 474     ; RV64I: liveins: $v8, $v9
 475     ; RV64I-NEXT: {{  $}}
 476     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s32>) = COPY $v8
 477     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s32>) = COPY $v9
 478     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s32>) = G_ADD [[COPY]], [[COPY1]]
 479     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 2 x s32>)
 480     ; RV64I-NEXT: PseudoRET implicit $v8
 481     %0:_(<vscale x 2 x s32>) = COPY $v8
 482     %1:_(<vscale x 2 x s32>) = COPY $v9
 483     %2:_(<vscale x 2 x s32>) = G_ADD %0, %1
 484     $v8 = COPY %2(<vscale x 2 x s32>)
 485     PseudoRET implicit $v8
 486
 487 ...
 488 ---
 489 name:            vadd_vv_nxv4i32
 490 legalized:       true
 491 tracksRegLiveness: true
 492 body:             |
 493   bb.0.entry:
 494     liveins: $v8m2, $v10m2
 495
 496     ; RV32I-LABEL: name: vadd_vv_nxv4i32
 497     ; RV32I: liveins: $v8m2, $v10m2
 498     ; RV32I-NEXT: {{  $}}
 499     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s32>) = COPY $v8m2
 500     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s32>) = COPY $v10m2
 501     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s32>) = G_ADD [[COPY]], [[COPY1]]
 502     ; RV32I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 4 x s32>)
 503     ; RV32I-NEXT: PseudoRET implicit $v8m2
 504     ;
 505     ; RV64I-LABEL: name: vadd_vv_nxv4i32
 506     ; RV64I: liveins: $v8m2, $v10m2
 507     ; RV64I-NEXT: {{  $}}
 508     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s32>) = COPY $v8m2
 509     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s32>) = COPY $v10m2
 510     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s32>) = G_ADD [[COPY]], [[COPY1]]
 511     ; RV64I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 4 x s32>)
 512     ; RV64I-NEXT: PseudoRET implicit $v8m2
 513     %0:_(<vscale x 4 x s32>) = COPY $v8m2
 514     %1:_(<vscale x 4 x s32>) = COPY $v10m2
 515     %2:_(<vscale x 4 x s32>) = G_ADD %0, %1
 516     $v8m2 = COPY %2(<vscale x 4 x s32>)
 517     PseudoRET implicit $v8m2
 518
 519 ...
 520 ---
 521 name:            vadd_vv_nxv8i32
 522 legalized:       true
 523 tracksRegLiveness: true
 524 body:             |
 525   bb.0.entry:
 526     liveins: $v8m4, $v12m4
 527
 528     ; RV32I-LABEL: name: vadd_vv_nxv8i32
 529     ; RV32I: liveins: $v8m4, $v12m4
 530     ; RV32I-NEXT: {{  $}}
 531     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s32>) = COPY $v8m4
 532     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s32>) = COPY $v12m4
 533     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s32>) = G_ADD [[COPY]], [[COPY1]]
 534     ; RV32I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 8 x s32>)
 535     ; RV32I-NEXT: PseudoRET implicit $v8m4
 536     ;
 537     ; RV64I-LABEL: name: vadd_vv_nxv8i32
 538     ; RV64I: liveins: $v8m4, $v12m4
 539     ; RV64I-NEXT: {{  $}}
 540     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s32>) = COPY $v8m4
 541     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s32>) = COPY $v12m4
 542     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s32>) = G_ADD [[COPY]], [[COPY1]]
 543     ; RV64I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 8 x s32>)
 544     ; RV64I-NEXT: PseudoRET implicit $v8m4
 545     %0:_(<vscale x 8 x s32>) = COPY $v8m4
 546     %1:_(<vscale x 8 x s32>) = COPY $v12m4
 547     %2:_(<vscale x 8 x s32>) = G_ADD %0, %1
 548     $v8m4 = COPY %2(<vscale x 8 x s32>)
 549     PseudoRET implicit $v8m4
 550
 551 ...
 552 ---
 553 name:            vadd_vv_nxv16i32
 554 legalized:       true
 555 tracksRegLiveness: true
 556 body:             |
 557   bb.0.entry:
 558     liveins: $v8m8, $v16m8
 559
 560     ; RV32I-LABEL: name: vadd_vv_nxv16i32
 561     ; RV32I: liveins: $v8m8, $v16m8
 562     ; RV32I-NEXT: {{  $}}
 563     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 16 x s32>) = COPY $v8m8
 564     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 16 x s32>) = COPY $v16m8
 565     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 16 x s32>) = G_ADD [[COPY]], [[COPY1]]
 566     ; RV32I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 16 x s32>)
 567     ; RV32I-NEXT: PseudoRET implicit $v8m8
 568     ;
 569     ; RV64I-LABEL: name: vadd_vv_nxv16i32
 570     ; RV64I: liveins: $v8m8, $v16m8
 571     ; RV64I-NEXT: {{  $}}
 572     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 16 x s32>) = COPY $v8m8
 573     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 16 x s32>) = COPY $v16m8
 574     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 16 x s32>) = G_ADD [[COPY]], [[COPY1]]
 575     ; RV64I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 16 x s32>)
 576     ; RV64I-NEXT: PseudoRET implicit $v8m8
 577     %0:_(<vscale x 16 x s32>) = COPY $v8m8
 578     %1:_(<vscale x 16 x s32>) = COPY $v16m8
 579     %2:_(<vscale x 16 x s32>) = G_ADD %0, %1
 580     $v8m8 = COPY %2(<vscale x 16 x s32>)
 581     PseudoRET implicit $v8m8
 582
 583 ...
 584 ---
 585 name:            vadd_vv_nxv1i64
 586 legalized:       true
 587 tracksRegLiveness: true
 588 body:             |
 589   bb.0.entry:
 590     liveins: $v8, $v9
 591
 592     ; RV32I-LABEL: name: vadd_vv_nxv1i64
 593     ; RV32I: liveins: $v8, $v9
 594     ; RV32I-NEXT: {{  $}}
 595     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s64>) = COPY $v8
 596     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s64>) = COPY $v9
 597     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s64>) = G_ADD [[COPY]], [[COPY1]]
 598     ; RV32I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s64>)
 599     ; RV32I-NEXT: PseudoRET implicit $v8
 600     ;
 601     ; RV64I-LABEL: name: vadd_vv_nxv1i64
 602     ; RV64I: liveins: $v8, $v9
 603     ; RV64I-NEXT: {{  $}}
 604     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 1 x s64>) = COPY $v8
 605     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 1 x s64>) = COPY $v9
 606     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 1 x s64>) = G_ADD [[COPY]], [[COPY1]]
 607     ; RV64I-NEXT: $v8 = COPY [[ADD]](<vscale x 1 x s64>)
 608     ; RV64I-NEXT: PseudoRET implicit $v8
 609     %0:_(<vscale x 1 x s64>) = COPY $v8
 610     %1:_(<vscale x 1 x s64>) = COPY $v9
 611     %2:_(<vscale x 1 x s64>) = G_ADD %0, %1
 612     $v8 = COPY %2(<vscale x 1 x s64>)
 613     PseudoRET implicit $v8
 614
 615 ...
 616 ---
 617 name:            vadd_vv_nxv2i64
 618 legalized:       true
 619 tracksRegLiveness: true
 620 body:             |
 621   bb.0.entry:
 622     liveins: $v8m2, $v10m2
 623
 624     ; RV32I-LABEL: name: vadd_vv_nxv2i64
 625     ; RV32I: liveins: $v8m2, $v10m2
 626     ; RV32I-NEXT: {{  $}}
 627     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s64>) = COPY $v8m2
 628     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s64>) = COPY $v10m2
 629     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s64>) = G_ADD [[COPY]], [[COPY1]]
 630     ; RV32I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 2 x s64>)
 631     ; RV32I-NEXT: PseudoRET implicit $v8m2
 632     ;
 633     ; RV64I-LABEL: name: vadd_vv_nxv2i64
 634     ; RV64I: liveins: $v8m2, $v10m2
 635     ; RV64I-NEXT: {{  $}}
 636     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 2 x s64>) = COPY $v8m2
 637     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 2 x s64>) = COPY $v10m2
 638     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 2 x s64>) = G_ADD [[COPY]], [[COPY1]]
 639     ; RV64I-NEXT: $v8m2 = COPY [[ADD]](<vscale x 2 x s64>)
 640     ; RV64I-NEXT: PseudoRET implicit $v8m2
 641     %0:_(<vscale x 2 x s64>) = COPY $v8m2
 642     %1:_(<vscale x 2 x s64>) = COPY $v10m2
 643     %2:_(<vscale x 2 x s64>) = G_ADD %0, %1
 644     $v8m2 = COPY %2(<vscale x 2 x s64>)
 645     PseudoRET implicit $v8m2
 646
 647 ...
 648 ---
 649 name:            vadd_vv_nxv4i64
 650 legalized:       true
 651 tracksRegLiveness: true
 652 body:             |
 653   bb.0.entry:
 654     liveins: $v8m4, $v12m4
 655
 656     ; RV32I-LABEL: name: vadd_vv_nxv4i64
 657     ; RV32I: liveins: $v8m4, $v12m4
 658     ; RV32I-NEXT: {{  $}}
 659     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s64>) = COPY $v8m4
 660     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s64>) = COPY $v12m4
 661     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s64>) = G_ADD [[COPY]], [[COPY1]]
 662     ; RV32I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 4 x s64>)
 663     ; RV32I-NEXT: PseudoRET implicit $v8m4
 664     ;
 665     ; RV64I-LABEL: name: vadd_vv_nxv4i64
 666     ; RV64I: liveins: $v8m4, $v12m4
 667     ; RV64I-NEXT: {{  $}}
 668     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 4 x s64>) = COPY $v8m4
 669     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 4 x s64>) = COPY $v12m4
 670     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 4 x s64>) = G_ADD [[COPY]], [[COPY1]]
 671     ; RV64I-NEXT: $v8m4 = COPY [[ADD]](<vscale x 4 x s64>)
 672     ; RV64I-NEXT: PseudoRET implicit $v8m4
 673     %0:_(<vscale x 4 x s64>) = COPY $v8m4
 674     %1:_(<vscale x 4 x s64>) = COPY $v12m4
 675     %2:_(<vscale x 4 x s64>) = G_ADD %0, %1
 676     $v8m4 = COPY %2(<vscale x 4 x s64>)
 677     PseudoRET implicit $v8m4
 678
 679 ...
 680 ---
 681 name:            vadd_vv_nxv8i64
 682 legalized:       true
 683 tracksRegLiveness: true
 684 body:             |
 685   bb.0.entry:
 686     liveins: $v8m8, $v16m8
 687
 688     ; RV32I-LABEL: name: vadd_vv_nxv8i64
 689     ; RV32I: liveins: $v8m8, $v16m8
 690     ; RV32I-NEXT: {{  $}}
 691     ; RV32I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s64>) = COPY $v8m8
 692     ; RV32I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s64>) = COPY $v16m8
 693     ; RV32I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s64>) = G_ADD [[COPY]], [[COPY1]]
 694     ; RV32I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 8 x s64>)
 695     ; RV32I-NEXT: PseudoRET implicit $v8m8
 696     ;
 697     ; RV64I-LABEL: name: vadd_vv_nxv8i64
 698     ; RV64I: liveins: $v8m8, $v16m8
 699     ; RV64I-NEXT: {{  $}}
 700     ; RV64I-NEXT: [[COPY:%[0-9]+]]:vrb(<vscale x 8 x s64>) = COPY $v8m8
 701     ; RV64I-NEXT: [[COPY1:%[0-9]+]]:vrb(<vscale x 8 x s64>) = COPY $v16m8
 702     ; RV64I-NEXT: [[ADD:%[0-9]+]]:vrb(<vscale x 8 x s64>) = G_ADD [[COPY]], [[COPY1]]
 703     ; RV64I-NEXT: $v8m8 = COPY [[ADD]](<vscale x 8 x s64>)
 704     ; RV64I-NEXT: PseudoRET implicit $v8m8
 705     %0:_(<vscale x 8 x s64>) = COPY $v8m8
 706     %1:_(<vscale x 8 x s64>) = COPY $v16m8
 707     %2:_(<vscale x 8 x s64>) = G_ADD %0, %1
 708     $v8m8 = COPY %2(<vscale x 8 x s64>)
 709     PseudoRET implicit $v8m8
 710
 711 ...