123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320 |
- /* Information about fuunction binary interfaces.
- Copyright (C) 2019-2020 Free Software Foundation, Inc.
- This file is part of GCC
- GCC is free software; you can redistribute it and/or modify it under
- the terms of the GNU General Public License as published by the Free
- Software Foundation; either version 3, or (at your option) any later
- version.
- GCC is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or
- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- for more details.
- You should have received a copy of the GNU General Public License
- along with GCC; see the file COPYING3. If not see
- <http://www.gnu.org/licenses/>. */
- #ifndef GCC_FUNCTION_ABI_H
- #define GCC_FUNCTION_ABI_H
- /* Most targets use the same ABI for all functions in a translation
- unit, but some targets support interoperability between several ABIs.
- Each such ABI has a unique 0-based identifier, with 0 always being
- the default choice of ABI.
- NUM_ABI_IDS is the maximum number of such ABIs that GCC can handle at once.
- A bitfield with this number of bits can represent any combinaion of the
- supported ABIs. */
- const size_t NUM_ABI_IDS = 8;
- /* Information about one of the target's predefined ABIs. */
- class predefined_function_abi
- {
- public:
- /* A target-specific identifier for this ABI. The value must be in
- the range [0, NUM_ABI_IDS - 1]. */
- unsigned int id () const { return m_id; }
- /* True if this ABI has been initialized. */
- bool initialized_p () const { return m_initialized; }
- /* Return true if a function call is allowed to alter every bit of
- register REGNO, so that the register contains an arbitrary value
- on return. If so, the register cannot hold any part of a value
- that is live across a call. */
- bool
- clobbers_full_reg_p (unsigned int regno) const
- {
- return TEST_HARD_REG_BIT (m_full_reg_clobbers, regno);
- }
- /* Return true if a function call is allowed to alter some or all bits
- of register REGNO.
- This is true whenever clobbers_full_reg_p (REGNO) is true. It is
- also true if, for example, the ABI says that a call must preserve the
- low 32 or 64 bits of REGNO, but can clobber the upper bits of REGNO.
- In the latter case, it is possible for REGNO to hold values that
- are live across a call, provided that the value occupies only the
- call-preserved part of the register. */
- bool
- clobbers_at_least_part_of_reg_p (unsigned int regno) const
- {
- return TEST_HARD_REG_BIT (m_full_and_partial_reg_clobbers, regno);
- }
- /* Return true if a function call is allowed to clobber at least part
- of (reg:MODE REGNO). If so, it is not possible for the register
- as a whole to be live across a call. */
- bool
- clobbers_reg_p (machine_mode mode, unsigned int regno) const
- {
- return overlaps_hard_reg_set_p (m_mode_clobbers[mode], mode, regno);
- }
- /* Return the set of registers that a function call is allowed to
- alter completely, so that the registers contain arbitrary values
- on return. This doesn't include registers that a call can only
- partly clobber (as per TARGET_HARD_REGNO_CALL_PART_CLOBBERED).
- These registers cannot hold any part of a value that is live across
- a call. */
- HARD_REG_SET full_reg_clobbers () const { return m_full_reg_clobbers; }
- /* Return the set of registers that a function call is allowed to alter
- to some degree. For example, if an ABI says that a call must preserve
- the low 32 or 64 bits of a register R, but can clobber the upper bits
- of R, R would be in this set but not in full_reg_clobbers ().
- This set is a superset of full_reg_clobbers (). It is possible for a
- register in full_and_partial_reg_clobbers () & ~full_reg_clobbers ()
- to contain values that are live across a call, provided that the live
- value only occupies the call-preserved part of the register. */
- HARD_REG_SET
- full_and_partial_reg_clobbers () const
- {
- return m_full_and_partial_reg_clobbers;
- }
- /* Return the set of registers that cannot be used to hold a value of
- mode MODE across a function call. That is:
- (reg:REGNO MODE)
- might be clobbered by a call whenever:
- overlaps_hard_reg_set (mode_clobbers (MODE), MODE, REGNO)
- In allocation terms, the registers in the returned set conflict
- with any value of mode MODE that is live across a call. */
- HARD_REG_SET
- mode_clobbers (machine_mode mode) const
- {
- return m_mode_clobbers[mode];
- }
- void initialize (unsigned int, const_hard_reg_set);
- void add_full_reg_clobber (unsigned int);
- private:
- unsigned int m_id : NUM_ABI_IDS;
- unsigned int m_initialized : 1;
- HARD_REG_SET m_full_reg_clobbers;
- HARD_REG_SET m_full_and_partial_reg_clobbers;
- HARD_REG_SET m_mode_clobbers[NUM_MACHINE_MODES];
- };
- /* Describes either a predefined ABI or the ABI of a particular function.
- In the latter case, the ABI might make use of extra function-specific
- information, such as for -fipa-ra. */
- class function_abi
- {
- public:
- /* Initialize the structure for a general function with the given ABI. */
- function_abi (const predefined_function_abi &base_abi)
- : m_base_abi (&base_abi),
- m_mask (base_abi.full_and_partial_reg_clobbers ()) {}
- /* Initialize the structure for a function that has the given ABI and
- that is known not to clobber registers outside MASK. */
- function_abi (const predefined_function_abi &base_abi,
- const_hard_reg_set mask)
- : m_base_abi (&base_abi), m_mask (mask) {}
- /* The predefined ABI from which this ABI is derived. */
- const predefined_function_abi &base_abi () const { return *m_base_abi; }
- /* The target-specific identifier of the predefined ABI. */
- unsigned int id () const { return m_base_abi->id (); }
- /* See the corresponding predefined_function_abi functions for
- details about the following functions. */
- HARD_REG_SET
- full_reg_clobbers () const
- {
- return m_mask & m_base_abi->full_reg_clobbers ();
- }
- HARD_REG_SET
- full_and_partial_reg_clobbers () const
- {
- return m_mask & m_base_abi->full_and_partial_reg_clobbers ();
- }
- HARD_REG_SET
- mode_clobbers (machine_mode mode) const
- {
- return m_mask & m_base_abi->mode_clobbers (mode);
- }
- bool
- clobbers_full_reg_p (unsigned int regno) const
- {
- return (TEST_HARD_REG_BIT (m_mask, regno)
- & m_base_abi->clobbers_full_reg_p (regno));
- }
- bool
- clobbers_at_least_part_of_reg_p (unsigned int regno) const
- {
- return (TEST_HARD_REG_BIT (m_mask, regno)
- & m_base_abi->clobbers_at_least_part_of_reg_p (regno));
- }
- bool
- clobbers_reg_p (machine_mode mode, unsigned int regno) const
- {
- return overlaps_hard_reg_set_p (mode_clobbers (mode), mode, regno);
- }
- bool
- operator== (const function_abi &other) const
- {
- return m_base_abi == other.m_base_abi && m_mask == other.m_mask;
- }
- bool
- operator!= (const function_abi &other) const
- {
- return !operator== (other);
- }
- protected:
- const predefined_function_abi *m_base_abi;
- HARD_REG_SET m_mask;
- };
- /* This class collects information about the ABIs of functions that are
- called in a particular region of code. It is mostly intended to be
- used as a local variable during an IR walk. */
- class function_abi_aggregator
- {
- public:
- function_abi_aggregator () : m_abi_clobbers () {}
- /* Record that the code region calls a function with the given ABI. */
- void
- note_callee_abi (const function_abi &abi)
- {
- m_abi_clobbers[abi.id ()] |= abi.full_and_partial_reg_clobbers ();
- }
- HARD_REG_SET caller_save_regs (const function_abi &) const;
- private:
- HARD_REG_SET m_abi_clobbers[NUM_ABI_IDS];
- };
- struct target_function_abi_info
- {
- /* An array of all the target ABIs that are available in this
- translation unit. Not all entries are used for all targets,
- but the structures are relatively small, and using a fixed-size
- array avoids extra indirection.
- There are various ways of getting an ABI descriptor:
- * fndecl_abi (FNDECL) is the ABI of function FNDECL.
- * fntype_abi (FNTYPE) is the ABI of a function with type FNTYPE.
- * crtl->abi is the ABI of the function that we are currently
- compiling to rtl.
- * insn_callee_abi (INSN) is the ABI used by the target of call insn INSN.
- * eh_edge_abi is the "ABI" used when taking an EH edge from an
- exception-throwing statement to an exception handler. Catching
- exceptions from calls can be treated as an abnormal return from
- those calls, and this ABI therefore describes the ABI of functions
- on such an abnormal return. Statements that throw non-call
- exceptions can be treated as being implicitly wrapped in a call
- that has such an abnormal return.
- At present, no target needs to support more than one EH ABI.
- * function_abis[N] is the ABI with identifier N. This can be useful
- when referring back to ABIs that have been collected by number in
- a bitmask, such as after walking function calls in a particular
- region of code.
- * default_function_abi refers specifically to the target's default
- choice of ABI, regardless of which (if any) functions actually
- use it. This ABI and data derived from it do *not* provide
- globally conservatively-correct information, so it is only
- useful in very specific circumstances. */
- predefined_function_abi x_function_abis[NUM_ABI_IDS];
- };
- extern target_function_abi_info default_target_function_abi_info;
- #if SWITCHABLE_TARGET
- extern target_function_abi_info *this_target_function_abi_info;
- #else
- #define this_target_function_abi_info (&default_target_function_abi_info)
- #endif
- /* See the comment above x_function_abis for when these macros should be used.
- At present, eh_edge_abi is always the default ABI, but that could change
- in future if a target needs it to. */
- #define function_abis \
- (this_target_function_abi_info->x_function_abis)
- #define default_function_abi \
- (this_target_function_abi_info->x_function_abis[0])
- #define eh_edge_abi default_function_abi
- extern HARD_REG_SET call_clobbers_in_region (unsigned int, const_hard_reg_set,
- machine_mode mode);
- /* Return true if (reg:MODE REGNO) might be clobbered by one of the
- calls in a region described by ABIS and MASK, where:
- * Bit ID of ABIS is set if the region contains a call with
- function_abi identifier ID.
- * MASK contains all the registers that are fully or partially
- clobbered by calls in the region.
- This is not quite as accurate as testing each individual call,
- but it's a close and conservatively-correct approximation.
- It's much better for some targets than:
- overlaps_hard_reg_set_p (MASK, MODE, REGNO). */
- inline bool
- call_clobbered_in_region_p (unsigned int abis, const_hard_reg_set mask,
- machine_mode mode, unsigned int regno)
- {
- HARD_REG_SET clobbers = call_clobbers_in_region (abis, mask, mode);
- return overlaps_hard_reg_set_p (clobbers, mode, regno);
- }
- extern const predefined_function_abi &fntype_abi (const_tree);
- extern function_abi fndecl_abi (const_tree);
- extern function_abi insn_callee_abi (const rtx_insn *);
- extern function_abi expr_callee_abi (const_tree);
- #endif
|