diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2001-04-12 05:25:55 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@gcc.gnu.org> | 2001-04-12 05:25:55 +0000 |
| commit | c033e268c56e3ea1aac609bae6de5501881d1632 (patch) | |
| tree | 109638b26bba38caeb1b23b0c8ca91771240a1a5 /gcc/recog.c | |
| parent | 691073076ba2bdceb294db095293a0453489ab0f (diff) | |
| download | gcc-c033e268c56e3ea1aac609bae6de5501881d1632.zip gcc-c033e268c56e3ea1aac609bae6de5501881d1632.tar.gz gcc-c033e268c56e3ea1aac609bae6de5501881d1632.tar.bz2 | |
recog.c (general_operand, [...]): Require CONST_INTs to be sign-extended values for their modes.
* recog.c (general_operand, immediate_operand,
nonmemory_operand): Require CONST_INTs to be sign-extended
values for their modes.
From-SVN: r41286
Diffstat (limited to 'gcc/recog.c')
| -rw-r--r-- | gcc/recog.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/recog.c b/gcc/recog.c index bbecd5b..1c9fdf9 100644 --- a/gcc/recog.c +++ b/gcc/recog.c @@ -1114,6 +1114,10 @@ general_operand (op, mode) && GET_MODE_CLASS (mode) != MODE_PARTIAL_INT) return 0; + if (GET_CODE (op) == CONST_INT + && trunc_int_for_mode (INTVAL (op), mode) != INTVAL (op)) + return 0; + if (CONSTANT_P (op)) return ((GET_MODE (op) == VOIDmode || GET_MODE (op) == mode || mode == VOIDmode) @@ -1290,6 +1294,10 @@ immediate_operand (op, mode) && GET_MODE_CLASS (mode) != MODE_PARTIAL_INT) return 0; + if (GET_CODE (op) == CONST_INT + && trunc_int_for_mode (INTVAL (op), mode) != INTVAL (op)) + return 0; + /* Accept CONSTANT_P_RTX, since it will be gone by CSE1 and result in 0/1. It seems a safe assumption that this is in range for everyone. */ @@ -1361,6 +1369,10 @@ nonmemory_operand (op, mode) && GET_MODE_CLASS (mode) != MODE_PARTIAL_INT) return 0; + if (GET_CODE (op) == CONST_INT + && trunc_int_for_mode (INTVAL (op), mode) != INTVAL (op)) + return 0; + return ((GET_MODE (op) == VOIDmode || GET_MODE (op) == mode || mode == VOIDmode) #ifdef LEGITIMATE_PIC_OPERAND_P |