| Christopher Lamb | 6f9fad5 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o - | opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output &| grep '9 no alias' |
| 2 | ; RUN: llvm-as %s -o - | opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output &| grep '6 may alias' |
| 3 | ; RUN: llvm-as %s -o - | opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output &| grep 'MayAlias: i32* %pj, i32* %pi' |
| 4 | |
| 5 | define void @foo(i32* noalias %p, i32* noalias %q, i32 %i, i32 %j) { |
| 6 | %pi = getelementptr i32* %p, i32 %i |
| 7 | %qi = getelementptr i32* %q, i32 %i |
| 8 | %pj = getelementptr i32* %p, i32 %j |
| 9 | %qj = getelementptr i32* %q, i32 %j |
| 10 | store i32 0, i32* %p |
| 11 | store i32 0, i32* %pi |
| 12 | store i32 0, i32* %pj |
| 13 | store i32 0, i32* %q |
| 14 | store i32 0, i32* %qi |
| 15 | store i32 0, i32* %qj |
| 16 | ret void |
| 17 | } |