1; RUN: opt -aa-pipeline=basic-aa -passes=gvn -S < %s | FileCheck %s 2 3target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32" 4 5; BasicAA should prove that these calls don't interfere, since they are 6; IntrArgReadMem and have noalias pointers. 7 8; CHECK: define <8 x i16> @test0(ptr noalias %p, ptr noalias %q, <8 x i16> %y, <8 x i1> %m, <8 x i16> %pt) { 9; CHECK-NEXT: entry: 10; CHECK-NEXT: %a = call <8 x i16> @llvm.masked.load.v8i16.p0(ptr %p, i32 16, <8 x i1> %m, <8 x i16> %pt) [[ATTR:#[0-9]+]] 11; CHECK-NEXT: call void @llvm.masked.store.v8i16.p0(<8 x i16> %y, ptr %q, i32 16, <8 x i1> %m) 12; CHECK-NEXT: %c = add <8 x i16> %a, %a 13define <8 x i16> @test0(ptr noalias %p, ptr noalias %q, <8 x i16> %y, <8 x i1> %m, <8 x i16> %pt) { 14entry: 15 %a = call <8 x i16> @llvm.masked.load.v8i16.p0(ptr %p, i32 16, <8 x i1> %m, <8 x i16> %pt) nounwind 16 call void @llvm.masked.store.v8i16.p0(<8 x i16> %y, ptr %q, i32 16, <8 x i1> %m) 17 %b = call <8 x i16> @llvm.masked.load.v8i16.p0(ptr %p, i32 16, <8 x i1> %m, <8 x i16> %pt) nounwind 18 %c = add <8 x i16> %a, %b 19 ret <8 x i16> %c 20} 21 22declare <8 x i16> @llvm.masked.load.v8i16.p0(ptr, i32, <8 x i1>, <8 x i16>) nounwind readonly 23declare void @llvm.masked.store.v8i16.p0(<8 x i16>, ptr, i32, <8 x i1>) nounwind 24 25; CHECK: attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: read) } 26; CHECK: attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: write) } 27; CHECK: attributes [[ATTR]] = { nounwind } 28