Done. Please let me know if I need to do anything else.
On Fri, Jul 10, 2026 at 10:31 AM Jeffrey Law <[email protected]> wrote: > > > On 7/7/2026 11:13 AM, Kael Andrew Franco wrote: > > From cf6e4302cddd979315a58008e77f0c869280318c Mon Sep 17 00:00:00 2001 > > From: Kael Andrew Alonzo Franco <[email protected]> > > Date: Tue, 7 Jul 2026 13:09:01 -0400 > > Subject: [PATCH] match: Use tree_expr_nonnegative_p for (X / Y) (==,!=) > 0 -> X > > (<,>=) Y [PR125738] > > > > TYPE_UNSIGNED did not cover non-negative X and Y so use > tree_expr_nonnegative_p > > to relax condition on optimizations. > > gcc/testsuite/gcc.dg/tree-ssa/pr64130.c fails because match.pd optimize > funsigned () before > > evrp pass. Fix this by removing funsigned () and one scan-tree-dump. > > > > Bootstrapped and tested on x86_64-pc-linux-gnu. > > > > PR tree-optimization/125738 > > PR tree-optimization/64130 > > > > gcc/ChangeLog: > > > > * match.pd: Use tree_expr_nonnegative_p for (X / Y) (==,!=) 0 -> X > (<,>=) Y. > > > > gcc/testsuite/ChangeLog: > > > > * gcc.dg/pr125738.c: New test. > > * gcc.dg/tree-ssa/pr64130.c: Remove scan-tree-dump [2, 8589934591]. > > (funsigned): Remove. > > (funsigned2): Rename to funsigned. > > > > Signed-off-by: Kael Franco <[email protected]> > Thanks. I've pushed this to the trunk. > > Given the frequency of contributions you've started making it would make > sense to go ahead and get you write permissions for the project so that > you can commit your own approved patches. This page should have a > link to the form. Use [email protected] as the person sponsoring > your request. > > https://gcc.gnu.org/gitwrite.html#authenticated > > Thanks again! > > jeff >
