summaryrefslogtreecommitdiffstats
path: root/asmcomp/mach.ml
AgeCommit message (Expand)Author
2014-04-26New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy
2014-04-25- Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy
2014-03-17be explicit when constructing integers that are block headersMark Shinwell
2013-11-19Perform constant optimizations for integer division and modulus on the C-- le...Benedikt Meurer
2013-10-14Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-02-21PR#5487: addition of CFI directives and a few filename/linenumber info to gen...Xavier Leroy
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2007-01-29Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy
2000-08-11new or-pat compilation + exhaustiveness used in compilationLuc Maranget
2000-02-21Nativeint.t -> nativeint.Xavier Leroy
1999-11-17Changement de la licenceXavier Leroy
1997-03-04Representer les constantes entieres par le type Nativeint.tXavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-03-07Ajout des instructions negf et absf (negation flottante, valeurXavier Leroy
1995-12-17Retour en arriere sur les stores initialisants. Completement inefficace.Xavier Leroy
1995-12-17Scheduling plus agressif des remplissages de blocs allouesXavier Leroy
1995-11-28Changement des comparaisons flottantes pour etre conforme a IEEE.Xavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-07-25Suppression de Cmodify / Imodify.Xavier Leroy
1995-07-17Ajout des tests Ieventest et Ioddtest dans Mach.operationXavier Leroy
1995-07-10Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy
1995-07-07Ajout construction "checkbounds" dans C--.Xavier Leroy
1995-07-02Integration du generateur de code et du compilateur.Xavier Leroy
1995-06-15Iloop est maintenant une boucle infinie, on en sort par catch...exit.Xavier Leroy
1995-06-15Premiere version.Xavier Leroy