1; RUN: opt -S -function-attrs < %s | FileCheck %s
2; RUN: opt -S -passes=function-attrs < %s | FileCheck %s
3
4define void @f() {
5; CHECK-LABEL:  define void @f() #0 {
6 call void @g() [ "unknown"() ]
7 ret void
8}
9
10define void @g() {
11; CHECK-LABEL:  define void @g() #0 {
12 call void @f()
13 ret void
14}
15
16
17; CHECK: attributes #0 = { nofree nounwind }
18