[m-rev.] Re: diff: fix structure sharing bugs

Peter Wang novalazy at gmail.com
Tue Feb 19 15:49:08 AEDT 2008


On 2008-02-19, Peter Wang <novalazy at gmail.com> wrote:
> The compiler bootstraps with --ctgc --intermodule-optimisation.  Well,
> two modules in library (bag.m, multi_map.m) may still need inlining
> disabled (an existing problem).  Benchmarks later.
> 

On my laptop, CPU frequency switching disabled.

% mmc -s asm_fast.gc ...

EXTRA_MCFLAGS = --no-use-atomic-cells --intermodule-optimisation --structure-reuse
mercury_compile.01 average of 12 with ignore=1     18.33 ( 99.56%)

EXTRA_MCFLAGS = --no-use-atomic-cells --intermodule-optimisation
mercury_compile.02 average of 12 with ignore=1     18.41 ( 99.99%)

% mmc -s hlc.gc ...

EXTRA_MCFLAGS = --no-use-atomic-cells --intermodule-optimisation --structure-reuse
mercury_compile.01 average of 12 with ignore=1     16.84 (100.24%)

EXTRA_MCFLAGS = --no-use-atomic-cells --intermodule-optimisation
mercury_compile.02 average of 12 with ignore=1     16.80 ( 99.99%)


This was required:

Index: library/Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.29
diff -u -r1.29 Mercury.options
--- library/Mercury.options     24 Jan 2008 03:50:46 -0000      1.29
+++ library/Mercury.options     19 Feb 2008 04:23:25 -0000
@@ -23,6 +23,8 @@
 MCFLAGS-set_ctree234 += --structure-sharing-widening 1
 MCFLAGS-set_tree234 += --structure-sharing-widening 1
 MCFLAGS-tree234 += --structure-sharing-widening 1
+MCFLAGS-bag += --no-inlining
+MCFLAGS-multi_map += --no-inlining
 
 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list