diff options
Diffstat (limited to 'asmcomp/power/proc.ml')
| -rw-r--r-- | asmcomp/power/proc.ml | 33 |
1 files changed, 21 insertions, 12 deletions
diff --git a/asmcomp/power/proc.ml b/asmcomp/power/proc.ml index 2563d841b5..1a37578111 100644 --- a/asmcomp/power/proc.ml +++ b/asmcomp/power/proc.ml @@ -92,6 +92,8 @@ let stack_slot slot ty = (* Calling conventions *) +let size_domainstate_args = 64 * size_int + let loc_int last_int make_stack reg_use_stack int ofs = if !int <= last_int then begin let l = phys_reg !int in @@ -136,12 +138,12 @@ let loc_int_pair last_int make_stack int ofs = [| stack_lower; stack_upper |] end -let calling_conventions first_int last_int first_float last_float make_stack - arg = +let calling_conventions first_int last_int first_float last_float + make_stack first_stack arg = let loc = Array.make (Array.length arg) Reg.dummy in let int = ref first_int in let float = ref first_float in - let ofs = ref 0 in + let ofs = ref first_stack in for i = 0 to Array.length arg - 1 do match arg.(i) with | Val | Int | Addr -> @@ -149,23 +151,30 @@ let calling_conventions first_int last_int first_float last_float make_stack | Float -> loc.(i) <- loc_float last_float make_stack false int float ofs done; - (loc, Misc.align !ofs 16) (* keep stack 16-aligned *) - -let incoming ofs = Incoming ofs -let outgoing ofs = Outgoing ofs + (loc, Misc.align (max 0 !ofs) 16) (* keep stack 16-aligned *) + +let incoming ofs = + if ofs >= 0 + then Incoming ofs + else Domainstate (ofs + size_domainstate_args) +let outgoing ofs = + if ofs >= 0 + then Outgoing ofs + else Domainstate (ofs + size_domainstate_args) let not_supported _ofs = fatal_error "Proc.loc_results: cannot call" -let max_arguments_for_tailcalls = 16 +let max_arguments_for_tailcalls = 16 (* in regs *) + 64 (* in domain state *) let loc_arguments arg = - calling_conventions 0 15 100 112 outgoing arg + calling_conventions 0 15 100 112 outgoing (- size_domainstate_args) arg let loc_parameters arg = - let (loc, _ofs) = calling_conventions 0 15 100 112 incoming arg + let (loc, _ofs) = + calling_conventions 0 15 100 112 incoming (- size_domainstate_args) arg in loc let loc_results res = - let (loc, _ofs) = calling_conventions 0 15 100 112 not_supported res + let (loc, _ofs) = calling_conventions 0 15 100 112 not_supported 0 res in loc (* C calling conventions for ELF32: @@ -244,7 +253,7 @@ let loc_external_arguments ty_args = (* Results are in GPR 3 and FPR 1 *) let loc_external_results res = - let (loc, _ofs) = calling_conventions 0 1 100 100 not_supported res + let (loc, _ofs) = calling_conventions 0 1 100 100 not_supported 0 res in loc (* Exceptions are in GPR 3 *) |