Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,977 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

64 Commits (1fb2a8166c70c92b620c5b57385ab373f3e69852)

Author SHA1 Message Date
Jérémie Dimino 843aef33bd Support Val in the sparc/emit.mlp 
Not tested, but without it just can't compile anything

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-08-25 16:18:54 +00:00
Jérémie Dimino 766a5adf41 Update sparc backend for unboxed primitive arguments/results 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-08-25 16:18:54 +00:00
Xavier Leroy 66e958ef0f Still following up on commit 16278. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-07-27 17:25:17 +00:00
Xavier Leroy 7027b858eb Update "register_class" followign the introduction of the Val machine type. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-07-27 11:37:52 +00:00
Xavier Leroy ac02f56351 More precise typing at the C-- and Mach level: 
- Register type "Addr" is split into
    . "Val" (well-formed OCaml values, appropriate as GC roots)
    . "Addr" (derived pointers within the heap, must not survive a GC)
- memory_chunk "Word" is split into
    . "Word_val" (OCaml value)
    . "Word_int" (native-sized integer, not a pointer into the heap)

Cmmgen was updated to use Word_val or Word_int as appropriate.

Application #1: fail at compile-time if a derived pointer within the heap
survives a GC point (cf. PR#6484).

Application #2: CSE can do a better job across allocation points
(keep factoring expressions of type Int, Val, Float, but not Addr).


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-11-06 08:54:14 +00:00
Damien Doligez cbfe627f92 merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-08-22 13:45:02 +00:00
Xavier Leroy 657ba73021 Liveness & Deadcode: fix i386-specific issue with move instructions accessing 
the x87 FP stack, which must not be eliminated.
CSEgen: harden against the same x87-specific issue + against reuse of
  values in fixed hardware registers that were destroyed by a prior
  operation.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-05-16 14:37:22 +00:00
Xavier Leroy 558f40e344 New back-end optimization pass: common subexpression elimination (CSE). 
(Reuses results of previous computations instead of recomputing them.)
(Cherry-picked from branch backend-optim.)
Tested on amd64/linux and i386/linux.
Other back-ends compile (after assorted updates) but are untested.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-04-26 10:40:22 +00:00
Xavier Leroy 9c1d005ebb New back-end optimization pass: dead code elimination. 
(Removes arithmetic and load instructions whose results are unused.)
(Cherry-picked from branch backend-optim.)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-04-26 09:31:18 +00:00
Xavier Leroy 29b34438e0 - Constant ropagation for float and int32/int64/nativeint arithmetic. 
Constant propagation for floats can be turned off with option
  -no-float-const-prop, for codes that change FP rounding modes at
  run-time.
- Clambda / C-- / Mach: represent float constants as FP numbers of type 
  float rather than literals of type string.
- Tested for AMD64; other archs need testing.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-04-25 08:41:13 +00:00
Mark Shinwell 583bfd46c2 be explicit when constructing integers that are block headers 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2014-03-17 14:34:00 +00:00
Benedikt Meurer 3bb161216b Perform constant optimizations for integer division and modulus on the C-- level. 
This way we can avoid having to duplicate the same functionality for
every backend, and we may also benefit from other optimizations performed
during C-- generation.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-11-19 07:01:54 +00:00
Alain Frisch f16534ef1a Reintegrate raise_variants branch. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-11-13 13:55:13 +00:00
Alain Frisch 07e704dfd5 Remove use of deprecated features (#6227, patch by johnwhitington). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-11-07 11:02:51 +00:00
Alain Frisch 0efe8df107 Adapt sparc backend (stacktraces not supported anyway). 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-10-15 12:07:23 +00:00
Fabrice Le Fessant 9b53f8b10d Re-add configure option -with-frame-pointers 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-06-03 18:03:59 +00:00
Fabrice Le Fessant 97bc1fa9e2 Reverting -with-frame-pointers 
Fails to compile alt-ergo without frame-pointers. No time to debug
before tonight, so I revert and will merge again after fixing the
problem.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-06-03 06:29:33 +00:00
Fabrice Le Fessant 1b2667b9f2 Add -with-frame-pointers to ./configure 
This option can be used to tell the native compiler that it should
update frame pointers, so that debuggers and profiling tools 
(especially Linux perf) can use them. For now, it is only supported
by the Unix/amd64 port.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-06-03 04:42:42 +00:00
Fabrice Le Fessant ec7ac9cb3d PR#5771: Add primitives for reading 2, 4, 8 bytes in strings and bigarrays 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-11-09 16:15:29 +00:00
Damien Doligez def31744f9 remove all $Id keywords 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-10-15 17:50:56 +00:00
Fabrice Le Fessant 930864c9cc Fix PR#5695 (Redoing commit 12756 without unwanted changes) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-07-22 15:18:52 +00:00
Fabrice Le Fessant 808d083b9f Revert commit r12756 containing unwanted changes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-07-22 15:15:55 +00:00
Fabrice Le Fessant 5e74e6f0cc Fix PR#5695 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-07-22 15:12:43 +00:00
Xavier Leroy 79eab1a6e2 PR#5513: protect against min_int / -1 crashing on x86 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-02-24 10:13:02 +00:00
Benedikt Meurer fb327a7c2b 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
 2012-02-04 09:43:33 +00:00
Xavier Leroy ca0c236919 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
 2011-12-18 10:00:56 +00:00
Damien Doligez 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
Xavier Leroy 8e5b81144b PR#5027: method! for overriding 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-04-22 12:51:06 +00:00
Damien Doligez 04b1656222 clean up spaces and tabs 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-01-22 12:48:24 +00:00
Damien Doligez bdc0fadee2 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
 2010-01-20 16:26:46 +00:00
Xavier Leroy 9ccb911666 Can select which assembler to use at configuration time (PR#4171) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2007-10-30 12:37:16 +00:00
Damien Doligez 1279ab4b76 fusion des changements 3.09.1 -> 3.09.2 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2006-04-16 23:28:22 +00:00
Jacques Garrigue fa7b15b858 remove dead code 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2005-10-07 09:34:19 +00:00
Xavier Leroy a8afc7f0a0 Revu checkbound pour Sparc/non-Solaris (PR#2980) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6598 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2004-08-12 16:04:07 +00:00
Damien Doligez 258c929f64 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
 2004-01-05 20:26:19 +00:00
Damien Doligez 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
Xavier Leroy 9fe0fd71c4 Bug dans comparaison immediate pour Sparc V9 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5818 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2003-09-04 12:31:08 +00:00
Xavier Leroy 4755668ea9 Support Sparc et PowerPC pour NetBSD (PR#1746) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5711 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2003-07-17 15:11:03 +00:00
Xavier Leroy 2f698390a5 Support SPARC V8 et SPARC V9. Suppression indirection sur young_limit dans le cas de Solaris. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-11-29 15:03:08 +00:00
Xavier Leroy 9178881f44 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
 2002-11-24 15:55:26 +00:00
Damien Doligez 851b9cb158 deps 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-07-22 16:38:07 +00:00
Xavier Leroy bae1b84692 Faire Filename.quote sur les noms de fichiers passes au compilo C, etc (PR#896) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-03-12 16:17:53 +00:00
Xavier Leroy 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
Pierre Weis 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
Pierre Weis 9abfff060e Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-04-21 08:13:22 +00:00
Xavier Leroy 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
Xavier Leroy 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
Pierre Weis 39553e9972 Révision de l'impression à l'aide de format: utilisation de printf 
pour condenser les programmes et aussi préparer une future (éventuelle)
internationalisation d'Objective Caml.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-08 20:00:06 +00:00
Xavier Leroy d9fe400f4e Oubli: Cint32 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-04 15:08:23 +00:00
Xavier Leroy dca961a658 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@2781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-04 13:47:25 +00:00