| Nick Lewycky | 523aaa9 | 2008-01-06 03:12:44 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o - | opt -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 | } | ||||