summaryrefslogtreecommitdiffstats
path: root/asmcomp/interf.ml
AgeCommit message (Collapse)Author
2000-08-11new or-pat compilation + exhaustiveness used in compilationLuc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17Changement de la licenceXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-14Oubli de open MiscXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-14Detecter le cas ou la matrice d'interference exploseXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18Decourager le spilling des registres introduits par reload.Xavier Leroy
Intel 386: suppression des stack-to-stack moves. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30Renommage en Objective CamlXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-27interf: il faut garantir que toutes les preferences ont un poids > 0.Xavier Leroy
Une preference de poids 0 peut en effet rendre assignable un registre interdit. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09Ajout des notices de copyrightXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13closure: suppression du parametre d'environnement si inutile.Xavier Leroy
cmmgen: prise en compte du flag -compact. coloring: dissymetrisation des preferences. interf: ne pas ajouter de preferences entre registres qui conflictent. emit_mips: masquage du bit "deja scanne" sur les addresses de retour. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-12emit_alpha: Idiv, Imod ont besoin de $gp.Xavier Leroy
interf: diminuer le poids des preferences dans les branches des conditionnelles. selection: mettre contains_calls a true s'il y a un trywith (necessaire pour le Mips). spill: backtrack sur le spilling retarde, qui ne marche pas du tout. (Il retarde le spilling jusqu'apres un point de destruction!) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@88 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-02Integration du generateur de code et du compilateur.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@51 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-06-15Premiere version.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@34 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02