conts, handlers, and liveness

Matthew Fluet mfluet@intertrust.com
Wed, 18 Jul 2001 16:20:11 -0700 (PDT)


> > Now that I'm a little more familiar with the backend, I see that I'm
> > really duplicating information.  We can get by with just the jumpInfo
> > returning the various liveBegin lists and contInfo and handlerInfo just
> > having size information.  That seems a little cleaner.
>
> liveOffsets in the contInfo makes sense to me.  After all, it is only defined if
> the jump is a cont.  Maybe a better way to go would be to have a single
> property, jumpInfo, that has an option for the handler and an option for the
> cont?

That seems reasonable -- contInfo and handlerInfo are only used in a
couple of places in backend.fun.  I don't know why we have liveOffsets for
the handlers in the release version -- we never use it.