summaryrefslogtreecommitdiff
path: root/asmcomp
Commit message (Collapse)AuthorAgeFilesLines
* Added tail call heuristic for native compilationannot-from-lambdaXavier Leroy2010-05-251-0/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Generate annot files from the lambda structure.Xavier Clerc2010-05-171-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5027: method! for overridingXavier Leroy2010-04-225-8/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5029: typo in names of lib functions for float32<->float64 conversion.Xavier Leroy2010-04-221-6/+6
| | | | | | | PT#5027: method! to avoid warning. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5030: start data labels higher. Also, use emit_floatNN_directive.Xavier Leroy2010-04-221-8/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4971: wrong variable name in alpha/proc.ml; cleanups in lex/cset.mli and ↵Xavier Leroy2010-04-181-2/+2
| | | | | | bytecomp/lambda.mli git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branches/overrideJacques Garrigue2010-04-084-15/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* mistake in the size of allocated integers (again)Damien Doligez2010-01-291-9/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* mistake in the size of allocated integersDamien Doligez2010-01-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* clean up spaces and tabsDamien Doligez2010-01-2260-152/+126
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-2013-49/+84
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-208-18/+42
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Updating the ARM port, continued:Xavier Leroy2009-05-042-59/+48
| | | | | | | | | - Reserve register r9 and treat r10 as callee-save, as per the EABI. - Treatment of alloc_limit register. - Fixed bug in inlined allocation sequence. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4759: bad merge of emit_call, etcXavier Leroy2009-03-311-19/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Updated ARM port to new ABI (EABI), with software floating-point.Xavier Leroy2009-03-313-171/+163
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Added and used Reg.createv_like.Xavier Leroy2009-03-314-41/+53
| | | | | | | | Selectgen: new methods regs_for, enables ports to store float values in pairs of integer registers. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from 3.10.2merged to 3.11.0Damien Doligez2008-12-033-35/+90
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4558 part 1: unboxing of floats and boxed ints across 'let' and similar ↵Xavier Leroy2008-08-051-2/+16
| | | | | | constructs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4583: do not compare Lambda terms with =, use Lambda.same insteadXavier Leroy2008-08-011-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4564 (partial): mark stack as non-executable on Linux/ELFXavier Leroy2008-08-012-2/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8962 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Output references to the native version of the primitives in ocamloptAlain Frisch2008-07-242-8/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4223, PR#1508: added unsafe variants of Bigarray.Array{1,2,3}.{get,set}Xavier Leroy2008-07-142-28/+27
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4462: forgot bigarrayset in is_pureXavier Leroy2008-03-181-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8847 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add explicit references to external primitive symbols.Alain Frisch2008-01-314-3/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-1110-40/+84
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove unused variable.Alain Frisch2007-11-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Same in native code.Alain Frisch2007-11-152-35/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Cleanup and factorization of linker-related code.Alain Frisch2007-11-151-81/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Use the variable mksharedlib from the configure script to build cmxs.Alain Frisch2007-11-121-7/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Roll-back: natdynlink won't be ported to PowerPC anytime soon.Alain Frisch2007-11-092-77/+16
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Make it work under Win64.Alain Frisch2007-11-081-20/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-0616-173/+447
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Can select which assembler to use at configuration time (PR#4171)Xavier Leroy2007-10-3011-38/+26
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion de la version 3.10.0Damien Doligez2007-10-082-27/+10
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Make name of object file for package initialization unique (needed for the ↵Xavier Leroy2007-03-011-1/+4
| | | | | | MSVC port) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Stack backtraces for Win64/AMD64 (bug fixes)Xavier Leroy2007-03-011-0/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Stack backtraces for Win64/AMD64 (not tested yet)Xavier Leroy2007-03-011-42/+68
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7941 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Better handling of multiple extensions (foo.d.cmo, foo.p.cmx...)Nicolas Pouillard2007-02-231-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4152: avoid repeated calls to transl in transl_unbox_letXavier Leroy2007-02-221-5/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* wrong branch... rollbackAlain Frisch2007-02-152-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* starting to implement native dynlink for UnixAlain Frisch2007-02-152-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion des changements 3.09.3 -> release309_merge310Damien Doligez2007-02-094-9/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Stack backtraces on uncaught exceptions in native code (merge of the ↵Xavier Leroy2007-01-2931-372/+729
| | | | | | opt_backtrace branch) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Compatibilite avec versions plus recentes de ml64Xavier Leroy2007-01-241-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Produce position-independent code by default. This makes it easier to embed ↵Xavier Leroy2007-01-011-2/+4
| | | | | | Caml code in a shared library. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4181: watch out for big constants in Ioffset_locXavier Leroy2006-12-161-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Utiliser link /lib comme partial linker sous Windows/MSVC; adapter versions ↵Xavier Leroy2006-10-181-1/+1
| | | | | | Unix et Windows/Mingw en consequence git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Better handling of .cmx files in combination with -for-pack (PR#4124)Xavier Leroy2006-10-175-4/+27
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* gprof profiling support for MacOSX/Intel (PR#4087)Xavier Leroy2006-10-161-1/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status