https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90193
--- Comment #7 from Segher Boessenkool <segher at gcc dot gnu.org> --- The same splitter is what causes the bb of the asm to be marked as always falling through, which is why that non-fallthrough label is eventually deleted.