151 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -print-all-alias-modref-info -passes=aa-eval < %s 2>&1 | FileCheck %s2; RUN: opt -aa-pipeline=basic-aa -print-all-alias-modref-info -passes=aa-eval -use-dereferenceable-at-point-semantics < %s 2>&1 | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5 6@G = global i32 0, align 47 8define i64 @global_and_deref_arg_1(ptr dereferenceable(8) %arg) nofree nosync {9; CHECK: Function: global_and_deref_arg_1: 2 pointers, 0 call sites10; CHECK-NEXT: NoAlias: i64* %arg, i32* @G11bb:12 store i64 1, ptr %arg, align 813 store i32 0, ptr @G, align 414 %tmp = load i64, ptr %arg, align 815 ret i64 %tmp16}17 18define i32 @global_and_deref_arg_2(ptr dereferenceable(8) %arg) nofree nosync {19; CHECK: Function: global_and_deref_arg_2: 2 pointers, 0 call sites20; CHECK-NEXT: NoAlias: i32* %arg, i32* @G21bb:22 store i32 1, ptr %arg, align 823 store i32 0, ptr @G, align 424 %tmp = load i32, ptr %arg, align 825 ret i32 %tmp26}27 28define i32 @byval_and_deref_arg_1(ptr byval(i32) %obj, ptr dereferenceable(8) %arg) nofree nosync {29; CHECK: Function: byval_and_deref_arg_1: 2 pointers, 0 call sites30; CHECK-NEXT: NoAlias: i64* %arg, i32* %obj31bb:32 store i32 1, ptr %obj, align 433 store i64 0, ptr %arg, align 834 %tmp = load i32, ptr %obj, align 435 ret i32 %tmp36}37 38define i32 @byval_and_deref_arg_2(ptr byval(i32) %obj, ptr dereferenceable(8) %arg) nofree nosync {39; CHECK: Function: byval_and_deref_arg_2: 2 pointers, 0 call sites40; CHECK-NEXT: NoAlias: i32* %arg, i32* %obj41bb:42 store i32 1, ptr %obj, align 443 store i32 0, ptr %arg, align 844 %tmp = load i32, ptr %obj, align 445 ret i32 %tmp46}47 48declare dereferenceable(8) ptr @get_i32_deref8()49declare dereferenceable(8) ptr @get_i64_deref8()50declare void @unknown(ptr)51 52define i32 @local_and_deref_ret_1() {53; CHECK: Function: local_and_deref_ret_1: 2 pointers, 2 call sites54; CHECK-NEXT: NoAlias: i32* %obj, i64* %ret55bb:56 %obj = alloca i3257 call void @unknown(ptr %obj)58 %ret = call dereferenceable(8) ptr @get_i64_deref8()59 store i32 1, ptr %obj, align 460 store i64 0, ptr %ret, align 861 %tmp = load i32, ptr %obj, align 462 ret i32 %tmp63}64 65define i32 @local_and_deref_ret_2() {66; CHECK: Function: local_and_deref_ret_2: 2 pointers, 2 call sites67; CHECK-NEXT: NoAlias: i32* %obj, i32* %ret68bb:69 %obj = alloca i3270 call void @unknown(ptr %obj)71 %ret = call dereferenceable(8) ptr @get_i32_deref8()72 store i32 1, ptr %obj, align 473 store i32 0, ptr %ret, align 874 %tmp = load i32, ptr %obj, align 475 ret i32 %tmp76}77 78 79; Baseline tests, same as above but with 2 instead of 8 dereferenceable bytes.80 81define i64 @global_and_deref_arg_non_deref_1(ptr dereferenceable(2) %arg) nofree nosync {82; CHECK: Function: global_and_deref_arg_non_deref_1: 2 pointers, 0 call sites83; CHECK-NEXT: NoAlias: i64* %arg, i32* @G84bb:85 store i64 1, ptr %arg, align 886 store i32 0, ptr @G, align 487 %tmp = load i64, ptr %arg, align 888 ret i64 %tmp89}90 91define i32 @global_and_deref_arg_non_deref_2(ptr dereferenceable(2) %arg) nofree nosync {92; CHECK: Function: global_and_deref_arg_non_deref_2: 2 pointers, 0 call sites93; Different result than above (see @global_and_deref_arg_2).94; CHECK-NEXT: MayAlias: i32* %arg, i32* @G95bb:96 store i32 1, ptr %arg, align 897 store i32 0, ptr @G, align 498 %tmp = load i32, ptr %arg, align 899 ret i32 %tmp100}101 102define i32 @byval_and_deref_arg_non_deref_1(ptr byval(i32) %obj, ptr dereferenceable(2) %arg) nofree nosync {103; CHECK: Function: byval_and_deref_arg_non_deref_1: 2 pointers, 0 call sites104; CHECK-NEXT: NoAlias: i64* %arg, i32* %obj105bb:106 store i32 1, ptr %obj, align 4107 store i64 0, ptr %arg, align 8108 %tmp = load i32, ptr %obj, align 4109 ret i32 %tmp110}111 112define i32 @byval_and_deref_arg_non_deref_2(ptr byval(i32) %obj, ptr dereferenceable(2) %arg) nofree nosync {113; CHECK: Function: byval_and_deref_arg_non_deref_2: 2 pointers, 0 call sites114; CHECK-NEXT: NoAlias: i32* %arg, i32* %obj115bb:116 store i32 1, ptr %obj, align 4117 store i32 0, ptr %arg, align 8118 %tmp = load i32, ptr %obj, align 4119 ret i32 %tmp120}121 122declare dereferenceable(2) ptr @get_i32_deref2()123declare dereferenceable(2) ptr @get_i64_deref2()124 125define i32 @local_and_deref_ret_non_deref_1() {126; CHECK: Function: local_and_deref_ret_non_deref_1: 2 pointers, 2 call sites127; CHECK-NEXT: NoAlias: i32* %obj, i64* %ret128bb:129 %obj = alloca i32130 call void @unknown(ptr %obj)131 %ret = call dereferenceable(2) ptr @get_i64_deref2()132 store i32 1, ptr %obj, align 4133 store i64 0, ptr %ret, align 8134 %tmp = load i32, ptr %obj, align 4135 ret i32 %tmp136}137 138define i32 @local_and_deref_ret_non_deref_2() {139; CHECK: Function: local_and_deref_ret_non_deref_2: 2 pointers, 2 call sites140; Different result than above (see @local_and_deref_ret_2).141; CHECK-NEXT: MayAlias: i32* %obj, i32* %ret142bb:143 %obj = alloca i32144 call void @unknown(ptr %obj)145 %ret = call dereferenceable(2) ptr @get_i32_deref2()146 store i32 1, ptr %obj, align 4147 store i32 0, ptr %ret, align 8148 %tmp = load i32, ptr %obj, align 4149 ret i32 %tmp150}151