diff options
| author | Richard Kenner <kenner@gcc.gnu.org> | 1993-10-10 19:18:18 -0400 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 1993-10-10 19:18:18 -0400 |
| commit | 4c002f291a3611fb7e18248b7c230b7339077846 (patch) | |
| tree | b396626094d3bf712bae96c05286768a92cf6446 /gcc | |
| parent | 4da73fa0bab5a9c53eae9ccf476fcd291cf696d6 (diff) | |
| download | gcc-4c002f291a3611fb7e18248b7c230b7339077846.zip gcc-4c002f291a3611fb7e18248b7c230b7339077846.tar.gz gcc-4c002f291a3611fb7e18248b7c230b7339077846.tar.bz2 | |
(force_to_mode, case ASHIFTRT): Verify that result of making a
LSHIFTRT remains a shift.
From-SVN: r5715
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/combine.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/combine.c b/gcc/combine.c index 4d05b01..fa34ce0 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -5892,9 +5892,11 @@ force_to_mode (x, mode, mask, reg) x = gen_binary (LSHIFTRT, GET_MODE (x), XEXP (x, 0), XEXP (x, 1)); /* If this is a sign-extension operation that just affects bits - we don't care about, remove it. */ + we don't care about, remove it. Be sure the call above returned + something that is still a shift. */ - if (GET_CODE (XEXP (x, 1)) == CONST_INT + if ((GET_CODE (x) == LSHIFTRT || GET_CODE (x) == ASHIFTRT) + && GET_CODE (XEXP (x, 1)) == CONST_INT && INTVAL (XEXP (x, 1)) >= 0 && (INTVAL (XEXP (x, 1)) <= GET_MODE_BITSIZE (GET_MODE (x)) - (floor_log2 (mask) + 1)) |