From: Richard Sandiford Date: Thu, 9 Jan 2020 15:18:32 +0000 (+0000) Subject: [AArch64] Specify some SVE ACLE functions in a more generic way X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=99a3b91535cb41807d62478cd769bc1bed0db5df;p=gcc.git [AArch64] Specify some SVE ACLE functions in a more generic way This patch generalises some boilerplate that becomes much more common with SVE2 intrinsics. 2020-01-09 Richard Sandiford gcc/ * config/aarch64/aarch64-sve-builtins-functions.h (code_for_mode_function): New class. (CODE_FOR_MODE0, QUIET_CODE_FOR_MODE0): New macros. * config/aarch64/aarch64-sve-builtins-base.cc (svcompact_impl) (svext_impl, svmul_lane_impl, svsplice_impl, svtmad_impl): Delete. (svcompact, svext, svsplice): Use QUIET_CODE_FOR_MODE0. (svmul_lane, svtmad): Use CODE_FOR_MODE0. From-SVN: r280051 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7efa28ccaeb..1c2a4a92d69 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2020-01-09 Richard Sandiford + + * config/aarch64/aarch64-sve-builtins-functions.h + (code_for_mode_function): New class. + (CODE_FOR_MODE0, QUIET_CODE_FOR_MODE0): New macros. + * config/aarch64/aarch64-sve-builtins-base.cc (svcompact_impl) + (svext_impl, svmul_lane_impl, svsplice_impl, svtmad_impl): Delete. + (svcompact, svext, svsplice): Use QUIET_CODE_FOR_MODE0. + (svmul_lane, svtmad): Use CODE_FOR_MODE0. + 2020-01-09 Richard Sandiford * config/aarch64/iterators.md (addsub): New code attribute. diff --git a/gcc/config/aarch64/aarch64-sve-builtins-base.cc b/gcc/config/aarch64/aarch64-sve-builtins-base.cc index 48af479cffb..10af6e9078d 100644 --- a/gcc/config/aarch64/aarch64-sve-builtins-base.cc +++ b/gcc/config/aarch64/aarch64-sve-builtins-base.cc @@ -533,16 +533,6 @@ public: } }; -class svcompact_impl : public quiet -{ -public: - rtx - expand (function_expander &e) const OVERRIDE - { - return e.use_exact_insn (code_for_aarch64_sve_compact (e.vector_mode (0))); - } -}; - /* Implements svcreate2, svcreate3 and svcreate4. */ class svcreate_impl : public quiet { @@ -909,16 +899,6 @@ public: } }; -class svext_impl : public quiet -{ -public: - rtx - expand (function_expander &e) const OVERRIDE - { - return e.use_exact_insn (code_for_aarch64_sve_ext (e.vector_mode (0))); - } -}; - /* Implements svextb, svexth and svextw. */ class svext_bhw_impl : public function_base { @@ -1463,16 +1443,6 @@ public: } }; -class svmul_lane_impl : public function_base -{ -public: - rtx - expand (function_expander &e) const OVERRIDE - { - return e.use_exact_insn (code_for_aarch64_mul_lane (e.vector_mode (0))); - } -}; - class svnand_impl : public function_base { public: @@ -2002,16 +1972,6 @@ public: } }; -class svsplice_impl : public quiet -{ -public: - rtx - expand (function_expander &e) const OVERRIDE - { - return e.use_exact_insn (code_for_aarch64_sve_splice (e.vector_mode (0))); - } -}; - class svst1_impl : public full_width_access { public: @@ -2196,16 +2156,6 @@ public: } }; -class svtmad_impl : public function_base -{ -public: - rtx - expand (function_expander &e) const OVERRIDE - { - return e.use_exact_insn (code_for_aarch64_sve_tmad (e.vector_mode (0))); - } -}; - /* Implements svtrn1 and svtrn2. */ class svtrn_impl : public binary_permute { @@ -2522,7 +2472,7 @@ FUNCTION (svcnth_pat, svcnt_bhwd_pat_impl, (VNx8HImode)) FUNCTION (svcntp, svcntp_impl,) FUNCTION (svcntw, svcnt_bhwd_impl, (VNx4SImode)) FUNCTION (svcntw_pat, svcnt_bhwd_pat_impl, (VNx4SImode)) -FUNCTION (svcompact, svcompact_impl,) +FUNCTION (svcompact, QUIET_CODE_FOR_MODE0 (aarch64_sve_compact),) FUNCTION (svcreate2, svcreate_impl, (2)) FUNCTION (svcreate3, svcreate_impl, (3)) FUNCTION (svcreate4, svcreate_impl, (4)) @@ -2538,7 +2488,7 @@ FUNCTION (svdupq_lane, svdupq_lane_impl,) FUNCTION (sveor, rtx_code_function, (XOR, XOR, -1)) FUNCTION (sveorv, reduction, (UNSPEC_XORV)) FUNCTION (svexpa, unspec_based_function, (-1, -1, UNSPEC_FEXPA)) -FUNCTION (svext, svext_impl,) +FUNCTION (svext, QUIET_CODE_FOR_MODE0 (aarch64_sve_ext),) FUNCTION (svextb, svext_bhw_impl, (QImode)) FUNCTION (svexth, svext_bhw_impl, (HImode)) FUNCTION (svextw, svext_bhw_impl, (SImode)) @@ -2610,7 +2560,7 @@ FUNCTION (svmls_lane, svmla_svmls_lane_impl, (UNSPEC_FMLS)) FUNCTION (svmov, svmov_impl,) FUNCTION (svmsb, svmsb_impl,) FUNCTION (svmul, rtx_code_function, (MULT, MULT, UNSPEC_COND_FMUL)) -FUNCTION (svmul_lane, svmul_lane_impl,) +FUNCTION (svmul_lane, CODE_FOR_MODE0 (aarch64_mul_lane),) FUNCTION (svmulh, unspec_based_function, (UNSPEC_SMUL_HIGHPART, UNSPEC_UMUL_HIGHPART, -1)) FUNCTION (svmulx, unspec_based_function, (-1, -1, UNSPEC_COND_FMULX)) @@ -2686,7 +2636,7 @@ FUNCTION (svset2, svset_impl, (2)) FUNCTION (svset3, svset_impl, (3)) FUNCTION (svset4, svset_impl, (4)) FUNCTION (svsetffr, svsetffr_impl,) -FUNCTION (svsplice, svsplice_impl,) +FUNCTION (svsplice, QUIET_CODE_FOR_MODE0 (aarch64_sve_splice),) FUNCTION (svsqrt, rtx_code_function, (SQRT, SQRT, UNSPEC_COND_FSQRT)) FUNCTION (svst1, svst1_impl,) FUNCTION (svst1_scatter, svst1_scatter_impl,) @@ -2703,7 +2653,7 @@ FUNCTION (svstnt1, svstnt1_impl,) FUNCTION (svsub, svsub_impl,) FUNCTION (svsubr, rtx_code_function_rotated, (MINUS, MINUS, UNSPEC_COND_FSUB)) FUNCTION (svtbl, svtbl_impl,) -FUNCTION (svtmad, svtmad_impl,) +FUNCTION (svtmad, CODE_FOR_MODE0 (aarch64_sve_tmad),) FUNCTION (svtrn1, svtrn_impl, (0)) FUNCTION (svtrn2, svtrn_impl, (1)) FUNCTION (svtsmul, unspec_based_function, (-1, -1, UNSPEC_FTSMUL)) diff --git a/gcc/config/aarch64/aarch64-sve-builtins-functions.h b/gcc/config/aarch64/aarch64-sve-builtins-functions.h index 2493bd6fbbb..97821766ef9 100644 --- a/gcc/config/aarch64/aarch64-sve-builtins-functions.h +++ b/gcc/config/aarch64/aarch64-sve-builtins-functions.h @@ -293,6 +293,29 @@ public: int m_unspec_for_fp; }; +/* A function_base that uses CODE_FOR_MODE (M) to get the associated + instruction code, where M is the vector mode associated with type + suffix N. */ +template +class code_for_mode_function : public function_base +{ +public: + rtx + expand (function_expander &e) const OVERRIDE + { + return e.use_exact_insn (CODE_FOR_MODE (e.vector_mode (N))); + } +}; + +/* A function that uses code_for_ (M), where M is the vector + mode associated with the first type suffix. */ +#define CODE_FOR_MODE0(PATTERN) code_for_mode_function + +/* Like CODE_FOR_MODE0, but the function doesn't raise exceptions when + operating on floating-point data. */ +#define QUIET_CODE_FOR_MODE0(PATTERN) \ + quiet< code_for_mode_function > + /* A function_base for functions that permute their arguments. */ class permute : public quiet {