| Dan Gohman | 5bb7c7c | 2009-09-08 22:34:10 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -functionattrs -S | grep readnone | count 4 |
| Duncan Sands | bc5ce93 | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 2 | @x = global i32 0 |
| 3 | |
| 4 | declare i32 @e() readnone |
| Duncan Sands | 58f3877 | 2008-09-19 08:17:05 +0000 | [diff] [blame] | 5 | |
| 6 | define i32 @f() { |
| Duncan Sands | 58f3877 | 2008-09-19 08:17:05 +0000 | [diff] [blame] | 7 | %tmp = call i32 @e( ) ; <i32> [#uses=1] |
| 8 | ret i32 %tmp |
| 9 | } |
| 10 | |
| Duncan Sands | bc5ce93 | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 11 | define i32 @g() readonly { |
| 12 | ret i32 0 |
| 13 | } |
| 14 | |
| 15 | define i32 @h() readnone { |
| 16 | %tmp = load i32* @x ; <i32> [#uses=1] |
| 17 | ret i32 %tmp |
| 18 | } |