https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83589
--- Comment #7 from Tom de Vries <vries at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #6) > (In reply to Tom de Vries from comment #4) > > Using this rudimentary workaround, I got the failing tests of this PR > > passing again: > Shouldn't it be sufficient to emit this only for JUMP_Ps that jump to > immediately following LABEL_Ps (without intervening non-note insns)? The emitted code actually looks like: ... @ %r36 bra $L5; // join x; // fork x; $L5: ... so we'll have to skip over this pattern as well (given that the join are fork are individual insns) . But indeed, this is a rudimentary workaround, not a minimal one.