[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CPS and RTL
From: |
Andy Wingo |
Subject: |
Re: CPS and RTL |
Date: |
Thu, 24 Jan 2013 16:12:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.2 (gnu/linux) |
Hi!
On Thu 24 Jan 2013 14:50, Noah Lavine <address@hidden> writes:
> Thanks for the review! There has actually been more progress since I
> pushed that branch. I hit a point in the CPS->RTL stuff where I had
> trouble because I didn't know how to do things (like mutable variables)
> in RTL. So I've actually ported the compiler to GLIL in a branch on my
> computer. I also have a working Tree-IL->CPS compiler for some of
> Tree-IL (it's not done yet).
>
> I thought that might be a better way forward because CPS and RTL are, to
> a certain extent, separate ideas.
Cool, please push so we can see.
Honestly I think RTL and CPS go together very well. CPS is all about
giving a name to everything, but that can be inefficient in a stack VM,
because referencing and updating named variables requires separate push
and pop instructions. RTL makes this easy and cheap.
Regarding mutable variables: we probably still need to box them in
general because of call/cc. There are cases in which they can be
unboxed, but I think that store-to-load forwarding with DCE can probably
recover many of those cases. Dunno. I would box them as part of an
assignment conversion pass.
> I realize it might be confusing to start with CPS->RTL, then switch to
> CPS->GLIL, then switch back later when the RTL branch is ready. If you'd
> rather do it that way, we can skip the CPS->GLIL phase.
Personally I would prefer to target RTL. But that is a personal opinion
:)
Cheers, and happy hacking :)
Andy
--
http://wingolog.org/
- Re: CPS and RTL, Andy Wingo, 2013/01/24
- Re: CPS and RTL, Mark H Weaver, 2013/01/24
- Re: CPS and RTL, Andy Wingo, 2013/01/24
- Re: CPS and RTL, Nala Ginrut, 2013/01/24
- Re: CPS and RTL, Andy Wingo, 2013/01/24
- Re: CPS and RTL, Noah Lavine, 2013/01/24
- Re: CPS and RTL,
Andy Wingo <=
- Re: CPS and RTL, Noah Lavine, 2013/01/24
- Re: CPS and RTL, Noah Lavine, 2013/01/24