summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-07 15:15:24 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-01-07 15:15:24 +0100
commit97962c7823fd8bfca3a94909bb4b6f14ad967735 (patch)
tree150ce342a56178220fd357b5427383014326d625
parentbefa0878ac0f6bd3a21de420978a44606774ff1c (diff)
downloadLPC-Projet-97962c7823fd8bfca3a94909bb4b6f14ad967735.tar.gz
LPC-Projet-97962c7823fd8bfca3a94909bb4b6f14ad967735.zip
Document.
-rw-r--r--src/codegen.ml32
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