| Dan Gohman | 3dcc91e | 2010-08-04 22:56:29 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -aa-eval -print-all-alias-modref-info -disable-output |& FileCheck %s |
| 2 | |||||
| Dan Gohman | 907857d | 2010-08-04 23:37:55 +0000 | [diff] [blame^] | 3 | ; CHECK: Just Ref: call void @ro() <-> call void @f0() |
| Dan Gohman | 3dcc91e | 2010-08-04 22:56:29 +0000 | [diff] [blame] | 4 | |
| 5 | declare void @f0() | ||||
| 6 | declare void @ro() readonly | ||||
| 7 | |||||
| 8 | define void @test() { | ||||
| 9 | call void @f0() | ||||
| 10 | call void @ro() | ||||
| 11 | ret void | ||||
| 12 | } | ||||