[gcc r14-6045] aarch64: Add a result_mode helper function

[Richard Sandiford]

https://gcc.gnu.org/g:a1bc121c00e30bd1bdaa62d87cbe64eb88e74f45

commit r14-6045-ga1bc121c00e30bd1bdaa62d87cbe64eb88e74f45
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Fri Dec 1 08:36:15 2023 +0000

    aarch64: Add a result_mode helper function
    
    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.

Diff:
---
 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 a6e527bedd1..6e108de54ea 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins-base.cc
+++ b/gcc/config/aarch64/aarch64-sve-builtins-base.cc
@@ -1493,7 +1493,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 ee81282a0be..c5aaf1bef17 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins.cc
+++ b/gcc/config/aarch64/aarch64-sve-builtins.cc
@@ -2862,7 +2862,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 b9148c51b28..1ac561dab47 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins.h
+++ b/gcc/config/aarch64/aarch64-sve-builtins.h
@@ -530,6 +530,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);
@@ -882,6 +884,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