[m-dev.] Re: for review: convert MLDS assignments into initializers

[Fergus Henderson]

On 09-Feb-2001, Julien Fischer <juliensf at students.cs.mu.oz.au> wrote:
> 
> On Thu, 8 Feb 2001, Fergus Henderson wrote:
> > +% Currently the optimization we do here are
> > +%	- turning tailcalls into loops.
> > +%	- converting assignments to local variables into variable initializers
> 
> s/optimization/optimizations/
> s/initializers/initializers./

Shall do.

> > +% initializer_contains_var(no_initializer, _) :- fail.
> 
> Why is this commented out?

Here's what I wrote in the log message when I commented
them out:

        Comment out some clauses that just called `fail'.
	This aim of this change is to work around a bug in the
	LLDS back-end, which was miscompiling this file
	(on dec-alpha-osf3.2, with -O5 --opt-space).

The purpose of having that code/comment there at all is to document
that this procedure is *intended* to fail in the `no_initializer' case.

> > Index: doc/user_guide.texi
> >  
> > + at item --no-optimize-initializations
> > +Leave initializations of local variables as assignment statements,
> > +rather converting such assignments statements into initializers.
> 
> That last line would make more sense as:
> "rather than converting such assignment statements into initializers."

Yes, that was a typo, thanks for spotting it.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------