From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: CPS common subexpression elimination landed Date: Tue, 08 Apr 2014 09:13:37 +0200 Message-ID: <87ppksguou.fsf@pobox.com> References: <87lhvhk2h6.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1396941242 3888 80.91.229.3 (8 Apr 2014 07:14:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 8 Apr 2014 07:14:02 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Apr 08 09:13:57 2014 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WXQEF-0000lK-NJ for guile-devel@m.gmane.org; Tue, 08 Apr 2014 09:13:55 +0200 Original-Received: from localhost ([::1]:38442 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WXQEE-0001WY-Pv for guile-devel@m.gmane.org; Tue, 08 Apr 2014 03:13:54 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:48370) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WXQE7-0001UN-5i for guile-devel@gnu.org; Tue, 08 Apr 2014 03:13:52 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WXQE1-0004FL-Sl for guile-devel@gnu.org; Tue, 08 Apr 2014 03:13:47 -0400 Original-Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:48420 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WXQE1-0004FH-PM for guile-devel@gnu.org; Tue, 08 Apr 2014 03:13:41 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 61B3E116B9 for ; Tue, 8 Apr 2014 03:13:41 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=81mJI1hp/XrlMmWIhvno/TIyuVo=; b=LLxhpi +KlnYDMyf5059XZlBuZeQgdfMXgATHmgvDgU5IwU4TigoxqgAqNELkdCoa013AQz DIffeQWySd3KCNajrJt5HNmRTcaC0TnbfbMWN1DHflZM4GEblb7crO3zUnxj1ZBG +zXbIrVyl8HX3AceTVzLIDZlpunkDIXvGIVFk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:subject :references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=DLxjGpdxEZ9x6l5I+92w8E/mf5ncU5Fs C0KRv35m7MFlbt/VEqsejlpfDLG2kQU3FyTKnIBRQoOdwYe4hR2TroNTjfNHSe3P PNiuTfVH3qGNir9nrj/Z0zW54pF/aXGObMFhUKCwUh6+Qaj5Oa2BeJY+T/M8FXa+ 8b0WzViosVw= Original-Received: from a-pb-sasl-quonix.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 5812A116B8 for ; Tue, 8 Apr 2014 03:13:41 -0400 (EDT) Original-Received: from badger (unknown [88.160.190.192]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTPSA id 3BFA8116B7 for ; Tue, 8 Apr 2014 03:13:40 -0400 (EDT) In-Reply-To: <87lhvhk2h6.fsf@pobox.com> (Andy Wingo's message of "Mon, 07 Apr 2014 09:44:53 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-Pobox-Relay-ID: 4FA04660-BEED-11E3-9B36-873F0E5B5709-02397024!a-pb-sasl-quonix.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 X-Received-From: 208.72.237.25 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:17041 Archived-At: On Mon 07 Apr 2014 09:44, Andy Wingo writes: > The differences are these: One more difference. The old pass did a form of interprocedural CSE, which was pretty neat. The new pass does not do that. Mostly the reason it does not do so is to reduce complexity. The other reason is that the new pass runs after contification, so it sees bigger functions than the old pass did, which had no way to understand contification. Still, it's a limitation. Oh well. Andy -- http://wingolog.org/