[m-rev.] diff: speed up --intermodule-analysis with --analyse-trail-usage

Julien Fischer juliensf at cs.mu.OZ.AU
Tue May 30 15:10:07 AEST 2006


Estimated hours taken: 0.1
Branches: main, release

compiler/trailing_analysis.m:
	Don't annotate goals with trail usage information when building the
	analysis registry.

Julien.

Index: compiler/trailing_analysis.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/trailing_analysis.m,v
retrieving revision 1.13
diff -u -r1.13 trailing_analysis.m
--- compiler/trailing_analysis.m	30 May 2006 03:17:35 -0000	1.13
+++ compiler/trailing_analysis.m	30 May 2006 04:34:43 -0000
@@ -141,7 +141,10 @@
             MakeOptInt, !IO),
         globals.io_lookup_bool_option(make_transitive_opt_interface,
             MakeTransOptInt, !IO),
-        Pass1Only = MakeOptInt `bool.or` MakeTransOptInt,
+        globals.io_lookup_bool_option(make_analysis_registry,
+            MakeAnalysisReg, !IO),
+        Pass1Only = MakeOptInt `bool.or` MakeTransOptInt
+            `bool.or` MakeAnalysisReg,
         module_info_ensure_dependency_info(!ModuleInfo),
         module_info_dependency_info(!.ModuleInfo, DepInfo),
         hlds_dependency_info_get_dependency_ordering(DepInfo, SCCs),
--------------------------------------------------------------------------
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