diff --git a/Sujet.pdf b/Sujet.pdf index ddc0a9767f360fa5c59b971fff142b010e0192fe..30b20f5f343fd8f0a6a8dbb775fd34446c4fe3e9 100644 Binary files a/Sujet.pdf and b/Sujet.pdf differ diff --git a/src/regalloc.ml b/src/regalloc.ml index 7013a3f7d821241b6a409e26a89ed0297281066a..c68b9fdcb599dfb74185b339459873603ebc8e42 100644 --- a/src/regalloc.ml +++ b/src/regalloc.ml @@ -175,7 +175,7 @@ let pick_spilling_candidate (rig : (reg, reg Set.t) Hashtbl.t) : reg option = None (* [make_stack rig stack ncolors] construit la pile, selon l'algorithme vu en - cours (slides 60 à 63 du cours "Allocation de registres - Autres slides" + cours (slide 26 du cours "Allocation de registres" présent sur Edunao.) *) let rec make_stack (rig : (reg, reg Set.t) Hashtbl.t) (stack : regalloc_decision list) (ncolors: int) : regalloc_decision list = (* TODO *)