summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--gcc/ChangeLog14
-rw-r--r--gcc/config/arm/arm.c2
-rw-r--r--gcc/recog.h10
-rw-r--r--gcc/reg-stack.c4
-rw-r--r--gcc/regcprop.c15
-rw-r--r--gcc/regrename.c15
-rw-r--r--gcc/sel-sched.c13
7 files changed, 42 insertions, 31 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 43de8fb3744..c585b9395a6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,19 @@
2014-06-04 Richard Sandiford <rdsandiford@googlemail.com>
+ * recog.h (alternative_class): New function.
+ (which_op_alt): Return a const recog_op_alt.
+ * reg-stack.c (check_asm_stack_operands): Update type accordingly.
+ (subst_asm_stack_regs): Likewise.
+ * config/arm/arm.c (note_invalid_constants): Likewise.
+ * regcprop.c (copyprop_hardreg_forward_1): Likewise. Don't modify
+ the operand_alternative; use alternative class instead.
+ * sel-sched.c (get_reg_class): Likewise.
+ * regrename.c (build_def_use): Likewise.
+ (hide_operands, restore_operands, record_out_operands): Update type
+ accordingly.
+
+2014-06-04 Richard Sandiford <rdsandiford@googlemail.com>
+
* recog.h (recog_op_alt): Convert to a flat array.
(which_op_alt): New function.
* recog.c (recog_op_alt): Convert to a flat array.
diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
index 061c7586fc2..d5d958ebec5 100644
--- a/gcc/config/arm/arm.c
+++ b/gcc/config/arm/arm.c
@@ -16878,7 +16878,7 @@ note_invalid_constants (rtx insn, HOST_WIDE_INT address, int do_pushes)
this insn. */
preprocess_constraints ();
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
for (opno = 0; opno < recog_data.n_operands; opno++)
{
/* Things we need to fix can only occur in inputs. */
diff --git a/gcc/recog.h b/gcc/recog.h
index 1473486db32..3dae18ba26a 100644
--- a/gcc/recog.h
+++ b/gcc/recog.h
@@ -79,6 +79,14 @@ struct operand_alternative
unsigned int anything_ok:1;
};
+/* Return the class for operand I of alternative ALT, taking matching
+ constraints into account. */
+
+static inline enum reg_class
+alternative_class (const operand_alternative *alt, int i)
+{
+ return alt[i].matches >= 0 ? alt[alt[i].matches].cl : alt[i].cl;
+}
extern void init_recog (void);
extern void init_recog_no_volatile (void);
@@ -263,7 +271,7 @@ extern struct operand_alternative recog_op_alt[MAX_RECOG_OPERANDS
on operand OP of the current instruction alternative (which_alternative).
Only valid after calling preprocess_constraints and constrain_operands. */
-inline static operand_alternative *
+inline static const operand_alternative *
which_op_alt ()
{
gcc_checking_assert (IN_RANGE (which_alternative, 0,
diff --git a/gcc/reg-stack.c b/gcc/reg-stack.c
index a2d76b44b9a..443a65a504b 100644
--- a/gcc/reg-stack.c
+++ b/gcc/reg-stack.c
@@ -482,7 +482,7 @@ check_asm_stack_operands (rtx insn)
PATTERN (insn) = gen_rtx_USE (VOIDmode, const0_rtx);
return 0;
}
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
/* Strip SUBREGs here to make the following code simpler. */
for (i = 0; i < recog_data.n_operands; i++)
@@ -2030,7 +2030,7 @@ subst_asm_stack_regs (rtx insn, stack_ptr regstack)
constrain_operands (1);
preprocess_constraints ();
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
get_asm_operands_in_out (body, &n_outputs, &n_inputs);
diff --git a/gcc/regcprop.c b/gcc/regcprop.c
index d55ee33a9e1..56efc948a7c 100644
--- a/gcc/regcprop.c
+++ b/gcc/regcprop.c
@@ -775,20 +775,17 @@ copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd)
if (! constrain_operands (1))
fatal_insn_not_found (insn);
preprocess_constraints ();
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
n_ops = recog_data.n_operands;
is_asm = asm_noperands (PATTERN (insn)) >= 0;
- /* Simplify the code below by rewriting things to reflect
- matching constraints. Also promote OP_OUT to OP_INOUT
+ /* Simplify the code below by promoting OP_OUT to OP_INOUT
in predicated instructions. */
predicated = GET_CODE (PATTERN (insn)) == COND_EXEC;
for (i = 0; i < n_ops; ++i)
{
int matches = op_alt[i].matches;
- if (matches >= 0)
- op_alt[i].cl = op_alt[matches].cl;
if (matches >= 0 || op_alt[i].matched >= 0
|| (predicated && recog_data.operand_type[i] == OP_OUT))
recog_data.operand_type[i] = OP_INOUT;
@@ -939,12 +936,14 @@ copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd)
if (op_alt[i].is_address)
replaced[i]
= replace_oldest_value_addr (recog_data.operand_loc[i],
- op_alt[i].cl, VOIDmode,
- ADDR_SPACE_GENERIC, insn, vd);
+ alternative_class (op_alt, i),
+ VOIDmode, ADDR_SPACE_GENERIC,
+ insn, vd);
else if (REG_P (recog_data.operand[i]))
replaced[i]
= replace_oldest_value_reg (recog_data.operand_loc[i],
- op_alt[i].cl, insn, vd);
+ alternative_class (op_alt, i),
+ insn, vd);
else if (MEM_P (recog_data.operand[i]))
replaced[i] = replace_oldest_value_mem (recog_data.operand[i],
insn, vd);
diff --git a/gcc/regrename.c b/gcc/regrename.c
index df543c3697a..fa6ed49d1df 100644
--- a/gcc/regrename.c
+++ b/gcc/regrename.c
@@ -1427,7 +1427,7 @@ hide_operands (int n_ops, rtx *old_operands, rtx *old_dups,
unsigned HOST_WIDE_INT do_not_hide, bool inout_and_ec_only)
{
int i;
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
for (i = 0; i < n_ops; i++)
{
old_operands[i] = recog_data.operand[i];
@@ -1478,7 +1478,7 @@ static void
record_out_operands (rtx insn, bool earlyclobber, insn_rr_info *insn_info)
{
int n_ops = recog_data.n_operands;
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
int i;
@@ -1489,7 +1489,7 @@ record_out_operands (rtx insn, bool earlyclobber, insn_rr_info *insn_info)
? recog_data.operand_loc[opn]
: recog_data.dup_loc[i - n_ops]);
rtx op = *loc;
- enum reg_class cl = op_alt[opn].cl;
+ enum reg_class cl = alternative_class (op_alt, opn);
struct du_head *prev_open;
@@ -1571,7 +1571,7 @@ build_def_use (basic_block bb)
if (! constrain_operands (1))
fatal_insn_not_found (insn);
preprocess_constraints ();
- operand_alternative *op_alt = which_op_alt ();
+ const operand_alternative *op_alt = which_op_alt ();
n_ops = recog_data.n_operands;
untracked_operands = 0;
@@ -1584,8 +1584,7 @@ build_def_use (basic_block bb)
sizeof (operand_rr_info) * recog_data.n_operands);
}
- /* Simplify the code below by rewriting things to reflect
- matching constraints. Also promote OP_OUT to OP_INOUT in
+ /* Simplify the code below by promoting OP_OUT to OP_INOUT in
predicated instructions, but only for register operands
that are already tracked, so that we can create a chain
when the first SET makes a register live. */
@@ -1595,8 +1594,6 @@ build_def_use (basic_block bb)
{
rtx op = recog_data.operand[i];
int matches = op_alt[i].matches;
- if (matches >= 0)
- op_alt[i].cl = op_alt[matches].cl;
if (matches >= 0 || op_alt[i].matched >= 0
|| (predicated && recog_data.operand_type[i] == OP_OUT))
{
@@ -1681,7 +1678,7 @@ build_def_use (basic_block bb)
rtx *loc = (i < n_ops
? recog_data.operand_loc[opn]
: recog_data.dup_loc[i - n_ops]);
- enum reg_class cl = op_alt[opn].cl;
+ enum reg_class cl = alternative_class (op_alt, opn);
enum op_type type = recog_data.operand_type[opn];
/* Don't scan match_operand here, since we've no reg class
diff --git a/gcc/sel-sched.c b/gcc/sel-sched.c
index 435cfa535a7..fb93f92a2bc 100644
--- a/gcc/sel-sched.c
+++ b/gcc/sel-sched.c
@@ -1022,14 +1022,7 @@ get_reg_class (rtx insn)
preprocess_constraints ();
n_ops = recog_data.n_operands;
- operand_alternative *op_alt = which_op_alt ();
- for (i = 0; i < n_ops; ++i)
- {
- int matches = op_alt[i].matches;
- if (matches >= 0)
- op_alt[i].cl = op_alt[matches].cl;
- }
-
+ const operand_alternative *op_alt = which_op_alt ();
if (asm_noperands (PATTERN (insn)) > 0)
{
for (i = 0; i < n_ops; i++)
@@ -1037,7 +1030,7 @@ get_reg_class (rtx insn)
{
rtx *loc = recog_data.operand_loc[i];
rtx op = *loc;
- enum reg_class cl = op_alt[i].cl;
+ enum reg_class cl = alternative_class (op_alt, i);
if (REG_P (op)
&& REGNO (op) == ORIGINAL_REGNO (op))
@@ -1051,7 +1044,7 @@ get_reg_class (rtx insn)
for (i = 0; i < n_ops + recog_data.n_dups; i++)
{
int opn = i < n_ops ? i : recog_data.dup_num[i - n_ops];
- enum reg_class cl = op_alt[opn].cl;
+ enum reg_class cl = alternative_class (op_alt, opn);
if (recog_data.operand_type[opn] == OP_OUT ||
recog_data.operand_type[opn] == OP_INOUT)
View Lorry Controller Status