https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103850
--- Comment #6 from Martin Reinecke <mar...@mpa-garching.mpg.de> --- I would have expected that this does not make a significant difference, assuming that speculative execution works and the branch predictor takes the jump backwards at the loop's end. In that picture both versions of the loop should look exactly the same. But my knowledge about all this is admittedly really vague...