On Wed, 16 Feb 2005, Linus Torvalds wrote:
>
> The current "./test-linearizer" thing really already comes pretty close to
> what you're talking about. Modulo types, again.
Oh, forgot to mention: the "storage.c" phase, which is used by "example.c"
is also meant to be entirely architecture-neutral, and does liveness
analysis both within and between basic blocks, and allocates "storage" for
any pseudo that has inter-bb visibility.
It needs an architecture-specific part to set up incoming argument storage
types and calling conventions, though. See "example.c" for the generic
part ("set_up_storage(ep);") and the arch-specific part
("arch_set_up_storage(ep);").
Whether you want to use the storage module or not, I can't tell. I _think_
it's reasonably well-suited to whatever you need to do, but who knows..
Linus
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
