diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/codegen.ml | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/src/codegen.ml b/src/codegen.ml index 3849bfa..2a8d1ae 100644 --- a/src/codegen.ml +++ b/src/codegen.ml @@ -30,17 +30,18 @@ type whereis_var = | VRegisterByRef of register type cg_env = { - c_penv : env; - c_names : whereis_var Smap.t; - c_ret_ref : bool; - c_ret_lbl : string; - c_fp_used : int; - c_need_fp : bool ref; - c_save_regs : register list; - c_free_regs : register list; + c_penv : env; (* environnement de programme, contient des informations sur les types *) + c_names : whereis_var Smap.t; (* où trouver les variables locales et globales *) + c_ret_ref : bool; (* la fonction renvoie-t-elle son résultat par référence ? *) + c_ret_lbl : string; (* où jump lors d'un return (code de nettoyage, etc.) *) + c_fp_used : int; (* combien de place sur la pile est utilisé *) + c_need_fp : bool ref; (* a-t-on besoin de la pile ? mis à true à la première occasion. + si false, on se dispense d'initialiser $fp *) + c_save_regs : register list; (* liste de registres à préserver *) + c_free_regs : register list; (* liste de registres disponnibles pour les calculs *) } -let env_push n e = +let env_push n e = (* occuper n octets de plus sur la pile, renvoyer l'environnemnet adapté *) if n <> 0 then e.c_need_fp := true; let kk = e.c_fp_used + n in { e with c_fp_used = kk }, -kk @@ -48,7 +49,7 @@ let env_push n e = let env_add_var vid vv e = { e with c_names = Smap.add vid vv e.c_names } -let env_get_free_reg e = +let env_get_free_reg e = (* prend un registre libre, le passe dans la liste des registres à conserver *) let r, more = List.hd e.c_free_regs, List.tl e.c_free_regs in { e with c_free_regs = more; @@ -64,7 +65,8 @@ let id = let last = ref 0 in fun prefix -> (last := !last + 1; prefix ^ (string_of_int !last)) -(* Doit-on se préparer à faire des appels de fonction ? Ie sauvegarder $ra *) +(* Doit-on se préparer à faire des appels de fonction ? Ie sauvegarder $ra, + et éventuellement d'autres registres *) let rec expr_does_call e = match e.te_desc with | TEInt _ | TENull | TEThis | TEIdent _ -> false | TEAssign(a, b) -> expr_does_call a || expr_does_call b @@ -149,7 +151,7 @@ let spare_reg2 = s1 nécessaire à la sauvegarde et à la restauration. Le nouvel environnement est également modifié de manière à ce que de futurs appels à des valeurs qui devaient être enregistrées dans des registres sauvegardés - soient maintenant fait en prenant en compte la relocalisation de ces valeurs + soient maintenant faits en prenant en compte la relocalisation de ces valeurs sur la pile. *) let saver env save_regs = List.fold_left @@ -197,7 +199,7 @@ let rec gen_expr env free_regs save_regs e = end | TEAssign(e1, e2) -> begin match more with - | [] -> + | [] -> (* cas où l'on a pas assez de registres disponnibles : on doit utiliser la pile *) let t1, ae1 = gen_expr env free_regs save_regs e1 in let env2, tspot = env_push 4 env in let t2, ae2 = gen_expr env2 free_regs save_regs e2 in @@ -290,7 +292,7 @@ let rec gen_expr env free_regs save_regs e = end | TEBinary(e1, op, e2) when op <> Ast.Lor && op <> Ast.Land -> let rs, rb, precode = match more with - | [] -> + | [] -> (* plus de registres disponnibles, utiliser la pile *) let env2, tspot = env_push 4 env in let t1, ae1 = gen_expr env2 free_regs save_regs e1 in let t2, ae2 = gen_expr env free_regs save_regs e2 in @@ -345,6 +347,7 @@ let rec gen_expr env free_regs save_regs e = ++ li v0 9 ++ li a0 cls.tc_size ++ syscall ++ move a0 v0 ++ la sp areg (-env_args.c_fp_used, fp) ++ jal constr ++ (if r <> a0 then move r a0 else nop) ++ code_restore_regs, Copy + and code_for_args env arg_list regs = (* assigne registers to possibly in-register arguments *) let args_in_regs, args_in_stack, _ = List.fold_left @@ -398,6 +401,7 @@ and code_for_args env arg_list regs = in code, (List.map fst args_in_regs), kenv +(* On peut maintenant calculer une expression préferentiellement dans tel ou tel registre *) let gen_expr_dr dr env = gen_expr env (dr::env.c_free_regs) env.c_save_regs let gen_expr_v0 = gen_expr_dr v0 |