[m-dev.] for review: make tailcall loops an MLDS transformation

Tyson Dowd trd at cs.mu.OZ.AU
Thu Aug 24 15:33:27 AEST 2000


On 24-Aug-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 24-Aug-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > 
> > diff -u compiler/mercury_compile.m compiler/mercury_compile.m
> > --- compiler/mercury_compile.m
> > +++ compiler/mercury_compile.m
> > -	maybe_write_string(Verbose, "% Optimizing MLDS...\n"),
> > -	ml_optimize__optimize(MLDS30, MLDS40),
> > -	maybe_write_string(Verbose, "% done.\n"),
> > +	globals__io_lookup_bool_option(optimize, Optimize),
> > +	( { Optimize = yes } ->
> > +		maybe_write_string(Verbose, "% Optimizing MLDS...\n"),
> 
> The user-level name for the `optimize' option is `--llds-optimize'.
> If you want to use the same internal option for enabling/disabling MLDS
> optimizations, that is OK, but if so you should allow `--mlds-optimize'
> as a user-level name for the option.

Good idea. 

--- compiler/options.m	2000/08/10 05:11:01	1.286
+++ compiler/options.m	2000/08/24 05:28:44
@@ -1070,6 +1070,12 @@
 long_option("follow-vars",		follow_vars).
 long_option("allow-hijacks",		allow_hijacks).
 
+% MLDS optimizations
+% Option `optimize' is used for both MLDS and LLDS optimizations, but since
+% you can't use both at the same time it doesn't really matter.
+long_option("mlds-optimize",		optimize).
+long_option("mlds-optimise",		optimize).
+
 % LLDS optimizations
 long_option("common-data",		common_data).
 long_option("llds-optimize",		optimize).

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list