diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 18:45:19 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 18:45:19 +0100 |
| commit | 2c7d3a47508e2323cd70d8f65324d8c3d01e51d0 (patch) | |
| tree | 294b28c4ab8b10ff14af07a206b5cdb997a645a3 /src/codegen.ml | |
| parent | c4fca6ff8ffa7ad8e6129dd0f6fe1b72d58c950f (diff) | |
| parent | a95f51e847892fe0e358c519cc4bac42382fbbb7 (diff) | |
| download | LPC-Projet-2c7d3a47508e2323cd70d8f65324d8c3d01e51d0.tar.gz LPC-Projet-2c7d3a47508e2323cd70d8f65324d8c3d01e51d0.zip | |
Conflicts:
src/codegen.ml
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 |