blob: 69808a83c6d1149017ffdafec7a525c804452fba [file] [log] [blame]
Sanjoy Das10c8a042016-02-09 18:40:40 +00001; RUN: opt -S -functionattrs < %s | FileCheck %s
Fedor Sergeev6660fd02018-03-23 21:46:16 +00002; RUN: opt -S -passes=function-attrs < %s | FileCheck %s
Sanjoy Das10c8a042016-02-09 18:40:40 +00003
4define void @f() {
Fedor Sergeev6660fd02018-03-23 21:46:16 +00005; CHECK-LABEL: define void @f() #0 {
Sanjoy Das10c8a042016-02-09 18:40:40 +00006 call void @g() [ "unknown"() ]
7 ret void
8}
9
10define void @g() {
Fedor Sergeev6660fd02018-03-23 21:46:16 +000011; CHECK-LABEL: define void @g() #0 {
Sanjoy Das10c8a042016-02-09 18:40:40 +000012 call void @f()
13 ret void
14}
Fedor Sergeev6660fd02018-03-23 21:46:16 +000015
16
17; CHECK: attributes #0 = { nounwind }