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

   1 # RUN: not llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -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 body: |
  15   bb.0.entry:
  16     liveins: %edi
  17    ; CHECK: *** Bad machine code: Too few operands ***
  18    ; CHECK: instruction: COPY2 operands expected, but 0 given.
  19     COPY
  20     RETQ
  21 ...