| Dan Gohman | 42c31a7 | 2010-11-10 01:02:18 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -functionattrs -S | grep readonly | count 2 |
| Duncan Sands | 9e89ba3 | 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 | ||||