aycock's algorithm for ssa

Hello,


I'm trying to understand Aycock's algorithm for computing SSA form
("Simple Generation of Static Single Assignment Form"). Googling
hasn't turned up anything useful.


He proceeds in two steps, first he adds every possible phi-function
(i.e. one for every function in the control flow graph, in every basic
block) and then he eliminates many of these by iterating two steps:


1. remove phi-functions of the form v_i = phi(v_i,...,v_i) (his
notation)
2. remove phi-functions of the form v_i = phi(v_i,...,v_i, v_j) and
replace allt he ocurrences
of v_i with v_j. (idem for all the permutations of the operands of
phi).


My first problem is with step 1. I don't understand what he means by
v_i = phi(v_i, ...,v_i). Does he mean that all the phi operands are
the same? Then that would be a strange notation indeed...


Same question for 2.


Thanks!
N

Return to the comp.compilers page.
Search the comp.compilers archives again.