https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97457
--- Comment #1 from Alex Coplan <acoplan at gcc dot gnu.org> --- To be clear, the second beq .L8 is in the body of the main loop is not taken either in the execution described here. The lack of a comment there might have suggested otherwise.