[m-rev.] for review: liveness assertion failure with CTGC

[Peter Wang]

On 2008-01-30, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
>  On Wed, 30 Jan 2008, Peter Wang wrote:
> 
> > Branches: main
> >
> > Avoid assertion failures in the liveness detection pass which is called as
> > part of computing in-use information for structure reuse.  The problem 
> > occurs
> > for procedures containing an if-then-else goal with an `erroneous' 
> > condition.
> > As written, liveness.m expects such goals to have been simplified 
> > beforehand.
> > This is not the case when structure reuse is enabled, as the structure 
> > reuse
> > analysis is run before simplification.
> 
>  Which simplification pass are you referring to here?  (Obviously not
>  the one at stage 65, i.e. "frontend_simplify", since that is always
>  run before structure reuse.)

Sorry, stage 325 ll_backend_simplify.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------