1 ; RUN: opt -S -functionattrs < %s | FileCheck %s
2
3 define void @f() {
4 ; CHECK-LABEL: define void @f() {
5 call void @g() [ "unknown"() ]
6 ret void
7 }
8
9 define void @g() {
10 ; CHECK-LABEL: define void @g() {
11 call void @f()
12 ret void
13 }
14