13 lines · plain
1; RUN: opt -S -passes=aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s2 3target datalayout = "p1:32:32"4 5; CHECK: PartialAlias: i32 addrspace(1)* %gep1, i32 addrspace(1)* %gep26define void @test(ptr addrspace(1) %p) {7 %gep1 = getelementptr i8, ptr addrspace(1) %p, i32 u0x7fffffff8 %gep2 = getelementptr i8, ptr addrspace(1) %p, i32 u0x800000019 store i32 0, ptr addrspace(1) %gep110 load i32, ptr addrspace(1) %gep211 ret void12}13