6720bf57a1
Ajout du module typing/primitive.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-27 17:38:09 +00:00
819b9bd164
Suppression de caml_modify
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 13:05:03 +00:00
4878271adf
Suppression de Cmodify / Imodify.
...
Strength reduction sur les multiplications, divisions, modulo de
puissances de 2.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 13:04:41 +00:00
d1e2b83c19
Changement representation des primitives.
...
Introduction de datarepr.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:40:07 +00:00
384c0ddfa7
Changement representation des primitives
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@145 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:39:21 +00:00
7fcb1d47c5
Annotations "noalloc" sur les primitives.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:39:02 +00:00
8deb415b89
Changement representation des primitives.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:38:42 +00:00
9a9e2b16c8
cmmgen: MAJ sur la representation des primitives.
...
proc: ajout du flag word_addressed.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@142 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:37:38 +00:00
87f5802372
Ajout de typing/datarepr.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@141 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:36:29 +00:00
022543ea9e
Extension .out pour les executables.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@140 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:48:07 +00:00
d68eb8da35
nucleic: suppression de l'abrev "intg" pour une meilleure compilation de =.
...
boyer: decurryfication.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:47:53 +00:00
ac002cdc90
interp: bug dans BOOLNOT.
...
GC: on fait directement fatal_error si out of memory pendant le GC mineur.
Divers hacks locaux pour accelerer le GC majeur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@138 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:46:59 +00:00
b3b26e50eb
Detection plus fine des primitives C n'allouant pas.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:45:32 +00:00
a7c7c31fbe
fail: invalid_arg fait fatal_error.
...
signals: inclure fail.h.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@136 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:44:52 +00:00
428f9d2303
emit_i386: MAJ et tests.
...
emit_alpha: utiliser subq pour les comparaisons + branchements.
linearize: suprression moves vides, discard_dead_code ds Lraise.
selection: try...with en tail position.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@135 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:44:17 +00:00
9438561275
Faute de frappe.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@134 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-24 12:42:42 +00:00
18663057ba
Nettoyage des Makefiles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-21 09:03:58 +00:00
2f702357a2
MAJ.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 10:06:48 +00:00
6ee1e295c0
MAJ portage Sparc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@131 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 08:30:16 +00:00
907632029a
Initial revision
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 08:02:06 +00:00
4322e42e4d
Changement signification option -S.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@129 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 07:52:12 +00:00
0624670e7b
config.h: nettoyage
...
mlvalues.h: utiliser _end au lieu de end sur l'alpha.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@128 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 07:51:48 +00:00
15cad20a82
asmgen: changement signification option -S.
...
proc_sparc: appel du scheduler en place.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 07:51:11 +00:00
08e119d949
Orthographe de NATIVECCCOMPOPTS.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-20 07:50:43 +00:00
a1ff6727e7
Integration des tests bytecode / code natif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-19 19:38:48 +00:00
9ea1269891
linearize: MAJ commentaires.
...
emit_mips: utilisation de lwc1 / stc1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-19 09:56:51 +00:00
aa76a4e56c
Ajout ASFLAGS.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 17:41:36 +00:00
2ee785a0c7
MAJ portage Sparc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@122 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 17:40:23 +00:00
94883083ab
MAJ portage Sparc (a tester).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 13:09:02 +00:00
969f84e3f3
fail.c: declaration des exceptions predefinies.
...
Makefile: suppression de VPATH.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 09:45:16 +00:00
53da79c54e
Ajout $(COMPFLAGS) pour la compilation de pervasives.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:43:50 +00:00
02d8ae6d60
Separation des compilos C pour le bytecode / pour le compilo natif.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:42:01 +00:00
5b5cb38a31
MAJ suite a la separation de compilos C pour le bytecode / pour le
...
compilo natif.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:41:46 +00:00
ef5d1c3fb2
MAJ du Makefile suite a la separation de compilos C pour le bytecode /
...
pour le compilo natif.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:41:30 +00:00
a7d2358319
Production des exceptions predefinies par le linker natif.
...
MAJ du Makefile suite a la separation de compilos C pour le bytecode /
pour le compilo natif.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:41:12 +00:00
fafb9d5084
Production des exceptions predefinies par le linker natif.
...
Masquage du bit "frame scanned" sur l'adresse de retour quand on fait
un tailcall.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:40:44 +00:00
7cb817b8dd
Separation compilo C pour le bytecode / pour le compilo natif.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:39:40 +00:00
0a0580379a
MAJ conventions de caml_c_call.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-17 16:11:32 +00:00
3e935fb501
Nettoyages dans l'espoir d'aller un poil plus vite.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-17 16:11:08 +00:00
7005c1670d
Suppression d'une indirection sur les globaux.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-17 16:10:45 +00:00
b826ff65bc
Ajout des tests Ieventest et Ioddtest dans Mach.operation
...
Meilleure traduction lambda -> C-- pour les definitions de structures
toplevel.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-17 16:10:15 +00:00
efa7a2fe70
Initial revision
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-17 15:58:46 +00:00
71631bdaa7
Ajout option -compact.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 17:17:20 +00:00
8137de9583
Pour le MIPS, implementation du bit "deja scanne".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 17:16:52 +00:00
d0c03529e9
closure: suppression du parametre d'environnement si inutile.
...
cmmgen: prise en compte du flag -compact.
coloring: dissymetrisation des preferences.
interf: ne pas ajouter de preferences entre registres qui conflictent.
emit_mips: masquage du bit "deja scanne" sur les addresses de retour.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 17:16:20 +00:00
e59f5521a0
mips.asm: utilisation de "j" au lieu de "jal" pour lever une
...
exception.
Makefile: on n'utilise plus VPATH.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 12:52:37 +00:00
7bb1e28d35
Correction de l'appel a call_gc.
...
Utilisation de j au lieu de jal pour lever une exception. (pixie-friendly?)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 12:51:46 +00:00
4cac7cd8a6
Affichage des CRC.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 09:02:55 +00:00
0c8b586da0
compare.c hash.c mlvalues.h: redefinition de Is_atom a l'aide de &end
...
pour que les constantes structurees produites par le compilo natif
apparaissent comme des atomes et qu'on descende dedans dans equal et
hash.
ints.c: rectification de format_int pour qu'il formatte des long, pas
des int.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 09:02:41 +00:00
997d43903b
make depend rectifie.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-13 09:01:23 +00:00
Xavier Leroy