538 views
0 votes
0 votes

Definition of Static Single Assignment

Static single-assignment form arranges for every value computed by a program to have a unique assignment (aka, “definition”)

but 

p3 = a - b

q4 = p3 * c

p4 = u * v

q5 = p4 + q4 

is an valid example of SSA

Now, tell me a,b,c,u,v are not assigned or previously recognized

Then how this is a valid example of SSA?

for ref see here

2 Answers

0 votes
0 votes
1. Each assignment to a temporary is given a unique name
2. All of the uses reached by that assignment are renamed

because of this. we are giving unique name to p as p3 as a-b is temporary assigned to p3.

now, p3 is used and q renamed as q4.
0 votes
0 votes
a,b,c,u,v are loaded initially into temporary variables. So extra temporary variables are required for them.

Related questions

0 votes
0 votes
1 answer
2
minal asked Jan 22, 2019
898 views
# of temporary variable required to create 3 address code in static single assignment form for the expression P+Q*R-S/(Q*R).