summaryrefslogtreecommitdiff
path: root/asmcomp/liveness.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove arm, i386 native-code backends (#11904)Nicolás Ojeda Bär2023-01-221-2/+0
* Add a generic backward dataflow analyzer and use it for liveness analysis (#1...Xavier Leroy2021-05-151-96/+30
* Fix handling of exception-raising specific operations during liveness analysi...Xavier Leroy2021-05-011-12/+8
* Refactor Proc.op_is_pure and fix Mach.operation_can_raiseXavier Leroy2021-04-201-1/+1
* Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-3/+3
* Remove SpacetimeNicolás Ojeda Bär2020-10-081-18/+7
* Remove loop constructors in Cmm and MachVincent Laviron2019-02-191-14/+0
* liveness: print fatal errors fully on stderrValentin Gatien-Baron2018-07-151-3/+3
* Remove unnecessary codeMark Shinwell2017-08-101-8/+2
* Allocation may raise exceptions (#852)Mark Shinwell2017-03-071-2/+4
* Add a recursive flag on the Ccatch constructPierre Chambart2016-10-281-13/+10
* code reviewMark Shinwell2016-10-281-15/+15
* Change Cmm Ccatch construct to allow recursive casesPierre Chambart2016-10-281-8/+43
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-2/+12
* Liveness and Deadcode refactoring (#670)Mark Shinwell2016-07-071-6/+7
* Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-3/+3
* Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-3/+3
* Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-3/+3
* More warnings when compiling the compiler.alainfrisch2016-03-151-2/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Liveness & Deadcode: fix i386-specific issue with move instructions accessingXavier Leroy2014-05-161-1/+5
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+4
* New back-end optimization pass: dead code elimination.Xavier Leroy2014-04-261-19/+26
* 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
* Reverting bad commit.Alain Frisch2012-01-201-2/+2
* Fix #5490.Alain Frisch2012-01-201-2/+2
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-1/+1
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-9/+17
* Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintfPierre Weis2000-04-211-2/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* En ocamlopt, les acces hors bornes levent Invalid_argument au lieu de planter...Xavier Leroy1998-11-111-4/+5
* cmmgen: nettoyage de remove_unit (bug signale par Bruno Blanchet)Xavier Leroy1996-07-251-2/+7
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* liveness: mettre dans les noeuds Iexit un live_across raisonnable.Xavier Leroy1996-01-111-1/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy1995-07-101-1/+1
* Passage au truc d'Appel pour les fermetures de fonctions mutuellementXavier Leroy1995-07-071-10/+12
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-1/+1
* Iloop est maintenant une boucle infinie, on en sort par catch...exit.Xavier Leroy1995-06-151-8/+7
* Premiere version.Xavier Leroy1995-06-151-0/+91
View Lorry Controller Status