summaryrefslogtreecommitdiff
path: root/asmcomp/selectgen.mli
Commit message (Expand)AuthorAgeFilesLines
* Fix stack backtrace for out-of-bounds exception (#11436)Tom Kelly2022-07-251-6/+10
* Safepoints (#10039)Sadiq Jaffer2021-07-091-2/+4
* TyposJPR2021-01-151-1/+1
* Remove SpacetimeNicolás Ojeda Bär2020-10-081-30/+1
* Revised detection of arithmetic instructions with immediate operands, continuedXavier Leroy2020-09-211-3/+5
* Revised detection of arithmetic instructions with immediate operandsXavier Leroy2020-09-161-2/+5
* typos (#9806)Fourchaux2020-07-281-1/+1
* Revised passing of arguments to external C functionsXavier Leroy2020-07-241-1/+6
* Assert that Cassign is only used on Clet_mut-bound variablesStephen Dolan2020-02-251-1/+2
* Use typing information from Clambda for mutable Cmm variablesStephen Dolan2020-02-251-2/+0
* Make contains_calls into a reference instance variableGreta Yorsh2019-09-121-2/+4
* Move contains_calls and num_stack_slots from Proc to Mach.fundeclGreta Yorsh2019-09-091-2/+4
* More debugging information in Cmm terms (#2308)Mark Shinwell2019-03-131-0/+1
* Propagate environments further in SelectgenMark Shinwell2019-03-081-9/+14
* GPR#2056 (Backend_var)Mark Shinwell2018-09-281-3/+7
* Merge pull request #1040 from dhekir/trunkGabriel Scherer2017-02-221-1/+1
|\
| * fix several typos in commentsDaniel2017-02-131-1/+1
* | Fix evaluation order problem (#966)Mark Shinwell2017-02-151-0/+31
|/
* Change Cmm Ccatch construct to allow recursive casesPierre Chambart2016-10-281-8/+13
* More debuginfo in CmmMark Shinwell2016-10-121-1/+3
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-1/+29
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* 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
View Lorry Controller Status