llvm/test/MachineVerifier/test_copy_physregs_x86.mir

   1 #RUN: not --crash llc -march=x86-64 -run-pass=none -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s
   2 # REQUIRES: x86-registered-target
   3
   4 # These copies have mismatched type sizes that are allowed because the
   5 # register class is defined to directly include the narrower type.
   6 ---
   7 name:            test_valid_copies
   8 tracksRegLiveness: true
   9 body:             |
  10   bb.0:
  11     liveins: $xmm0, $xmm1, $xmm2, $xmm3, $xmm4
  12     %0:_(s32) = COPY $xmm0
  13     %1:_(s64) = COPY $xmm1
  14     %2:_(s128) = COPY $xmm2
  15     %3:_(<4 x s32>) = COPY $xmm3
  16     %4:_(<2 x s64>) = COPY $xmm4
  17     $xmm0 = COPY %0
  18     $xmm1 = COPY %1
  19     $xmm2 = COPY %2
  20     $xmm3 = COPY %3
  21     $xmm4 = COPY %4
  22 ...
  23
  24 ---
  25 name:            test_invalid_copies
  26 tracksRegLiveness: true
  27 body:             |
  28   bb.0:
  29     liveins: $xmm0, $xmm1, $xmm2, $xmm3
  30
  31     ; FP16 reg is sub_reg of xmm
  32     %0:_(s16) = COPY $xmm0
  33
  34     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  35     %1:_(<4 x s16>) = COPY $xmm1
  36
  37     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  38     %2:_(s256) = COPY $xmm2
  39
  40     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  41     %3:_(<8 x s32>) = COPY $xmm3
  42
  43     ; FP16 reg is sub_reg of xmm
  44     $xmm0 = COPY %0
  45
  46     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  47     $xmm1 = COPY %1
  48
  49     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  50     $xmm2 = COPY %2
  51
  52     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  53     $xmm3 = COPY %3
  54 ...