https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112994
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:2c92551405bc8616f456e5cbc696ab0292c7ff00 commit r14-6538-g2c92551405bc8616f456e5cbc696ab0292c7ff00 Author: Jakub Jelinek <ja...@redhat.com> Date: Thu Dec 14 12:06:59 2023 +0100 match.pd: Simplify (t * u) / (t * v) [PR112994] On top of the previously posted patch, this simplifies say (x * 16) / (x * 4) into 4. Unlike the previous pattern, this is something we didn't fold previously on GENERIC, so I think it shouldn't be all wrapped with #if GIMPLE. The question whether there should be fold_overflow_warning for the TYPE_OVERFLOW_UNDEFINED case remains. 2023-12-14 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/112994 * match.pd ((t * u) / (t * v) -> (u / v)): New simplification. * gcc.dg/tree-ssa/pr112994-2.c: New test.