llvm/test/Analysis/BasicAA/ptr-vector.ll

   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)
   6 define 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 }