I was recently tasked by my manager to investigate whether we should replace LLVM-based JIT with something else in an internal work project. And I came across this nice opinionated document on GitHub about how one might implement SSA in a compiler. The author, pizlonator, is pretty famous and is behind the B3 JIT compiler in WebKit.