From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1816) id BFCA93858C27; Sun, 23 Apr 2023 13:44:57 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BFCA93858C27 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1682257497; bh=AxQ+8isRmMjusOvpwAX4730XXZodoBzJM202XLe0fkk=; h=From:To:Subject:Date:From; b=iqEUvV3eQC+I0kbbM2NmUS5RtbdCKqsgTBy8r6yXkuoDDVYx1BECPgMzdSyL8sFCl fcLwWqyFlZdRqX/hjtK8UuQcRmYEk04AwVqvK08DKhLrmpcF+xJyCyQJiqrDH6Y1vL cCgP4soW6JfLLJRyw+qV41bh4lbWRrXaDP8nv490= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Kyrylo Tkachov To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-179] aarch64: Annotate fcvtn pattern for vec_concat with zeroes X-Act-Checkin: gcc X-Git-Author: Kyrylo Tkachov X-Git-Refname: refs/heads/master X-Git-Oldrev: 3b13c59c835f92b353ef318398e39907cdeec4fa X-Git-Newrev: 7e26fd6bcd39f53bc917f55f8cce6101180c1dcd Message-Id: <20230423134457.BFCA93858C27@sourceware.org> Date: Sun, 23 Apr 2023 13:44:57 +0000 (GMT) List-Id: https://gcc.gnu.org/g:7e26fd6bcd39f53bc917f55f8cce6101180c1dcd commit r14-179-g7e26fd6bcd39f53bc917f55f8cce6101180c1dcd Author: Kyrylo Tkachov Date: Sun Apr 23 14:44:13 2023 +0100 aarch64: Annotate fcvtn pattern for vec_concat with zeroes Using the define_substs in aarch64-simd.md this is a straightforward annotation to remove a redundant fmov insn. So the codegen goes from: foo_d: fcvtn v0.2s, v0.2d fmov d0, d0 ret to the simple: foo_d: fcvtn v0.2s, v0.2d ret Bootstrapped and tested on aarch64-none-linux-gnu. gcc/ChangeLog: * config/aarch64/aarch64-simd.md (aarch64_float_truncate_lo_): Rename to... (aarch64_float_truncate_lo_): ... This. gcc/testsuite/ChangeLog: * gcc.target/aarch64/float_truncate_zero.c: New test. Diff: --- gcc/config/aarch64/aarch64-simd.md | 2 +- .../gcc.target/aarch64/float_truncate_zero.c | 32 ++++++++++++++++++++++ 2 files changed, 33 insertions(+), 1 deletion(-) diff --git a/gcc/config/aarch64/aarch64-simd.md b/gcc/config/aarch64/aarch64-simd.md index 4a1ec71995d..7bd4362318b 100644 --- a/gcc/config/aarch64/aarch64-simd.md +++ b/gcc/config/aarch64/aarch64-simd.md @@ -3331,7 +3331,7 @@ } ) -(define_insn "aarch64_float_truncate_lo_" +(define_insn "aarch64_float_truncate_lo_" [(set (match_operand:VDF 0 "register_operand" "=w") (float_truncate:VDF (match_operand: 1 "register_operand" "w")))] diff --git a/gcc/testsuite/gcc.target/aarch64/float_truncate_zero.c b/gcc/testsuite/gcc.target/aarch64/float_truncate_zero.c new file mode 100644 index 00000000000..41775d164a5 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/float_truncate_zero.c @@ -0,0 +1,32 @@ +/* { dg-do compile } */ +/* { dg-additional-options "--save-temps -O1" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +#include + +/* +** foo: +** fcvtn v0.4h, v0.4s +** ret +*/ + +float16x8_t +foo (float32x4_t a) +{ + float16x4_t b = vcvt_f16_f32 (a); + return vcombine_f16 (b, vdup_n_f16 (0.0)); +} + +/* +** foo_d: +** fcvtn v0.2s, v0.2d +** ret +*/ + +float32x4_t +foo_d (float64x2_t a) +{ + float32x2_t b = vcvt_f32_f64 (a); + return vcombine_f32 (b, vdup_n_f32 (0.0)); +} +