# RUN: not llc -start-after branch-folder -stop-after branch-folder -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
...