Recommend lecture about the meaning of PHI function from SSA.

[J.C. Pizarro]

For novice people, i recommend to read

http://en.wikipedia.org/wiki/Static_single_assignment_form

You see why the meaning of "y3 <- phi(y1,y2)" :)