Re: [CIL users] SSA extension

[David G. <dg...@gm...>]

On Mon, May 18, 2009 at 12:21 PM, Matthew Hammer <ha...@tt...> wrote:
> I was wondering if anyone had any information about the working status
> of the SSA extension (i.e., the following module: src/ext/ssa.ml).
>
> Does it work?  Are there any bugs/caveats and/or unsupported CIL features?
>
> The documentation for this extension seems all but missing.  For
> example, what is the proper usage of this module? (e.g., how is it
> initially invoked to process a file or a fundec?).  After looking
> through the rest of the source tree for a potential example of this
> usage, I find that this module seems either unused or perhaps entirely
> abandoned.  For example, I can't find any place where it is invoked.
> Am I missing something?

I looked at it when I was doing the LLVM code generation, and decided
it wasn't worth attempting to use it... (some combination of looking
dead, and depending on some other stuff IIRC). I'd recommend
implementing a new SSA transform from scratch, using the SSA
transformation algorithm described in:
     Simple Generation of Static Single-Assignment Form
     John Aycock and Nigel Horspool
     CC'2000
It's a lot simpler... (about 200 lines of ocaml for the version for LLVM)

David Gay