https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108888
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|ams at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 54513 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54513&action=edit patch The issue is that need_to_predicate is not set and thus we do /* Insert the predicate of the BB at the end of the BB as this would reduce the register pressure: the only use of this predicate will be in successor BBs. */ we only get to rewrite the call because need_to_rewrite_undefined. So maybe we don't need to predicate this call at all? Using GF_PLF_2 to mark predicated calls would be appropriate for example. I'm testing the attached.