GATE | GATE-CS-2017 (Set 1) | Question 14

Consider the following intermediate program in three address code

p  = a - b
q = p * c
p = u * v
q = p + q

Which one of the following corresponds to a static single assignment from the above code

A)

p1 = a - b
q 1 = p1 * c
p1 = u * v
q1 = p1 + q1

B)

p3 = a - b
q4 = p3 * c
p4 = u * v
q5 = p4 + q4

C)

p 1 = a - b
q1 = p2   * c
p3 = u * v
q2 = p4 + q3

D)

p1 = a - b
q1 = p * c
p2 = u * v
q2 = p + q

(A) A
(B) B
(C) C
(D) D

Answer: (B)
Explanation: According to Static Single Assignment

1. A variable cannot be used more than once in the LHS
2. A variable should be initialized atmost once.

Now looking at the given options

• a – code violates condition 1 as p1 is initialized again in this statement: p1 = u * v
• c- code is not valid as  q₁ = p₂ * c , q₂ = p₄ + q₃ – In these statements p₂, p₄, q₃ are not initialized anywhere
• d- code is invalid as  q₂ = p + q is incorrect without moving it to register

Therefore, option B is only correct option.

Quiz of this Question