https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80517
--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Matthias Kretz from comment #4) > A similar test case showing that something is still missing You don't seem to be passing constants here, so this is unrelated to this PR. If you file a new one, please annotate your example explaining where you expect what to simplify to what and why. > (https://gcc.godbolt.org/z/t1DT7E): Adding -fdump-tree-optimized=- -g0 and showing the compiler output makes this more understandable for me...