loop-iv.c (canon_condition): Generalize to all types of integer constant.

gcc/
	* loop-iv.c (canon_condition): Generalize to all types of integer
	constant.

From-SVN: r222571

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ad13f84e2dcf60ecfa2da81200e191b260ddb343..baa558ba31763a1b22bd5b8ac90d7bde52a77a83 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-04-29  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * loop-iv.c (canon_condition): Generalize to all types of integer
+       constant.
+
 2015-04-29  Bernhard Reuther-Fischer  <aldot@gcc.gnu.org>
 
        * gimple-walk.c: Prune duplicate or unneeded includes.

diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c
index 36a9a9f616ee494f0f833da0c62103f5c48498ad..d2cd66e1928fac22783b46af2395daf9aab2bfee 100644 (file)
--- a/gcc/loop-iv.c
+++ b/gcc/loop-iv.c
@@ -1729,39 +1729,42 @@ canon_condition (rtx cond)
     mode = GET_MODE (op1);
   gcc_assert (mode != VOIDmode);
 
-  if (CONST_INT_P (op1)
-      && GET_MODE_CLASS (mode) != MODE_CC
-      && GET_MODE_BITSIZE (mode) <= HOST_BITS_PER_WIDE_INT)
+  if (CONST_SCALAR_INT_P (op1) && GET_MODE_CLASS (mode) != MODE_CC)
     {
-      HOST_WIDE_INT const_val = INTVAL (op1);
-      unsigned HOST_WIDE_INT uconst_val = const_val;
-      unsigned HOST_WIDE_INT max_val
-       = (unsigned HOST_WIDE_INT) GET_MODE_MASK (mode);
+      rtx_mode_t const_val (op1, mode);
 
       switch (code)
        {
        case LE:
-         if ((unsigned HOST_WIDE_INT) const_val != max_val >> 1)
-           code = LT, op1 = gen_int_mode (const_val + 1, GET_MODE (op0));
+         if (wi::ne_p (const_val, wi::max_value (mode, SIGNED)))
+           {
+             code = LT;
+             op1 = immed_wide_int_const (wi::add (const_val, 1),  mode);
+           }
          break;
 
-       /* When cross-compiling, const_val might be sign-extended from
-          BITS_PER_WORD to HOST_BITS_PER_WIDE_INT */
        case GE:
-         if ((HOST_WIDE_INT) (const_val & max_val)
-             != (((HOST_WIDE_INT) 1
-                  << (GET_MODE_BITSIZE (GET_MODE (op0)) - 1))))
-           code = GT, op1 = gen_int_mode (const_val - 1, mode);
+         if (wi::ne_p (const_val, wi::min_value (mode, SIGNED)))
+           {
+             code = GT;
+             op1 = immed_wide_int_const (wi::sub (const_val, 1), mode);
+           }
          break;
 
        case LEU:
-         if (uconst_val < max_val)
-           code = LTU, op1 = gen_int_mode (uconst_val + 1, mode);
+         if (wi::ne_p (const_val, -1))
+           {
+             code = LTU;
+             op1 = immed_wide_int_const (wi::add (const_val, 1), mode);
+           }
          break;
 
        case GEU:
-         if (uconst_val != 0)
-           code = GTU, op1 = gen_int_mode (uconst_val - 1, mode);
+         if (wi::ne_p (const_val, 0))
+           {
+             code = GTU;
+             op1 = immed_wide_int_const (wi::sub (const_val, 1), mode);
+           }
          break;
 
        default: