From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1035) id 4015F385840C; Fri, 23 Feb 2024 12:45:42 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4015F385840C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1708692342; bh=wsCyv1viStbNdipu2iCcEysP+P835NmgH7ARQ4lDvyY=; h=From:To:Subject:Date:From; b=S3ezvKg31BWmfh/jfV8fSyIvZCU6xOuroX783PxgDZ49SOOSfjDlxwyHZyzPqpI6a ZucETAShf/G7AAG9kTVtubU6WsAC2RFbMrpO7EoT8Ryj8acVwrLKxKNDKt/xK/BvNS DHfzMtdMjtY6aMjUaAYg/iJjDHuAWSUjVpiOrL00= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Earnshaw To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-8359] arm: fix ICE with vectorized reciprocal division [PR108120] X-Act-Checkin: gcc X-Git-Author: Richard Earnshaw X-Git-Refname: refs/heads/releases/gcc-13 X-Git-Oldrev: 88a2e5005c6e05959840416a6b35ef5193ace6d4 X-Git-Newrev: f78d1b9c26c2def0e9c54610e73e21f91b5eb05b Message-Id: <20240223124542.4015F385840C@sourceware.org> Date: Fri, 23 Feb 2024 12:45:42 +0000 (GMT) List-Id: https://gcc.gnu.org/g:f78d1b9c26c2def0e9c54610e73e21f91b5eb05b commit r13-8359-gf78d1b9c26c2def0e9c54610e73e21f91b5eb05b Author: Richard Earnshaw Date: Thu Feb 22 16:47:20 2024 +0000 arm: fix ICE with vectorized reciprocal division [PR108120] The expand pattern for reciprocal division was enabled for all math optimization modes, but the patterns it was generating were not enabled unless -funsafe-math-optimizations were enabled, this leads to an ICE when the pattern we generate cannot be recognized. Fixed by only enabling vector division when doing unsafe math. gcc: PR target/108120 * config/arm/neon.md (div3): Rename from div3. Gate with ARM_HAVE_NEON__ARITH. gcc/testsuite: PR target/108120 * gcc.target/arm/neon-recip-div-1.c: New file. (cherry picked from commit 016c4eed368b80a97101f6156ed99e4c5474fbb7) Diff: --- gcc/config/arm/neon.md | 4 ++-- gcc/testsuite/gcc.target/arm/neon-recip-div-1.c | 16 ++++++++++++++++ 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/gcc/config/arm/neon.md b/gcc/config/arm/neon.md index d213369ffc38..fab7b07b1658 100644 --- a/gcc/config/arm/neon.md +++ b/gcc/config/arm/neon.md @@ -504,11 +504,11 @@ Enabled with -funsafe-math-optimizations -freciprocal-math and disabled for -Os since it increases code size . */ -(define_expand "div3" +(define_expand "div3" [(set (match_operand:VCVTF 0 "s_register_operand") (div:VCVTF (match_operand:VCVTF 1 "s_register_operand") (match_operand:VCVTF 2 "s_register_operand")))] - "TARGET_NEON && !optimize_size + "ARM_HAVE_NEON__ARITH && !optimize_size && flag_reciprocal_math" { rtx rec = gen_reg_rtx (mode); diff --git a/gcc/testsuite/gcc.target/arm/neon-recip-div-1.c b/gcc/testsuite/gcc.target/arm/neon-recip-div-1.c new file mode 100644 index 000000000000..e15c3ca5fe9d --- /dev/null +++ b/gcc/testsuite/gcc.target/arm/neon-recip-div-1.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target arm_neon_ok } */ +/* { dg-options "-O3 -freciprocal-math -fno-unsafe-math-optimizations -save-temps" } */ +/* { dg-add-options arm_neon } */ + +int *a; +int n; +void b() { + int c; + for (c = 0; c < 100000; c++) + a[c] = (float)c / n; +} +/* We should not ICE, or get a vectorized reciprocal instruction when unsafe + math optimizations are disabled. */ +/* { dg-final { scan-assembler-not "vrecpe\\.f32\\t\[qd\].*" } } */ +/* { dg-final { scan-assembler-not "vrecps\\.f32\\t\[qd\].*" } } */