c23b4fbdbb
Now that #149310 has restricted lifetime intrinsics to only work on allocas, we can also drop the explicit size argument. Instead, the size is implied by the alloca. This removes the ability to only mark a prefix of an alloca alive/dead. We never used that capability, so we should remove the need to handle that possibility everywhere (though many key places, including stack coloring, did not actually respect this).
821 lines
24 KiB
LLVM
821 lines
24 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes
|
|
; RUN: opt -S -passes=inline %s | FileCheck %s
|
|
; RUN: opt -S -passes='cgscc(inline)' %s | FileCheck %s
|
|
; RUN: opt -S -passes='module-inline' %s | FileCheck %s
|
|
|
|
declare void @bar1(ptr %p)
|
|
declare void @bar2(ptr %p, ptr %p2)
|
|
declare void @bar3(ptr writable %p)
|
|
declare void @bar4(ptr byval([4 x i32]) %p)
|
|
define dso_local void @foo1_rdonly(ptr readonly %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo1_rdonly
|
|
; CHECK-SAME: (ptr readonly [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo1(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo1
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo1_writable(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo1_writable
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr writable [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr writable %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo3_writable(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo3_writable
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar3(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar3(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo1_bar_aligned64_deref512(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo1_bar_aligned64_deref512
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 64 dereferenceable(512) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr align 64 dereferenceable(512) %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo1_bar_aligned512_deref_or_null512(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo1_bar_aligned512_deref_or_null512
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 512 dereferenceable_or_null(512) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr align 512 dereferenceable_or_null(512) %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo2(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo2
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar2(ptr %p, ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo2_2(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo2_2
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr [[P2]], ptr [[P2]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar2(ptr %p2, ptr %p2)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo2_3(ptr %p, ptr readnone %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo2_3
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr readnone [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[P2]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar2(ptr %p, ptr %p2)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @buz1_wronly(ptr %p) writeonly {
|
|
; CHECK: Function Attrs: memory(write)
|
|
; CHECK-LABEL: define {{[^@]+}}@buz1_wronly
|
|
; CHECK-SAME: (ptr [[P:%.*]]) #[[ATTR0:[0-9]+]] {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @buz1(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@buz1
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @buz1_wronly_fail_alloca(ptr %p) writeonly {
|
|
; CHECK: Function Attrs: memory(write)
|
|
; CHECK-LABEL: define {{[^@]+}}@buz1_wronly_fail_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) #[[ATTR0]] {
|
|
; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%a = alloca i32, align 4
|
|
call void @bar2(ptr %p, ptr %a)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @buz1_fail_alloca(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@buz1_fail_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%a = alloca i32, align 4
|
|
call void @bar2(ptr %p, ptr %a)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @buz1_wronly_partially_okay_alloca(ptr %p) writeonly {
|
|
; CHECK: Function Attrs: memory(write)
|
|
; CHECK-LABEL: define {{[^@]+}}@buz1_wronly_partially_okay_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) #[[ATTR0]] {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr %p)
|
|
%a = alloca i32, align 4
|
|
call void @bar2(ptr %p, ptr %a)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @buz1_partially_okay_alloca(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@buz1_partially_okay_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar1(ptr %p)
|
|
%a = alloca i32, align 4
|
|
call void @bar2(ptr %p, ptr %a)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo2_through_obj(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo2_through_obj
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: [[PP:%.*]] = getelementptr i8, ptr [[P]], i64 9
|
|
; CHECK-NEXT: [[P2P:%.*]] = getelementptr i8, ptr [[P2]], i64 123
|
|
; CHECK-NEXT: call void @bar2(ptr [[P2P]], ptr [[PP]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%pp = getelementptr i8, ptr %p, i64 9
|
|
%p2p = getelementptr i8, ptr %p2, i64 123
|
|
call void @bar2(ptr %p2p, ptr %pp)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo_byval_readonly(ptr readonly %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo_byval_readonly
|
|
; CHECK-SAME: (ptr readonly [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar4(ptr byval([4 x i32]) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar4(ptr byval([4 x i32]) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_func_decl(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_func_decl
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr readonly [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1_rdonly(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr readonly [[P]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr readonly %p)
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_2x(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr readonly [[P]], ptr readonly [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2(ptr readonly %p, ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_2x_2(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_2
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: [[PP_I:%.*]] = getelementptr i8, ptr [[P]], i64 9
|
|
; CHECK-NEXT: [[P2P_I:%.*]] = getelementptr i8, ptr [[P2]], i64 123
|
|
; CHECK-NEXT: call void @bar2(ptr [[P2P_I]], ptr readonly [[PP_I]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2_through_obj(ptr readonly %p, ptr writeonly %p2)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_2x_incompat(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_incompat
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: [[PP_I:%.*]] = getelementptr i8, ptr [[P]], i64 9
|
|
; CHECK-NEXT: [[P2P_I:%.*]] = getelementptr i8, ptr [[P]], i64 123
|
|
; CHECK-NEXT: call void @bar2(ptr readonly [[P2P_I]], ptr readnone [[PP_I]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2_through_obj(ptr readnone %p, ptr readonly %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_2x_incompat_2(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_incompat_2
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr readonly [[P]], ptr readonly [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2(ptr readonly %p, ptr readnone %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_2x_incompat_3(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_2x_incompat_3
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr readnone [[P]], ptr readnone [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2_2(ptr readonly %p, ptr readnone %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_1x_partial(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_1x_partial
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr readonly [[P]], ptr readonly [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2(ptr readonly %p, ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_1x_partial_2(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_1x_partial_2
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2_2(ptr readonly %p, ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_callbase_def_1x_partial_3(ptr %p, ptr %p2) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_callbase_def_1x_partial_3
|
|
; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) {
|
|
; CHECK-NEXT: call void @bar2(ptr readonly [[P]], ptr readnone [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo2_3(ptr readonly %p, ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_deref(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_deref
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr dereferenceable(16) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr dereferenceable(16) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_deref_or_null(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_deref_or_null
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr dereferenceable_or_null(256) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr dereferenceable_or_null(256) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_nonnull_and_align(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_nonnull_and_align
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr nonnull align 32 [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr nonnull align 32 %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_nofree_and_align(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_nofree_and_align
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 32 [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr nofree align 32 %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_deref_align_no_update(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_align_no_update
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 64 dereferenceable(512) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1_bar_aligned64_deref512(ptr align 4 dereferenceable(64) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_deref_align_update(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_align_update
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 128 dereferenceable(1024) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1_bar_aligned64_deref512(ptr align 128 dereferenceable(1024) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_deref_or_null_update(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_or_null_update
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 512 dereferenceable_or_null(1024) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1_bar_aligned512_deref_or_null512(ptr dereferenceable_or_null(1024) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_deref_or_null_no_update(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_deref_or_null_no_update
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr align 512 dereferenceable_or_null(512) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1_bar_aligned512_deref_or_null512(ptr dereferenceable_or_null(32) %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_fn_decl(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_fn_decl
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @buz1_wronly(ptr %p)
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_wr(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_wr
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @buz1(ptr %p) writeonly
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_fn_decl_fail_alloca(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_fn_decl_fail_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: [[A_I:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A_I]])
|
|
; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @buz1_wronly_fail_alloca(ptr %p)
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_wr_fail_alloca(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_wr_fail_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: [[A_I:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A_I]])
|
|
; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @buz1_fail_alloca(ptr %p) writeonly
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_fn_decl_partially_okay_alloca(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_fn_decl_partially_okay_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: [[A_I:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A_I]])
|
|
; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @buz1_wronly_partially_okay_alloca(ptr %p)
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_wr_partially_okay_alloca(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_wr_partially_okay_alloca
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: [[A_I:%.*]] = alloca i32, align 4
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: call void @bar2(ptr [[P]], ptr [[A_I]])
|
|
; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[A_I]])
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @buz1_partially_okay_alloca(ptr %p) writeonly
|
|
call void @bar1(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_readonly(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_readonly
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) readonly
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_readnone(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_readnone
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) readnone
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_argmem_readonly_fail(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_argmem_readonly_fail
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) memory(argmem:read)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_inaccessible_none(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_inaccessible_none
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) memory(inaccessiblemem:none)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_inaccessible_none_argmem_none(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_inaccessible_none_argmem_none
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) memory(inaccessiblemem:none, argmem:none)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_willreturn(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_willreturn
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) willreturn
|
|
ret void
|
|
}
|
|
|
|
define void @prop_cb_def_mustprogress(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_cb_def_mustprogress
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1(ptr %p) mustprogress
|
|
ret void
|
|
}
|
|
|
|
define void @prop_no_conflict_writable(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_no_conflict_writable
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar1(ptr readonly [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo1_writable(ptr readonly %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_no_conflict_writable2(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_no_conflict_writable2
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar3(ptr readnone [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo3_writable(ptr readnone %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_byval_readonly(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_byval_readonly
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar4(ptr byval([4 x i32]) [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo_byval_readonly(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define ptr @caller_bad_param_prop(ptr %p1, ptr %p2, i64 %x) {
|
|
; CHECK-LABEL: define {{[^@]+}}@caller_bad_param_prop
|
|
; CHECK-SAME: (ptr [[P1:%.*]], ptr [[P2:%.*]], i64 [[X:%.*]]) {
|
|
; CHECK-NEXT: [[TMP1:%.*]] = call ptr [[P1]](i64 [[X]], ptr [[P2]])
|
|
; CHECK-NEXT: ret ptr [[TMP1]]
|
|
;
|
|
%1 = call ptr %p1(i64 %x, ptr %p2)
|
|
%2 = call ptr @callee_bad_param_prop(ptr %1)
|
|
ret ptr %2
|
|
}
|
|
|
|
define ptr @callee_bad_param_prop(ptr readonly %x) {
|
|
; CHECK-LABEL: define {{[^@]+}}@callee_bad_param_prop
|
|
; CHECK-SAME: (ptr readonly [[X:%.*]]) {
|
|
; CHECK-NEXT: [[R:%.*]] = tail call ptr @llvm.ptrmask.p0.i64(ptr [[X]], i64 -1)
|
|
; CHECK-NEXT: ret ptr [[R]]
|
|
;
|
|
%r = tail call ptr @llvm.ptrmask(ptr %x, i64 -1)
|
|
ret ptr %r
|
|
}
|
|
|
|
define dso_local void @foo_byval_readonly2(ptr readonly %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo_byval_readonly2
|
|
; CHECK-SAME: (ptr readonly [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar4(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar4(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_byval_readonly2(ptr %p) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_byval_readonly2
|
|
; CHECK-SAME: (ptr [[P:%.*]]) {
|
|
; CHECK-NEXT: call void @bar4(ptr [[P]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo_byval_readonly2(ptr %p)
|
|
ret void
|
|
}
|
|
|
|
declare void @bar5(i32)
|
|
|
|
define dso_local void @foo4_range_0_10(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo4_range_0_10
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 0, 10) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar5(i32 range(i32 0, 10) %v)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo4_range_10_40(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo4_range_10_40
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 10, 40) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar5(i32 range(i32 10, 40) %v)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo4_2_range_0_10(i32 range(i32 0, 10) %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo4_2_range_0_10
|
|
; CHECK-SAME: (i32 range(i32 0, 10) [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar5(i32 %v)
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo4(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo4
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar5(i32 %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_empty_intersect(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_empty_intersect
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 0, 0) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_0_10(i32 range(i32 11, 50) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_empty(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_empty
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 1, 0) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4(i32 range(i32 1, 0) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_empty_with_intersect(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_empty_with_intersect
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 1, 10) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_0_10(i32 range(i32 1, 0) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_intersect1(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_intersect1
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 0, 9) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_0_10(i32 range(i32 0, 9) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_intersect2(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_intersect2
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 1, 9) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_0_10(i32 range(i32 1, 9) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_intersect3(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_intersect3
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 0, 11) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_2_range_0_10(i32 range(i32 0, 11) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_intersect4(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_intersect4
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 0, 5) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_0_10(i32 range(i32 40, 5) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_intersect5(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_intersect5
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 10, 40) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_10_40(i32 range(i32 30, 20) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_keep(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_keep
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 10, 40) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4_range_10_40(i32 %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_range_direct(i32 %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_range_direct
|
|
; CHECK-SAME: (i32 [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @bar5(i32 range(i32 1, 11) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo4(i32 range(i32 1, 11) %v)
|
|
ret void
|
|
}
|
|
|
|
declare void @bar_fp(float %x)
|
|
|
|
define void @foo_fp(float %x) {
|
|
; CHECK-LABEL: define {{[^@]+}}@foo_fp
|
|
; CHECK-SAME: (float [[X:%.*]]) {
|
|
; CHECK-NEXT: call void @bar_fp(float [[X]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @bar_fp(float %x)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_param_nofpclass(float %x) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_nofpclass
|
|
; CHECK-SAME: (float [[X:%.*]]) {
|
|
; CHECK-NEXT: call void @bar_fp(float nofpclass(nan inf) [[X]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @foo_fp(float nofpclass(nan inf) %x)
|
|
ret void
|
|
}
|
|
|
|
declare void @func_fp(float)
|
|
|
|
define void @union_nofpclass(float %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@union_nofpclass
|
|
; CHECK-SAME: (float [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @func_fp(float nofpclass(inf) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @func_fp(float nofpclass(inf) %v)
|
|
ret void
|
|
}
|
|
|
|
define void @prop_nofpclass_union(float %v) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_nofpclass_union
|
|
; CHECK-SAME: (float [[V:%.*]]) {
|
|
; CHECK-NEXT: call void @func_fp(float nofpclass(nan inf) [[V]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @union_nofpclass(float nofpclass(nan) %v)
|
|
ret void
|
|
}
|
|
|
|
declare void @ext_f32_i32(float, i32)
|
|
|
|
define void @callee_callsite_has_nofpclass(float %a, i32 %b) {
|
|
; CHECK-LABEL: define {{[^@]+}}@callee_callsite_has_nofpclass
|
|
; CHECK-SAME: (float [[A:%.*]], i32 [[B:%.*]]) {
|
|
; CHECK-NEXT: call void @ext_f32_i32(float nofpclass(nan inf) [[A]], i32 [[B]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @ext_f32_i32(float nofpclass(inf nan) %a, i32 %b)
|
|
ret void
|
|
}
|
|
|
|
; Need to have one attribute on the callsite to attempt the attribute
|
|
; propagation in some argument,.
|
|
define void @prop_param_nofpclass_none_on_input_arg(float %a, i32 %b) {
|
|
; CHECK-LABEL: define {{[^@]+}}@prop_param_nofpclass_none_on_input_arg
|
|
; CHECK-SAME: (float [[A:%.*]], i32 [[B:%.*]]) {
|
|
; CHECK-NEXT: call void @ext_f32_i32(float nofpclass(nan inf) [[A]], i32 range(i32 0, 256) [[B]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
call void @callee_callsite_has_nofpclass(float %a, i32 range(i32 0, 256) %b)
|
|
ret void
|
|
}
|