17 lines · plain
1; RUN: opt -aa-pipeline=globals-aa,basic-aa -passes='require<globals-aa>,aa-eval' -print-all-alias-modref-info -disable-output %s 2>&1 | FileCheck %s2 3@g0 = internal addrspace(3) global i32 undef4 5; CHECK-LABEL: test16; CHECK-DAG: NoAlias: i32* %gp, i32* %p7; CHECK-DAG: NoAlias: i32* %p, i32 addrspace(3)* @g08; CHECK-DAG: MustAlias: i32* %gp, i32 addrspace(3)* @g09define i32 @test1(ptr %p) {10 load i32, ptr addrspace(3) @g011 %gp = addrspacecast ptr addrspace(3) @g0 to ptr12 store i32 0, ptr %gp13 store i32 1, ptr %p14 %v = load i32, ptr %gp15 ret i32 %v16}17