# RUN: not llc -run-pass none -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
...
---
name:            bar
...