[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