All There is a very readable chapter on SSA and optimizations in the book "Modern compiler implementation In C" by Andrew W Appel. Graham