| # RUN: not llc -run-pass none -o /dev/null %s 2>&1 | FileCheck %s | |
| # This test ensures that the MIR parser reports an error when it encounters a | |
| # machine function with an empty body. | |
| --- | | |
| define i32 @foo() { | |
| ret i32 0 | |
| } | |
| ... | |
| --- | |
| # CHECK: machine function 'foo' requires at least one machine basic block in its body | |
| name: foo | |
| ... |