| Bill Wendling | 84ba976 | 2013-02-11 08:34:57 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s |
| Duncan Sands | 5a896a9 | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 2 | @x = global i32 0 |
| 3 | |||||
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 4 | ; CHECK: declare i32 @e() #0 |
| Duncan Sands | 5a896a9 | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 5 | declare i32 @e() readnone |
| Duncan Sands | af25ee7 | 2008-09-19 08:17:05 +0000 | [diff] [blame] | 6 | |
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 7 | ; CHECK: define i32 @f() #0 |
| Duncan Sands | af25ee7 | 2008-09-19 08:17:05 +0000 | [diff] [blame] | 8 | define i32 @f() { |
| Duncan Sands | af25ee7 | 2008-09-19 08:17:05 +0000 | [diff] [blame] | 9 | %tmp = call i32 @e( ) ; <i32> [#uses=1] |
| 10 | ret i32 %tmp | ||||
| 11 | } | ||||
| 12 | |||||
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 13 | ; CHECK: define i32 @g() #0 |
| Duncan Sands | 5a896a9 | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 14 | define i32 @g() readonly { |
| 15 | ret i32 0 | ||||
| 16 | } | ||||
| 17 | |||||
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 18 | ; CHECK: define i32 @h() #0 |
| Duncan Sands | 5a896a9 | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 19 | define i32 @h() readnone { |
| 20 | %tmp = load i32* @x ; <i32> [#uses=1] | ||||
| 21 | ret i32 %tmp | ||||
| 22 | } | ||||
| Bill Wendling | 90bc19c | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 23 | |
| 24 | ; CHECK: attributes #0 = { readnone } | ||||