]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Inline irange::set_nonzero.
authorAldy Hernandez <aldyh@redhat.com>
Sat, 4 Mar 2023 11:35:07 +0000 (12:35 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 1 May 2023 06:33:16 +0000 (08:33 +0200)
irange::set_nonzero is used everywhere and benefits immensely from
inlining.

gcc/ChangeLog:

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

gcc/value-range.h

index 9a834c91b1797a7f4c5e6c693ed7a1be47cb4569..5cff50e6d031afe8dded98f8ed6bd0cec84ec84a 100644 (file)
@@ -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.