diff options
| author | J"orn Rennecke <amylaar@redhat.com> | 2001-01-22 16:58:08 +0000 |
|---|---|---|
| committer | Joern Rennecke <amylaar@gcc.gnu.org> | 2001-01-22 16:58:08 +0000 |
| commit | 44e4159d6030f56e5a0d9d4745e05dcfd8686aba (patch) | |
| tree | 6d9cd74e4491229a7900da37a1a8c2d3f520dbe3 /gcc/recog.c | |
| parent | 62e4a758537dd6c82a0a2ce1b0cd75842e41441c (diff) | |
| download | gcc-44e4159d6030f56e5a0d9d4745e05dcfd8686aba.zip gcc-44e4159d6030f56e5a0d9d4745e05dcfd8686aba.tar.gz gcc-44e4159d6030f56e5a0d9d4745e05dcfd8686aba.tar.bz2 | |
recog.c (validate_replace_rtx_1): In ZERO_EXTEND / SIGN_EXTEND case...
* recog.c (validate_replace_rtx_1): In ZERO_EXTEND / SIGN_EXTEND
case, don't use operand_subword to calculate a SUBREG that is
wider than a word.
* rtl.texi: Comparisons yield 0 or STORE_FLAG_VALUE.
From-SVN: r39183
Diffstat (limited to 'gcc/recog.c')
| -rw-r--r-- | gcc/recog.c | 38 |
1 files changed, 36 insertions, 2 deletions
diff --git a/gcc/recog.c b/gcc/recog.c index 4257d7c..4dab907 100644 --- a/gcc/recog.c +++ b/gcc/recog.c @@ -491,8 +491,42 @@ validate_replace_rtx_1 (loc, from, to, object) /* If there is a subreg involved, crop to the portion of the constant that we are interested in. */ if (GET_CODE (XEXP (x, 0)) == SUBREG) - to = operand_subword (to, SUBREG_WORD (XEXP (x, 0)), - 0, GET_MODE (from)); + { + if (GET_MODE_SIZE (GET_MODE (XEXP (x, 0))) <= UNITS_PER_WORD) + to = operand_subword (to, SUBREG_WORD (XEXP (x, 0)), + 0, GET_MODE (from)); + else if (GET_MODE_CLASS (GET_MODE (from)) == MODE_INT + && (GET_MODE_BITSIZE (GET_MODE (XEXP (x, 0))) + <= HOST_BITS_PER_WIDE_INT)) + { + int i = SUBREG_WORD (XEXP (x, 0)) * BITS_PER_WORD; + HOST_WIDE_INT valh; + unsigned HOST_WIDE_INT vall; + + if (GET_CODE (to) == CONST_INT) + { + vall = INTVAL (to); + valh = (HOST_WIDE_INT) vall < 0 ? ~0 : 0; + } + else + { + vall = CONST_DOUBLE_LOW (to); + valh = CONST_DOUBLE_HIGH (to); + } + + if (WORDS_BIG_ENDIAN) + i = (GET_MODE_BITSIZE (GET_MODE (from)) + - GET_MODE_BITSIZE (GET_MODE (XEXP (x, 0))) - i); + if (i > 0 && i < HOST_BITS_PER_WIDE_INT) + vall = vall >> i | valh << (HOST_BITS_PER_WIDE_INT - i); + else if (i >= HOST_BITS_PER_WIDE_INT) + vall = valh >> (i - HOST_BITS_PER_WIDE_INT); + to = GEN_INT (trunc_int_for_mode (vall, + GET_MODE (XEXP (x, 0)))); + } + else + to = gen_rtx_CLOBBER (GET_MODE (x), const0_rtx); + } /* If the above didn't fail, perform the extension from the mode of the operand (and not the mode of FROM). */ |