xref: /llvm-project/llvm/test/CodeGen/ARM/machine-verifier.mir (revision 4ad76852584480b646d1ce360202e18591ea8938)
1*4ad76852SYuanfang Chen# RUN: not --crash llc -mtriple=thumb -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
268d9a605SEli Friedman# This test ensures that the MIR parser runs the machine verifier after parsing.
368d9a605SEli Friedman
468d9a605SEli Friedman--- |
568d9a605SEli Friedman
668d9a605SEli Friedman  define i32 @inc(i32 %a) {
768d9a605SEli Friedman  entry:
868d9a605SEli Friedman    ret i32 %a
968d9a605SEli Friedman  }
1068d9a605SEli Friedman
1168d9a605SEli Friedman...
1268d9a605SEli Friedman---
1368d9a605SEli Friedmanname: inc
1468d9a605SEli FriedmantracksRegLiveness: true
1568d9a605SEli Friedmanbody: |
1668d9a605SEli Friedman  bb.0.entry:
1768d9a605SEli Friedman   ; CHECK: *** Bad machine code: Unsupported register in Thumb1 push/pop ***
1868d9a605SEli Friedman   frame-setup tPUSH 14, $noreg, undef $r12, killed $lr, implicit-def $sp, implicit $sp
1968d9a605SEli Friedman
2068d9a605SEli Friedman   ; CHECK: *** Bad machine code: Non-flag-setting Thumb1 mov is v6-only ***
2168d9a605SEli Friedman   $r2 = tMOVr killed $r6, 14, $noreg
2268d9a605SEli Friedman...
23