mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
9f384ed588
This cleans up the stack allocated by a @llvm.call.preallocated.setup. Should either call the teardown or the preallocated call to clean up the stack. Calling both is UB. Add LangRef. Add verifier check that the token argument is a @llvm.call.preallocated.setup. Reviewed By: efriedma Differential Revision: https://reviews.llvm.org/D83354
79 lines
2.7 KiB
LLVM
79 lines
2.7 KiB
LLVM
; RUN: opt -S %s -verify
|
|
|
|
declare token @llvm.call.preallocated.setup(i32)
|
|
declare i8* @llvm.call.preallocated.arg(token, i32)
|
|
declare void @llvm.call.preallocated.teardown(token)
|
|
|
|
declare i32 @__CxxFrameHandler3(...)
|
|
|
|
declare void @foo1(i32* preallocated(i32))
|
|
declare i64 @foo1_i64(i32* preallocated(i32))
|
|
declare void @foo2(i32* preallocated(i32), i32*, i32* preallocated(i32))
|
|
|
|
declare void @constructor(i32*)
|
|
|
|
define void @preallocated() {
|
|
%cs = call token @llvm.call.preallocated.setup(i32 1)
|
|
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
|
|
%y = bitcast i8* %x to i32*
|
|
call void @foo1(i32* preallocated(i32) %y) ["preallocated"(token %cs)]
|
|
ret void
|
|
}
|
|
|
|
define void @preallocated_indirect(void (i32*)* %f) {
|
|
%cs = call token @llvm.call.preallocated.setup(i32 1)
|
|
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
|
|
%y = bitcast i8* %x to i32*
|
|
call void %f(i32* preallocated(i32) %y) ["preallocated"(token %cs)]
|
|
ret void
|
|
}
|
|
|
|
define void @preallocated_setup_without_call() {
|
|
%cs = call token @llvm.call.preallocated.setup(i32 1)
|
|
%a0 = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
|
|
ret void
|
|
}
|
|
|
|
define void @preallocated_num_args() {
|
|
%cs = call token @llvm.call.preallocated.setup(i32 2)
|
|
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
|
|
%x1 = bitcast i8* %x to i32*
|
|
%y = call i8* @llvm.call.preallocated.arg(token %cs, i32 1) preallocated(i32)
|
|
%y1 = bitcast i8* %y to i32*
|
|
%a = inttoptr i32 0 to i32*
|
|
call void @foo2(i32* preallocated(i32) %x1, i32* %a, i32* preallocated(i32) %y1) ["preallocated"(token %cs)]
|
|
ret void
|
|
}
|
|
|
|
define void @preallocated_musttail(i32* preallocated(i32) %a) {
|
|
musttail call void @foo1(i32* preallocated(i32) %a)
|
|
ret void
|
|
}
|
|
|
|
define i64 @preallocated_musttail_i64(i32* preallocated(i32) %a) {
|
|
%r = musttail call i64 @foo1_i64(i32* preallocated(i32) %a)
|
|
ret i64 %r
|
|
}
|
|
|
|
define void @preallocated_teardown() {
|
|
%cs = call token @llvm.call.preallocated.setup(i32 1)
|
|
call void @llvm.call.preallocated.teardown(token %cs)
|
|
ret void
|
|
}
|
|
|
|
define void @preallocated_teardown_invoke() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
|
|
%cs = call token @llvm.call.preallocated.setup(i32 1)
|
|
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
|
|
%y = bitcast i8* %x to i32*
|
|
invoke void @constructor(i32* %y) to label %conta unwind label %contb
|
|
conta:
|
|
call void @foo1(i32* preallocated(i32) %y) ["preallocated"(token %cs)]
|
|
ret void
|
|
contb:
|
|
%s = catchswitch within none [label %catch] unwind to caller
|
|
catch:
|
|
%p = catchpad within %s []
|
|
call void @llvm.call.preallocated.teardown(token %cs)
|
|
ret void
|
|
}
|