summaryrefslogtreecommitdiff
path: root/asmcomp/linearize.mli
Commit message (Collapse)AuthorAgeFilesLines
* Split Linearize into two modulesGreta Yorsh2019-09-041-44/+1
| | | | | | Separate the description of the IR from the transformations performed on it by moving type declarations from linearize.ml into their own file, called linear.ml.
* Move backtrace support global variables to domain state.KC Sivaramakrishnan2019-08-231-1/+1
| | | | | | | Since we cannot access backtrace position in cmmgen.ml anymore, Cmm.raise_kind in removed. Instead, we use Lambda.raise_kind. When assembly code is generated, we reset the backtrace position to 0 in the case of regular raise. Importantly, the semantics remains the same.
* Add pseudo-instruction `Ladjust_trap_depth` (#2322)Greta Yorsh2019-06-241-0/+1
| | | | | | | | | | Ladjust_trap_depth replaces dummy Lpushtrap generated in linearize of Iexit to notify assembler generation about updates to the stack. Ladjust_trap_depth is used to keep the virtual stack pointer in sync and emit dwarf information, without emitting any assembly instructions. It therefore avoids generating dead code. This patch is extract from PR1482 @lthls
* Position [Lprologue] correctly (#2292)Mark Shinwell2019-03-291-0/+1
|
* Linearize: for Trywith, remove the jump/call to the handler (#2237)Vincent Laviron2019-03-071-2/+2
|
* Add Lprologue (#2055)Mark Shinwell2018-09-241-1/+2
|
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-1/+3
|
* Specialize raise_kind after cmmgenFrançois Bobot2016-07-281-1/+1
| | | | | | since the semantic changed. There is no need to check Clflags.debug anymore Raise_withtrace, means that traces must be computed (if the runtime boolean is true).
* Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-3/+1
|
* Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-1/+3
|
* Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-3/+1
|
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
| | | | Remains to be done: remove all headers in testsuite/tests.
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5487: addition of CFI directives and a few filename/linenumber info to ↵Xavier Leroy2012-02-211-1/+2
| | | | | | generated amd64 and i386 assembly files. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* clean up spaces and tabsDamien Doligez2010-01-221-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Stack backtraces on uncaught exceptions in native code (merge of the ↵Xavier Leroy2007-01-291-0/+1
| | | | | | opt_backtrace branch) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PowerPC: traiter correctement les branchements conditionnels relatifs qui ↵Xavier Leroy2002-01-091-1/+2
| | | | | | debordent (PR#723) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Orthographe: failthrough -> fallthroughXavier Leroy2001-02-051-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rendre desc mutable pour certains emetteurs de code (emit_hppa)Xavier Leroy1997-03-071-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Introduction de Lreloadretaddr.Xavier Leroy1995-08-251-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du scheduler (a tester serieusement)Xavier Leroy1995-08-131-0/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Introduction de Lcondbranch3.Xavier Leroy1995-08-121-0/+1
| | | | | | | coloring: plus de variete dans le choix d'un registre. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Passage au truc d'Appel pour les fermetures de fonctions mutuellementXavier Leroy1995-07-071-2/+2
| | | | | | | | | recursives. Changement du layout de try ... with ... Correction de bugs dans la generation des descripteurs de frames. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@64 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@51 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Premiere version.Xavier Leroy1995-06-151-0/+31
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@34 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status