summaryrefslogtreecommitdiff
path: root/asmcomp/interf.ml
Commit message (Expand)AuthorAgeFilesLines
* Reintegrate raise_variants branch.Alain Frisch2013-11-131-2/+2
|\
| * Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-2/+2
* | PR#6227 continued: problem with preferences between different register classes.Xavier Leroy2013-11-081-1/+5
|/
* PR#5933 type-specialize 'let compare = compare' on ints and stringsGabriel Scherer2013-03-191-1/+7
* [interf] Don't record "ill-typed" interferences.Benedikt Meurer2013-01-071-14/+15
* Compute the degrees while building the interference graph.Benedikt Meurer2012-12-201-2/+9
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* Enable and fix more warnings.Alain Frisch2012-05-291-1/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* Pour la matrice creuse, utilisation d'un ensemble de paires d'entiers plutot ...Xavier Leroy2004-05-081-50/+14
* Remplacement de la matrice de bits pleine par une matrice creuse a base de ha...Xavier Leroy2001-09-111-32/+53
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-4/+4
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Oubli de open MiscXavier Leroy1999-10-141-0/+1
* Detecter le cas ou la matrice d'interference exploseXavier Leroy1999-10-141-2/+5
* Decourager le spilling des registres introduits par reload.Xavier Leroy1996-09-181-1/+3
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* interf: il faut garantir que toutes les preferences ont un poids > 0.Xavier Leroy1995-11-271-10/+12
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* closure: suppression du parametre d'environnement si inutile.Xavier Leroy1995-07-131-27/+66
* emit_alpha: Idiv, Imod ont besoin de $gp.Xavier Leroy1995-07-121-2/+4
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-22/+16
* Premiere version.Xavier Leroy1995-06-151-0/+131