summaryrefslogtreecommitdiff
path: root/asmcomp/selectgen.mli
Commit message (Expand)AuthorAgeFilesLines
* PR#6501: harden the native-code generator against certain uses of "%identity".Xavier Leroy2014-08-111-0/+2
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+2
* New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy2014-04-261-1/+2
* selectgen.ml: cross-cutting handling of Proc.contains_callsGabriel Scherer2014-04-161-0/+24
* Perform constant optimizations for integer division and modulus on the C-- le...Benedikt Meurer2013-11-191-2/+0
* PR#6042: optimize integer division and modulus when divisor is constant.Xavier Leroy2013-11-011-0/+2
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* Also pass Cmm.memory_chunk to select_addressing.Benedikt Meurer2012-02-041-1/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez2010-05-211-12/+12
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* Added and used Reg.createv_like.Xavier Leroy2009-03-311-0/+5
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-0/+6
* fusion des changements 3.09.1 -> 3.09.2Damien Doligez2006-04-161-0/+2
* Revu compilation des 'raise' et des 'exit' en position d'argument de fonction...Xavier Leroy2002-11-041-1/+1
* Revu emit_stores pour pouvoir le redefinir pour certains processeursXavier Leroy2000-06-291-0/+4
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-241-4/+3
* Marquer le plus possible de methodes "private" et ne pas les exporter.Xavier Leroy1997-11-061-35/+8
* Nouvelle architecture pour les fichiers dependant du processeurXavier Leroy1997-07-241-0/+90