Skip to content

R
riscv-gcc-1
Commit f3f391d7 by Richard Kenner
Options

(expand_binop, expand_unop): Don't make SUBREG for promoted variables as 

operands.

From-SVN: r2179
parent 09d7f5a5
Showing with 24 additions and 9 deletions
gcc/optabs.c
...@@ -474,15 +474,20 @@ expand_binop (mode, binoptab, op0, op1, target, unsignedp, methods) ...@@ -474,15 +474,20 @@ expand_binop (mode, binoptab, op0, op1, target, unsignedp, methods)
/* If an operand is a constant integer, we might as well /* If an operand is a constant integer, we might as well
convert it since that is more efficient than using a SUBREG, convert it since that is more efficient than using a SUBREG,
unlike the case for other operands. */ unlike the case for other operands. Similarly for
SUBREGs that were made due to promoted objects. */
if (no_extend && GET_MODE (xop0) != VOIDmode) if (no_extend && GET_MODE (xop0) != VOIDmode
&& ! (GET_CODE (xop0) == SUBREG
&& SUBREG_PROMOTED_VAR_P (xop0)))
xop0 = gen_rtx (SUBREG, wider_mode, xop0 = gen_rtx (SUBREG, wider_mode,
force_reg (GET_MODE (xop0), xop0), 0); force_reg (GET_MODE (xop0), xop0), 0);
else else
xop0 = convert_to_mode (wider_mode, xop0, unsignedp); xop0 = convert_to_mode (wider_mode, xop0, unsignedp);
if (no_extend && GET_MODE (xop1) != VOIDmode) if (no_extend && GET_MODE (xop1) != VOIDmode
&& ! (GET_CODE (xop1) == SUBREG
&& SUBREG_PROMOTED_VAR_P (xop1)))
xop1 = gen_rtx (SUBREG, wider_mode, xop1 = gen_rtx (SUBREG, wider_mode,
force_reg (GET_MODE (xop1), xop1), 0); force_reg (GET_MODE (xop1), xop1), 0);
else else
...@@ -1133,15 +1138,20 @@ expand_binop (mode, binoptab, op0, op1, target, unsignedp, methods) ...@@ -1133,15 +1138,20 @@ expand_binop (mode, binoptab, op0, op1, target, unsignedp, methods)
/* If an operand is a constant integer, we might as well /* If an operand is a constant integer, we might as well
convert it since that is more efficient than using a SUBREG, convert it since that is more efficient than using a SUBREG,
unlike the case for other operands. */ unlike the case for other operands. Similarly for
SUBREGs that were made due to promoted objects.*/
if (no_extend && GET_MODE (xop0) != VOIDmode) if (no_extend && GET_MODE (xop0) != VOIDmode
&& ! (GET_CODE (xop0) == SUBREG
&& SUBREG_PROMOTED_VAR_P (xop0)))
xop0 = gen_rtx (SUBREG, wider_mode, xop0 = gen_rtx (SUBREG, wider_mode,
force_reg (GET_MODE (xop0), xop0), 0); force_reg (GET_MODE (xop0), xop0), 0);
else else
xop0 = convert_to_mode (wider_mode, xop0, unsignedp); xop0 = convert_to_mode (wider_mode, xop0, unsignedp);
if (no_extend && GET_MODE (xop1) != VOIDmode) if (no_extend && GET_MODE (xop1) != VOIDmode
&& ! (GET_CODE (xop1) == SUBREG
&& SUBREG_PROMOTED_VAR_P (xop1)))
xop1 = gen_rtx (SUBREG, wider_mode, xop1 = gen_rtx (SUBREG, wider_mode,
force_reg (GET_MODE (xop1), xop1), 0); force_reg (GET_MODE (xop1), xop1), 0);
else else
...@@ -1456,11 +1466,14 @@ expand_unop (mode, unoptab, op0, target, unsignedp) ...@@ -1456,11 +1466,14 @@ expand_unop (mode, unoptab, op0, target, unsignedp)
/* For certain operations, we need not actually extend /* For certain operations, we need not actually extend
the narrow operand, as long as we will truncate the the narrow operand, as long as we will truncate the
results to the same narrowness. */ results to the same narrowness. But it is faster to
convert a SUBREG due to mode promotion. */
if ((unoptab == neg_optab || unoptab == one_cmpl_optab) if ((unoptab == neg_optab || unoptab == one_cmpl_optab)
&& GET_MODE_SIZE (wider_mode) <= UNITS_PER_WORD && GET_MODE_SIZE (wider_mode) <= UNITS_PER_WORD
&& class == MODE_INT) && class == MODE_INT
&& ! (GET_CODE (xop0) == SUBREG
&& SUBREG_PROMOTED_VAR_P (xop0)))
xop0 = gen_rtx (SUBREG, wider_mode, force_reg (mode, xop0), 0); xop0 = gen_rtx (SUBREG, wider_mode, force_reg (mode, xop0), 0);
else else
xop0 = convert_to_mode (wider_mode, xop0, unsignedp); xop0 = convert_to_mode (wider_mode, xop0, unsignedp);
...@@ -1558,7 +1571,9 @@ expand_unop (mode, unoptab, op0, target, unsignedp) ...@@ -1558,7 +1571,9 @@ expand_unop (mode, unoptab, op0, target, unsignedp)
if ((unoptab == neg_optab || unoptab == one_cmpl_optab) if ((unoptab == neg_optab || unoptab == one_cmpl_optab)
&& GET_MODE_SIZE (wider_mode) <= UNITS_PER_WORD && GET_MODE_SIZE (wider_mode) <= UNITS_PER_WORD
&& class == MODE_INT) && class == MODE_INT
&& ! (GET_CODE (xop0) == SUBREG
&& SUBREG_PROMOTED_VAR_P (xop0)))
xop0 = gen_rtx (SUBREG, wider_mode, force_reg (mode, xop0), 0); xop0 = gen_rtx (SUBREG, wider_mode, force_reg (mode, xop0), 0);
else else
xop0 = convert_to_mode (wider_mode, xop0, unsignedp); xop0 = convert_to_mode (wider_mode, xop0, unsignedp);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment