diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2017-12-20 12:52:30 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2017-12-20 12:52:30 +0000 |
| commit | 74c74aa05ee8757210dfb16f6198024e6dc445d5 (patch) | |
| tree | 3ad25363e816cea2e4024bcb3390bbfeab905eca /gcc/dwarf2out.h | |
| parent | 84bc717b510cc56f64120dd58c64e1f6ebfad5e3 (diff) | |
| download | gcc-74c74aa05ee8757210dfb16f6198024e6dc445d5.zip gcc-74c74aa05ee8757210dfb16f6198024e6dc445d5.tar.gz gcc-74c74aa05ee8757210dfb16f6198024e6dc445d5.tar.bz2 | |
poly_int: DWARF locations
This patch adds support for DWARF location expressions
that involve polynomial offsets. It adds a target hook that
says how the runtime invariants used in the offsets should be
represented in DWARF. SVE vectors have to be a multiple of
128 bits in size, so the GCC port uses the number of 128-bit
blocks minus one as the runtime invariant. However, in DWARF,
the vector length is exposed via a pseudo "VG" register that
holds the number of 64-bit elements in a vector. Thus:
indeterminate 1 == (VG / 2) - 1
The hook needs to be general enough to express this.
Note that in most cases the division and subtraction fold
away into surrounding expressions.
2017-12-20 Richard Sandiford <richard.sandiford@linaro.org>
Alan Hayward <alan.hayward@arm.com>
David Sherwood <david.sherwood@arm.com>
gcc/
* target.def (dwarf_poly_indeterminate_value): New hook.
* targhooks.h (default_dwarf_poly_indeterminate_value): Declare.
* targhooks.c (default_dwarf_poly_indeterminate_value): New function.
* doc/tm.texi.in (TARGET_DWARF_POLY_INDETERMINATE_VALUE): Document.
* doc/tm.texi: Regenerate.
* dwarf2out.h (build_cfa_loc, build_cfa_aligned_loc): Take the
offset as a poly_int64.
* dwarf2out.c (new_reg_loc_descr): Move later in file. Take the
offset as a poly_int64.
(loc_descr_plus_const, loc_list_plus_const, build_cfa_aligned_loc):
Take the offset as a poly_int64.
(build_cfa_loc): Likewise. Use loc_descr_plus_const.
(frame_pointer_fb_offset): Change to a poly_int64.
(int_loc_descriptor): Take the offset as a poly_int64. Use
targetm.dwarf_poly_indeterminate_value for polynomial offsets.
(based_loc_descr): Take the offset as a poly_int64.
Use strip_offset_and_add to handle (plus X (const)).
Use new_reg_loc_descr instead of an open-coded version of the
previous implementation.
(mem_loc_descriptor): Handle CONST_POLY_INT.
(compute_frame_pointer_to_fb_displacement): Take the offset as a
poly_int64. Use strip_offset_and_add to handle (plus X (const)).
Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
Co-Authored-By: David Sherwood <david.sherwood@arm.com>
From-SVN: r255868
Diffstat (limited to 'gcc/dwarf2out.h')
| -rw-r--r-- | gcc/dwarf2out.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/dwarf2out.h b/gcc/dwarf2out.h index 9402473..140724c 100644 --- a/gcc/dwarf2out.h +++ b/gcc/dwarf2out.h @@ -267,9 +267,9 @@ struct GTY(()) dw_discr_list_node { /* Interface from dwarf2out.c to dwarf2cfi.c. */ extern struct dw_loc_descr_node *build_cfa_loc - (dw_cfa_location *, HOST_WIDE_INT); + (dw_cfa_location *, poly_int64); extern struct dw_loc_descr_node *build_cfa_aligned_loc - (dw_cfa_location *, HOST_WIDE_INT offset, HOST_WIDE_INT alignment); + (dw_cfa_location *, poly_int64, HOST_WIDE_INT); extern struct dw_loc_descr_node *mem_loc_descriptor (rtx, machine_mode mode, machine_mode mem_mode, enum var_init_status); |