1ef4f8589SNikita Popov; RUN: opt -S -passes=aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s 2ef4f8589SNikita Popov 3ef4f8589SNikita Popovtarget datalayout = "p1:32:32" 4ef4f8589SNikita Popov 5*a30e50fcSNikita Popov; CHECK: PartialAlias: i32 addrspace(1)* %gep1, i32 addrspace(1)* %gep2 6ef4f8589SNikita Popovdefine void @test(ptr addrspace(1) %p) { 7ef4f8589SNikita Popov %gep1 = getelementptr i8, ptr addrspace(1) %p, i32 u0x7fffffff 8ef4f8589SNikita Popov %gep2 = getelementptr i8, ptr addrspace(1) %p, i32 u0x80000001 9ef4f8589SNikita Popov store i32 0, ptr addrspace(1) %gep1 10ef4f8589SNikita Popov load i32, ptr addrspace(1) %gep2 11ef4f8589SNikita Popov ret void 12ef4f8589SNikita Popov} 13