[m-dev.] [reuse] for review: don't compute liveness for special preds
Nancy Mazur
Nancy.Mazur at cs.kuleuven.ac.be
Tue Oct 3 19:50:36 AEDT 2000
> Nancy,
>
> will this break anything?
nope. Shouldn't break anything at all. The special preds are not
analysed.
>
>
> ===================================================================
>
>
> Estimated hours taken: 1
>
> compiler/pa_prelim_run.m:
> Don't compute the liveness of the special preds, as it doesn't alway
> succeed.
>
> Index: pa_prelim_run.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/Attic/pa_prelim_run.m,v
> retrieving revision 1.1.2.1
> diff -u -r1.1.2.1 pa_prelim_run.m
> --- pa_prelim_run.m 2000/09/19 10:02:07 1.1.2.1
> +++ pa_prelim_run.m 2000/10/02 13:27:33
> @@ -34,7 +34,13 @@
> :- import_module hlds_goal, prog_data.
>
> annotate_all_liveness_in_module( HLDSin, HLDSout) :-
> - module_info_predids( HLDSin, PRED_IDS ),
> + module_info_predids( HLDSin, PRED_IDS0 ),
> +
> + module_info_get_special_pred_map(HLDSin, SpecialPredMap),
> + map__values(SpecialPredMap, SpecialPredIds),
> +
> + list__delete_elems(PRED_IDS0, SpecialPredIds, PRED_IDS),
> +
> list__foldl(
> annotate_all_liveness_in_module_2,
> PRED_IDS,
>
> --------------------------------------------------------------------------
> mercury-developers mailing list
> Post messages to: mercury-developers at cs.mu.oz.au
> Administrative Queries: owner-mercury-developers at cs.mu.oz.au
> Subscriptions: mercury-developers-request at cs.mu.oz.au
> --------------------------------------------------------------------------
>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list