| Bill Wendling | 84ba976 | 2013-02-11 08:34:57 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s |
| Duncan Sands | 44c8cd9 | 2008-12-31 16:14:43 +0000 | [diff] [blame] | 2 | |
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame^] | 3 | ; CHECK: define i32 @f() #0 |
| Duncan Sands | 44c8cd9 | 2008-12-31 16:14:43 +0000 | [diff] [blame] | 4 | define i32 @f() { |
| 5 | entry: | ||||
| Bill Wendling | 84ba976 | 2013-02-11 08:34:57 +0000 | [diff] [blame] | 6 | %tmp = call i32 @e( ) |
| 7 | ret i32 %tmp | ||||
| Duncan Sands | 44c8cd9 | 2008-12-31 16:14:43 +0000 | [diff] [blame] | 8 | } |
| 9 | |||||
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame^] | 10 | ; CHECK: declare i32 @e() #0 |
| Duncan Sands | 44c8cd9 | 2008-12-31 16:14:43 +0000 | [diff] [blame] | 11 | declare i32 @e() readonly |
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame^] | 12 | |
| 13 | ; CHECK: attributes #0 = { readonly } | ||||