delta/ocaml.git/asmcomp/amd64, branch safe-string

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

New back-end optimization pass: dead code elimination.

2014-04-26T09:31:18+00:00

(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

Follow-up to commit 14673: MASM has its own syntax for hex constants

2014-04-26T07:11:11+00:00

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

Follow-up to commit 14673: Iconst_float now takes a float, no longer a string.

2014-04-25T14:02:43+00:00

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

- Constant ropagation for float and int32/int64/nativeint arithmetic.

2014-04-25T08:41:13+00:00

  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

fix regression (extraneous moves) caused by previous Cconst_blockheader patch

2014-04-21T06:28:16+00:00

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

on i386 and AMD64, mark 'morally tail' C function calls as non-leaf

2014-04-16T08:34:21+00:00

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

fix msvc64 port by removing unused open Misc (untested, esp. on other Windows ports)

2014-03-27T15:06:28+00:00

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

be explicit when constructing integers that are block headers

2014-03-17T14:34:00+00:00

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

port to cygwin-64

2013-12-03T14:43:02+00:00

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