The push is complete. If I'm not mistaken, you should now see a wip-rtl-cps
branch with a Tree-IL->CPS compiler. The compiler is used in cps.test.
Please let me know if I did anything wrong.
Noah
On Thu, Jan 24, 2013 at 11:03 AM, Noah Lavine wrote:
> Hello,
>
> On Thu, Jan 24, 2013 at 10:12 AM
Thanks!
Best,
Noah
On Wed, Jan 23, 2013 at 11:28 AM, Andy Wingo wrote:
> Hi Noah,
>
> A brief note to let you know that I rebased wip-rtl-cps, as wip-rtl
> itself was rebased.
>
> Cheers,
>
> Andy
> --
> http://wingolog.org/
>
Hi,
Noah Lavine skribis:
> Just a quick note that I discovered a library called "libctl" that uses
> Guile in scientific simulations. You can see it at
> http://ab-initio.mit.edu/wiki/index.php/Libctl . I don't know who's
> maintaining the Guile web site, but I thought it might be nice to have a
Hi,
On Thu 24 Jan 2013 21:28, Mark H Weaver writes:
> "Andy Wingo" writes:
>> commit dd02f3bd546f6a41d75785e8096b31b78e94167f
>> Author: Andy Wingo
>> Date: Thu Jan 24 13:20:54 2013 +0100
>>
>> add rtl infrastructure for doing toplevel refs
>>
>> * libguile/vm-engine.c (current-
Hi Andy,
"Andy Wingo" writes:
> commit dd02f3bd546f6a41d75785e8096b31b78e94167f
> Author: Andy Wingo
> Date: Thu Jan 24 13:20:54 2013 +0100
>
> add rtl infrastructure for doing toplevel refs
>
> * libguile/vm-engine.c (current-module): New RTL VM instruction.
How do you anticipat
Hello,
On Thu, Jan 24, 2013 at 10:12 AM, Andy Wingo wrote:
> Hi!
>
> On Thu 24 Jan 2013 14:50, Noah Lavine 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
Hi!
On Thu 24 Jan 2013 14:50, Noah Lavine 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 port
Hello Andy and Mark,
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
On Thu 24 Jan 2013 11:38, Nala Ginrut writes:
> Are you guys going to use CSP to implement SSA for AOT?
Too many acronyms! I think the answer in short is that we are
interested in using a continuation-passing style intermediate language.
We don't know if it will work well or not, but we will tr
Hi,
On Sat 01 Dec 2012 00:39, Stefan Israelsson Tampe
writes:
> (define-macro-assembler (toplevel asm dst sym)
> (let ((s (emit-non-immediate asm sym))
> (d (emit-non-immediate asm (current-module)))
> (v (intern-constant asm 0 #:slot #t)))
> (emit-toplevel-ref asm dst v d
Are you guys going to use CSP to implement SSA for AOT?
在 2013-1-24 PM6:36，"Andy Wingo" 写道：
> Hi!
>
> On Thu 24 Jan 2013 10:28, Mark H Weaver writes:
>
> > The problem is that CPS fixes the order in which everything is
> > evaluated, such as the order in which procedure arguments are
> > evaluate
Hi!
On Thu 24 Jan 2013 10:28, Mark H Weaver writes:
> The problem is that CPS fixes the order in which everything is
> evaluated, such as the order in which procedure arguments are
> evaluated, the order in which 'let' or 'letrec' initializers are
> evaluated, etc. The fact that these orders ar
Andy Wingo writes:
> * We should still compile Scheme to tree-il I think; it's convenient,
> and other languages may well prefer a more direct-style IL as a
> target.
I like CPS for later passes of the compiler, but it should not come
first. The problem is that CPS fixes the order in w
On Thu, Jan 24, 2013 at 4:11 PM, Stefan Israelsson Tampe <
stefan.ita...@gmail.com> wrote:
>
> 2. I was actually hesistant to call this srfi-72 because of trying to
> do what it want
>more than what it say's. A main trick to simulate the effect was to
> introduce
>a closure in the syntax a
Hi Noah,
On Sat 17 Nov 2012 16:35, Noah Lavine writes:
> I've had several conversations on this list about using
> continuation-passing style in Guile. I recently decided to take the hint
> and implement it. I've pushed a new branch called wip-rtl-cps that I'd
> appreciate comments on (but I do
15 matches
Mail list logo
