Standard Optimizations using SSA form
I was trying to look at all optimizations that use SSA. I could find many such as DCE, LICM, GVN, PRE, however the standard books such as the Dragon Book or Muchnick don't mention the algorithms or examples explicitly using SSA programs. I could only find PRE, GVN given in SSA.
Where can I find the actual SSA implementations explicitly.
Both GCC, LLVM have these implemented in SSA form however the explicit implementation details are not found.