xref: /llvm-project/llvm/test/CodeGen/ARM/machine-verifier.mir (revision 4ad76852584480b646d1ce360202e18591ea8938) 
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---
13name: inc
14tracksRegLiveness: true
15body: |
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...
23