#StackBounty: #graph #compiler-construction #compiler-optimization #control-flow-graph #ssa Is my construction of SSA correct? (Renaming)

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:

The given ssa graph

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

The ssa graph that I converted

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! 🙂

Get this bounty!!!

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.