Source

ocaml / asmcomp / arm / emit.mlp

Author Commit Message Labels Comments Date
xleroy
Remove some "open" to please the new warnings. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
[arm] Handle backward jumps properly with TBH (PR#5623). The Thumb-2 TBH instruction supports only forward jumps, which is what is usually generated for Lswitch. But in some rare cases, the compiler can generate backward jumps for Lswitch. To properly support these cases, we emit appropriate trampolines (following the TBH) for these backward jumps as necessary. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
[arm] Also emit CFI directives for the ARM backend. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
[arm] Emit debug information in the ARM backend. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
merge version 3.12 from 3.12.1 to r12205 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
[arm] Update copyright notices as suggested by Xavier. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
Merge the new ARM backend into trunk (PR#5433). Initial merge of the new ARM backend (commit ec5b444c7f) from my development repository at https://github.com/bmeurer/ocaml-arm/tree/ec5b444c7f . Compared to the old ARM backend, this one does the following: - Support for both software and hardware floating-point (VFPv3). - Properly supports interworking with Thumb/Thumb-2 code for both OCaml and C code. - Supports dynamic linking and large mem…
xleroy
PR#4869: rare collisions between assembly labels for code and data git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
PR#5336: add .type directives in ARM code git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
renaming of Objective Caml to OCaml and cleanup of copyright headers git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
PR#5030: start data labels higher. Also, use emit_floatNN_directive. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
clean up spaces and tabs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
merge changes from release/3.11.1 to release/3.11.2 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Updating the ARM port, continued: - 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
xleroy
Updated ARM port to new ABI (EABI), with software floating-point. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
merge changes 3.10.0 -> 3.10.1 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Constantes flottantes +0.0 / -0.0 (PR#2480) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
PR#1914,PR#1956, suppression du portage Mac OS 9 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
depollution suite (PR#1914 et PR#1956) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Ajout des litteraux de type int32, nativeint, int64 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Introduction et utilisation de Cglobal_symbol pour declarer explicitement les symboles de donnees qui doivent etre globaux git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
deps git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Ajout du packaging d'unites de compilation (option -pack) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Suite revision immediats entiers (PR#327,#328) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Revu gestion des immediats entiers (PR#327,#328) -- non teste git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
MAJ load/store revus git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Ajout des modules Int32, Int64 et Nativeint git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2807 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
tabs -> spaces git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2639 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Changement de la licence git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Bien traiter Ialloc de plus de 1024 octets git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  1. Prev
  2. 1
  3. 2
  4. Next