mirror of
https://forge.sourceware.org/marek/gcc.git
synced 2026-02-22 03:47:02 -05:00
9e1c71bab5
Architecture-specific CFI directives are currently declared an processed among others architecture-independent CFI directives in gcc/dwarf2* files. This approach creates confusion, specifically in the case of DWARF instructions in the vendor space and using the same instruction code. Such a clash currently happen between DW_CFA_GNU_window_save (used on SPARC) and DW_CFA_AARCH64_negate_ra_state (used on AArch64), and both having the same instruction code 0x2d. Then AArch64 compilers generates a SPARC CFI directive (.cfi_window_save) instead of .cfi_negate_ra_state, contrarilly to what is expected in [DWARF for the Arm 64-bit Architecture (AArch64)](https://github.com/ ARM-software/abi-aa/blob/main/aadwarf64/aadwarf64.rst). This refactoring does not solve completely the problem, but improve the situation by moving some of the processing of those directives (more specifically their output in the assembly) to the backend via 2 target hooks: - DW_CFI_OPRND1_DESC: parse the first operand of the directive (if any). - OUTPUT_CFI_DIRECTIVE: output the CFI directive as a string. Additionally, this patch also contains a renaming of an enum used for return address mangling on AArch64. gcc/ChangeLog: * config/aarch64/aarch64.cc (aarch64_output_cfi_directive): New hook for CFI directives. (aarch64_dw_cfi_oprnd1_desc): Same. (TARGET_OUTPUT_CFI_DIRECTIVE): Hook for output_cfi_directive. (TARGET_DW_CFI_OPRND1_DESC): Hook for dw_cfi_oprnd1_desc. * config/sparc/sparc.cc (sparc_output_cfi_directive): New hook for CFI directives. (sparc_dw_cfi_oprnd1_desc): Same. (TARGET_OUTPUT_CFI_DIRECTIVE): Hook for output_cfi_directive. (TARGET_DW_CFI_OPRND1_DESC): Hook for dw_cfi_oprnd1_desc. * coretypes.h (struct dw_cfi_node): Forward declaration of CFI type from gcc/dwarf2out.h. (enum dw_cfi_oprnd_type): Same. (enum dwarf_call_frame_info): Same. * doc/tm.texi: Regenerated from doc/tm.texi.in. * doc/tm.texi.in: Add doc for new target hooks. type of enum to allow forward declaration. * dwarf2cfi.cc (struct dw_cfi_row): Update the description for window_save and ra_mangled. (dwarf2out_frame_debug_cfa_negate_ra_state): Use AArch64 CFI directive instead of the SPARC one. (change_cfi_row): Use the right CFI directive's name for RA mangling. (output_cfi): Remove explicit architecture-specific CFI directive DW_CFA_GNU_window_save that falls into default case. (output_cfi_directive): Use target hook as default. * dwarf2out.cc (dw_cfi_oprnd1_desc): Use target hook as default. * dwarf2out.h (enum dw_cfi_oprnd_type): specify underlying type of enum to allow forward declaration. (dw_cfi_oprnd1_desc): Call target hook. (output_cfi_directive): Use dw_cfi_ref instead of struct dw_cfi_node *. * hooks.cc (hook_bool_dwcfi_dwcfioprndtyperef_false): New. (hook_bool_FILEptr_dwcfiptr_false): New. * hooks.h (hook_bool_dwcfi_dwcfioprndtyperef_false): New. (hook_bool_FILEptr_dwcfiptr_false): New. * target.def: Documentation for new hooks. include/ChangeLog: * dwarf2.h (enum dwarf_call_frame_info): specify underlying libffi/ChangeLog: * include/ffi_cfi.h (cfi_negate_ra_state): Declare AArch64 cfi directive. libgcc/ChangeLog: * config/aarch64/aarch64-asm.h (PACIASP): Replace SPARC CFI directive by AArch64 one. (AUTIASP): Same. libitm/ChangeLog: * config/aarch64/sjlj.S: Replace SPARC CFI directive by AArch64 one. gcc/testsuite/ChangeLog: * g++.target/aarch64/pr94515-1.C: Replace SPARC CFI directive by AArch64 one. * g++.target/aarch64/pr94515-2.C: Same.
79 lines
3.0 KiB
C
79 lines
3.0 KiB
C
/* -----------------------------------------------------------------------
|
|
ffi_cfi.h - Copyright (c) 2014 Red Hat, Inc.
|
|
|
|
Conditionally assemble cfi directives. Only necessary for building libffi.
|
|
|
|
Permission is hereby granted, free of charge, to any person
|
|
obtaining a copy of this software and associated documentation
|
|
files (the ``Software''), to deal in the Software without
|
|
restriction, including without limitation the rights to use, copy,
|
|
modify, merge, publish, distribute, sublicense, and/or sell copies
|
|
of the Software, and to permit persons to whom the Software is
|
|
furnished to do so, subject to the following conditions:
|
|
|
|
The above copyright notice and this permission notice shall be
|
|
included in all copies or substantial portions of the Software.
|
|
|
|
THE SOFTWARE IS PROVIDED ``AS IS'', WITHOUT WARRANTY OF ANY KIND,
|
|
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
|
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
|
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
|
|
HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
|
|
WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
|
DEALINGS IN THE SOFTWARE.
|
|
|
|
----------------------------------------------------------------------- */
|
|
|
|
#ifndef FFI_CFI_H
|
|
#define FFI_CFI_H
|
|
|
|
#ifdef HAVE_AS_CFI_PSEUDO_OP
|
|
|
|
# define cfi_startproc .cfi_startproc
|
|
# define cfi_endproc .cfi_endproc
|
|
# define cfi_def_cfa(reg, off) .cfi_def_cfa reg, off
|
|
# define cfi_def_cfa_register(reg) .cfi_def_cfa_register reg
|
|
# define cfi_def_cfa_offset(off) .cfi_def_cfa_offset off
|
|
# define cfi_adjust_cfa_offset(off) .cfi_adjust_cfa_offset off
|
|
# define cfi_offset(reg, off) .cfi_offset reg, off
|
|
# define cfi_rel_offset(reg, off) .cfi_rel_offset reg, off
|
|
# define cfi_register(r1, r2) .cfi_register r1, r2
|
|
# define cfi_return_column(reg) .cfi_return_column reg
|
|
# define cfi_restore(reg) .cfi_restore reg
|
|
# define cfi_same_value(reg) .cfi_same_value reg
|
|
# define cfi_undefined(reg) .cfi_undefined reg
|
|
# define cfi_remember_state .cfi_remember_state
|
|
# define cfi_restore_state .cfi_restore_state
|
|
# define cfi_window_save .cfi_window_save
|
|
# define cfi_negate_ra_state .cfi_negate_ra_state
|
|
# define cfi_personality(enc, exp) .cfi_personality enc, exp
|
|
# define cfi_lsda(enc, exp) .cfi_lsda enc, exp
|
|
# define cfi_escape(...) .cfi_escape __VA_ARGS__
|
|
|
|
#else
|
|
|
|
# define cfi_startproc
|
|
# define cfi_endproc
|
|
# define cfi_def_cfa(reg, off)
|
|
# define cfi_def_cfa_register(reg)
|
|
# define cfi_def_cfa_offset(off)
|
|
# define cfi_adjust_cfa_offset(off)
|
|
# define cfi_offset(reg, off)
|
|
# define cfi_rel_offset(reg, off)
|
|
# define cfi_register(r1, r2)
|
|
# define cfi_return_column(reg)
|
|
# define cfi_restore(reg)
|
|
# define cfi_same_value(reg)
|
|
# define cfi_undefined(reg)
|
|
# define cfi_remember_state
|
|
# define cfi_restore_state
|
|
# define cfi_window_save
|
|
# define cfi_negate_ra_state
|
|
# define cfi_personality(enc, exp)
|
|
# define cfi_lsda(enc, exp)
|
|
# define cfi_escape(...)
|
|
|
|
#endif /* HAVE_AS_CFI_PSEUDO_OP */
|
|
#endif /* FFI_CFI_H */
|