> Can any body give me pointers to existence of SSA analysis in GCC.>
There are two SSA passes in GCC. The older one is done on RTL.
However, it has been collecting dust for a while. We expect to continue
developing after implementing a higher-level RTL form.

The second SSA pass is being done on the new tree IR (based on McCAT's
SIMPLE form). It is still not part of mainline GCC, and it's not
expected to be for a few more months. If you're interested in trying it
out or helping with development, visit