bd1a4e00c3
bug 539
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-21 15:59:16 +00:00
157c4e54c9
new Switch module
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 16:31:09 +00:00
5bdf5bc1d9
Suppression re-partage des constantes structurees, ne sert pas a grand chose et introduit trop de differences semantiques par-rapport au compilateur bytecode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-02 12:13:58 +00:00
a9c4a16caa
optimsation pm a donf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 20:15:42 +00:00
0790205e08
Forcer la troncature a 31 bits dans les conversions boxed int -> int (PR#269)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-05 08:48:13 +00:00
36efd7ee97
Suppression de messages de debug qui etaient restes par erreur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-25 14:40:54 +00:00
2e64d3170c
Revu et etendu l'unboxing des nombres dans les let
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-13 11:55:43 +00:00
2116da4220
Getting rid of obsolete boolean operators & and or
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
89f252d93e
or-pat avec variables et compil du switch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-02 14:08:30 +00:00
d043fecf18
new or-pat compilation + exhaustiveness used in compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 19:50:59 +00:00
485d38567d
Retour de Cconst_pointer et ajout de Cconst_natpointer (necessaires pour un bon typage du code C-- et donc des racines du GC, voire PR#58)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-17 13:24:17 +00:00
a98163685e
oublis Cconst_pointer -> Cconst_int
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2952 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-13 05:53:17 +00:00
90c6a0e491
Suppression de Cconst_pointer, redondant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-12 13:06:57 +00:00
c02c135946
Introduction de Double_u (doubles alignes sur un mot) par opposition a Double (doubles alignes naturellement). A tester.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-10 14:31:06 +00:00
96cb7c30af
Ajout des conversions int <-> int32 <-> int64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-05 19:17:54 +00:00
c0feeaa7e5
Optimisation des acces aux bigarrays
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2873 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-28 15:45:50 +00:00
864a8b5842
Erreur dans la taille des entiers alloues
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2872 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-28 09:03:00 +00:00
f2a2bf7d8b
Nativeint.t -> nativeint.
...
Debug des entiers alloues sur 64 bits
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-21 19:38:09 +00:00
b09f44025c
Ajout des types predefinis int32, int64, nativeint.
...
Ajout des primitives correspondantes dans le type lambda.
Optimisation de ces primitives dans le compilateur natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2839 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-21 18:14:56 +00:00
1cac403368
Ajout des modules Int32, Int64 et Nativeint
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2807 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-11 15:09:27 +00:00
44f0f8a5a4
Traitement plus uniforme des load et des store. Ajout load/store sur int32 et float32
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2779 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-04 12:43:18 +00:00
9968714ee2
optimisation des racines globales pour le GC mineur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-01-05 13:16:31 +00:00
221224ae94
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-06 17:10:36 +00:00
45a18236df
Revu compilation du filtrage des variants. Ajout de la primitive Pisint et de l'instruction bytecode ISINT.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-06 16:59:24 +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
1f5291367f
Lier explicitement la limite haute d'une boucle for a une variable (car si c'est deja une variable, elle pourrait changer lors de l'execution de la boucle)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-09 14:41:24 +00:00
7585ec9e29
Bug dans la compilation de ignore (!)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-03 18:29:20 +00:00
b22f481fa3
Mieux compiler while(not cond)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-03-10 13:50:24 +00:00
5038f3cdb6
Ajout de Pervasives.ignore. List.remove -> List.remove_ass*
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-24 15:21:50 +00:00
5980951342
Optimisation des decalages, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-01 09:28:52 +00:00
07f623dc28
Meilleur tagging/untagging pour les decalages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-01-29 08:50:10 +00:00
36b07ae020
Preallocation des fermetures pour les fonctions closes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-01-27 10:52:33 +00:00
0e6d40d981
Support pour le Dynlink natif de Fabrice Le Fessant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-20 15:35:04 +00:00
6c220cd9c1
Optimiser x + 0
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-11 09:38:40 +00:00
87b17301f4
Nouvelle syntaxe des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-24 19:22:26 +00:00
019ea317d1
Simplification compilation du let rec de valeurs. Meilleure compilation des boucles for.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-06 09:07:57 +00:00
735af8a7e8
Code genere un poil plus efficace pour les decalages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-15 09:20:44 +00:00
23686e5320
Quelques cas manquants dans la compilation du letrec de valeurs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-08-22 08:53:12 +00:00
4029d102d8
Bug de GC dans le let rec de valeurs: il ne faut pas ecraser l'en-tete
...
du bloc par celui du nouveau bloc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-07-23 14:38:14 +00:00
b149e67a88
Nouveau module Marshal dans stdlib
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-07-02 18:16:15 +00:00
03ec746bf1
deTABisation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-19 15:42:21 +00:00
274f164366
Representer les constantes entieres par le type Nativeint.t
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-04 10:19:51 +00:00
e7dee11f42
Traduction plus efficace des switches dont tous les cas sauf 1 ou 2
...
sont Ustaticfail.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-12 15:18:37 +00:00
3597ec5e9a
cmmgen: partage des litteraux
...
closure: broutille
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-01 15:35:28 +00:00
126cd22562
Optimisation des fonctions tuplifiees.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-22 13:36:12 +00:00
2d99580163
Ajout du module Types et d'infos d'environnement dans Typedtree.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:29:48 +00:00
7f3dd896c9
cmmgen: nettoyage de remove_unit (bug signale par Bruno Blanchet)
...
liveness: verifier les variables utilisees et non initialisees
selection: "optimisation" du cas Ctuple [].
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@938 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-07-25 13:15:16 +00:00
b6d70eb58b
cmmgen: pour le let rec de valeur, passer par modify.
...
selection: simplification du cas "Cstore", plus de store multiple.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-06-04 15:12:08 +00:00
2301d778e7
Renommage en Objective Caml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30 14:53:58 +00:00
7974a9d8b1
Extension objets.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22 11:15:41 +00:00
Luc Maranget
Xavier Leroy
Pierre Weis
Jacques Garrigue
Damien Doligez
Jérôme Vouillon