st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Disable tail call for vararg functions

Browse source
This commit is contained in:
Roman Venediktov 2024-03-13 17:07:22 +01:00
parent a174d13c22
commit 907a9f4f93
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/X86.ml
View file

@ -421,7 +421,11 @@ let compile_call env ?fname nargs tail =
in in
let tail_call_optimization_applicable = let tail_call_optimization_applicable =
let allowed_function = let allowed_function =
match fname with Some fname -> not (fname.[0] = 'B') | None -> true match fname with
| Some fname ->
let is_vararg = Option.is_some @@ List.assoc_opt fname vararg_functions in
not (fname.[0] = 'B') && not is_vararg
| None -> true
in in
let same_arguments_count = env#nargs = nargs in let same_arguments_count = env#nargs = nargs in
tail && allowed_function && same_arguments_count tail && allowed_function && same_arguments_count
@ -526,9 +530,7 @@ let compile_call env ?fname nargs tail =
in in
let env, args = pop_arguments env [] nargs in let env, args = pop_arguments env [] nargs in
let setup_args_code = List.map (fun arg -> Push arg) @@ List.rev args in let setup_args_code = List.map (fun arg -> Push arg) @@ List.rev args in
let setup_args_code = let setup_args_code = setup_args_code @ [ Mov (rsp, rdi) ] in
setup_args_code @ [ Mov (rsp, rdi) ]
in
let setup_args_code = let setup_args_code =
if fname = builtin_label "closure" then if fname = builtin_label "closure" then
setup_args_code @ [ Mov (L (box (nargs - 1)), rsi) ] setup_args_code @ [ Mov (L (box (nargs - 1)), rsi) ]