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
