| Tanya Lattner | 8b07470 | 2007-11-28 04:57:00 +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\\* %Jpointer, i32\\* %Ipointer} |
| Christopher Lamb | 6f9fad5 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 4 | |
| 5 | define void @foo(i32* noalias %p, i32* noalias %q, i32 %i, i32 %j) { |
| Tanya Lattner | 8b07470 | 2007-11-28 04:57:00 +0000 | [diff] [blame] | 6 | %Ipointer = getelementptr i32* %p, i32 %i |
| Christopher Lamb | 6f9fad5 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 7 | %qi = getelementptr i32* %q, i32 %i |
| Tanya Lattner | 8b07470 | 2007-11-28 04:57:00 +0000 | [diff] [blame] | 8 | %Jpointer = getelementptr i32* %p, i32 %j |
| Christopher Lamb | 6f9fad5 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 9 | %qj = getelementptr i32* %q, i32 %j |
| 10 | store i32 0, i32* %p |
| Tanya Lattner | 8b07470 | 2007-11-28 04:57:00 +0000 | [diff] [blame] | 11 | store i32 0, i32* %Ipointer |
| 12 | store i32 0, i32* %Jpointer |
| Christopher Lamb | 6f9fad5 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 13 | store i32 0, i32* %q |
| 14 | store i32 0, i32* %qi |
| 15 | store i32 0, i32* %qj |
| 16 | ret void |
| 17 | } |