|SSA code generators? email@example.com (1993-09-22)|
|Re: SSA code generators? firstname.lastname@example.org (Alexander Vrchoticky) (1993-09-23)|
|Re: SSA code generators? email@example.com (1993-09-23)|
|From:||Alexander Vrchoticky <firstname.lastname@example.org>|
|Date:||Thu, 23 Sep 1993 09:32:43 GMT|
Srinivas Kankanahalli asks:
> Are there public domain programs that convert C code into Static
> Single Assignment form?? Any pointers will be greatly appreciated.
*Which* Static Single Assignment form are you looking for? SSA isn't
really a programming language; rather, it's a property of programs in a
language: A program in a language either is or is not in SSA.
Assuming that you're talking about a tool to convert C code into C code
which is in SSA form ...
Not that I am aware of. I also don't think that it's likely that such a
thing exists for the following reasons:
o 2-address-code and SSA don't really mix very well, and C
programs usually are chock-full of `2-address statements'. Consider
the statement a += b, which would have to be converted into a = a + b
before you could even attempt to convert it to SSA.
o Contrary to what you write above, pointers are not greatly
appreciated. :-) In fact, any statement that assigns to anything
other than a (set of) scalar variables will bring about major
headaches. See Section 3.1 of [cytron:91] for an idea of the inherent
o I can't think of any *use* for a C-program in SSA. This might,
admittedly, be due to acute tunnel vision, but if it's not, it's
unlikely that someone has gone through the effort of implementing
such a tool.
That said, if you indeed find such a tool I'd like to hear about it. Also,
I'm curious what it is you're trying to achieve.
title="Efficiently Computing Static Single Assignment Form and the
Control Dependence Graph",
author="Ron Cytron and Jeanne Ferrante and Barry K. Rosen and Mark
N. Wegman and F. Kenneth Zadeck",
Alexander Vrchoticky email@example.com
TU Vienna, CS/Real-Time Systems +43/1/58801-8168
Return to the
Search the comp.compilers archives again.