https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> --- (I am adding -gnatwA -gnatyN to the command line to let the reduced version compile, and -m32 is fundamental) Maybe simplifying (sizetype)_26 to _3 is fine, but it isn't fine to keep valueizing _3 and redoing a simplification that has already been done. Fixing FRE (assuming that is indeed the culprit) may be a bit hard for me, I'll probably revert the patch when I get the chance (if anyone feels like doing it earlier, be my guest, it is enough to revert the match.pd part), it needs more work for the vector case anyway.