1; RUN: opt -mtriple=amdgcn-- -O3 -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
2; RUN: opt -mtriple=r600-- -O3 -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
3
4; CHECK: NoAlias:      i8 addrspace(1)* %p1, i8 addrspace(5)* %p
5
6define void @test(i8 addrspace(5)* %p, i8 addrspace(1)* %p1) {
7  ret void
8}
9
10; CHECK: MayAlias:      i8 addrspace(1)* %p1, i8 addrspace(4)* %p
11
12define void @test_constant_vs_global(i8 addrspace(4)* %p, i8 addrspace(1)* %p1) {
13  ret void
14}
15
16; CHECK: MayAlias:      i8 addrspace(1)* %p, i8 addrspace(4)* %p1
17
18define void @test_global_vs_constant(i8 addrspace(1)* %p, i8 addrspace(4)* %p1) {
19  ret void
20}
21
22; CHECK: MayAlias:      i8 addrspace(1)* %p1, i8 addrspace(6)* %p
23
24define void @test_constant_32bit_vs_global(i8 addrspace(6)* %p, i8 addrspace(1)* %p1) {
25  ret void
26}
27
28; CHECK: MayAlias:      i8 addrspace(4)* %p1, i8 addrspace(6)* %p
29
30define void @test_constant_32bit_vs_constant(i8 addrspace(6)* %p, i8 addrspace(4)* %p1) {
31  ret void
32}
33
34