range-op.cc (range_tests): Avoid two tests when ints and shorts are the same size.

	* range-op.cc (range_tests): Avoid two tests when ints and
	shorts are the same size.

From-SVN: r276581

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 97e48c0f028bb57fe692310fe774ee337a67242a..02cf6974f1a9c17184a9959ba87003e7b4dd6d75 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2019-10-04  Jeff Law  <law@redhat.com>
+
+       * range-op.cc (range_tests): Avoid two tests when ints and
+       shorts are the same size.
+
 2019-10-04  Richard Biener  <rguenther@suse.de>
 
        PR lto/91968

diff --git a/gcc/range-op.cc b/gcc/range-op.cc
index fff4a55f88d520353b9c54974f863158a2ca375f..fc31485384b3c53123ca26eb95cd5c1eedd914e8 100644 (file)
--- a/gcc/range-op.cc
+++ b/gcc/range-op.cc
@@ -2910,10 +2910,14 @@ range_tests ()
 
   // If a range is in any way outside of the range for the converted
   // to range, default to the range for the new type.
-  r1 = value_range_base (integer_zero_node, maxint);
-  range_cast (r1, short_integer_type_node);
-  ASSERT_TRUE (r1.lower_bound () == wi::to_wide (minshort)
-              && r1.upper_bound() == wi::to_wide (maxshort));
+  if (TYPE_PRECISION (TREE_TYPE (maxint))
+      > TYPE_PRECISION (short_integer_type_node))
+    {
+      r1 = value_range_base (integer_zero_node, maxint);
+      range_cast (r1, short_integer_type_node);
+      ASSERT_TRUE (r1.lower_bound () == wi::to_wide (minshort)
+                  && r1.upper_bound() == wi::to_wide (maxshort));
+    }
 
   // (unsigned char)[-5,-1] => [251,255].
   r0 = rold = value_range_base (SCHAR (-5), SCHAR (-1));
@@ -3020,11 +3024,15 @@ range_tests ()
   // "NOT 0 at signed 32-bits" ==> [-MIN_32,-1][1, +MAX_32].  This is
   // is outside of the range of a smaller range, return the full
   // smaller range.
-  r0 = range_nonzero (integer_type_node);
-  range_cast (r0, short_integer_type_node);
-  r1 = value_range_base (TYPE_MIN_VALUE (short_integer_type_node),
-                        TYPE_MAX_VALUE (short_integer_type_node));
-  ASSERT_TRUE (r0 == r1);
+  if (TYPE_PRECISION (integer_type_node)
+      > TYPE_PRECISION (short_integer_type_node))
+    {
+      r0 = range_nonzero (integer_type_node);
+      range_cast (r0, short_integer_type_node);
+      r1 = value_range_base (TYPE_MIN_VALUE (short_integer_type_node),
+                            TYPE_MAX_VALUE (short_integer_type_node));
+      ASSERT_TRUE (r0 == r1);
+    }
 
   // Casting NONZERO from a narrower signed to a wider signed.
   //