* recog.h, genoutput.c, optabs.c: Revert last patch.
From-SVN: r172321
This commit is contained in:
parent
ae59e00d17
commit
28569ac3d4
@ -1,3 +1,7 @@
|
||||
2011-04-12 Richard Sandiford <richard.sandiford@linaro.org>
|
||||
|
||||
* recog.h, genoutput.c, optabs.c: Revert last patch.
|
||||
|
||||
2011-04-12 Ramana Radhakrishnan <ramana.radhakrishnan@linaro.org>
|
||||
|
||||
PR target/48090
|
||||
|
@ -66,8 +66,6 @@ along with GCC; see the file COPYING3. If not see
|
||||
MATCH_OPERAND; it is zero for operands that should not be changed during
|
||||
register elimination such as MATCH_OPERATORs.
|
||||
|
||||
g. `allows_mem', is true for operands that accept MEM rtxes.
|
||||
|
||||
The code number of an insn is simply its position in the machine
|
||||
description; code numbers are assigned sequentially to entries in
|
||||
the description, starting with code number 0.
|
||||
@ -258,8 +256,6 @@ output_operand_data (void)
|
||||
|
||||
for (d = odata; d; d = d->next)
|
||||
{
|
||||
struct pred_data *pred;
|
||||
|
||||
printf (" {\n");
|
||||
|
||||
printf (" %s,\n",
|
||||
@ -273,12 +269,7 @@ output_operand_data (void)
|
||||
|
||||
printf (" %d,\n", d->constraint == NULL ? 1 : 0);
|
||||
|
||||
printf (" %d,\n", d->eliminable);
|
||||
|
||||
pred = NULL;
|
||||
if (d->predicate)
|
||||
pred = lookup_predicate (d->predicate);
|
||||
printf (" %d\n", pred && pred->codes[MEM]);
|
||||
printf (" %d\n", d->eliminable);
|
||||
|
||||
printf(" },\n");
|
||||
}
|
||||
|
61
gcc/optabs.c
61
gcc/optabs.c
@ -7001,36 +7001,6 @@ insn_operand_matches (enum insn_code icode, unsigned int opno, rtx operand)
|
||||
(operand, insn_data[(int) icode].operand[opno].mode)));
|
||||
}
|
||||
|
||||
/* Like maybe_legitimize_operand, but do not change the code of the
|
||||
current rtx value. */
|
||||
|
||||
static bool
|
||||
maybe_legitimize_operand_same_code (enum insn_code icode, unsigned int opno,
|
||||
struct expand_operand *op)
|
||||
{
|
||||
/* See if the operand matches in its current form. */
|
||||
if (insn_operand_matches (icode, opno, op->value))
|
||||
return true;
|
||||
|
||||
/* If the operand is a memory, try forcing the address into a register. */
|
||||
if (MEM_P (op->value) && insn_data[(int) icode].operand[opno].allows_mem)
|
||||
{
|
||||
rtx addr, mem, last;
|
||||
|
||||
last = get_last_insn ();
|
||||
addr = force_reg (Pmode, XEXP (op->value, 0));
|
||||
mem = replace_equiv_address (op->value, addr);
|
||||
if (insn_operand_matches (icode, opno, mem))
|
||||
{
|
||||
op->value = mem;
|
||||
return true;
|
||||
}
|
||||
delete_insns_since (last);
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
/* Try to make OP match operand OPNO of instruction ICODE. Return true
|
||||
on success, storing the new operand value back in OP. */
|
||||
|
||||
@ -7041,25 +7011,22 @@ maybe_legitimize_operand (enum insn_code icode, unsigned int opno,
|
||||
enum machine_mode mode, imode;
|
||||
bool old_volatile_ok, result;
|
||||
|
||||
old_volatile_ok = volatile_ok;
|
||||
mode = op->mode;
|
||||
result = false;
|
||||
switch (op->type)
|
||||
{
|
||||
case EXPAND_FIXED:
|
||||
old_volatile_ok = volatile_ok;
|
||||
volatile_ok = true;
|
||||
result = maybe_legitimize_operand_same_code (icode, opno, op);
|
||||
volatile_ok = old_volatile_ok;
|
||||
return result;
|
||||
break;
|
||||
|
||||
case EXPAND_OUTPUT:
|
||||
gcc_assert (mode != VOIDmode);
|
||||
if (op->value
|
||||
&& op->value != const0_rtx
|
||||
&& GET_MODE (op->value) == mode
|
||||
&& maybe_legitimize_operand_same_code (icode, opno, op))
|
||||
return true;
|
||||
|
||||
op->value = gen_reg_rtx (mode);
|
||||
if (!op->value
|
||||
|| op->value == const0_rtx
|
||||
|| GET_MODE (op->value) != mode
|
||||
|| !insn_operand_matches (icode, opno, op->value))
|
||||
op->value = gen_reg_rtx (mode);
|
||||
break;
|
||||
|
||||
case EXPAND_INPUT:
|
||||
@ -7067,10 +7034,9 @@ maybe_legitimize_operand (enum insn_code icode, unsigned int opno,
|
||||
gcc_assert (mode != VOIDmode);
|
||||
gcc_assert (GET_MODE (op->value) == VOIDmode
|
||||
|| GET_MODE (op->value) == mode);
|
||||
if (maybe_legitimize_operand_same_code (icode, opno, op))
|
||||
return true;
|
||||
|
||||
op->value = copy_to_mode_reg (mode, op->value);
|
||||
result = insn_operand_matches (icode, opno, op->value);
|
||||
if (!result)
|
||||
op->value = copy_to_mode_reg (mode, op->value);
|
||||
break;
|
||||
|
||||
case EXPAND_CONVERT_TO:
|
||||
@ -7104,7 +7070,10 @@ maybe_legitimize_operand (enum insn_code icode, unsigned int opno,
|
||||
goto input;
|
||||
break;
|
||||
}
|
||||
return insn_operand_matches (icode, opno, op->value);
|
||||
if (!result)
|
||||
result = insn_operand_matches (icode, opno, op->value);
|
||||
volatile_ok = old_volatile_ok;
|
||||
return result;
|
||||
}
|
||||
|
||||
/* Make OP describe an input operand that should have the same value
|
||||
|
@ -272,8 +272,6 @@ struct insn_operand_data
|
||||
const char is_operator;
|
||||
|
||||
const char eliminable;
|
||||
|
||||
const char allows_mem;
|
||||
};
|
||||
|
||||
/* Legal values for insn_data.output_format. Indicate what type of data
|
||||
|
Loading…
x
Reference in New Issue
Block a user