Combo introduces cyclic dependency in straight-line code.
If-conversion produces invalid phi nodes.