[m-rev.] for review: run dependent parallel conjunction as necessary

[Julien Fischer]

On Fri, 11 Aug 2006, Peter Wang wrote:

> Estimated hours taken: 3
> Branches: main
>
> This patch reduces the amount of time spent running the dependent parallel
> conjunction transformation by only running it on predicates which contain
> (or could contain) parallel conjunctions.
>
> compiler/hlds_out.m:
> compiler/hlds_pred.m:
> compiler/intermod.m:
> compiler/size_prof.m:
> compiler/table_gen.m:
> 	Add the marker `may_have_parallel_conj'.
>
> compiler/simplify.m:
> 	When we come across a parallel conjunction during the simplification
> 	of a procedure, add the marker `may_have_parallel_conj' for the
> 	pred_info of that procedure.
>
> compiler/dep_par_conj.m:
> 	Check that a predicate has the `may_have_parallel_conj' marker before
> 	running the dependent parallel conjunction transformation on the
> 	procedures of that predicate.
>
> compiler/deforest.m:
> compiler/inlining.m:
> compiler/lambda.m:
> 	Preserve the `may_have_parallel_conj' marker in derived procedures.

That looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------