delta/ocaml.git/asmcomp/arm/proc.ml, 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

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

[arm] r12 is destroyed for constants that are not a power of 2.

2013-11-02T15:28:26+00:00

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

[arm] Optimize integer division and modulus by constant.

2013-11-02T15:19:20+00:00

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

Re-add configure option -with-frame-pointers

2013-06-03T18:03:59+00:00

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

Reverting -with-frame-pointers

2013-06-03T06:29:33+00:00

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

Add -with-frame-pointers to ./configure

2013-06-03T04:42:42+00:00

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

[arm] Fix arch selection with ARMv6. Rename EABI_VFP to EABI_HF.

2012-12-29T00:49:57+00:00

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

[arm] Improve register pressure for interval splitting.

2012-12-28T23:27:56+00:00

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