I wrote a little more about critical edge splitting and out-of-SSA:

https://nickdesaulniers.github.io/blog/2023/01/27/critical-e...