second part dominates all the blocks dominated
by original basic block. And first part dominates
second part.

llvm-svn: 40035