summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--gcc/ChangeLog22
-rw-r--r--gcc/bt-load.c8
-rw-r--r--gcc/combine.c5
-rw-r--r--gcc/config/arc/arc.c2
-rw-r--r--gcc/config/arc/arc.md3
-rw-r--r--gcc/config/cris/cris.c3
-rw-r--r--gcc/config/frv/frv.c2
-rw-r--r--gcc/config/m32r/m32r.c3
-rw-r--r--gcc/config/pa/pa.c3
-rw-r--r--gcc/config/rs6000/rs6000.c3
-rw-r--r--gcc/config/rs6000/spe.md6
-rw-r--r--gcc/config/s390/s390.c8
-rw-r--r--gcc/config/sh/sh.c5
-rw-r--r--gcc/config/sh/sh.md9
-rw-r--r--gcc/config/stormy16/stormy16.c2
-rw-r--r--gcc/cse.c5
-rw-r--r--gcc/df-scan.c3
-rw-r--r--gcc/rtl.h9
-rw-r--r--gcc/rtlanal.c16
-rw-r--r--gcc/sched-deps.c2
20 files changed, 65 insertions, 54 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 286ec01a4e3..aaa8cc843e5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,25 @@
+2015-01-05 Oleg Endo <olegendo@gcc.gnu.org>
+
+ * rtlanal.c (refers_to_regno_p): Change return value from int to bool.
+ * rtl.h (refers_to_regno_p): Add overload.
+ * cse.c: Use it.
+ * bt-load.c: Likewise.
+ * combine.c: Likewise.
+ * df-scan.c: Likewise.
+ * sched-deps.c: Likewise.
+ * config/s390/s390.c: Likewise.
+ * config/m32r/m32r.c: Likewise.
+ * config/rs6000/spe.md: Likewise.
+ * config/rs6000/rs6000.c: Likewise.
+ * config/pa/pa.c: Likewise.
+ * config/stormy16/stormy16.c: Likewise.
+ * config/cris/cris.c: Likewise.
+ * config/arc/arc.md: Likewise.
+ * config/arc/arc.c: Likewise.
+ * config/sh/sh.md: Likewise.
+ * config/sh/sh.c: Likewise.
+ * config/frv/frv.c: Likewise.
+
2015-01-05 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/64265
diff --git a/gcc/bt-load.c b/gcc/bt-load.c
index a114c4cf06e..6084beb0567 100644
--- a/gcc/bt-load.c
+++ b/gcc/bt-load.c
@@ -533,8 +533,7 @@ compute_defs_uses_and_gen (btr_heap_t *all_btr_defs, btr_def *def_array,
int reg;
for (reg = first_btr; reg <= last_btr; reg++)
if (TEST_HARD_REG_BIT (all_btrs, reg)
- && refers_to_regno_p (reg, reg + 1, user->insn,
- NULL))
+ && refers_to_regno_p (reg, user->insn))
{
note_other_use_this_block (reg,
info.users_this_bb);
@@ -597,7 +596,7 @@ compute_defs_uses_and_gen (btr_heap_t *all_btr_defs, btr_def *def_array,
int regno;
for (regno = first_btr; regno <= last_btr; regno++)
- if (refers_to_regno_p (regno, regno+1, insn, NULL))
+ if (refers_to_regno_p (regno, insn))
SET_HARD_REG_BIT (btrs_live_at_end[i], regno);
}
@@ -710,8 +709,7 @@ link_btr_uses (btr_def *def_array, btr_user *use_array, sbitmap *bb_out,
bitmap_clear (reaching_defs_of_reg);
for (reg = first_btr; reg <= last_btr; reg++)
if (TEST_HARD_REG_BIT (all_btrs, reg)
- && refers_to_regno_p (reg, reg + 1, user->insn,
- NULL))
+ && refers_to_regno_p (reg, user->insn))
bitmap_or_and (reaching_defs_of_reg,
reaching_defs_of_reg,
reaching_defs,
diff --git a/gcc/combine.c b/gcc/combine.c
index 8d0179457b5..6bdb3f48aeb 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -13842,7 +13842,7 @@ distribute_notes (rtx notes, rtx_insn *from_insn, rtx_insn *i3, rtx_insn *i2,
unsigned int i;
for (i = regno; i < endregno; i++)
- if ((! refers_to_regno_p (i, i + 1, PATTERN (place), 0)
+ if ((! refers_to_regno_p (i, PATTERN (place))
&& ! find_regno_fusage (place, USE, i))
|| dead_or_set_regno_p (place, i))
{
@@ -13872,8 +13872,7 @@ distribute_notes (rtx notes, rtx_insn *from_insn, rtx_insn *i3, rtx_insn *i2,
NULL, NULL_RTX, NULL_RTX,
NULL_RTX);
}
- else if (! refers_to_regno_p (i, i + 1,
- PATTERN (place), 0)
+ else if (! refers_to_regno_p (i, PATTERN (place))
&& ! find_regno_fusage (place, USE, i))
for (tem_insn = PREV_INSN (place); ;
tem_insn = PREV_INSN (tem_insn))
diff --git a/gcc/config/arc/arc.c b/gcc/config/arc/arc.c
index dcca4de26df..e22ad268384 100644
--- a/gcc/config/arc/arc.c
+++ b/gcc/config/arc/arc.c
@@ -9059,7 +9059,7 @@ arc_regno_use_in (unsigned int regno, rtx x)
int i, j;
rtx tem;
- if (REG_P (x) && refers_to_regno_p (regno, regno+1, x, (rtx *) 0))
+ if (REG_P (x) && refers_to_regno_p (regno, x))
return x;
fmt = GET_RTX_FORMAT (GET_CODE (x));
diff --git a/gcc/config/arc/arc.md b/gcc/config/arc/arc.md
index ba0125d4c2c..8fabf5e6fbb 100644
--- a/gcc/config/arc/arc.md
+++ b/gcc/config/arc/arc.md
@@ -952,8 +952,7 @@
last. Otherwise, load it first. Note that we cannot have
auto-increment in that case since the address register is known to be
dead. */
- if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
- operands [1], 0))
+ if (refers_to_regno_p (REGNO (operands[0]), operands[1]))
return \"ld%V1 %R0,%R1\;ld%V1 %0,%1\";
else switch (GET_CODE (XEXP(operands[1], 0)))
{
diff --git a/gcc/config/cris/cris.c b/gcc/config/cris/cris.c
index c92f9f46954..517d596c2c4 100644
--- a/gcc/config/cris/cris.c
+++ b/gcc/config/cris/cris.c
@@ -2936,8 +2936,7 @@ cris_split_movdx (rtx *operands)
/* If the high-address word is used in the address, we must load it
last. Otherwise, load it first. */
rtx addr = XEXP (src, 0);
- int reverse
- = (refers_to_regno_p (dregno, dregno + 1, addr, NULL) != 0);
+ int reverse = (refers_to_regno_p (dregno, addr) != 0);
/* The original code implies that we can't do
move.x [rN+],rM move.x [rN],rM+1
diff --git a/gcc/config/frv/frv.c b/gcc/config/frv/frv.c
index e9103773957..0d4a9b4dd93 100644
--- a/gcc/config/frv/frv.c
+++ b/gcc/config/frv/frv.c
@@ -5035,7 +5035,7 @@ frv_split_double_load (rtx dest, rtx source)
of the registers could affect the value of ADDRESS, so we must
be careful which order we do them in. */
if (GET_CODE (address) == PRE_MODIFY
- || ! refers_to_regno_p (regno, regno + 1, address, NULL))
+ || ! refers_to_regno_p (regno, address))
{
/* It is safe to load the lower-numbered register first. */
emit_move_insn (dest1, change_address (source, SImode, NULL));
diff --git a/gcc/config/m32r/m32r.c b/gcc/config/m32r/m32r.c
index c582f9f1f21..b0be3fa4421 100644
--- a/gcc/config/m32r/m32r.c
+++ b/gcc/config/m32r/m32r.c
@@ -1096,8 +1096,7 @@ gen_split_move_double (rtx operands[])
{
/* If the high-address word is used in the address, we must load it
last. Otherwise, load it first. */
- int reverse
- = (refers_to_regno_p (dregno, dregno + 1, XEXP (src, 0), 0) != 0);
+ int reverse = refers_to_regno_p (dregno, XEXP (src, 0));
/* We used to optimize loads from single registers as
diff --git a/gcc/config/pa/pa.c b/gcc/config/pa/pa.c
index 839a5aaa2ae..b13cbc3c4b9 100644
--- a/gcc/config/pa/pa.c
+++ b/gcc/config/pa/pa.c
@@ -2649,8 +2649,7 @@ pa_output_move_double (rtx *operands)
Handle mem -> register case first. */
if (optype0 == REGOP
&& (optype1 == MEMOP || optype1 == OFFSOP)
- && refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
- operands[1], 0))
+ && refers_to_regno_p (REGNO (operands[0]), operands[1]))
{
/* Do the late half first. */
if (addreg1)
diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c
index 608965ec353..e2bfcd696f6 100644
--- a/gcc/config/rs6000/rs6000.c
+++ b/gcc/config/rs6000/rs6000.c
@@ -16087,8 +16087,7 @@ rs6000_output_load_multiple (rtx operands[3])
return "lwz %2,0(%1)";
for (i = 0; i < words; i++)
- if (refers_to_regno_p (REGNO (operands[2]) + i,
- REGNO (operands[2]) + i + 1, operands[1], 0))
+ if (refers_to_regno_p (REGNO (operands[2]) + i, operands[1]))
{
if (i == words-1)
{
diff --git a/gcc/config/rs6000/spe.md b/gcc/config/rs6000/spe.md
index e14bae7fae0..d65dcf3121b 100644
--- a/gcc/config/rs6000/spe.md
+++ b/gcc/config/rs6000/spe.md
@@ -2421,8 +2421,7 @@
it last. Otherwise, load it first. Note that we cannot have
auto-increment in that case since the address register is
known to be dead. */
- if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
- operands[1], 0))
+ if (refers_to_regno_p (REGNO (operands[0]), operands[1]))
{
if (WORDS_BIG_ENDIAN)
return \"lwz %L0,%L1\;lwz %0,%1\";
@@ -2465,8 +2464,7 @@
else
return \"evldd%X1 %Y0,%y1\;evmergehi %Z0,%Y0,%Y0\";
}
- if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
- operands[1], 0))
+ if (refers_to_regno_p (REGNO (operands[0]), operands[1]))
{
if (WORDS_BIG_ENDIAN)
return \"lwz %Z0,%L1\;lwz %Y0,%1\";
diff --git a/gcc/config/s390/s390.c b/gcc/config/s390/s390.c
index 53dd89bb711..36b547d512c 100644
--- a/gcc/config/s390/s390.c
+++ b/gcc/config/s390/s390.c
@@ -5736,15 +5736,13 @@ reg_used_in_mem_p (int regno, rtx x)
if (code == MEM)
{
- if (refers_to_regno_p (regno, regno+1,
- XEXP (x, 0), 0))
+ if (refers_to_regno_p (regno, XEXP (x, 0)))
return true;
}
else if (code == SET
&& GET_CODE (SET_DEST (x)) == PC)
{
- if (refers_to_regno_p (regno, regno+1,
- SET_SRC (x), 0))
+ if (refers_to_regno_p (regno, SET_SRC (x)))
return true;
}
@@ -5795,7 +5793,7 @@ addr_generation_dependency_p (rtx dep_rtx, rtx_insn *insn)
pat = XVECEXP (pat, 0, 0);
}
gcc_assert (GET_CODE (pat) == SET);
- return refers_to_regno_p (regno, regno+1, SET_SRC (pat), 0);
+ return refers_to_regno_p (regno, SET_SRC (pat));
}
else if (get_attr_atype (insn) == ATYPE_AGEN)
return reg_used_in_mem_p (regno, PATTERN (insn));
diff --git a/gcc/config/sh/sh.c b/gcc/config/sh/sh.c
index 32251c610df..a4006b4b4a5 100644
--- a/gcc/config/sh/sh.c
+++ b/gcc/config/sh/sh.c
@@ -1773,7 +1773,7 @@ prepare_move_operands (rtx operands[], machine_mode mode)
reload will fail to find a spill register for rX, since r0 is already
being used for the source. */
else if (TARGET_SH1
- && refers_to_regno_p (R0_REG, R0_REG + 1, operands[1], (rtx *)0)
+ && refers_to_regno_p (R0_REG, operands[1])
&& MEM_P (operands[0])
&& GET_CODE (XEXP (operands[0], 0)) == PLUS
&& REG_P (XEXP (XEXP (operands[0], 0), 1)))
@@ -7808,8 +7808,7 @@ sh_expand_prologue (void)
{
offset_in_r0 = -1;
sp_in_r0 = 0;
- gcc_assert (!refers_to_regno_p
- (R0_REG, R0_REG+1, mem_rtx, (rtx *) 0));
+ gcc_assert (!refers_to_regno_p (R0_REG, mem_rtx));
}
if (*++tmp_pnt <= 0)
diff --git a/gcc/config/sh/sh.md b/gcc/config/sh/sh.md
index 5b3b388b3c0..37d2a2013b5 100644
--- a/gcc/config/sh/sh.md
+++ b/gcc/config/sh/sh.md
@@ -7253,8 +7253,7 @@ label:
gcc_unreachable ();
}
- if (regno == -1
- || ! refers_to_regno_p (regno, regno + 1, operands[1], 0))
+ if (regno == -1 || ! refers_to_regno_p (regno, operands[1]))
{
operands[2] = operand_subword (operands[0], 0, 0, DImode);
operands[3] = operand_subword (operands[1], 0, 0, DImode);
@@ -7787,8 +7786,7 @@ label:
alter_subreg (&word0, true);
word1 = gen_rtx_SUBREG (SImode, regop, 4);
alter_subreg (&word1, true);
- if (store_p || ! refers_to_regno_p (REGNO (word0),
- REGNO (word0) + 1, addr, 0))
+ if (store_p || ! refers_to_regno_p (REGNO (word0), addr))
{
emit_insn (store_p
? gen_movsi_ie (mem, word0)
@@ -8067,8 +8065,7 @@ label:
gcc_unreachable ();
}
- if (regno == -1
- || ! refers_to_regno_p (regno, regno + 1, operands[1], 0))
+ if (regno == -1 || ! refers_to_regno_p (regno, operands[1]))
{
operands[2] = operand_subword (operands[0], 0, 0, DFmode);
operands[3] = operand_subword (operands[1], 0, 0, DFmode);
diff --git a/gcc/config/stormy16/stormy16.c b/gcc/config/stormy16/stormy16.c
index 1a582442ba9..6e7ea1e562d 100644
--- a/gcc/config/stormy16/stormy16.c
+++ b/gcc/config/stormy16/stormy16.c
@@ -815,7 +815,7 @@ xstormy16_split_move (machine_mode mode, rtx dest, rtx src)
gcc_assert (refers_to_regno_p (regno, regno + num_words,
mem_operand, 0));
- if (refers_to_regno_p (regno, regno + 1, mem_operand, 0))
+ if (refers_to_regno_p (regno, mem_operand))
direction = -1;
else if (refers_to_regno_p (regno + num_words - 1, regno + num_words,
mem_operand, 0))
diff --git a/gcc/cse.c b/gcc/cse.c
index 3a9c878be43..53ca9661b69 100644
--- a/gcc/cse.c
+++ b/gcc/cse.c
@@ -1982,8 +1982,7 @@ remove_invalid_refs (unsigned int regno)
for (p = table[i]; p; p = next)
{
next = p->next_same_hash;
- if (!REG_P (p->exp)
- && refers_to_regno_p (regno, regno + 1, p->exp, (rtx *) 0))
+ if (!REG_P (p->exp) && refers_to_regno_p (regno, p->exp))
remove_from_table (p, i);
}
}
@@ -2011,7 +2010,7 @@ remove_invalid_subreg_refs (unsigned int regno, unsigned int offset,
|| (((SUBREG_BYTE (exp)
+ (GET_MODE_SIZE (GET_MODE (exp)) - 1)) >= offset)
&& SUBREG_BYTE (exp) <= end))
- && refers_to_regno_p (regno, regno + 1, p->exp, (rtx *) 0))
+ && refers_to_regno_p (regno, p->exp))
remove_from_table (p, i);
}
}
diff --git a/gcc/df-scan.c b/gcc/df-scan.c
index ad3324c3f17..3690a362a3d 100644
--- a/gcc/df-scan.c
+++ b/gcc/df-scan.c
@@ -3173,8 +3173,7 @@ df_get_call_refs (struct df_collection_rec *collection_rec,
&& !TEST_HARD_REG_BIT (defs_generated, i)
&& (!is_sibling_call
|| !bitmap_bit_p (df->exit_block_uses, i)
- || refers_to_regno_p (i, i+1,
- crtl->return_rtx, NULL)))
+ || refers_to_regno_p (i, crtl->return_rtx)))
df_ref_record (DF_REF_BASE, collection_rec, regno_reg_rtx[i],
NULL, bb, insn_info, DF_REF_REG_DEF,
DF_REF_MAY_CLOBBER | flags);
diff --git a/gcc/rtl.h b/gcc/rtl.h
index e0f25558b32..e5e4560d3ae 100644
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -2837,7 +2837,7 @@ extern int reg_set_p (const_rtx, const_rtx);
extern int multiple_sets (const_rtx);
extern int set_noop_p (const_rtx);
extern int noop_move_p (const_rtx);
-extern int refers_to_regno_p (unsigned int, unsigned int, const_rtx, rtx *);
+extern bool refers_to_regno_p (unsigned int, unsigned int, const_rtx, rtx *);
extern int reg_overlap_mentioned_p (const_rtx, const_rtx);
extern const_rtx set_of (const_rtx, const_rtx);
extern void record_hard_reg_sets (rtx, const_rtx, void *);
@@ -2885,6 +2885,13 @@ extern bool tablejump_p (const rtx_insn *, rtx *, rtx_jump_table_data **);
extern int computed_jump_p (const_rtx);
extern bool tls_referenced_p (const_rtx);
+/* Overload for refers_to_regno_p for checking a single register. */
+inline bool
+refers_to_regno_p (unsigned int regnum, const_rtx x, rtx* loc = NULL)
+{
+ return refers_to_regno_p (regnum, regnum + 1, x, loc);
+}
+
/* Callback for for_each_inc_dec, to process the autoinc operation OP
within MEM that sets DEST to SRC + SRCOFF, or SRC if SRCOFF is
NULL. The callback is passed the same opaque ARG passed to
diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c
index 760a5d63906..43ed2de2093 100644
--- a/gcc/rtlanal.c
+++ b/gcc/rtlanal.c
@@ -1402,7 +1402,7 @@ noop_move_p (const_rtx insn)
References contained within the substructure at LOC do not count.
LOC may be zero, meaning don't ignore anything. */
-int
+bool
refers_to_regno_p (unsigned int regno, unsigned int endregno, const_rtx x,
rtx *loc)
{
@@ -1415,7 +1415,7 @@ refers_to_regno_p (unsigned int regno, unsigned int endregno, const_rtx x,
/* The contents of a REG_NONNEG note is always zero, so we must come here
upon repeat in case the last REG_NOTE is a REG_NONNEG note. */
if (x == 0)
- return 0;
+ return false;
code = GET_CODE (x);
@@ -1433,7 +1433,7 @@ refers_to_regno_p (unsigned int regno, unsigned int endregno, const_rtx x,
#endif
|| x_regno == FRAME_POINTER_REGNUM)
&& regno >= FIRST_VIRTUAL_REGISTER && regno <= LAST_VIRTUAL_REGISTER)
- return 1;
+ return true;
return endregno > x_regno && regno < END_REGNO (x);
@@ -1466,10 +1466,10 @@ refers_to_regno_p (unsigned int regno, unsigned int endregno, const_rtx x,
SUBREG_REG (SET_DEST (x)), loc))
|| (!REG_P (SET_DEST (x))
&& refers_to_regno_p (regno, endregno, SET_DEST (x), loc))))
- return 1;
+ return true;
if (code == CLOBBER || loc == &SET_SRC (x))
- return 0;
+ return false;
x = SET_SRC (x);
goto repeat;
@@ -1491,7 +1491,7 @@ refers_to_regno_p (unsigned int regno, unsigned int endregno, const_rtx x,
}
else
if (refers_to_regno_p (regno, endregno, XEXP (x, i), loc))
- return 1;
+ return true;
}
else if (fmt[i] == 'E')
{
@@ -1499,10 +1499,10 @@ refers_to_regno_p (unsigned int regno, unsigned int endregno, const_rtx x,
for (j = XVECLEN (x, i) - 1; j >= 0; j--)
if (loc != &XVECEXP (x, i, j)
&& refers_to_regno_p (regno, endregno, XVECEXP (x, i, j), loc))
- return 1;
+ return true;
}
}
- return 0;
+ return false;
}
/* Nonzero if modifying X will affect IN. If X is a register or a SUBREG,
diff --git a/gcc/sched-deps.c b/gcc/sched-deps.c
index 604eb8eade1..a00781de730 100644
--- a/gcc/sched-deps.c
+++ b/gcc/sched-deps.c
@@ -3174,7 +3174,7 @@ sched_analyze_insn (struct deps_desc *deps, rtx x, rtx_insn *insn)
{
rtx other = XEXP (list, 0);
if (INSN_CACHED_COND (other) != const_true_rtx
- && refers_to_regno_p (i, i + 1, INSN_CACHED_COND (other), NULL))
+ && refers_to_regno_p (i, INSN_CACHED_COND (other)))
INSN_CACHED_COND (other) = const_true_rtx;
}
}
View Lorry Controller Status