https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121213
--- Comment #6 from Jeffrey A. Law <law at gcc dot gnu.org> --- And you'll note the bug is still open and that Austin explicitly indicated the redundant sign extend is still in there. That's a separate issue that needs a completely different approach to solve.
