This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH v5] S/390: Allow relative addressing of literal pool entries
- From: Ilya Leoshkevich <iii at linux dot ibm dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: krebbel at linux dot ibm dot com, rdapp at linux dot ibm dot com, uweigand at de dot ibm dot com, Ilya Leoshkevich <iii at linux dot ibm dot com>
- Date: Fri, 9 Nov 2018 21:19:15 +0100
- Subject: [PATCH v5] S/390: Allow relative addressing of literal pool entries
Bootstrapped and regtested on s390x-redhat-linux.
r265490 allowed the compiler to choose in a more flexible way whether to
use load or load-address-relative-long (LARL) instruction. When it
chose LARL for literal pool references, the latter ones were rewritten
by pass_s390_early_mach to use UNSPEC_LTREF, which assumes base register
usage, which in turn is not compatible with LARL. The end result was an
ICE because of unrecognizable insn.
UNSPEC_LTREF and friends are necessary in order to communicate the
dependency on the base register to pass_sched2. When relative
addressing is used, no base register is necessary, so in such cases the
rewrite must be avoided.
gcc/ChangeLog:
2018-11-09 Ilya Leoshkevich <iii@linux.ibm.com>
PR target/87762
* config/s390/s390.c (s390_safe_relative_long_p): New function.
(annotate_constant_pool_refs): Skip insns which support
relative addressing.
(annotate_constant_pool_refs_1): New helper function.
(find_constant_pool_ref): Skip insns which support relative
addression.
(find_constant_pool_ref_1): New helper function.
(replace_constant_pool_ref): Skip insns which support
relative addressing.
(replace_constant_pool_ref_1): New helper function.
(s390_mainpool_start): Adapt to the new signature.
(s390_mainpool_finish): Likewise.
(s390_chunkify_start): Likewise.
(s390_chunkify_finish): Likewise.
(pass_s390_early_mach::execute): Likewise.
(s390_prologue_plus_offset): Likewise.
(s390_emit_prologue): Likewise.
(s390_emit_epilogue): Likewise.
---
gcc/config/s390/s390.c | 115 ++++++++++++++++++++++++++++-------------
1 file changed, 80 insertions(+), 35 deletions(-)
diff --git a/gcc/config/s390/s390.c b/gcc/config/s390/s390.c
index 1be85727b73..484eba55aa9 100644
--- a/gcc/config/s390/s390.c
+++ b/gcc/config/s390/s390.c
@@ -2731,6 +2731,17 @@ s390_safe_attr_type (rtx_insn *insn)
return TYPE_NONE;
}
+/* Return attribute relative_long of insn. */
+
+static bool
+s390_safe_relative_long_p (rtx_insn *insn)
+{
+ if (recog_memoized (insn) >= 0)
+ return get_attr_relative_long (insn) == RELATIVE_LONG_YES;
+ else
+ return false;
+}
+
/* Return true if DISP is a valid short displacement. */
static bool
@@ -8116,11 +8127,8 @@ s390_first_cycle_multipass_dfa_lookahead (void)
return 4;
}
-/* Annotate every literal pool reference in X by an UNSPEC_LTREF expression.
- Fix up MEMs as required. */
-
static void
-annotate_constant_pool_refs (rtx *x)
+annotate_constant_pool_refs_1 (rtx *x)
{
int i, j;
const char *fmt;
@@ -8199,26 +8207,31 @@ annotate_constant_pool_refs (rtx *x)
{
if (fmt[i] == 'e')
{
- annotate_constant_pool_refs (&XEXP (*x, i));
+ annotate_constant_pool_refs_1 (&XEXP (*x, i));
}
else if (fmt[i] == 'E')
{
for (j = 0; j < XVECLEN (*x, i); j++)
- annotate_constant_pool_refs (&XVECEXP (*x, i, j));
+ annotate_constant_pool_refs_1 (&XVECEXP (*x, i, j));
}
}
}
-/* Find an annotated literal pool symbol referenced in RTX X,
- and store it at REF. Will abort if X contains references to
- more than one such pool symbol; multiple references to the same
- symbol are allowed, however.
+/* Annotate every literal pool reference in INSN by an UNSPEC_LTREF expression.
+ Fix up MEMs as required.
+ Skip insns which support relative addressing, because they do not use a base
+ register. */
- The rtx pointed to by REF must be initialized to NULL_RTX
- by the caller before calling this routine. */
+static void
+annotate_constant_pool_refs (rtx_insn *insn)
+{
+ if (s390_safe_relative_long_p (insn))
+ return;
+ annotate_constant_pool_refs_1 (&PATTERN (insn));
+}
static void
-find_constant_pool_ref (rtx x, rtx *ref)
+find_constant_pool_ref_1 (rtx x, rtx *ref)
{
int i, j;
const char *fmt;
@@ -8250,21 +8263,37 @@ find_constant_pool_ref (rtx x, rtx *ref)
{
if (fmt[i] == 'e')
{
- find_constant_pool_ref (XEXP (x, i), ref);
+ find_constant_pool_ref_1 (XEXP (x, i), ref);
}
else if (fmt[i] == 'E')
{
for (j = 0; j < XVECLEN (x, i); j++)
- find_constant_pool_ref (XVECEXP (x, i, j), ref);
+ find_constant_pool_ref_1 (XVECEXP (x, i, j), ref);
}
}
}
-/* Replace every reference to the annotated literal pool
- symbol REF in X by its base plus OFFSET. */
+/* Find an annotated literal pool symbol referenced in INSN,
+ and store it at REF. Will abort if INSN contains references to
+ more than one such pool symbol; multiple references to the same
+ symbol are allowed, however.
+
+ The rtx pointed to by REF must be initialized to NULL_RTX
+ by the caller before calling this routine.
+
+ Skip insns which support relative addressing, because they do not use a base
+ register. */
+
+static void
+find_constant_pool_ref (rtx_insn *insn, rtx *ref)
+{
+ if (s390_safe_relative_long_p (insn))
+ return;
+ find_constant_pool_ref_1 (PATTERN (insn), ref);
+}
static void
-replace_constant_pool_ref (rtx *x, rtx ref, rtx offset)
+replace_constant_pool_ref_1 (rtx *x, rtx ref, rtx offset)
{
int i, j;
const char *fmt;
@@ -8295,16 +8324,29 @@ replace_constant_pool_ref (rtx *x, rtx ref, rtx offset)
{
if (fmt[i] == 'e')
{
- replace_constant_pool_ref (&XEXP (*x, i), ref, offset);
+ replace_constant_pool_ref_1 (&XEXP (*x, i), ref, offset);
}
else if (fmt[i] == 'E')
{
for (j = 0; j < XVECLEN (*x, i); j++)
- replace_constant_pool_ref (&XVECEXP (*x, i, j), ref, offset);
+ replace_constant_pool_ref_1 (&XVECEXP (*x, i, j), ref, offset);
}
}
}
+/* Replace every reference to the annotated literal pool
+ symbol REF in INSN by its base plus OFFSET.
+ Skip insns which support relative addressing, because they do not use a base
+ register. */
+
+static void
+replace_constant_pool_ref (rtx_insn *insn, rtx ref, rtx offset)
+{
+ if (s390_safe_relative_long_p (insn))
+ return;
+ replace_constant_pool_ref_1 (&PATTERN (insn), ref, offset);
+}
+
/* We keep a list of constants which we have to add to internal
constant tables in the middle of large functions. */
@@ -8705,7 +8747,7 @@ s390_mainpool_start (void)
if (NONJUMP_INSN_P (insn) || CALL_P (insn))
{
rtx pool_ref = NULL_RTX;
- find_constant_pool_ref (PATTERN (insn), &pool_ref);
+ find_constant_pool_ref (insn, &pool_ref);
if (pool_ref)
{
rtx constant = get_pool_constant (pool_ref);
@@ -8792,7 +8834,7 @@ s390_mainpool_finish (struct constant_pool *pool)
if (NONJUMP_INSN_P (insn) || CALL_P (insn))
{
rtx addr, pool_ref = NULL_RTX;
- find_constant_pool_ref (PATTERN (insn), &pool_ref);
+ find_constant_pool_ref (insn, &pool_ref);
if (pool_ref)
{
if (s390_execute_label (insn))
@@ -8801,7 +8843,7 @@ s390_mainpool_finish (struct constant_pool *pool)
addr = s390_find_constant (pool, get_pool_constant (pool_ref),
get_pool_mode (pool_ref));
- replace_constant_pool_ref (&PATTERN (insn), pool_ref, addr);
+ replace_constant_pool_ref (insn, pool_ref, addr);
INSN_CODE (insn) = -1;
}
}
@@ -8835,7 +8877,7 @@ s390_chunkify_start (void)
if (NONJUMP_INSN_P (insn) || CALL_P (insn))
{
rtx pool_ref = NULL_RTX;
- find_constant_pool_ref (PATTERN (insn), &pool_ref);
+ find_constant_pool_ref (insn, &pool_ref);
if (pool_ref)
{
rtx constant = get_pool_constant (pool_ref);
@@ -8992,7 +9034,7 @@ s390_chunkify_finish (struct constant_pool *pool_list)
if (NONJUMP_INSN_P (insn) || CALL_P (insn))
{
rtx addr, pool_ref = NULL_RTX;
- find_constant_pool_ref (PATTERN (insn), &pool_ref);
+ find_constant_pool_ref (insn, &pool_ref);
if (pool_ref)
{
if (s390_execute_label (insn))
@@ -9002,7 +9044,7 @@ s390_chunkify_finish (struct constant_pool *pool_list)
get_pool_constant (pool_ref),
get_pool_mode (pool_ref));
- replace_constant_pool_ref (&PATTERN (insn), pool_ref, addr);
+ replace_constant_pool_ref (insn, pool_ref, addr);
INSN_CODE (insn) = -1;
}
}
@@ -10595,7 +10637,7 @@ pass_s390_early_mach::execute (function *fun)
for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
if (INSN_P (insn))
{
- annotate_constant_pool_refs (&PATTERN (insn));
+ annotate_constant_pool_refs (insn);
df_insn_rescan (insn);
}
return 0;
@@ -10616,7 +10658,7 @@ make_pass_s390_early_mach (gcc::context *ctxt)
static rtx
s390_prologue_plus_offset (rtx target, rtx reg, rtx offset, bool frame_related_p)
{
- rtx insn;
+ rtx_insn *insn;
rtx orig_offset = offset;
gcc_assert (REG_P (target));
@@ -10650,7 +10692,7 @@ s390_prologue_plus_offset (rtx target, rtx reg, rtx offset, bool frame_related_p
if (!CONST_INT_P (offset))
{
- annotate_constant_pool_refs (&PATTERN (insn));
+ annotate_constant_pool_refs (insn);
if (frame_related_p)
add_reg_note (insn, REG_FRAME_RELATED_EXPR,
@@ -11090,7 +11132,7 @@ s390_emit_prologue (void)
rtx_insn *insns = s390_load_got ();
for (rtx_insn *insn = insns; insn; insn = NEXT_INSN (insn))
- annotate_constant_pool_refs (&PATTERN (insn));
+ annotate_constant_pool_refs (insn);
emit_insn (insns);
}
@@ -11154,7 +11196,8 @@ s390_emit_epilogue (bool sibcall)
}
else
{
- rtx insn, frame_off, cfa;
+ rtx_insn *insn;
+ rtx frame_off, cfa;
offset = area_bottom < 0 ? -area_bottom : 0;
frame_off = GEN_INT (cfun_frame_layout.frame_size - offset);
@@ -11163,9 +11206,11 @@ s390_emit_epilogue (bool sibcall)
gen_rtx_PLUS (Pmode, frame_pointer, frame_off));
if (DISP_IN_RANGE (INTVAL (frame_off)))
{
- insn = gen_rtx_SET (frame_pointer,
- gen_rtx_PLUS (Pmode, frame_pointer, frame_off));
- insn = emit_insn (insn);
+ rtx set;
+
+ set = gen_rtx_SET (frame_pointer,
+ gen_rtx_PLUS (Pmode, frame_pointer, frame_off));
+ insn = emit_insn (set);
}
else
{
@@ -11173,7 +11218,7 @@ s390_emit_epilogue (bool sibcall)
frame_off = force_const_mem (Pmode, frame_off);
insn = emit_insn (gen_add2_insn (frame_pointer, frame_off));
- annotate_constant_pool_refs (&PATTERN (insn));
+ annotate_constant_pool_refs (insn);
}
add_reg_note (insn, REG_CFA_ADJUST_CFA, cfa);
RTX_FRAME_RELATED_P (insn) = 1;
--
2.19.1