test/MachineVerifier/test_copy_physregs_x86.mir

# RUN: not --crash llc -mtriple=x86_64 -run-pass=none -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s -implicit-check-not="Bad machine code"
# 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

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

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

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

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

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

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