summaryrefslogtreecommitdiff
path: root/asmcomp
Commit message (Expand)AuthorAgeFilesLines
* asmcomp/arm/proc.ml: fix missing parenthesis due to commit 16415Damien Doligez2015-09-141-1/+1
* asmcomp/power/proc.ml: fix missing parenthesis due to commit 16415Damien Doligez2015-09-111-1/+1
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-1114-52/+75
* PR#6979: better code generation in x86-32 backend for copying floats to the s...Alain Frisch2015-09-101-2/+7
* Support passing unboxed int64 between OCaml and C on ppc32Jérémie Dimino2015-08-251-29/+90
* Update callilng convention on ppc64Jérémie Dimino2015-08-251-1/+4
* Support Val in the sparc/emit.mlpJérémie Dimino2015-08-251-5/+5
* Update sparc backend for unboxed primitive arguments/resultsJérémie Dimino2015-08-252-15/+41
* Allow unboxing of int64 constants on 32 bit targetsJérémie Dimino2015-08-251-2/+1
* Split 64-bit integers on 32-bit architecturesJérémie Dimino2015-08-257-44/+159
* Refactor Cmmgen.subst_boxed_numberJérémie Dimino2015-08-251-59/+84
* Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-252-15/+50
* Reset debugging information at the beginning of every module.Xavier Leroy2015-08-251-1/+2
* Typo in comment explaining the TOC galore. (Courtesy M. Shinwell.)ppc64Xavier Leroy2015-08-211-1/+1
* Select 32-bit TOC model if compiling with -for-packXavier Leroy2015-08-071-2/+2
* Force word-alignment of static OCaml data.Xavier Leroy2015-08-061-0/+1
* PPC64 ABI v1: not enough space was reserved for the parameter save area befor...Xavier Leroy2015-08-062-2/+6
* Update wrt trunk r16319.Xavier Leroy2015-08-0333-277/+387
|\
| * GPR#212 Emitaux: also emit column locationGabriel Scherer2015-08-026-21/+24
| * #6940: fix regression on 32-bit machine related to new unboxing strategy.Alain Frisch2015-07-281-1/+1
| * Still following up on commit 16278.Xavier Leroy2015-07-278-28/+28
| * Hopefully finish 16278 (again).Alain Frisch2015-07-271-5/+5
| * Hopefully finish 16278.Alain Frisch2015-07-271-1/+1
| * Update "register_class" followign the introduction of the Val machine type.Xavier Leroy2015-07-275-12/+9
| * Rvert 16273. gasche pointed to a counterexample: 'let rec x = (x;1)'.Alain Frisch2015-07-271-2/+2
| * Cosmetic.Alain Frisch2015-07-271-15/+7
| * Inline transl_unbox_let to clarify code.Alain Frisch2015-07-271-15/+12
| * Allow unbox in let-rec bindings, for uniformity.Alain Frisch2015-07-271-22/+23
| * Fix suspicious (harmless) case in cmm-compilation of letrec.Alain Frisch2015-07-271-2/+2
| * GPR#107: Prevent more unnecessary float boxing, especially in if and match. P...Alain Frisch2015-07-271-6/+35
| * More precise typing at the C-- and Mach level.Xavier Leroy2015-07-2720-166/+253
| |\
| | * Update to trunk r16267.cmm-mach-typesXavier Leroy2015-07-2733-1667/+3978
| | |\ | | |/ | |/|
| * | PR#6924: Tiny optim to avoid some spilling of floats in x87Gabriel Scherer2015-07-251-1/+6
| | * Prudently revert the type of "Cconst_symbol" to typ_val instead of typ_int.Xavier Leroy2014-11-071-1/+1
| | * Don't forget that allocations can run arbitrary Caml code (via signal handler...Xavier Leroy2014-11-071-2/+6
| | * More precise typing at the C-- and Mach level:Xavier Leroy2014-11-0622-166/+244
* | | Support for gprof profiling (ocamlopt -p)Xavier Leroy2015-07-311-0/+48
* | | Wrong cfi_adjust_cfa_offset directive was generated.Xavier Leroy2015-07-301-1/+1
* | | PPC64 little-endian support.Xavier Leroy2015-07-301-0/+4
* | | - Use addis/addi in preference to addis/ori to enable instruction fusionXavier Leroy2015-07-301-33/+75
* | | TOC hacking: revised strategy for saving and restoring r2, producing slightly...Xavier Leroy2015-07-221-47/+57
* | | TOC galore. Various issues with the TOC register r2 not being properly maint...Xavier Leroy2015-07-211-3/+32
* | | PowerPC port, 32-bit mode: use @plt for "bl" function calls in "dynlink" (def...Xavier Leroy2015-07-211-10/+19
* | | PPC64: add support for large TOC (32-bit offsets instead of 16-bit)Xavier Leroy2015-07-212-39/+79
* | | PowerPC port of ocamlopt:Xavier Leroy2015-07-203-387/+484
|/ /
* | GPR#109: new unboxing strategy (patch by vbrankov).Alain Frisch2015-07-171-30/+16
* | merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-1712-145/+619
* | GPR#197: Do not emit [add zsh, %rsp] and [sub zsh, %rsp] (patch from cgaebel).Alain Frisch2015-06-171-7/+16
* | compilation fix for ARMMark Shinwell2015-04-271-1/+1
* | Make accessing Bigarray.t faster by optimizing Cmmgen.bigarray_indexingGabriel Scherer2015-04-261-16/+39
View Lorry Controller Status