Re: [EXTERNAL] [PATCH] testsuite: Fix up tree-ssa/pr103514.c testcase [PR103514]

2022-01-31 Thread Andrew Pinski via Gcc-patches
On Mon, Jan 31, 2022 at 2:13 AM Jakub Jelinek wrote: > > On Sun, Jan 30, 2022 at 10:16:44AM +, Navid Rahimi via Gcc-patches wrote: > > Thanks Jakob for the correction. Sadly, I didn’t have any access to any non > > x86 architecture. But x86 was fully tested and there was no regression. > > >

Re: [EXTERNAL] [PATCH] testsuite: Fix up tree-ssa/pr103514.c testcase [PR103514]

2022-01-31 Thread Jakub Jelinek via Gcc-patches
On Sun, Jan 30, 2022 at 10:16:44AM +, Navid Rahimi via Gcc-patches wrote: > Thanks Jakob for the correction. Sadly, I didn’t have any access to any non > x86 architecture. But x86 was fully tested and there was no regression. > > In my spare time I will look at implementation of this for shor

Re: [PATCH] testsuite: Fix up tree-ssa/pr103514.c testcase [PR103514]

2022-01-31 Thread Richard Biener via Gcc-patches
On Sat, 29 Jan 2022, Jakub Jelinek wrote: > On Fri, Jan 28, 2022 at 03:14:16PM -0700, Jeff Law via Gcc-patches wrote: > > > This patch will add the missed pattern described in bug 103514 [1] to the > > > match.pd. [1] includes proof of correctness for the patch too. > > > > > > PR tree-optimizat

Re: [EXTERNAL] [PATCH] testsuite: Fix up tree-ssa/pr103514.c testcase [PR103514]

2022-01-30 Thread Navid Rahimi via Gcc-patches
Jelinek Sent: Saturday, January 29, 2022 8:46:09 AM To: Richard Biener ; Jeff Law Cc: Navid Rahimi ; gcc-patches@gcc.gnu.org Subject: [EXTERNAL] [PATCH] testsuite: Fix up tree-ssa/pr103514.c testcase [PR103514] [You don't often get email from ja...@redhat.com. Learn why this is importan

[PATCH] testsuite: Fix up tree-ssa/pr103514.c testcase [PR103514]

2022-01-29 Thread Jakub Jelinek via Gcc-patches
On Fri, Jan 28, 2022 at 03:14:16PM -0700, Jeff Law via Gcc-patches wrote: > > This patch will add the missed pattern described in bug 103514 [1] to the > > match.pd. [1] includes proof of correctness for the patch too. > > > > PR tree-optimization/103514 > > * match.pd (a & b) ^ (a == b) -> !