llvm/test/CodeGen/ARM/machine-verifier.mir

   1 # RUN: not --crash llc -mtriple=thumb -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    ; CHECK: *** Bad machine code: Unsupported register in Thumb1 push/pop ***
  18    frame-setup tPUSH 14, $noreg, undef $r12, killed $lr, implicit-def $sp, implicit $sp
  19
  20    ; CHECK: *** Bad machine code: Non-flag-setting Thumb1 mov is v6-only ***
  21    $r2 = tMOVr killed $r6, 14, $noreg
  22 ...