test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll

   1 ; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s
   2
   3 target 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 ; TBAA should prove that these calls don't interfere, since they are
   6 ; IntrArgReadMem and have TBAA metadata.
   7
   8 ; CHECK:      define <8 x i16> @test0(i8* %p, i8* %q, <8 x i16> %y) {
   9 ; CHECK-NEXT: entry:
  10 ; CHECK-NEXT:   %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16(i8* %p, i32 16) [[NUW:#[0-9]+]]
  11 ; CHECK-NEXT:   call void @llvm.arm.neon.vst1.v8i16(i8* %q, <8 x i16> %y, i32 16)
  12 ; CHECK-NEXT:   %c = add <8 x i16> %a, %a
  13 define <8 x i16> @test0(i8* %p, i8* %q, <8 x i16> %y) {
  14 entry:
  15   %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16(i8* %p, i32 16) nounwind, !tbaa !2
  16   call void @llvm.arm.neon.vst1.v8i16(i8* %q, <8 x i16> %y, i32 16), !tbaa !1
  17   %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16(i8* %p, i32 16) nounwind, !tbaa !2
  18   %c = add <8 x i16> %a, %b
  19   ret <8 x i16> %c
  20 }
  21
  22 declare <8 x i16> @llvm.arm.neon.vld1.v8i16(i8*, i32) nounwind readonly
  23 declare void @llvm.arm.neon.vst1.v8i16(i8*, <8 x i16>, i32) nounwind
  24
  25 ; CHECK: attributes #0 = { nounwind readonly argmemonly }
  26 ; CHECK: attributes #1 = { nounwind argmemonly }
  27 ; CHECK: attributes [[NUW]] = { nounwind }
  28
  29 !0 = !{!"tbaa root", null}
  30 !1 = !{!3, !3, i64 0}
  31 !2 = !{!4, !4, i64 0}
  32 !3 = !{!"A", !0}
  33 !4 = !{!"B", !0}