https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102008
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #7) > Ok. Though, perhaps indeed trying to detect what phiopt optimizes and not > sinking that case would be long term best, so that we don't do the ping pong. Or, since the phiopt case is specifically for if-conversion (IIRC), only do this in the very last phiopt pass before RTL expansion and/or perform the if-conversion at the GIMPLE level via a COND_EXPR, thus actually do the if-conversion.