Yet another left shift of a negative number. Fixed in the obvious way. Tested by completing the cris-* builds in config-list.mk using a trunk compiler.

Installed on the trunk.

Jeff
commit 6759b0576ae1f474749cc901e0e3d5679f546251
Author: law <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Sat Sep 26 07:33:05 2015 +0000

    [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

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  <l...@redhat.com>
+
+       * config/cris/cris.md (asrandb): Fix left shift undefined
+       behaviour.
+       (asrandw): Likewise.
+
 2015-09-25  Vladimir Makarov  <vmaka...@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.

Reply via email to