Fix some cases with continue blocks, and deal with undefined inputs to
PHI merges.