From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by sourceware.org (Postfix) with ESMTP id B573A3895FD9; Mon, 13 Feb 2023 13:57:51 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B573A3895FD9 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id DC90F4B3; Mon, 13 Feb 2023 05:58:33 -0800 (PST) Received: from localhost (e121540-lin.manchester.arm.com [10.32.99.50]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 78E353F881; Mon, 13 Feb 2023 05:57:50 -0800 (PST) From: Richard Sandiford To: "Kewen.Lin" Mail-Followup-To: "Kewen.Lin" ,rguenther@suse.de, linkw@gcc.gnu.org, gcc-patches@gcc.gnu.org, richard.sandiford@arm.com Cc: rguenther@suse.de, linkw@gcc.gnu.org, gcc-patches@gcc.gnu.org Subject: Re: [PATCH 2/2] vect: Make partial trapping ops use predication [PR96373] References: <3daa6e11-7ac6-0348-91eb-26e65f067fe4@linux.ibm.com> Date: Mon, 13 Feb 2023 13:57:49 +0000 In-Reply-To: <3daa6e11-7ac6-0348-91eb-26e65f067fe4@linux.ibm.com> (Kewen Lin's message of "Mon, 13 Feb 2023 20:42:53 +0800") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-35.2 required=5.0 tests=BAYES_00,GIT_PATCH_0,KAM_DMARC_NONE,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,KAM_SHORT,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: "Kewen.Lin" writes: > Hi Richard, > > on 2023/1/27 19:08, Richard Sandiford via Gcc-patches wrote: >> PR96373 points out that a predicated SVE loop currently converts >> trapping unconditional ops into unpredicated vector ops. Doing >> the operation on inactive lanes can then raise an exception. >> >> As discussed in the PR trail, we aren't 100% consistent about >> whether we preserve traps or not. But the direction of travel >> is clearly to improve that rather than live with it. This patch >> tries to do that for the SVE case. >> >> Doing this regresses gcc.target/aarch64/sve/fabd_1.c. I've added >> -fno-trapping-math for now and filed PR108571 to track it. >> A similar problem applies to fsubr_1.d. >> >> I think this is likely to regress Power 10, since conditional >> operations are only available for masked loops. I think we'll >> need to add -fno-trapping-math to any affected testcases, >> but I don't have a Power 10 system to test on. Kewen, would you >> mind giving this a spin and seeing how bad the fallout is? >> > > Sorry for the late reply, I'm just back from vacation. > > Thank you for fixing this and caring about Power10! > > I tested your proposed patch on one Power10 machine (ppc64le), > it's bootstrapped but some test failures got exposed as below. > > < FAIL: gcc.target/powerpc/p9-vec-length-epil-1.c scan-assembler-times \\\\mlxvl\\\\M 14 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-1.c scan-assembler-times \\\\mstxvl\\\\M 7 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-2.c scan-assembler-times \\\\mlxvl\\\\M 20 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-2.c scan-assembler-times \\\\mstxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-3.c scan-assembler-times \\\\mlxvl\\\\M 14 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-3.c scan-assembler-times \\\\mstxvl\\\\M 7 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-4.c scan-assembler-times \\\\mlxvl\\\\M 70 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-4.c scan-assembler-times \\\\mlxvx?\\\\M 120 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-4.c scan-assembler-times \\\\mstxvl\\\\M 70 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-4.c scan-assembler-times \\\\mstxvx?\\\\M 70 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-5.c scan-assembler-times \\\\mlxvl\\\\M 21 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-5.c scan-assembler-times \\\\mstxvl\\\\M 21 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-5.c scan-assembler-times \\\\mstxvx?\\\\M 21 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-6.c scan-assembler-times \\\\mlxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-6.c scan-assembler-times \\\\mlxvx?\\\\M 42 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-6.c scan-assembler-times \\\\mstxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-8.c scan-assembler-times \\\\mlxvl\\\\M 16 > < FAIL: gcc.target/powerpc/p9-vec-length-epil-8.c scan-assembler-times \\\\mstxvl\\\\M 7 > < FAIL: gcc.target/powerpc/p9-vec-length-full-1.c scan-assembler-not \\\\mlxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-1.c scan-assembler-not \\\\mstxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-1.c scan-assembler-times \\\\mlxvl\\\\M 20 > < FAIL: gcc.target/powerpc/p9-vec-length-full-1.c scan-assembler-times \\\\mstxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-full-2.c scan-assembler-not \\\\mlxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-2.c scan-assembler-not \\\\mstxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-2.c scan-assembler-times \\\\mlxvl\\\\M 20 > < FAIL: gcc.target/powerpc/p9-vec-length-full-2.c scan-assembler-times \\\\mstxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-full-3.c scan-assembler-times \\\\mlxvl\\\\M 14 > < FAIL: gcc.target/powerpc/p9-vec-length-full-3.c scan-assembler-times \\\\mstxvl\\\\M 7 > < FAIL: gcc.target/powerpc/p9-vec-length-full-4.c scan-assembler-not \\\\mlxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-4.c scan-assembler-not \\\\mstxv\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-4.c scan-assembler-not \\\\mstxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-4.c scan-assembler-times \\\\mlxvl\\\\M 70 > < FAIL: gcc.target/powerpc/p9-vec-length-full-4.c scan-assembler-times \\\\mstxvl\\\\M 70 > < FAIL: gcc.target/powerpc/p9-vec-length-full-5.c scan-assembler-not \\\\mlxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-5.c scan-assembler-not \\\\mstxv\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-5.c scan-assembler-not \\\\mstxvx\\\\M > < FAIL: gcc.target/powerpc/p9-vec-length-full-5.c scan-assembler-times \\\\mlxvl\\\\M 21 > < FAIL: gcc.target/powerpc/p9-vec-length-full-5.c scan-assembler-times \\\\mstxvl\\\\M 21 > < FAIL: gcc.target/powerpc/p9-vec-length-full-6.c scan-assembler-times \\\\mlxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-full-6.c scan-assembler-times \\\\mstxvl\\\\M 10 > < FAIL: gcc.target/powerpc/p9-vec-length-full-6.c scan-assembler-times \\\\mstxvx?\\\\M 6 > < FAIL: gcc.target/powerpc/p9-vec-length-full-8.c scan-assembler-times \\\\mlxvl\\\\M 30 > < FAIL: gcc.target/powerpc/p9-vec-length-full-8.c scan-assembler-times \\\\mstxvl\\\\M 10 > > By checking several of them, it's due to that we don't vectorize > some loop having float type involved with partial vector any more. > > As you suggested above, I fixed them with an extra option > "-fno-trapping-math" and verified all of them can pass again. > I also noticed that the original test case in PR96373 fails > on Power10 too, so I added one constructed case pr96373.c > into sub bucket gcc.target/powerpc for testing coverage > on Power. > > One re-spin with the attached adjustment shows there is no > regression failure any more, and the new test case works well > on both ppc64 (P8) and ppc64le (P10) Linux. Thanks for doing this. The patch is OK, if you need approval. I'll push mine once it's in. Richard > > BR, > Kewen > ----- > > From 5267731d8949c242b6188c3e9f7b0d561e6e092d Mon Sep 17 00:00:00 2001 > From: Kewen Lin > Date: Mon, 13 Feb 2023 17:07:50 +0800 > Subject: [PATCH] rs6000 test cases adjustment > > gcc/testsuite/ChangeLog: > > * gcc.target/powerpc/p9-vec-length-epil-1.c: Add -fno-trapping-math. > * gcc.target/powerpc/p9-vec-length-epil-2.c: Likewise. > * gcc.target/powerpc/p9-vec-length-epil-3.c: Likewise. > * gcc.target/powerpc/p9-vec-length-epil-4.c: Likewise. > * gcc.target/powerpc/p9-vec-length-epil-5.c: Likewise. > * gcc.target/powerpc/p9-vec-length-epil-6.c: Likewise. > * gcc.target/powerpc/p9-vec-length-epil-8.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-1.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-2.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-3.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-4.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-5.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-6.c: Likewise. > * gcc.target/powerpc/p9-vec-length-full-8.c: Likewise. > * gcc.target/powerpc/pr96373.c: New test. > --- > .../gcc.target/powerpc/p9-vec-length-epil-1.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-epil-2.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-epil-3.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-epil-4.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-epil-5.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-epil-6.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-epil-8.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-1.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-2.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-3.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-4.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-5.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-6.c | 2 +- > .../gcc.target/powerpc/p9-vec-length-full-8.c | 2 +- > gcc/testsuite/gcc.target/powerpc/pr96373.c | 31 +++++++++++++++++++ > 15 files changed, 45 insertions(+), 14 deletions(-) > create mode 100644 gcc/testsuite/gcc.target/powerpc/pr96373.c > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-1.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-1.c > index d248f091b52..dfcc0e95320 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-1.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-1.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-2.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-2.c > index 9f78a447ec7..e63f1bf2372 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-2.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-2.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-3.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-3.c > index a08797fcbca..4a99e3a3265 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-3.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-3.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-4.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-4.c > index ad051fb1cef..9fbee6a4324 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-4.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-4.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-5.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-5.c > index a24c30feeba..d023a998c3b 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-5.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-5.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-6.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-6.c > index 4eaeb3b005f..dbce90757e3 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-6.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-6.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-8.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-8.c > index 8b9c9107814..e56fd55f623 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-8.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-epil-8.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=1" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-1.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-1.c > index 3336752edbb..f01f1c54fa5 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-1.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-1.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-2.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-2.c > index 98abf8b33b1..f546e97fa7d 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-2.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-2.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-3.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-3.c > index 0881d1a960a..65142b3fecd 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-3.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-3.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-4.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-4.c > index 8ce3dc19a60..a4cc7aafaeb 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-4.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-4.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-5.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-5.c > index f9f58ba11f5..4b0b9070c84 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-5.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-5.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-6.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-6.c > index 5d2357aabfa..65ddf2b098a 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-6.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-6.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-8.c b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-8.c > index 1fc2af1e753..7fe0dd00431 100644 > --- a/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-8.c > +++ b/gcc/testsuite/gcc.target/powerpc/p9-vec-length-full-8.c > @@ -1,5 +1,5 @@ > /* { dg-do compile { target { lp64 && powerpc_p9vector_ok } } } */ > -/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops" } */ > +/* { dg-options "-mdejagnu-cpu=power9 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fno-trapping-math" } */ > > /* { dg-additional-options "--param=vect-partial-vector-usage=2" } */ > > diff --git a/gcc/testsuite/gcc.target/powerpc/pr96373.c b/gcc/testsuite/gcc.target/powerpc/pr96373.c > new file mode 100644 > index 00000000000..f0471b6f68b > --- /dev/null > +++ b/gcc/testsuite/gcc.target/powerpc/pr96373.c > @@ -0,0 +1,31 @@ > +/* { dg-do run { target { powerpc*-*-linux* } } } */ > +/* { dg-options "-O2 -ftree-vectorize" } */ > + > +/* Verify it can run successfully, especially on Power10 and later. */ > + > +#define _GNU_SOURCE > +#include > + > +__attribute__ ((noipa)) void > +div (double *d, double *s, int n) > +{ > + for (; n; n--, d++, s++) > + *d = *d / *s; > +} > + > +int main() > +{ > + double d[] = {1,2,3,4,5,6,7,8,9,10,11}; > + double s[] = {11,10,9,8,7,6,5,4,3,2,1}; > + > + feenableexcept(FE_DIVBYZERO|FE_INVALID); > + div(d, s, 11); > + > + int i; > + for (i = 0; i < 11; i++) > + __builtin_printf(" %f", d[i]); > + > + __builtin_printf("\n"); > + > + return 0; > +}