13 lines · plain
1; RUN: opt -print-all-alias-modref-info -passes=aa-eval -disable-output < %s 2>&1 | FileCheck %s2 3; CHECK: MayAlias: i8* %b, i8* %p4; CHECK: Just Ref: Ptr: i8* %p <-> %v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr align 8 %a, <1 x i1> %c, <1 x ptr> poison)5; CHECK: Just Ref: Ptr: i8* %b <-> %v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr align 8 %a, <1 x i1> %c, <1 x ptr> poison)6define void @test(ptr %a, ptr %b, <1 x i1> %c) {7 %v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr %a, i32 8, <1 x i1> %c, <1 x ptr> poison)8 %p = bitcast <1 x ptr> %v1p to ptr9 load i8, ptr %p10 store i8 0, ptr %b11 ret void12}13