https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98674
--- Comment #5 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > Richard, you refactored this code last? Sorry, forgot about this PR. I'm a bit rusty on this, but how important is the type/mode check for non-aggregates? Isn't the operand_equal_p test enough? If not, should the check be based on size rather than mode for non-aggregates?