delta/ocaml.git/asmcomp/amd64/proc.ml, branch ephemeron

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

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

Follow-up to commit r14254: update destroyed_at_oper and max_register_pressure

2013-11-01T17:05:21+00:00

for immediate Idiv and Imod.


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

remove all $Id keywords

2012-10-15T17:50:56+00:00

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

PR#5707: in AMD64 port, exchange the roles of r10-r11 and r12-r13,

2012-09-08T16:53:39+00:00

  so that r10 and r11 are no longer used for parameter passing,
  and can therefore be destroyed by the dynamic loader without harm.
(Cherry-picked from version/4.00, commit 12907).


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

clean up TABs and whitespace

2012-07-30T18:04:46+00:00

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

More renaming to OCaml

2012-02-10T16:15:24+00:00

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