From: Aldy Hernandez <aldyh@redhat.com>
Date: Sat, 4 Mar 2023 11:35:07 +0000 (+0100)
Subject: Inline irange::set_nonzero.
X-Git-Tag: basepoints/gcc-15~9760
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd0ac4b275daa91100fb22711f7f74637b382e29;p=thirdparty%2Fgcc.git

Inline irange::set_nonzero.

irange::set_nonzero is used everywhere and benefits immensely from
inlining.

gcc/ChangeLog:

	* value-range.h (irange::set_nonzero): Inline.
---

diff --git a/gcc/value-range.h b/gcc/value-range.h
index 9a834c91b179..5cff50e6d031 100644
--- a/gcc/value-range.h
+++ b/gcc/value-range.h
@@ -886,8 +886,24 @@ irange::upper_bound () const
 inline void
 irange::set_nonzero (tree type)
 {
-  wide_int zero = wi::zero (TYPE_PRECISION (type));
-  set (type, zero, zero, VR_ANTI_RANGE);
+  unsigned prec = TYPE_PRECISION (type);
+
+  if (TYPE_UNSIGNED (type))
+    {
+      m_type = type;
+      m_kind = VR_RANGE;
+      m_base[0] = wi::one (prec);
+      m_base[1] = m_nonzero_mask = wi::minus_one (prec);
+      m_num_ranges = 1;
+
+      if (flag_checking)
+	verify_range ();
+    }
+  else
+    {
+      wide_int zero = wi::zero (prec);
+      set (type, zero, zero, VR_ANTI_RANGE);
+    }
 }
 
 // Set value range VR to a ZERO range of type TYPE.