| Dan Gohman | da594cf | 2009-09-09 00:09:15 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& grep {MayAlias:.*i32\\* %., i32\\* %.} | grep {%x} | grep {%y} |
| Christopher Lamb | 6f9fad5 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 2 | |
| 3 | declare i32* @unclear(i32* %a) | ||||
| 4 | |||||
| 5 | define void @foo(i32* noalias %x) { | ||||
| 6 | %y = call i32* @unclear(i32* %x) | ||||
| 7 | store i32 0, i32* %x | ||||
| 8 | store i32 0, i32* %y | ||||
| 9 | ret void | ||||
| 10 | } | ||||