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 8969338582B2 for ; Fri, 17 Nov 2023 17:24:21 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 8969338582B2 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 8969338582B2 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=217.140.110.172 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700241862; cv=none; b=rF8/928W7RVr7ktLDlyjWVFrz7JEWYrr7rkjsMyZ3N5fxqI+6cZne4nmyZWXEbezS+jphgY0rBdmN4cKeqCm0Ect9nj3wsQJr3nKGhTAhxFRJ2k3NyDXuyNG38wEu9G5Z629BNS74jV8hVUMBgH56YZ7FGUVQd8F94r805DICmA= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700241862; c=relaxed/simple; bh=ROUb2r7RQ0LVWCGBpmp58aJ2IxKRpTqbXRdpNZjtp78=; h=From:To:Subject:Date:Message-ID:MIME-Version; b=rwyt6NRzEJf8XpgPiichoNa09WfYOlqBHalxshf+B0ilDCiiNR75NJcp6jVFMl1dd5IQgunBaixmq9mItSE6DlK+hBBW/pSRKY2M3TrK6wJoaqZ3PJL1jdj2+SQBjN62zfq1fcVfdbya80WXSGLM3I3Rx0iXhnctzBXOC9t8zJc= ARC-Authentication-Results: i=1; server2.sourceware.org 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 5BD401477 for ; Fri, 17 Nov 2023 09:25:07 -0800 (PST) Received: from localhost (e121540-lin.manchester.arm.com [10.32.110.72]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id EB5D93F73F for ; Fri, 17 Nov 2023 09:24:20 -0800 (PST) From: Richard Sandiford To: gcc-patches@gcc.gnu.org Mail-Followup-To: gcc-patches@gcc.gnu.org, richard.sandiford@arm.com Subject: [PATCH 02/21] aarch64: Add a result_mode helper function References: Date: Fri, 17 Nov 2023 17:24:19 +0000 In-Reply-To: (Richard Sandiford's message of "Fri, 17 Nov 2023 17:23:28 +0000") 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=-23.0 required=5.0 tests=BAYES_00,GIT_PATCH_0,KAM_DMARC_NONE,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,SPF_HELO_NONE,SPF_NONE,TXREP,T_SCC_BODY_TEXT_LINE 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: SME will add more intrinsics whose expansion code requires the mode of the function return value. This patch adds an associated helper routine. gcc/ * config/aarch64/aarch64-sve-builtins.h (function_expander::result_mode): New member function. * config/aarch64/aarch64-sve-builtins-base.cc (svld234_impl::expand): Use it. * config/aarch64/aarch64-sve-builtins.cc (function_expander::get_reg_target): Likewise. --- gcc/config/aarch64/aarch64-sve-builtins-base.cc | 2 +- gcc/config/aarch64/aarch64-sve-builtins.cc | 2 +- gcc/config/aarch64/aarch64-sve-builtins.h | 9 +++++++++ 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/gcc/config/aarch64/aarch64-sve-builtins-base.cc b/gcc/config/aarch64/aarch64-sve-builtins-base.cc index 9010ecca6da..b84e245eb3e 100644 --- a/gcc/config/aarch64/aarch64-sve-builtins-base.cc +++ b/gcc/config/aarch64/aarch64-sve-builtins-base.cc @@ -1506,7 +1506,7 @@ public: rtx expand (function_expander &e) const override { - machine_mode tuple_mode = TYPE_MODE (TREE_TYPE (e.call_expr)); + machine_mode tuple_mode = e.result_mode (); insn_code icode = convert_optab_handler (vec_mask_load_lanes_optab, tuple_mode, e.vector_mode (0)); return e.use_contiguous_load_insn (icode); diff --git a/gcc/config/aarch64/aarch64-sve-builtins.cc b/gcc/config/aarch64/aarch64-sve-builtins.cc index 75a51565ed2..8b7b885a8f4 100644 --- a/gcc/config/aarch64/aarch64-sve-builtins.cc +++ b/gcc/config/aarch64/aarch64-sve-builtins.cc @@ -2802,7 +2802,7 @@ function_expander::get_fallback_value (machine_mode mode, unsigned int nops, rtx function_expander::get_reg_target () { - machine_mode target_mode = TYPE_MODE (TREE_TYPE (TREE_TYPE (fndecl))); + machine_mode target_mode = result_mode (); if (!possible_target || GET_MODE (possible_target) != target_mode) possible_target = gen_reg_rtx (target_mode); return possible_target; diff --git a/gcc/config/aarch64/aarch64-sve-builtins.h b/gcc/config/aarch64/aarch64-sve-builtins.h index 99bfd906a07..7cf8f45b3d5 100644 --- a/gcc/config/aarch64/aarch64-sve-builtins.h +++ b/gcc/config/aarch64/aarch64-sve-builtins.h @@ -529,6 +529,8 @@ public: insn_code direct_optab_handler_for_sign (optab, optab, unsigned int = 0, machine_mode = E_VOIDmode); + machine_mode result_mode () const; + bool overlaps_input_p (rtx); rtx convert_to_pmode (rtx); @@ -878,6 +880,13 @@ function_base::call_properties (const function_instance &instance) const return flags; } +/* Return the mode of the result of a call. */ +inline machine_mode +function_expander::result_mode () const +{ + return TYPE_MODE (TREE_TYPE (TREE_TYPE (fndecl))); +} + } #endif -- 2.25.1