[m-rev.] for review: .opt files for intermodule analysis

[Peter Wang]

On 2008-02-18, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> Could you please run some benchmarks between
> compilers built using the two different intermodule optimization
> systems.

On neptune:

EXTRA_MCFLAGS = -O5 --intermodule-analysis --no-optimise-unused-args
mercury_compile.01 average of 12 with ignore=1     21.72

EXTRA_MCFLAGS = -O5 --intermodule-optimisation --no-optimise-unused-args
mercury_compile.02 average of 12 with ignore=1     21.70


I disabled optimise unused args due to bug #43.  The following was also
required.

Index: compiler/Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.33
diff -u -r1.33 Mercury.options
--- compiler/Mercury.options    30 Dec 2007 08:23:30 -0000      1.33
+++ compiler/Mercury.options    19 Feb 2008 05:05:19 -0000
@@ -14,7 +14,7 @@
 # Several predicates in quantification.m contain an argument which is needed
 # only to select the right mode. We want to make sure that we don't take up
 # code space or execution time to pass these arguments.
-MCFLAGS-hlds.quantification = --optimize-unused-args
+#MCFLAGS-hlds.quantification = --optimize-unused-args

 # process_util.m uses `kill' and `struct sigaction' from <signal.h>,
 # which are not available with `--ansi'.
@@ -55,7 +55,7 @@
 MCFLAGS-check_hlds.check_typeclass = --no-loop-invariants

 # This is the same bug as tests/valid/ho_and_type_spec_bug2.
-MCFLAGS-mode_robdd.tfeirn = -O3
+MCFLAGS-mode_robdd.tfeirn = -O2
 MCFLAGS-mode_robdd.implications = -O0

 # Work around a problem in the HiPE compiler (as of Erlang R11B5).
Index: library/INTER_FLAGS_MMC_MAKE
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/INTER_FLAGS_MMC_MAKE,v
retrieving revision 1.3
diff -u -r1.3 INTER_FLAGS_MMC_MAKE
--- library/INTER_FLAGS_MMC_MAKE        7 Aug 2006 06:31:23 -0000       1.3
+++ library/INTER_FLAGS_MMC_MAKE        19 Feb 2008 05:05:20 -0000
@@ -1,3 +1,2 @@
---intermodule-optimization
 --no-warn-smart-recompilation
 --analyse-exceptions



--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------