test/CodeGen/MIR/X86/machine-verifier.mir

   1 # RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
   2 # This test ensures that the MIR parser runs the machine verifier after parsing.
   3
   4 --- |
   5
   6   define i32 @inc(i32 %a) {
   7   entry:
   8     ret i32 %a
   9   }
  10
  11 ...
  12 ---
  13 name: inc
  14 tracksRegLiveness: true
  15 body: |
  16   bb.0.entry:
  17     liveins: $edi
  18    ; CHECK: *** Bad machine code: Too few operands ***
  19    ; CHECK: instruction: COPY
  20    ; CHECK: 2 operands expected, but 0 given.
  21     COPY
  22     RETQ
  23 ...