From z Mon Dec 04 18:56:02 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 WNKA3CDS; Mon, 4 Dec 2000 09:54:08 -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 JAA13340
	for <sweeks@intertrust.com>; Mon, 4 Dec 2000 09:58:02 -0800 (PST)
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id JAA02852 for <sweeks@intertrust.com>; Mon, 4 Dec 2000 09:58:01 -0800 (PST)
Received: from nodnsquery(199.222.69.4) by magrathea.epr.com via smap (V5.5)
	id xma002437; Mon, 4 Dec 00 09:57:06 -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 MAA51692
	for <sweeks@acm.org>; Mon, 4 Dec 2000 12:57:01 -0500
Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.163.3])
	by clairv.com (8.9.3/8.9.3) with ESMTP id LAA31881
	for <MLton@sourcelight.com>; Mon, 4 Dec 2000 11:57:02 -0600
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id JAA02402 for <MLton@sourcelight.com>; Mon, 4 Dec 2000 09:57:00 -0800 (PST)
Received: from unknown(198.3.162.27) by magrathea.epr.com via smap (V5.5)
	id xma001962; Mon, 4 Dec 00 09:56:02 -0800
Received: from eponym.epr.com (eponym.epr.com [10.1.1.123])
	by maguro.epr.com (8.9.3/8.9.3) with ESMTP id JAA12796
	for <MLton@sourcelight.com>; Mon, 4 Dec 2000 09:56:02 -0800 (PST)
Received: (from sweeks@localhost)
	by eponym.epr.com (8.9.3/8.9.3) id JAA21546;
	Mon, 4 Dec 2000 09:56:02 -0800
From: "Stephen Weeks" <sweeks@intertrust.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14891.55986.30995.123918@eponym.epr.com>
Date: Mon, 4 Dec 2000 09:56:02 -0800 (PST)
To: MLton@sourcelight.com
Reply-to: MLton@sourcelight.com
Subject: RE: new liveness pass
In-Reply-To: <DHEDLLONPGLIIOLFENOHKEMHCCAA.suresh@research.nj.nec.com>
References: <14888.19238.403444.743590@eponym.epr.com>
	<DHEDLLONPGLIIOLFENOHKEMHCCAA.suresh@research.nj.nec.com>
X-Mailer: VM 6.71 under 20.4 "Emerald" XEmacs  Lucid
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=0.0 required=3.0 tests=AWL autolearn=no version=2.60


> The liveness pass looks really impressive.  I don't quite follow your 
> description though -- when you say that a variable is at the head of
> the liveness list or not there at all, you're certainly not implying that
> the list is a singleton, are you? 

No.  Since we are working on one variable at a time, and a variable is always
added to the front of the list, we can check for it only there.