Re: Match: Fix ordered and nonequal: Fix 'gcc.dg/opt-ordered-and-nonequal-1.c' re 'LOGICAL_OP_NON_SHORT_CIRCUIT' [PR116635] (was: [PATCH] Match: Fix ordered and nonequal)

2024-09-09 Thread Richard Biener
On Mon, Sep 9, 2024 at 8:48 AM Thomas Schwinge wrote: > > Hi! > > On 2024-09-04T13:43:45+0800, "Hu, Lin1" wrote: > > --- /dev/null > > +++ b/gcc/testsuite/gcc.dg/opt-ordered-and-nonequal-1.c > > @@ -0,0 +1,49 @@ > > +/* { dg-do compile } */ > > +/* { dg-options "-O2 -fdump-tree-forwprop1-details"

Match: Fix ordered and nonequal: Fix 'gcc.dg/opt-ordered-and-nonequal-1.c' re 'LOGICAL_OP_NON_SHORT_CIRCUIT' [PR116635] (was: [PATCH] Match: Fix ordered and nonequal)

2024-09-08 Thread Thomas Schwinge
h: Fix ordered and nonequal: Fix 'gcc.dg/opt-ordered-and-nonequal-1.c' re 'LOGICAL_OP_NON_SHORT_CIRCUIT' [PR116635]", see attached? Grüße Thomas >From 3e85cb373fb86db5fad86a452a69e713c7050f16 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Mon, 9 Sep 2024 08:39:10

Re: [PATCH] Match: Fix ordered and nonequal

2024-09-04 Thread Richard Biener
ubiz...@gmail.com; rguent...@suse.de; > > ja...@redhat.com; pins...@gmail.com > > Subject: [PATCH] Match: Fix ordered and nonequal > > > > Hi, all > > > > This patch is a fix patch. > > > > Need to add :c for bit_and, because bit_and is commutativ

RE: [PATCH] Match: Fix ordered and nonequal

2024-09-04 Thread Hu, Lin1
Type wrong hongtao's e-mail address. > -Original Message- > From: Hu, Lin1 > Sent: Wednesday, September 4, 2024 1:44 PM > To: gcc-patches@gcc.gnu.org > Cc: hontao@intel.com; ubiz...@gmail.com; rguent...@suse.de; > ja...@redhat.com; pins...@gmail.com > S

[PATCH] Match: Fix ordered and nonequal

2024-09-03 Thread Hu, Lin1
Hi, all This patch is a fix patch. Need to add :c for bit_and, because bit_and is commutative. And is (ltgt @0 @1) is simpler than (bit_not (uneq @0 @1)). Bootstrapped/regtested on x86-64-pc-linux-gnu, OK for trunk? BRs, Lin gcc/ChangeLog: * match.pd: Fix match for (bit_and (ordered @