Source

ocaml / asmcomp / arm / selection.ml

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] 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…
bmeurer
Also pass Cmm.memory_chunk to select_addressing. The rational behind this change is that for the ARM instruction sets, the valid range for address offsets depends on the type of data being loaded or stored. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12120 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#5029: typo in names of lib functions for float32<->float64 conversion. PT#5027: method! to avoid warning. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10295 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
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
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
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
Suite du portage ARM git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Portage ARM -- premier jet git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02