| # RUN: not llc -start-after branch-folder -stop-after branch-folder -exit-on-error -o /dev/null %s 2>&1 | FileCheck %s | |
| # This test ensures that an error is reported when a machine function doesn't | |
| # have a name attribute. | |
| --- | | |
| define i32 @foo() { | |
| ret i32 0 | |
| } | |
| define i32 @bar() { | |
| ret i32 0 | |
| } | |
| ... | |
| --- | |
| # CHECK: [[@LINE+1]]:1: missing required key 'name' | |
| nme: foo | |
| body: | | |
| bb.0: | |
| ... | |
| --- | |
| name: bar | |
| body: | | |
| bb.0: | |
| ... |