[m-rev.] diff: optimize dead procs for robdd.m.

[Julien Fischer]

On Mon, 14 Feb 2005, Zoltan Somogyi wrote:

> This is for both branches.
>
> Zoltan.
>
> library/Mmakefile:
> 	Optimize dead procs even for robdd.m, since not doing so leaves
> 	unneeded procedures in the output, slowing compilation and increasing
> 	code size.
>
> cvs diff: Diffing .
> Index: Mercury.options
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/library/Mercury.options,v
> retrieving revision 1.2
> diff -u -b -r1.2 Mercury.options
> --- Mercury.options	21 Dec 2004 07:37:18 -0000	1.2
> +++ Mercury.options	13 Feb 2005 05:06:07 -0000
> @@ -18,7 +18,7 @@
>
>  # Bug workarounds.
>  MCFLAGS-std_util += --no-halt-at-warn
> -MCFLAGS-robdd += -O0
> +MCFLAGS-robdd += -O0 --optimize-dead-procs
>

Actually, you can probably remove the -O0 and just have
--no-loop-invariants --no-common-struct since those are the
optmizations are that are conspiring to cause the assertion
failures that this workaround was for.

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