inline

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 5 Nov 2001 20:34:28 -0500 (EST)


> Actually, I don't see how this will help.  The x86-codegen might
> perform a simplification that causes the only nontail call that refers
> to some handler H to be dead.   As far as the SSA is concerned, the
> SetHandler H refers to a live handler.

Correct.

> So I, see one of the following possibilities: the x86-codegen either
> needs to
> 
> 	1. not do simplifications that change the liveness of handlers
> 		and we will require the backend to produce code with
> 		then necessary invariants
> or	2. turn SetHandlers of unreachable handlers into no-ops
> or	3. keep a bogus label for unreachable handlers
> 
> I think that (1) is hard.  I am happy with either (2) or (3).  I just
> saw your recent mail, which seems to suggest (2), which is fine by me.

Yes, I'm going with 2.  There is only one place where I serious change
control flow, so there is only only one place where we need to turn those
set handlers into nops.

I'm trying out the fix now.