delta/ocaml.git/asmcomp/selectgen.ml, branch flambda_trunk

propagate information about Initialization and Assignment, should fix CSE bad behaviour

2015-11-26T14:48:29+00:00

PR#7024 and GPR#295: CSE confuses +0.0 and -0.0

2015-11-19T08:25:02+00:00

The fix consists in representing float literals by their bit patterns (int64) in the Mach and Linear intermediate languages.

A regression test was added to the test suite.

Split 64-bit integers on 32-bit architectures

2015-08-25T16:18:50+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Prudently revert the type of "Cconst_symbol" to typ_val instead of typ_int.

2014-11-07T18:11:51+00:00

There seems to be issues with let-bound variables initialized with symbol
addresses and later updated.


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@15572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

More precise typing at the C-- and Mach level:

2014-11-06T08:54:14+00:00

- 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

merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)

2014-08-22T13:45:02+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#6501: harden the native-code generator against certain uses of "%identity".

2014-08-11T07:46:25+00:00

Technically: when a C-- let-bound variable is assigned to, update its type
so that it is the lub of the types of the initial value and all values
assigned to it, with the type ordering Int <: Addr.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Add reset functions to make modules reentrant when used through compiler-libs

2014-05-09T12:01:21+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

New back-end optimization pass: common subexpression elimination (CSE).

2014-04-26T10:40:22+00:00

(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

part 2: fix regression (extraneous moves) caused by previous Cconst_blockheader patch

2014-04-21T06:55:48+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02