diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-08-23 15:51:45 +0000 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2011-08-23 15:51:45 +0000 |
| commit | 796669029153ec6da8c26eefc7a8137c6061eb82 (patch) | |
| tree | 62fb2f1d429ec029087fc74ce2fd3609e593cd39 /gcc/simplify-rtx.c | |
| parent | 75a8d36a835ae64aca1fcb21efd16e9be1690909 (diff) | |
PR middle-end/50161
* simplify-rtx.c (simplify_const_unary_operation): If
op is CONST_INT, don't look at op_mode, but use instead
mode.
* optabs.c (add_equal_note): For FFS, CLZ, CTZ,
CLRSB, POPCOUNT, PARITY and BSWAP use operand mode for
operation and TRUNCATE/ZERO_EXTEND if needed.
* doc/rtl.texi (ffs, clrsb, clz, ctz, popcount, parity, bswap):
Document that operand mode must be same as operation mode,
or VOIDmode.
* config/avr/avr.md (paritysi2, *parityqihi2.libgcc,
*paritysihi2.libgcc, popcountsi2, *popcountsi2.libgcc,
*popcountqihi2.libgcc, clzsi2, *clzsihi2.libgcc, ctzsi2,
*ctzsihi2.libgcc, ffssi2, *ffssihi2.libgcc): For unary ops
use the mode of operand for the operation and add truncate
or zero_extend around if needed.
* config/c6x/c6x.md (ctzdi2): Likewise.
* config/bfin/bfin.md (clrsbsi2, signbitssi2): Likewise.
* gcc.dg/pr50161.c: New test.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@177991 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/simplify-rtx.c')
| -rw-r--r-- | gcc/simplify-rtx.c | 29 |
1 files changed, 14 insertions, 15 deletions
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index eb328e521d4..ef5ea1aac33 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -1373,8 +1373,7 @@ simplify_const_unary_operation (enum rtx_code code, enum machine_mode mode, } if (CONST_INT_P (op) - && width <= HOST_BITS_PER_WIDE_INT - && op_width <= HOST_BITS_PER_WIDE_INT && op_width > 0) + && width <= HOST_BITS_PER_WIDE_INT && width > 0) { HOST_WIDE_INT arg0 = INTVAL (op); HOST_WIDE_INT val; @@ -1394,50 +1393,50 @@ simplify_const_unary_operation (enum rtx_code code, enum machine_mode mode, break; case FFS: - arg0 &= GET_MODE_MASK (op_mode); + arg0 &= GET_MODE_MASK (mode); val = ffs_hwi (arg0); break; case CLZ: - arg0 &= GET_MODE_MASK (op_mode); - if (arg0 == 0 && CLZ_DEFINED_VALUE_AT_ZERO (op_mode, val)) + arg0 &= GET_MODE_MASK (mode); + if (arg0 == 0 && CLZ_DEFINED_VALUE_AT_ZERO (mode, val)) ; else - val = GET_MODE_PRECISION (op_mode) - floor_log2 (arg0) - 1; + val = GET_MODE_PRECISION (mode) - floor_log2 (arg0) - 1; break; case CLRSB: - arg0 &= GET_MODE_MASK (op_mode); + arg0 &= GET_MODE_MASK (mode); if (arg0 == 0) - val = GET_MODE_PRECISION (op_mode) - 1; + val = GET_MODE_PRECISION (mode) - 1; else if (arg0 >= 0) - val = GET_MODE_PRECISION (op_mode) - floor_log2 (arg0) - 2; + val = GET_MODE_PRECISION (mode) - floor_log2 (arg0) - 2; else if (arg0 < 0) - val = GET_MODE_PRECISION (op_mode) - floor_log2 (~arg0) - 2; + val = GET_MODE_PRECISION (mode) - floor_log2 (~arg0) - 2; break; case CTZ: - arg0 &= GET_MODE_MASK (op_mode); + arg0 &= GET_MODE_MASK (mode); if (arg0 == 0) { /* Even if the value at zero is undefined, we have to come up with some replacement. Seems good enough. */ - if (! CTZ_DEFINED_VALUE_AT_ZERO (op_mode, val)) - val = GET_MODE_PRECISION (op_mode); + if (! CTZ_DEFINED_VALUE_AT_ZERO (mode, val)) + val = GET_MODE_PRECISION (mode); } else val = ctz_hwi (arg0); break; case POPCOUNT: - arg0 &= GET_MODE_MASK (op_mode); + arg0 &= GET_MODE_MASK (mode); val = 0; while (arg0) val++, arg0 &= arg0 - 1; break; case PARITY: - arg0 &= GET_MODE_MASK (op_mode); + arg0 &= GET_MODE_MASK (mode); val = 0; while (arg0) val++, arg0 &= arg0 - 1; |