Re: [Lightning] Adding support for a multi pass intermediate representation

[Paulo César Pereira de Andrade]

Em 8 de novembro de 2010 17:51, Paolo Bonzini <address@hidden> escreveu:
>>> Looks pretty good!  But about the last paragraph, I think you're
>>> reinventing dataflow analysis, aren't you?  What do you mean by "3
>>> lists"?  What would you do about loops?
>>
>>  I think I am somewhat reinventing dataflow analysis indeed, or,
>> the concept is a special case. By 3 lists I mean maintain 3 lists
>> of instructions, but there can be more; one for integer types, one
>> for float types and one generic to fallback to call C vm functions
>> that choose the code path for a single operation in switch statements.
>
> Ok, so what I had missed is that the design is specific to your VM. :)

  I think I did not make myself clear :-) I posted to the list because
most of the concept is generic, and I plan to implement a proof of
concept of it shortly. The part specific of my VM is that it needs to
"hack" the generic one (or have an interface) to have 3 lists that
are merged from time to time. Once the lists are merged, it is a
generic intermediate representation, that can be processed by
optimization passes.

> Paolo

Paulo