| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -functionattrs -S | grep readonly | count 2 |
| Duncan Sands | 1410dfd | 2008-12-31 16:14:43 +0000 | [diff] [blame] | 2 | |
| 3 | define i32 @f() { | ||||
| 4 | entry: | ||||
| 5 | %tmp = call i32 @e( ) ; <i32> [#uses=1] | ||||
| 6 | ret i32 %tmp | ||||
| 7 | } | ||||
| 8 | |||||
| 9 | declare i32 @e() readonly | ||||