summaryrefslogtreecommitdiff
path: root/asmcomp/selectgen.ml
Commit message (Expand)AuthorAgeFilesLines
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-2/+2
* PR#6501: harden the native-code generator against certain uses of "%identity".Xavier Leroy2014-08-111-1/+19
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+4
* New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy2014-04-261-7/+7
* part 2: fix regression (extraneous moves) caused by previous Cconst_blockhead...Mark Shinwell2014-04-211-1/+3
* selectgen.ml: cross-cutting handling of Proc.contains_callsGabriel Scherer2014-04-161-11/+34
* improved abstractions for register naming in the native code backendMark Shinwell2014-03-171-5/+6
* be explicit when constructing integers that are block headersMark Shinwell2014-03-171-0/+3
* PR#6239: a "raise" in -g mode can end up calling a C function (stash_backtrac...Xavier Leroy2013-11-271-0/+2
* Perform constant optimizations for integer division and modulus on the C-- le...Benedikt Meurer2013-11-191-102/+4
* Revert "Don't use emit_parts_list for regular operations."Benedikt Meurer2013-11-141-69/+54
* Don't use emit_parts_list for regular operations.Benedikt Meurer2013-11-141-54/+69
* Reintegrate raise_variants branch.Alain Frisch2013-11-131-3/+3
|\
| * Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-3/+3
* | PR#6042: optimize integer division and modulus when divisor is constant.Xavier Leroy2013-11-011-0/+89
|/
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* PR#5487: addition of CFI directives and a few filename/linenumber info to gen...Xavier Leroy2012-02-211-1/+2
* More renaming to OCamlDamien Doligez2012-02-101-1/+1
* Merge the new ARM backend into trunk (PR#5433).Benedikt Meurer2012-02-041-4/+3
* Implement insert_op using insert_op_debug in Selectgen.Benedikt Meurer2012-02-041-2/+1
* Also pass Cmm.memory_chunk to select_addressing.Benedikt Meurer2012-02-041-3/+3
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* merge changes from 3.12.0 to 3.12.1Damien Doligez2011-07-201-0/+14
* PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez2010-05-211-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-6/+6
* Added and used Reg.createv_like.Xavier Leroy2009-03-311-41/+41
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-19/+36
* fusion des changements 3.09.1 -> 3.09.2Damien Doligez2006-04-161-41/+29
* Amelioration des flottants x86: utiliser %st(0) comme registre quand c'est po...Xavier Leroy2003-02-251-2/+15
* Revu compilation des 'raise' et des 'exit' en position d'argument de fonction...Xavier Leroy2002-11-041-238/+286
* Typo dans commentaireXavier Leroy2001-02-051-1/+1
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-1/+1
* Meilleur traitement des fonctions tail rec avec des arguments en pileXavier Leroy2000-10-101-0/+8
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-9/+49
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-8/+8
* Revu emit_stores pour pouvoir le redefinir pour certains processeursXavier Leroy2000-06-291-4/+4
* Traiter correctement raise lorsqu'il apparait sous un operateur strict (e.g. ...Xavier Leroy2000-04-131-15/+21
* Retour de Cconst_pointer et ajout de Cconst_natpointer (necessaires pour un b...Xavier Leroy2000-03-171-3/+26
* Suppression de Cconst_pointer, redondantXavier Leroy2000-03-121-21/+3
* Introduction de Double_u (doubles alignes sur un mot) par opposition a Double...Xavier Leroy2000-03-101-2/+2
* Fix PR#48 (plus general)Damien Doligez2000-03-061-8/+13
* fix PR#48 (provisoire?)Damien Doligez2000-03-031-1/+2
* Ajout des modules Int32, Int64 et NativeintXavier Leroy2000-02-111-2/+2
* Catch-all inutile dans un filtrageXavier Leroy2000-02-101-1/+0
* Traitement plus uniforme des load et des store. Ajout load/store sur int32 e...Xavier Leroy2000-02-041-28/+23
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout d'une passe supplementaire pour combiner les allocations qui apparaisse...Xavier Leroy1999-05-151-92/+34
* Dans Ialloc, traiter le cas ou l'offset par-rapport a l'allocation groupee n'...Xavier Leroy1999-03-041-1/+8
* Ajout de Pervasives.ignore. List.remove -> List.remove_ass*Xavier Leroy1999-02-241-3/+3
* Fusionner les allocations qui sont dans le meme basic blockXavier Leroy1999-02-041-32/+83