[m-dev.] [reuse] diff: turn construct-optimization off for alias-run

Nancy Mazur Nancy.Mazur at cs.kuleuven.ac.be
Mon Oct 16 04:51:33 AEDT 2000


Hi,


===================================================================


Estimated hours taken: 0.5

Remove the optimization that was done for the alias pass when 
handling construction-unification. 

pa_alias_as.m:
	The optimization is incorrect when the set of post-deaths
	contains headvars. For the moment I removed the optimization.
	It will be worthwhile to come back to this in the near 
	future and correct it instead of removing it. 



Index: pa_alias_as.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Attic/pa_alias_as.m,v
retrieving revision 1.1.2.2
diff -u -r1.1.2.2 pa_alias_as.m
--- pa_alias_as.m	2000/10/09 19:12:20	1.1.2.2
+++ pa_alias_as.m	2000/10/15 17:48:02
@@ -396,6 +396,8 @@
 extend_unification( ProcInfo, HLDS, Unif, GoalInfo, ASin, ASout ):-
 	pa_alias__from_unification( ProcInfo, HLDS, Unif, GoalInfo, AUnif),
 	wrap(AUnif, ASUnif),
+	extend( ProcInfo, HLDS, ASUnif, ASin, ASout). 
+/*
 	extend( ProcInfo, HLDS, ASUnif, ASin, ASout0), 
 	(
 		Unif = construct(_, _, _, _, _, _, _)
@@ -404,6 +406,7 @@
 	;
 		ASout = ASout0
 	).
+*/
 
 :- pred optimization_remove_deaths( alias_as, hlds_goal_info, alias_as).
 :- mode optimization_remove_deaths( in, in, out) is det.
--------------------------------------------------------------------------
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