Sanjoy Das | 10c8a04 | 2016-02-09 18:40:40 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -functionattrs < %s | FileCheck %s |
Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 2 | ; RUN: opt -S -passes=function-attrs < %s | FileCheck %s |
Sanjoy Das | 10c8a04 | 2016-02-09 18:40:40 +0000 | [diff] [blame] | 3 | |
| 4 | define void @f() { |
Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 5 | ; CHECK-LABEL: define void @f() #0 { |
Sanjoy Das | 10c8a04 | 2016-02-09 18:40:40 +0000 | [diff] [blame] | 6 | call void @g() [ "unknown"() ] |
| 7 | ret void |
| 8 | } |
| 9 | |
| 10 | define void @g() { |
Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 11 | ; CHECK-LABEL: define void @g() #0 { |
Sanjoy Das | 10c8a04 | 2016-02-09 18:40:40 +0000 | [diff] [blame] | 12 | call void @f() |
| 13 | ret void |
| 14 | } |
Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 15 | |
| 16 | |
| 17 | ; CHECK: attributes #0 = { nounwind } |