[Caml-list] CSE with FLambda?

[Caml-list] CSE with FLambda?

[Markus Mottl]

I haven't seen any reference to common subexpression elimination in
the FLambda documentation.  Sometimes a functor may be applied to the
exact same module in different parts of the code, and it may be
cumbersome to factor out this application.

Is or will FLambda be able to recognize such potential code
duplication and perform CSE on functor applications with identical
arguments?

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com

Re: [Caml-list] CSE with FLambda?

[Mark Shinwell]

This doesn't happen at the moment.  We have it on our roadmap for
OCaml 4.05 (freeze around January 2017) to implement some form of pure
function application lifting and sharing, of which this is an example.
We also plan to consider introducing some notion of "function body"
(disentangling them from closures) so that we can automatically
deduplicate functions in general.

Mark

On 20 June 2016 at 16:37, Markus Mottl <markus.mottl@gmail.com> wrote:
> I haven't seen any reference to common subexpression elimination in
> the FLambda documentation.  Sometimes a functor may be applied to the
> exact same module in different parts of the code, and it may be
> cumbersome to factor out this application.
>
> Is or will FLambda be able to recognize such potential code
> duplication and perform CSE on functor applications with identical
> arguments?
>
> Regards,
> Markus
>
> --
> Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs