*Bounty: 100*

*Bounty: 100*

I’ve been learning about ssa (static single assignment form), and I was given the following graph with phi functions inserted, but the graph hasn’t been renamed:

I had to rename the variables, and this is what I got:

I am very unsure that this is correct. Did I rename the variables correctly? Is this minimal ssa? I am using this algorithm from here (Cytron, et. al’s paper) to rename the variables. Please help! 🙂