[m-dev.] diff: fix implied mode performance bug in simplify.m

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Feb 25 19:45:35 AEDT 2000


Estimated hours taken: 0.1 (+ unknown by Tom Conway)

Apply a fix from Tom Conway.

compiler/simplify.m:
	Fix a performance bug: delete an unnecessary call to
	module_info_pred_info.  The pred_info was already passed
	in as an argument, so that call ended up being a call to
	an implied mode, and resulted in an unnecessary deep
	unification which always succeeded.

Workspace: /d-drive/home/hg/fjh/mercury
Index: compiler/simplify.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/simplify.m,v
retrieving revision 1.75
diff -u -d -r1.75 simplify.m
--- compiler/simplify.m	2000/02/03 19:39:42	1.75
+++ compiler/simplify.m	2000/02/24 18:48:42
@@ -91,7 +91,6 @@
 	{
 		% Don't warn for compiler-generated procedures.
 		list__member(warn_simple_code, Simplifications0),
-		module_info_pred_info(ModuleInfo0, PredId, PredInfo0),
 		code_util__compiler_generated(PredInfo0)
 	->
 		list__delete_all(Simplifications0, warn_simple_code,

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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