diff options
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-09-26 07:33:05 +0000 |
|---|---|---|
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-09-26 07:33:05 +0000 |
| commit | 6759b0576ae1f474749cc901e0e3d5679f546251 (patch) | |
| tree | d452c35b0b28390c7992034dd3937b244ecc9f30 | |
| parent | 99eafd724148296e5cb4d2665d3a208dc6e7b22d (diff) | |
| download | gcc-6759b0576ae1f474749cc901e0e3d5679f546251.tar.gz | |
[PATCH] Fix undefined behaviour in cris port
* config/cris/cris.md (asrandb): Fix left shift undefined
behaviour.
(asrandw): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228163 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 910fd4f3d7a..98c1bd9c913 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 3c2409bd1d8..b90d6b1b3a1 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. |