grosser added a comment. Can you maybe document that splitEdge is supposed to only be called on nodes that are part of the dominator tree. Also, what about blocks that are unreachable form the entry and not part of the dominator tree? https://reviews.llvm.org/D35571