On Mon, May 18, 2009 at 12:21 PM, Matthew Hammer <[email protected]> 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
------------------------------------------------------------------------------
Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT
is a gathering of tech-side developers & brand creativity professionals. Meet
the minds behind Google Creative Lab, Visual Complexity, Processing, &
iPhoneDevCamp as they present alongside digital heavyweights like Barbarian
Group, R/GA, & Big Spaceship. http://p.sf.net/sfu/creativitycat-com
_______________________________________________
CIL-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
