Implement SimplifyCFG/branch-cond-merge.ll