Classic paper. I’ve always implemented SSA conversion using roughly this approach (though the details in my code might be different). Bottom line though: dominator trees and dominance frontiers are your friend.