delta/ocaml.git/asmcomp/arm64/emit.mlp, 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

- 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 some of the whitespace problems in the source

2014-04-12T10:17:02+00:00

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

PR#6351: minor arm64 fix (patch by Richard W.M. Jones)

2014-03-25T10:49:24+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14487 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

Perform constant optimizations for integer division and modulus on the C-- level.

2013-11-19T07:01:54+00:00

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

Reintegrate raise_variants branch.

2013-11-13T13:55:13+00:00

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

Follow-up to commit r14254: optimization of immediate division and modulus for ARM64. Completely untested.

2013-11-01T18:10:18+00:00

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

Support raise_notrace under arm/arm64 (not tested). Do not distinguish raise/reraise for now.

2013-10-15T12:03:47+00:00

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

Port to the ARM 64-bits (AArch64) architecture (experimental).

2013-07-18T16:09:20+00:00

Merge of branch branches/arm64.


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