summaryrefslogtreecommitdiff
path: root/asmcomp/proc.mli
Commit message (Expand)AuthorAgeFilesLines
* Refactor Proc.op_is_pure and fix Mach.operation_can_raiseXavier Leroy2021-04-201-3/+0
* Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+0
* Revised passing of arguments to external C functionsXavier Leroy2020-07-241-8/+6
* Move contains_calls and num_stack_slots from Proc to Mach.fundeclGreta Yorsh2019-09-091-4/+2
* Position [Lprologue] correctly (#2292)Mark Shinwell2019-03-291-0/+4
* Add [Proc.destroyed_at_reloadretaddr] (#2065)Mark Shinwell2018-10-151-0/+1
* DWARF register numberings (#2080)Mark Shinwell2018-10-041-0/+9
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-0/+1
* Second attempt at fixing GPR#167 falloutMark Shinwell2016-04-151-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Rename to max_arguments_for_tailcalls; revise numbers assuming no unboxed flo...Mark Shinwell2016-02-081-2/+5
* max_arguments_without_passing_on-stackMark Shinwell2016-01-291-0/+5
* Split 64-bit integers on 32-bit architecturesJérémie Dimino2015-08-251-1/+6
* Liveness & Deadcode: fix i386-specific issue with move instructions accessingXavier Leroy2014-05-161-0/+3
* New back-end optimization pass: dead code elimination.Xavier Leroy2014-04-261-0/+3
* Re-add configure option -with-frame-pointersFabrice Le Fessant2013-06-031-0/+3
* Reverting -with-frame-pointersFabrice Le Fessant2013-06-031-3/+0
* Add -with-frame-pointers to ./configureFabrice Le Fessant2013-06-031-0/+3
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Nouvelle architecture pour les fichiers dependant du processeurXavier Leroy1997-07-241-30/+0
* asmlink: option pour produire un .oXavier Leroy1996-11-071-2/+1
* emit_i386, proc_i386: autorise les moves de pile vers pile.Xavier Leroy1996-09-111-3/+3
* Utilisation de push pour passer les arguments aux fonctions C.Xavier Leroy1996-05-161-0/+3
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Reecriture du flottant I386 pour utiliser vraiment la pile de registres flott...Xavier Leroy1995-12-101-1/+1
* emit_i386: bugs dans l'utilisation de testl et dans l'optimisation deXavier Leroy1995-10-251-0/+1
* Ajout du scheduler (a tester serieusement)Xavier Leroy1995-08-131-0/+4
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* cmmgen: MAJ sur la representation des primitives.Xavier Leroy1995-07-251-0/+1
* Ajout de asmlibrarian, MAJ de asmlink.Xavier Leroy1995-07-111-1/+2
* Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy1995-07-101-2/+2
* On rend $gp callee-save et on fait ldgp seulement si necessaireXavier Leroy1995-07-071-4/+1
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-4/+13
* Premiere version.Xavier Leroy1995-06-151-0/+51