1; RUN: opt -globals-aa -aa-eval -print-all-alias-modref-info -disable-output %s 2>&1 | FileCheck %s
2
3@g0 = internal addrspace(3) global i32 undef
4
5; CHECK-LABEL: test1
6; CHECK-DAG: NoAlias: i32* %gp, i32* %p
7; CHECK-DAG: NoAlias: i32 addrspace(3)* @g0, i32* %p
8; CHECK-DAG: MustAlias: i32 addrspace(3)* @g0, i32* %gp
9define i32 @test1(i32* %p) {
10  %gp = addrspacecast i32 addrspace(3)* @g0 to i32*
11  store i32 0, i32* %gp
12  store i32 1, i32* %p
13  %v = load i32, i32* %gp
14  ret i32 %v
15}
16