diff options
| author | Jeff Law <law@redhat.com> | 2015-09-26 01:33:05 -0600 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2015-09-26 01:33:05 -0600 |
| commit | c4362b608bdaaa5b7b326bd60116040b38b0dbdd (patch) | |
| tree | d452c35b0b28390c7992034dd3937b244ecc9f30 | |
| parent | 01a8b92d5469be16cd5f75c7169cbe4fa6c6a48d (diff) | |
| download | gcc-c4362b608bdaaa5b7b326bd60116040b38b0dbdd.zip gcc-c4362b608bdaaa5b7b326bd60116040b38b0dbdd.tar.gz gcc-c4362b608bdaaa5b7b326bd60116040b38b0dbdd.tar.bz2 | |
[PATCH] Fix undefined behaviour in cris port
[PATCH] Fix undefined behaviour in cris port
* config/cris/cris.md (asrandb): Fix left shift undefined
behaviour.
(asrandw): Likewise.
From-SVN: r228163
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/config/cris/cris.md | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 910fd4f..98c1bd9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-09-26 Jeff Law <law@redhat.com> + + * config/cris/cris.md (asrandb): Fix left shift undefined + behaviour. + (asrandw): Likewise. + 2015-09-25 Vladimir Makarov <vmakarov@redhat.com> PR target/61578 diff --git a/gcc/config/cris/cris.md b/gcc/config/cris/cris.md index 3c2409b..b90d6b1 100644 --- a/gcc/config/cris/cris.md +++ b/gcc/config/cris/cris.md @@ -4634,7 +4634,8 @@ && INTVAL (operands[1]) > 23 /* Check that the and-operation enables us to use logical-shift. */ && (INTVAL (operands[2]) - & ((HOST_WIDE_INT) -1 << (32 - INTVAL (operands[1])))) == 0" + & ((HOST_WIDE_INT) (HOST_WIDE_INT_M1U + << (32 - INTVAL (operands[1]))))) == 0" [(set (match_dup 0) (lshiftrt:SI (match_dup 0) (match_dup 1))) (set (match_dup 3) (and:QI (match_dup 3) (match_dup 4)))] ;; FIXME: CC0 is valid except for the M bit. @@ -4655,7 +4656,8 @@ && INTVAL (operands[1]) > 15 /* Check that the and-operation enables us to use logical-shift. */ && (INTVAL (operands[2]) - & ((HOST_WIDE_INT) -1 << (32 - INTVAL (operands[1])))) == 0" + & ((HOST_WIDE_INT) (HOST_WIDE_INT_M1U + << (32 - INTVAL (operands[1]))))) == 0" [(set (match_dup 0) (lshiftrt:SI (match_dup 0) (match_dup 1))) (set (match_dup 3) (and:HI (match_dup 3) (match_dup 4)))] ;; FIXME: CC0 is valid except for the M bit. |