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 -implicit-check-not="Bad machine code"
   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     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  32     ; CHECK: - instruction: %0:_(s16) = COPY $xmm0
  33     %0:_(s16) = COPY $xmm0
  34
  35     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  36     ; CHECK: - instruction: %1:_(<4 x s16>) = COPY $xmm1
  37     %1:_(<4 x s16>) = COPY $xmm1
  38
  39     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  40     ; CHECK: - instruction: %2:_(s256) = COPY $xmm2
  41     %2:_(s256) = COPY $xmm2
  42
  43     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  44     ; CHECK: - instruction: %3:_(<8 x s32>) = COPY $xmm3
  45     %3:_(<8 x s32>) = COPY $xmm3
  46
  47     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  48     ; CHECK: - instruction: $xmm0 = COPY %0:_(s16)
  49     $xmm0 = COPY %0
  50
  51     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  52     ; CHECK: - instruction: $xmm1 = COPY %1:_(<4 x s16>)
  53     $xmm1 = COPY %1
  54
  55     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  56     ; CHECK: - instruction: $xmm2 = COPY %2:_(s256)
  57     $xmm2 = COPY %2
  58
  59     ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
  60     ; CHECK: - instruction: $xmm3 = COPY %3:_(<8 x s32>)
  61     $xmm3 = COPY %3
  62 ...