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: RTL has landed! Date: Mon, 24 Mar 2014 22:45:33 +0100 Message-ID: <87txantgn6.fsf@pobox.com> References: <87bo1t7kze.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1395697542 15775 80.91.229.3 (24 Mar 2014 21:45:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 24 Mar 2014 21:45:42 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Mar 24 22:45:53 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 1WSCgq-0003Ja-Cd for guile-devel@m.gmane.org; Mon, 24 Mar 2014 22:45:52 +0100 Original-Received: from localhost ([::1]:38486 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WSCgp-0007fL-SR for guile-devel@m.gmane.org; Mon, 24 Mar 2014 17:45:51 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54648) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WSCgi-0007Sp-CP for guile-devel@gnu.org; Mon, 24 Mar 2014 17:45:49 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WSCgd-0000O5-0d for guile-devel@gnu.org; Mon, 24 Mar 2014 17:45:44 -0400 Original-Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:38280 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WSCgc-0000O0-SH for guile-devel@gnu.org; Mon, 24 Mar 2014 17:45:38 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 53C2E116B2 for ; Mon, 24 Mar 2014 17:45:38 -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=FWn9arjuZjN/dlwnJUgUvjoqvdk=; b=WcENC7 1hFXraliYxk05kax0zrt5kwRxe4ATBU8zUikemlYMlbK8oRD/fflwt6bX+9E+yqy FFQgosgjSPwbCl8alKfzsQZ8Rb+5ono3vdJ8469ekg6Ey8bcYzG3HRAWiUtiYFzl wGJ8XVtAbk6+VJqBb0Umk+BXhoV6XZRp4OG3E= 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=tnqXj03c1fPTsplxPDRKAb1Ud2LHNK3q 8T0PFG8AUmbgA/bCfpCJ94V7rqMfU4WC2WIx5gEBgbTvmjsMdI1WcbVIL4UUz7Ff kiXVz6/Ok97NLhpsusyyXeormi4lRiKnaFIc3RWwMcOvD1BVE8HdZMyw+FqNDum7 HZ6wxRoSL+A= 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 4AA29116B1 for ; Mon, 24 Mar 2014 17:45:38 -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 94F93116B0 for ; Mon, 24 Mar 2014 17:45:35 -0400 (EDT) In-Reply-To: <87bo1t7kze.fsf@pobox.com> (Andy Wingo's message of "Sat, 09 Nov 2013 14:39:17 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-Pobox-Relay-ID: A1D1CF04-B39D-11E3-9D20-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:17001 Archived-At: An update: On Sat 09 Nov 2013 14:39, Andy Wingo writes: > There are a couple of regressions that I would like to fix soonish: > > * The compiler is somewhat slow. As a data point, compiling (ice-9 boot-9) is about twice as slow in master than stable-2.0. Ultimately I think we probably need to be using small integers to identify variables and continuations, instead of symbols. Once we fix that I think we can be faster than stable-2.0. Dunno how far to go in this direction; we could end up with a much more graph-based IR... Ideally I'd like to bootstrap faster too, but that's tricky; every optimization is an additional chunk of code that needs to bootstrap. Maybe just focusing on things that help eval.scm would be good there: closure optimization and computed-goto switches. > * We don't have local variable information. TODO. There are also some addressing restrictions -- some VM ops can't address the full range of local slots, and need some shuffling to be done, and that's not done yet. This is the biggest blocker, though to be fair I haven't hit it in practice yet. > * The manual is out of date, as regards the compiler and VM. It's up to date :) Andy -- http://wingolog.org/