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