[m-rev.] trivial diff: don't deep profile Aditi procedures

Simon Taylor stayl at cs.mu.OZ.AU
Fri Oct 22 17:52:01 AEST 2004


Estimated hours taken: 0.5
Branches: main

compiler/deep_profiling.m:
	Don't apply the deep profiling transformation to Aditi procedures;
	we can't deep profile them.

Index: deep_profiling.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/deep_profiling.m,v
retrieving revision 1.28
diff -u -u -r1.28 deep_profiling.m
--- deep_profiling.m	30 Jun 2004 02:47:57 -0000	1.28
+++ deep_profiling.m	22 Oct 2004 07:49:45 -0000
@@ -97,6 +97,8 @@
 	proc_info_goal(ProcInfo0, Goal0),
 	proc_info_interface_determinism(ProcInfo0, Detism),
 	(
+		% Don't transform Aditi procedures; we can't profile them.
+		\+ hlds_pred__pred_info_is_aditi_relation(PredInfo0),
 		determinism_components(Detism, _CanFail, SolnCount),
 		SolnCount \= at_most_many,
 		proc_info_headvars(ProcInfo0, HeadVars),
@@ -460,6 +462,11 @@
 		% managing the deep profiling call graph, or we'd get
 		% infinite recursion.
 		mercury_profiling_builtin_module(PredModuleName)
+	->
+		true
+	;
+		% Don't transform Aditi procedures; we can't profile them.
+		hlds_pred__is_aditi_relation(ModuleInfo, PredId)
 	->
 		true
 	;
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list