Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -functionattrs -S | FileCheck %s |
| 2 | ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s |
Duncan Sands | 42c644e | 2008-09-03 12:55:42 +0000 | [diff] [blame] | 3 | |
Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 4 | ; CHECK: Function Attrs |
| 5 | ; CHECK-SAME: readnone |
| 6 | ; CHECK-NEXT: define i32 @a |
Duncan Sands | 42c644e | 2008-09-03 12:55:42 +0000 | [diff] [blame] | 7 | define i32 @a() { |
| 8 | %tmp = call i32 @b( ) ; <i32> [#uses=1] |
| 9 | ret i32 %tmp |
| 10 | } |
| 11 | |
Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 12 | ; CHECK: Function Attrs |
| 13 | ; CHECK-SAME: readnone |
| 14 | ; CHECK-NEXT: define i32 @b |
Duncan Sands | 42c644e | 2008-09-03 12:55:42 +0000 | [diff] [blame] | 15 | define i32 @b() { |
| 16 | %tmp = call i32 @a( ) ; <i32> [#uses=1] |
| 17 | ret i32 %tmp |
| 18 | } |