summaryrefslogtreecommitdiff
path: root/asmcomp/selectgen.ml
Commit message (Expand)AuthorAgeFilesLines
* Fixes for out-of-range IallocMark Shinwell2017-07-311-1/+2
* Fix evaluation order problem (#966)Mark Shinwell2017-02-151-28/+201
* Fix Spacetime compilation (#984)Mark Shinwell2016-12-271-1/+1
* Distinguish root and heap values in Lambda.initialization (#673)Frédéric Bour2016-12-271-1/+2
* Add a recursive flag on the Ccatch constructPierre Chambart2016-10-281-7/+7
* code reviewMark Shinwell2016-10-281-24/+37
* Change Cmm Ccatch construct to allow recursive casesPierre Chambart2016-10-281-64/+106
* More debuginfo in CmmMark Shinwell2016-10-121-41/+31
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-13/+101
* Specialize raise_kind after cmmgenFrançois Bobot2016-07-281-5/+5
* Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-28/+44
* Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-44/+28
* Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-28/+44
* Rename Cconst_blockheader to Cblockheader (#642)Mark Shinwell2016-06-301-6/+6
* Decorate more Cmm terms with location information (#627)Mark Shinwell2016-06-271-5/+6
* Fix Selectgen.join_array (#600)Mark Shinwell2016-06-161-3/+12
* Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-3/+8
* More warnings when compiling the compiler.alainfrisch2016-03-151-16/+16
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Improved annotations on Psetfield etcMark Shinwell2015-12-181-4/+9
* PR#7024 and GPR#295: CSE confuses +0.0 and -0.0Xavier Leroy2015-11-191-1/+1
* Split 64-bit integers on 32-bit architecturesJérémie Dimino2015-08-251-9/+20
* Prudently revert the type of "Cconst_symbol" to typ_val instead of typ_int.Xavier Leroy2014-11-071-1/+1
* More precise typing at the C-- and Mach level:Xavier Leroy2014-11-061-18/+19
* 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
View Lorry Controller Status