diff --git a/flap/src/x86-64/retrolixToX86_64.ml b/flap/src/x86-64/retrolixToX86_64.ml index 8f0c7d1..5c7e8ce 100644 --- a/flap/src/x86-64/retrolixToX86_64.ml +++ b/flap/src/x86-64/retrolixToX86_64.ml @@ -636,6 +636,7 @@ module FrameManager (IS : InstructionSelector) : FrameManager = struct (* Vide la pile et jump vers la fonction *) function_epilogue fd @ [ Instruction (T.jmpdi ~tgt:f) ] | `Normal -> + (* TODO: VĂ©rifier l'alignement de RSP sur 16 octets *) (* Place les arguments sur la pile, le dernier en premier *) List.rev_map (fun arg -> T.Instruction (T.pushq ~src:arg)) args (* Appelle la fonction *)