From dd7fa10c6bf59885d9c78308b5e4a1233492306b Mon Sep 17 00:00:00 2001 From: Nicolas PENELOUX Date: Mon, 1 Jan 2024 18:19:13 +0100 Subject: [PATCH] ajout frame_descriptor --- flap/src/x86-64/retrolixToX86_64.ml | 23 ++++++++++++++++++++--- 1 file changed, 20 insertions(+), 3 deletions(-) diff --git a/flap/src/x86-64/retrolixToX86_64.ml b/flap/src/x86-64/retrolixToX86_64.ml index bd3366c..2fc17f4 100644 --- a/flap/src/x86-64/retrolixToX86_64.ml +++ b/flap/src/x86-64/retrolixToX86_64.ml @@ -522,11 +522,28 @@ module FrameManager (IS : InstructionSelector) : FrameManager = struct Mint.size_in_bytes + ((if empty_frame fd then 0 else 1) * Mint.size_in_bytes) + fd.locals_space + + let add_stack stack list start op_addr = + let stack, _ = List.fold_left + (fun (stack,addr) id -> + S.IdMap.add id (Mint.of_int addr) stack, + op_addr addr) + (stack,start) + list + in stack + + + let frame_descriptor ~params ~locals = + (* TODO: Student! Implement me! *) + let stack = add_stack S.IdMap.empty locals (-8) (fun x -> x - 8) in + let stack = add_stack stack params 16 (fun x -> x + 8) in + {param_count = List.length params; locals_space = (List.length locals) * 8; stack_map = stack; } + ;; - let frame_descriptor ~params ~locals = - (* TODO: Student! Implement me! *) - { param_count = 0; locals_space = 0; stack_map = S.IdMap.empty } + (* Ajout à la pile les variables présentent dans la liste *) + + ;; let location_of fd id : T.address =