[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 6/9] Add arity-adapting module
From: |
Andy Wingo |
Subject: |
Re: [PATCH 6/9] Add arity-adapting module |
Date: |
Sat, 31 Aug 2013 09:45:05 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
On Fri 30 Aug 2013 00:26, Mark H Weaver <address@hidden> writes:
> address@hidden (Ludovic Courtès) writes:
>
>> Perhaps that happens in the Tree-IL->CPS pass, but is there/could there
>> be an effect analysis when truncating multiple-value returns?
>>
>> Such that (f (values 1 2 3)) reduces to (f 1).
>
> I guess this is a question for Andy, but some experimentation suggests
> that this transformation is already done by an earlier optimization pass
> in tree-il.
Yes, I think it's peval that does this.
scheme@(guile-user)> ,optimize (f (values 1 2 3))
$1 = (f 1)
Andy
--
http://wingolog.org/
- CPS language and Tree-IL->CPS->RTL compiler, Andy Wingo, 2013/08/29
- [PATCH 1/9] Add CPS language, Andy Wingo, 2013/08/29
- [PATCH 2/9] (compile foo #:to 'cps), Andy Wingo, 2013/08/29
- [PATCH 4/9] RTL language, Andy Wingo, 2013/08/29
- [PATCH 5/9] Add CPS primitives info module, Andy Wingo, 2013/08/29
- [PATCH 6/9] Add arity-adapting module, Andy Wingo, 2013/08/29
- [PATCH 3/9] Add closure conversion, Andy Wingo, 2013/08/29
- [PATCH 7/9] Add pass to reify primcalls without corresponding VM ops, Andy Wingo, 2013/08/29
- [PATCH 8/9] Add CPS -> RTL compiler, Andy Wingo, 2013/08/29
- [PATCH 9/9] Add contification pass, Andy Wingo, 2013/08/29
- Re: CPS language and Tree-IL->CPS->RTL compiler, Ludovic Courtès, 2013/08/29
- Re: CPS language and Tree-IL->CPS->RTL compiler, Noah Lavine, 2013/08/29