[CST-2] OptComp: Single Static Assignment Form

[M.Y.W.Y. Becker]

OptComp
CST 99/7/4
Question (b):
 "Given a program expressed in a language like C,
 explain how one might deal with (non-address taken)
 formal parameters and local variables so that the
 resulting flowgraph is in SSA form."

What is meant by "formal parameters" and "local variables"? Is that a 
question about the Phi-operator? In particular, what is the difference to 
question (a)?


And the last part:
"Commonly SSA form is discussed only for temporaries and non-address-taken 
local variables. To what extent is it possible to arrange that accesses to 
address-taken locals or statically allocated global variables can be 
transformed into SSA form? What effect might such a transformation have on 
register allocation of such variables?"

Any ideas?

Mo