1; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
2
3; CHECK: Function: foo
4; CHECK:   MayAlias: i32* %Ipointer, i32* %Jpointer
5; CHECK: 9 no alias responses
6; CHECK: 6 may alias responses
7
8define void @foo(i32* noalias %p, i32* noalias %q, i32 %i, i32 %j) {
9  %Ipointer = getelementptr i32* %p, i32 %i
10  %qi = getelementptr i32* %q, i32 %i
11  %Jpointer = getelementptr i32* %p, i32 %j
12  %qj = getelementptr i32* %q, i32 %j
13  store i32 0, i32* %p
14  store i32 0, i32* %Ipointer
15  store i32 0, i32* %Jpointer
16  store i32 0, i32* %q
17  store i32 0, i32* %qi
18  store i32 0, i32* %qj
19  ret void
20}
21