[m-dev.] Reuse question

[Fergus Henderson]

On 03-Oct-2000, Peter Ross <petdr at miscrit.be> wrote:
> On Tue, Oct 03, 2000 at 11:21:58AM +1100, Fergus Henderson wrote:
> > On 02-Oct-2000, Peter Ross <petdr at miscrit.be> wrote:
> > > On Mon, Oct 02, 2000 at 04:08:20PM +0200, Peter Ross wrote:
> > > > On Mon, Oct 02, 2000 at 06:38:33AM -0700, Ralph Becket wrote:
> > > > > How low-level does the reuse analysis go?  It would be nice if, when
> > > > > mapping over a list of cells that are then up for reuse, the list cells
> > > > > were updated in place.
> > > > > 
> > > > Yes the current analysis detects that there is reuse available there
> > > > provided that the original list is never needed again.
> > > 
> > > I lied the current analysis doesn't mark it for reuse because the
> > > predicate contains an higher order call.  Higher order calls are
> > > currently handled by setting the possible aliasing to top (everything is
> > > possibly aliased with everything else).
> > 
> > If you compile with appropriate optimization enabled (e.g.
> > -O6 --intermodule-optimization), the compiler should specialize
> > the code for list__map, and convert the higher-order call into a first-order
> > call.
> > 
> > Is reuse analysis getting done before higher-order specialization?
> > 
> Reuse analysis is the last operation of the middle_pass.

OK, so why doesn't the current reuse analysis mark it for reuse?
Or did your test fail just because you didn't enable full optimization?

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