1; RUN: opt -print-all-alias-modref-info -passes=aa-eval -disable-output < %s 2>&1 | FileCheck %s 2 3; CHECK: MayAlias: i8* %b, i8* %p 4; CHECK: Just Ref: Ptr: i8* %p <-> %v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr %a, i32 8, <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 %a, i32 8, <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 ptr 9 load i8, ptr %p 10 store i8 0, ptr %b 11 ret void 12} 13