summaryrefslogtreecommitdiff
path: root/asmcomp/cmm.ml
Commit message (Expand)AuthorAgeFilesLines
* Fix evaluation order problem (#966)Mark Shinwell2017-02-151-1/+1
* Add a recursive flag on the Ccatch constructPierre Chambart2016-10-281-2/+4
* Change Cmm Ccatch construct to allow recursive casesPierre Chambart2016-10-281-1/+4
* More debuginfo in CmmMark Shinwell2016-10-121-7/+7
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-1/+5
* Specialize raise_kind after cmmgenFrançois Bobot2016-07-281-1/+5
* Merge pull request #645 from mshinwell/delete_cmm_label_stuffAlain Frisch2016-07-101-2/+0
|\
| * Remove Cdefine_label and Clabel_addressMark Shinwell2016-06-291-2/+0
* | Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-1/+9
* | Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-9/+1
* | Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-1/+9
* | Rename Cconst_blockheader to Cblockheader (#642)Mark Shinwell2016-06-301-1/+1
|/
* Decorate more Cmm terms with location information (#627)Mark Shinwell2016-06-271-3/+3
* Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-0/+50
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Improved annotations on Psetfield etcMark Shinwell2015-12-181-1/+1
* More precise typing at the C-- and Mach level:Xavier Leroy2014-11-061-4/+7
* - Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy2014-04-251-3/+3
* be explicit when constructing integers that are block headersMark Shinwell2014-03-171-0/+1
* Perform constant optimizations for integer division and modulus on the C-- le...Benedikt Meurer2013-11-191-1/+1
* Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-1/+1
* 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
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-1/+0
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-4/+4
* Introduction et utilisation de Cglobal_symbol pour declarer explicitement les...Xavier Leroy2002-11-241-0/+1
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-2/+2
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-2/+2
* Retour de Cconst_pointer et ajout de Cconst_natpointer (necessaires pour un b...Xavier Leroy2000-03-171-0/+2
* Suppression de Cconst_pointer, redondantXavier Leroy2000-03-121-1/+0
* Introduction de Double_u (doubles alignes sur un mot) par opposition a Double...Xavier Leroy2000-03-101-0/+1
* Nativeint.t -> nativeint.Xavier Leroy2000-02-211-3/+3
* Traitement plus uniforme des load et des store. Ajout load/store sur int32 e...Xavier Leroy2000-02-041-6/+9
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Representer les constantes entieres par le type Nativeint.tXavier Leroy1997-03-041-2/+2
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des instructions negf et absf (negation flottante, valeurXavier Leroy1996-03-071-0/+1
* cmmgen: faire attention aux debordements quand on convertit un entierXavier Leroy1995-10-261-0/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* cmmgen: rectification acces generique aux tableaux de flottants.Xavier Leroy1995-07-281-1/+1
* Suppression de Cmodify / Imodify.Xavier Leroy1995-07-251-1/+0
* Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy1995-07-101-1/+1
* Ajout construction "checkbounds" dans C--.Xavier Leroy1995-07-071-0/+1
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-11/+11
* Premiere version.Xavier Leroy1995-06-151-0/+110
View Lorry Controller Status