[m-rev.] diff: structure sharing widening on library

[Peter Wang]

Estimated hours taken: 0
Branches: main

library/Mercury.options:
	Enable structure sharing widening on set_ctree234, set_tree234,
	tree234.

Index: library/Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.28
diff -u -r1.28 Mercury.options
--- library/Mercury.options	3 Aug 2007 02:30:39 -0000	1.28
+++ library/Mercury.options	24 Jan 2008 03:49:15 -0000
@@ -19,6 +19,11 @@
 MCFLAGS-sparse_bitset += --use-atomic-cells --optimize-constant-propagation
 MCFLAGS-tree_bitset += --use-atomic-cells --optimize-constant-propagation
 
+# Speed up structure sharing analysis.
+MCFLAGS-set_ctree234 += --structure-sharing-widening 1
+MCFLAGS-set_tree234 += --structure-sharing-widening 1
+MCFLAGS-tree234 += --structure-sharing-widening 1
+
 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn
 MCFLAGS-dir += --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
--------------------------------------------------------------------------