llvm/test/MachineVerifier/test_copy_physregs_x86.mir

#RUN: not --crash llc -march=x86-64 -run-pass=none -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s
# REQUIRES: x86-registered-target

# These copies have mismatched type sizes that are allowed because the
# register class is defined to directly include the narrower type.
---
name:            test_valid_copies
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $xmm0, $xmm1, $xmm2, $xmm3, $xmm4
    %0:_(s32) = COPY $xmm0
    %1:_(s64) = COPY $xmm1
    %2:_(s128) = COPY $xmm2
    %3:_(<4 x s32>) = COPY $xmm3
    %4:_(<2 x s64>) = COPY $xmm4
    $xmm0 = COPY %0
    $xmm1 = COPY %1
    $xmm2 = COPY %2
    $xmm3 = COPY %3
    $xmm4 = COPY %4
...

---
name:            test_invalid_copies
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $xmm0, $xmm1, $xmm2, $xmm3

    ; FP16 reg is sub_reg of xmm
    %0:_(s16) = COPY $xmm0

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    %1:_(<4 x s16>) = COPY $xmm1

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    %2:_(s256) = COPY $xmm2

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    %3:_(<8 x s32>) = COPY $xmm3

    ; FP16 reg is sub_reg of xmm
    $xmm0 = COPY %0

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    $xmm1 = COPY %1

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    $xmm2 = COPY %2

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    $xmm3 = COPY %3
...