https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126035
--- Comment #6 from Drea Pinski <pinskia at gcc dot gnu.org> --- I think I figured out a better way of implementing this. a match.pd pattern can/should be used. And then we change match_simplify_replacement to support the case where the new sequence does not contain any uses from the basic block and accept it that way. Otherwise reject it unlesss it is only one of those 2 statements. This does not allow for removal of cond_removal_in_builtin_zero_pattern just yet. But it allows for this case since we have a new statements in the sequence and all of the uses here are before the conditional. But it might allow for combining of conditionals :).
