llvm/test/Analysis/BasicAA/ptrmask.ll

   1 ; RUN: opt -aa-pipeline=basic-aa -passes=aa-eval -print-no-aliases -disable-output %s 2>&1 | FileCheck %s
   2
   3 %struct = type <{ [20 x i64] }>
   4
   5 ; CHECK-LABEL: Function: test_noalias
   6 ; CHECK-NEXT:  NoAlias: %struct* %ptr1, i64* %ptr2
   7 ; CHECK-NEXT:  NoAlias: %struct* %addr.ptr, i64* %ptr2
   8 ; CHECK-NEXT:  NoAlias: i64* %gep, i64* %ptr2
   9 define void @test_noalias(ptr noalias %ptr1, ptr %ptr2, i64 %offset) {
  10 entry:
  11   %addr.ptr = call ptr @llvm.ptrmask.p0.p0.struct.i64(ptr %ptr1, i64 72057594037927928)
  12   load %struct, ptr %ptr1
  13   load %struct, ptr %addr.ptr
  14   store i64 10, ptr %ptr2
  15   %gep = getelementptr inbounds %struct, ptr %addr.ptr, i64 0, i32 0, i64 %offset
  16   store i64 1, ptr %gep, align 8
  17   ret void
  18 }
  19
  20 ; CHECK-NEXT: Function: test_alias
  21 ; CHECK-NOT: NoAlias
  22 define void @test_alias(ptr %ptr1, ptr %ptr2, i64 %offset) {
  23 entry:
  24   %addr.ptr = call ptr @llvm.ptrmask.p0.p0.struct.i64(ptr %ptr1, i64 72057594037927928)
  25   load %struct, ptr %ptr1
  26   load %struct, ptr %addr.ptr
  27   store i64 10, ptr %ptr2
  28   %gep = getelementptr inbounds %struct, ptr %addr.ptr, i64 0, i32 0, i64 %offset
  29   store i64 1, ptr %gep, align 8
  30   ret void
  31 }
  32
  33 declare ptr @llvm.ptrmask.p0.p0.struct.i64(ptr, i64)