e7f5b858c2
More renaming to OCaml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10 16:15:24 +00:00
e76218f17d
[arm] Update copyright notices as suggested by Xavier.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05 08:47:16 +00:00
05627e0de4
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 memory models (PR#5049).
- Optional support for position-independent code via a command line option
-fPIC. This is disabled by default and not required for natdynlink.
- Can emit both ARM and Thumb-2 code, with avg. code size savings of 28% for
Thumb-2 (quite close the optimal 30% advertised by ARM Ltd.).
- Supports both AAPCS (armel) as well as extended VFP calling conventions
(armhf).
- Supports several special ARM instructions to reduce code size and latency.
- Uses standard ARM EABI runtime functions instead of relying on GCC internals.
- Supports exception backtraces.
- Supports profiling using gprof.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-04 10:15:24 +00:00
958c48049f
PR#5336: add .type directives in ARM code
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18 08:09:34 +00:00
3b507dd1aa
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
2011-07-27 14:17:02 +00:00
4e50c497a8
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
2009-05-04 13:46:46 +00:00
5732a03e65
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
2009-03-31 09:45:55 +00:00
04aa158cb6
merge changes from 3.10.1 to 3.10.2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-02-29 14:21:22 +00:00
258688a333
depollution suite (PR#1914 et PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-03 12:51:20 +00:00
0c7aecb88d
depollution suite (et fin?) (PR#1914 et PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-02 19:23:29 +00:00
5a678d29f5
depollution suite (PR#1914 et PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-01 16:42:43 +00:00
331b2d89c3
depollution suite (PR#1914, PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-31 14:20:40 +00:00
71cf31f0e2
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
2002-02-08 16:55:44 +00:00
7501784c80
MAJ en-tetes pour mentionner la 'special exception' sur la LGPL
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-07 13:41:02 +00:00
3f6a493b87
MacOS: ajout macosunix; portage bigarray et systhreads; tabs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-05 18:30:22 +00:00
65981ac3e6
Bug dans le traitement des exceptions qui s'echappent d'un callback C -> Caml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-18 14:42:01 +00:00
cc0f32b054
Changement de la licence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
6e1aa1f7f1
Ajout de callback*_exn
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-14 16:48:25 +00:00
eae6662350
Typo dans array_bound_error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-01 14:14:24 +00:00
016a2078e7
Suppression code inutile dans caml_array_bound_error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-12 09:32:55 +00:00
939d9b30a9
En ocamlopt, les acces hors bornes levent Invalid_argument au lieu de planter le programme. Itou pour les fonctions C qui appellent invalid_argument. Teste sur Intel, a tester sur les autres
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-11 15:35:48 +00:00
66ae9423a7
Portage ARM
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-15 16:10:53 +00:00
281583d13d
Portage ARM
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-10 14:56:53 +00:00
Damien Doligez
Benedikt Meurer
Xavier Leroy