| Dan Gohman | 42c31a7 | 2010-11-10 01:02:18 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -basicaa -functionattrs -S | grep readnone | count 4 |
| Duncan Sands | a01febb | 2008-09-19 09:20:05 +0000 | [diff] [blame] | 2 | @x = global i32 0 |
| 3 | |
| 4 | declare i32 @e() readnone |
| Duncan Sands | 9f07a29 | 2008-09-19 08:17:05 +0000 | [diff] [blame] | 5 | |
| 6 | define i32 @f() { |
| Duncan Sands | 9f07a29 | 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 | a01febb | 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 | } |