From z Sun Dec 03 02:38:57 2000
Received: from maguro.epr.com ([198.3.162.27]) by exchange.epr.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21)
	id WNKAN0L7; Sat, 2 Dec 2000 17:35:12 -0800
Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.160.1])
	by maguro.epr.com (8.9.3/8.9.3) with ESMTP id RAA25762
	for <sweeks@intertrust.com>; Sat, 2 Dec 2000 17:39:06 -0800 (PST)
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id RAA28866 for <sweeks@intertrust.com>; Sat, 2 Dec 2000 17:39:04 -0800 (PST)
Received: from nodnsquery(199.222.69.4) by magrathea.epr.com via smap (V5.5)
	id xma028858; Sat, 2 Dec 00 17:39:02 -0800
Received: from clairv.com (IDENT:root@pc246.edi.nunet.net [199.249.165.246])
	by mail.acm.org (8.9.3/8.9.3) with ESMTP id UAA59750
	for <sweeks@acm.org>; Sat, 2 Dec 2000 20:38:57 -0500
Received: from simon.cs.cornell.edu (simon.cs.cornell.edu [128.84.154.10])
	by clairv.com (8.9.3/8.9.3) with ESMTP id TAA19706
	for <MLton@sourcelight.com>; Sat, 2 Dec 2000 19:38:59 -0600
Received: from sundial.cs.cornell.edu (sundial.cs.cornell.edu [128.84.96.115])
	by simon.cs.cornell.edu (8.9.3/8.9.3/R-3.1) with ESMTP id UAA19058
	for <MLton@sourcelight.com>; Sat, 2 Dec 2000 20:38:59 -0500 (EST)
Received: from hoho.cs.cornell.edu (hoho.cs.cornell.edu [128.84.96.89])
	by sundial.cs.cornell.edu (8.9.3/8.9.3/M-3.2) with ESMTP id UAA08802
	for <MLton@sourcelight.com>; Sat, 2 Dec 2000 20:38:58 -0500 (EST)
Received: from localhost (fluet@localhost)
	by hoho.cs.cornell.edu (8.9.3/8.9.3/C-3.0) with SMTP id UAA02034
	for <MLton@sourcelight.com>; Sat, 2 Dec 2000 20:38:58 -0500 (EST)
X-Authentication-Warning: hoho.cs.cornell.edu: fluet owned process doing -bs
Date: Sat, 2 Dec 2000 20:38:57 -0500 (EST)
From: Matthew Fluet <fluet@CS.Cornell.EDU>
To: MLton@sourcelight.com
Subject: Re: property lists
In-Reply-To: <14887.60132.502432.435165@eponym.epr.com>
Message-ID: <Pine.SOL.3.95.1001202202926.4467D-100000@hoho.cs.cornell.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on 
	eponym.sweeks.com
X-Spam-Level: 
X-Spam-Status: No, hits=-100.0 required=3.0 tests=AWL,USER_IN_WHITELIST 
	autolearn=no version=2.60


> > > Could you explain a bit more about how this can happen?
> > 
> > Sure.  Consider a really simple block from MachineOutput:
> ...
> 
> Thanks.  Your example makes sense.  It looks like you have to repeat the
> liveness computations for the new overflow blocks.   Another possible solution
> to the problem is to change the CPS IL so that overflow primapps are transfers
> so that the blocks are explicit at the CPS level.

But, if the liveness information for everything else is correct, then I
won't need to do a fixed point computation.  It will be sufficient to
recognize overflow blocks, trace forward through blocks until I find a
non-overflow block whose liveness is known, then propagate the liveness
back through all the blocks to the original overflow block (updating other
overflow blocks as I go along).  That should be approximately linear in
the size of the overflow blocks.