diff options
Diffstat (limited to 'src/codegen.ml')
| -rw-r--r-- | src/codegen.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/codegen.ml b/src/codegen.ml index 2a8d1ae..62e4757 100644 --- a/src/codegen.ml +++ b/src/codegen.ml @@ -55,7 +55,7 @@ let env_get_free_reg e = (* prend un registre libre, le passe dans la c_free_regs = more; c_save_regs = r::e.c_save_regs }, r -let globals_env = ref Smap.empty +let globals_env = ref Smap.empty (* variables globales *) (* Chaînes de caractères utilisées dans le programme *) let strings = Hashtbl.create 12 (* string -> label *) @@ -103,6 +103,7 @@ let rec stmt_does_call = function - une liste de registres à sauvegarder dans tous les cas - l'expression pour laquelle on veut générer du code + À l'issue d'un appel à gen_expr, il y a plusieurs possibilités, exprimées par le type union expr_type décrit ci-dessus : - le premier registre de la liste des registres disponnibles (noté r) contient |