[PATCH] tree-optimization/117760 - `a != b` implies that a or b is also non-zero

Dear reviewers,I attached the patch for this Bugzilla issue: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117760I also attached an SMT file for the formal verifications of these properties. At the bottom of the file I pasted its output (executed with Z3).Best regards,Matteo 117760.smt2 Description

Re: [PATCH] tree-optimization: fabs(a+0.0) -> fabs(a) for non trapping case

com> wrote:On Thu, Sep 4, 2025 at 4:15 PM Matteo Nicoli <matteo.nicoli...@gmail.com> wrote:Dear Richard,No, I don’t have access to gcc git. Anyway, I updated the patch description and attached here the new patch.Please always state how you tested a patch.  This one doesn't compile beca

Re: [PATCH] tree-optimization: fabs(a+0.0) -> fabs(a) for non trapping case

Dear Richard,No, I don’t have access to gcc git. Anyway, I updated the patch description and attached here the new patch.Best regards,Matteo tree-optimization-121595.patch Description: Binary data On Sep 2, 2025, at 1:57 PM, Richard Biener wrote:On Fri, Aug 29, 2025 at 2:20 PM Matteo Nicoli

Re: [PATCH] tree-optimization: fabs(a+0.0) -> fabs(a) for non trapping case

Here’s the patch with the modified comment before the rule in match.pd tree-optimization-121595.patch Description: Binary data > On Aug 29, 2025, at 12:53 PM, Richard Biener > wrote: > > On Fri, Aug 29, 2025 at 10:56 AM Matteo Nicoli > wrote: >> >> Dear Rich

Re: [PATCH] tree-optimization: fabs(a+0.0) -> fabs(a) for non trapping case

28, 2025, at 10:43 AM, Richard Biener > wrote: > > On Sat, Aug 23, 2025 at 11:56 PM Matteo Nicoli > wrote: >> >> Dear reviewers, >> >> I attached a patch for bug 121595 >> (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121595). I signed it, and >&

[PATCH] tree-optimization: fabs(a+0.0) -> fabs(a) for non trapping case

Dear reviewers,I attached a patch for bug 121595 (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121595). I signed it, and added `Reviewed-by: Andrew Pinski  ` (here in CC).Best regards,Matteo tree-optimization-121595.patch Description: Binary data