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

[Paolo Bonzini]

2010/11/6 Paulo César Pereira de Andrade
<address@hidden>:
> [snip]
>
> The problem obviously is that it forgets about the type when it
> merges code paths, but this is remediated by having 3 lists, and
> being able to dynamically construct states on the C stack while
> generating jit, so that it only merges the code paths when the
> value type becomes unknown.
>
>  Comments?

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?

Paolo