// XXX: We have an opportunity here to optimize the "branch into if" case
// here. Branch into if looks like this:
// entry
- // / \
+ // / |
// diamond_head branch_from
// / \ |
// diamond_false diamond_true
//
// After the above changes, the new CFG should look like this:
// entry
- // / \
+ // / |
// diamond_head branch_from
// \ /
// new_block
- // / \
+ // / |
// diamond_false diamond_true
// \ /
// done
// block and we will end up with a CFG like this:
//
// entry
- // / \
+ // / |
// diamond_head branch_from
// / \ |
// diamond_false diamond_true diamond_true (duplicate)