[m-rev.] for review: make deep profiling bootstrap again

[Fergus Henderson]

On 05-Feb-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> compiler/deep_profiling.m:
> 	Mark transformed some() goals that act as cuts as being non-removable.
> 	Without this, determinism analysis (reinvoked by simplify after the
> 	deep profiling transformation) could remove some()s from around
> 	nondet goals with no output arguments that have been made impure
> 	by the insertion of impure code into them by the deep profiling
> 	transformation.
> 
> compiler/det_analysis.m:
> 	Respect the non-removable markers placed by deep_profiling.m.

[summarizing verbal discussion]

1.  s/could remove some()s from around/could compute the wrong determinism for/
    or something along those lines.
    (det_analysis.m doesn't remove the `some's -- the problem is that
    it doesn't treat them as cuts for determinism analysis.)

2.  It would probably be cleaner to introduce a new goal_feature for `some'
    goals that represent cuts, and to have det_analysis check that,
    rather than having det_analysis treat cannot_remove `some' goals
    as cuts.

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