From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: Re: rtl at els Date: Sat, 8 Jun 2013 19:16:53 +0200 Message-ID: References: <87ip1odcnm.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=047d7b2e1511bfc00404dea7b625 X-Trace: ger.gmane.org 1370711821 19837 80.91.229.3 (8 Jun 2013 17:17:01 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 8 Jun 2013 17:17:01 +0000 (UTC) To: Andy Wingo , guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Jun 08 19:17:01 2013 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 1UlMlB-0002ET-0e for guile-devel@m.gmane.org; Sat, 08 Jun 2013 19:17:01 +0200 Original-Received: from localhost ([::1]:33047 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UlMlA-000532-JB for guile-devel@m.gmane.org; Sat, 08 Jun 2013 13:17:00 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42068) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UlMl6-00052t-Cz for guile-devel@gnu.org; Sat, 08 Jun 2013 13:16:58 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UlMl5-0007L6-8v for guile-devel@gnu.org; Sat, 08 Jun 2013 13:16:56 -0400 Original-Received: from mail-pd0-f174.google.com ([209.85.192.174]:39939) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UlMl5-0007Kp-2J for guile-devel@gnu.org; Sat, 08 Jun 2013 13:16:55 -0400 Original-Received: by mail-pd0-f174.google.com with SMTP id 10so4983802pdc.33 for ; Sat, 08 Jun 2013 10:16:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=5M2NXPYvymGc2Y+U6DYXDQQC/p5kC84Yq7DRCUYqsLI=; b=aDsFMfq8c0VFkvHRcJV17zIv6ApCkPXVoFDC7G0/1rvrZK8QNoNKWmvc2dWu5hbbYb cpzacuW4o/AwQsXjJ90Mcj0Ubve9q6gxgq5cRXCXeR+APWJz5oXhBRvlrMaJ2PH1Pw0U X1EFKq/9vIsxLYynxFk6GzdmYZJPEr55OQopqwku9o3cqqkWXkVJGeDjdlmxSr6Q6PGT f2qHYpIGbSbiHZ4tihVLwuLGJexVsalpoHiCVi+XTROL7vLjQW47pua7az/0SDVP0uE4 gFfXdM2sKfbaR//ZiAcO9M4+84ja3NH9izqiAmtjQV2LQR86JTZa7QbJQo70utY2KPJM yIlA== X-Received: by 10.66.121.132 with SMTP id lk4mr7815812pab.1.1370711813765; Sat, 08 Jun 2013 10:16:53 -0700 (PDT) Original-Received: by 10.70.5.3 with HTTP; Sat, 8 Jun 2013 10:16:53 -0700 (PDT) Original-Received: by 10.70.5.3 with HTTP; Sat, 8 Jun 2013 10:16:53 -0700 (PDT) In-Reply-To: <87ip1odcnm.fsf@pobox.com> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 209.85.192.174 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:16474 Archived-At: --047d7b2e1511bfc00404dea7b625 Content-Type: text/plain; charset=ISO-8859-1 I actually did that and have a stalled branch of it in my computer. On the other hand it's only a nice hack and I recomend that you do it in your own great way. I will try to follow your progress and perhaps add som coments along the way. Have fun Stefan On 8 Jun 2013 14:12, "Andy Wingo" wrote: > Hi! > > Ludo and I had a fun time at the European Lisp Symposium last week, > meeting other lispers, schemers, and a rogue racketeer. We also managed > to spend some time going through the pending patches, as you probably > saw, and I'll be landing them as I fix up docstrings ;) > > We also talked about the way forward to target RTL from Scheme. While > we both think that Noah's CPS work is the way to go, we're a little > concerned that to try to land the new VM and the new compiler at the > same time is too much uncertainty. So as a stopgap, we're going to try > to compile Tree-IL directly to RTL. We'll run a pass over the tree-il > that converts it to ANF, then adapt the existing tree-il->glil compiler > to target RTL. I know that compiler pretty well so I should be able to > make some good progress there fairly quickly. > > So that's the plan. It will probably make the CPS work easier, > actually, as there will be example RTL code and we'll be sure the VM is > capable enough, and we don't have to also worry about the VM > switchover. But we'll see :) > > Cheers, > > Andy > -- > http://wingolog.org/ > > --047d7b2e1511bfc00404dea7b625 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

I actually did that and have a stalled branch of it in my co= mputer. On the other hand it's only a nice hack and I recomend that you= do it in your own great way. I will try to follow your progress and perhap= s add som coments along the way.

Have fun
Stefan

On 8 Jun 2013 14:12, "Andy Wingo" <= wingo@pobox.com> wrote:
Hi!

Ludo and I had a fun time at the European Lisp Symposium last week,
meeting other lispers, schemers, and a rogue racketeer. =A0We also managed<= br> to spend some time going through the pending patches, as you probably
saw, and I'll be landing them as I fix up docstrings ;)

We also talked about the way forward to target RTL from Scheme. =A0While we both think that Noah's CPS work is the way to go, we're a little=
concerned that to try to land the new VM and the new compiler at the
same time is too much uncertainty. =A0So as a stopgap, we're going to t= ry
to compile Tree-IL directly to RTL. =A0We'll run a pass over the tree-i= l
that converts it to ANF, then adapt the existing tree-il->glil compiler<= br> to target RTL. =A0I know that compiler pretty well so I should be able to make some good progress there fairly quickly.

So that's the plan. =A0It will probably make the CPS work easier,
actually, as there will be example RTL code and we'll be sure the VM is=
capable enough, and we don't have to also worry about the VM
switchover. =A0But we'll see :)

Cheers,

Andy
--
http://wingolog.org/=

--047d7b2e1511bfc00404dea7b625--