| Chandler Carruth | 5da5343 | 2012-07-02 18:37:59 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s |
| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 2 | |
| 3 | ; CHECK: Function: foo |
| 4 | ; CHECK: MayAlias: i32* %Ipointer, i32* %Jpointer |
| 5 | ; CHECK: 9 no alias responses |
| 6 | ; CHECK: 6 may alias responses |
| Christopher Lamb | 1a80201 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 7 | |
| 8 | define void @foo(i32* noalias %p, i32* noalias %q, i32 %i, i32 %j) { |
| Tanya Lattner | 8f342f8 | 2007-11-28 04:57:00 +0000 | [diff] [blame] | 9 | %Ipointer = getelementptr i32* %p, i32 %i |
| Christopher Lamb | 1a80201 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 10 | %qi = getelementptr i32* %q, i32 %i |
| Tanya Lattner | 8f342f8 | 2007-11-28 04:57:00 +0000 | [diff] [blame] | 11 | %Jpointer = getelementptr i32* %p, i32 %j |
| Christopher Lamb | 1a80201 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 12 | %qj = getelementptr i32* %q, i32 %j |
| 13 | store i32 0, i32* %p |
| Tanya Lattner | 8f342f8 | 2007-11-28 04:57:00 +0000 | [diff] [blame] | 14 | store i32 0, i32* %Ipointer |
| 15 | store i32 0, i32* %Jpointer |
| Christopher Lamb | 1a80201 | 2007-08-02 01:18:14 +0000 | [diff] [blame] | 16 | store i32 0, i32* %q |
| 17 | store i32 0, i32* %qi |
| 18 | store i32 0, i32* %qj |
| 19 | ret void |
| 20 | } |