public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
* [PATCH] Adjust tree-ssa-dom.c for irange API.
@ 2020-08-04 11:39 Aldy Hernandez
  2020-08-11 11:52 ` PING: Fwd: " Aldy Hernandez
  2020-08-24 21:28 ` Jeff Law
  0 siblings, 2 replies; 3+ messages in thread
From: Aldy Hernandez @ 2020-08-04 11:39 UTC (permalink / raw)
  To: gcc-patches

This patch removes all uses of VR_ANTI_RANGE in DOM.  It required
minor surgery in the switch handling code.

In doing so, I was able to abstract all the code handling the cases
with ranges into its own function.  Interestingly, there is an exact
copy of this function in VRP, so I was able to use that there too.

I also saw that most of simplify_stmt_for_jump_threading() is
duplicated in VRP/DOM, but I left that alone.  The amount of
duplicated code in this space is mind boggling.

OK?

gcc/ChangeLog:

	* tree-ssa-dom.c (simplify_stmt_for_jump_threading): Abstract code out to...
	* tree-vrp.c (find_case_label_range): ...here.  Rewrite for to use irange
	API.
	(simplify_stmt_for_jump_threading): Call find_case_label_range instead of
	duplicating the code in simplify_stmt_for_jump_threading.
	* tree-vrp.h (find_case_label_range): New prototype.
---
 gcc/tree-ssa-dom.c |  56 +++-------------------
 gcc/tree-vrp.c     | 117 +++++++++++++++++++++++----------------------
 gcc/tree-vrp.h     |   1 +
 3 files changed, 67 insertions(+), 107 deletions(-)

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index 69eaec345bf..de5025f3879 100644
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -868,7 +868,11 @@ make_pass_dominator (gcc::context *ctxt)
 static class vr_values *x_vr_values;
 
 /* A trivial wrapper so that we can present the generic jump
-   threading code with a simple API for simplifying statements.  */
+   threading code with a simple API for simplifying statements.
+
+   ?? This should be cleaned up.  There's a virtually identical copy
+   of this function in tree-vrp.c.  */
+
 static tree
 simplify_stmt_for_jump_threading (gimple *stmt,
 				  gimple *within_stmt ATTRIBUTE_UNUSED,
@@ -901,55 +905,7 @@ simplify_stmt_for_jump_threading (gimple *stmt,
 	return NULL_TREE;
 
       const value_range_equiv *vr = x_vr_values->get_value_range (op);
-      if (vr->undefined_p ()
-	  || vr->varying_p ()
-	  || vr->symbolic_p ())
-	return NULL_TREE;
-
-      if (vr->kind () == VR_RANGE)
-	{
-	  size_t i, j;
-
-	  find_case_label_range (switch_stmt, vr->min (), vr->max (), &i, &j);
-
-	  /* Is there only one such label?  */
-	  if (i == j)
-	    {
-	      tree label = gimple_switch_label (switch_stmt, i);
-	      tree singleton;
-
-	      /* The i'th label will only be taken if the value range of the
-		 operand is entirely within the bounds of this label.  */
-	      if (CASE_HIGH (label) != NULL_TREE
-		  ? (tree_int_cst_compare (CASE_LOW (label), vr->min ()) <= 0
-		     && tree_int_cst_compare (CASE_HIGH (label), vr->max ()) >= 0)
-		  : (vr->singleton_p (&singleton)
-		     && tree_int_cst_equal (CASE_LOW (label), singleton)))
-		return label;
-	    }
-
-	  /* If there are no such labels, then the default label
-	     will be taken.  */
-	  if (i > j)
-	    return gimple_switch_label (switch_stmt, 0);
-	}
-
-      if (vr->kind () == VR_ANTI_RANGE)
-          {
-            unsigned n = gimple_switch_num_labels (switch_stmt);
-            tree min_label = gimple_switch_label (switch_stmt, 1);
-            tree max_label = gimple_switch_label (switch_stmt, n - 1);
-
-            /* The default label will be taken only if the anti-range of the
-               operand is entirely outside the bounds of all the (non-default)
-               case labels.  */
-            if (tree_int_cst_compare (vr->min (), CASE_LOW (min_label)) <= 0
-                && (CASE_HIGH (max_label) != NULL_TREE
-                    ? tree_int_cst_compare (vr->max (), CASE_HIGH (max_label)) >= 0
-                    : tree_int_cst_compare (vr->max (), CASE_LOW (max_label)) >= 0))
-            return gimple_switch_label (switch_stmt, 0);
-          }
-	return NULL_TREE;
+      return find_case_label_range (switch_stmt, vr);
     }
 
   if (gassign *assign_stmt = dyn_cast <gassign *> (stmt))
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index de84c1d505d..8c1a1854daa 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -3802,6 +3802,61 @@ find_case_label_range (gswitch *stmt, tree min, tree max, size_t *min_idx,
     }
 }
 
+/* Given a SWITCH_STMT, return the case label that encompasses the
+   known possible values for the switch operand.  RANGE_OF_OP is a
+   range for the known values of the switch operand.  */
+
+tree
+find_case_label_range (gswitch *switch_stmt, const irange *range_of_op)
+{
+  if (range_of_op->undefined_p ()
+      || range_of_op->varying_p ()
+      || range_of_op->symbolic_p ())
+    return NULL_TREE;
+
+  size_t i, j;
+  tree op = gimple_switch_index (switch_stmt);
+  tree type = TREE_TYPE (op);
+  tree tmin = wide_int_to_tree (type, range_of_op->lower_bound ());
+  tree tmax = wide_int_to_tree (type, range_of_op->upper_bound ());
+  find_case_label_range (switch_stmt, tmin, tmax, &i, &j);
+  if (i == j)
+    {
+      /* Look for exactly one label that encompasses the range of
+	 the operand.  */
+      tree label = gimple_switch_label (switch_stmt, i);
+      tree case_high
+	= CASE_HIGH (label) ? CASE_HIGH (label) : CASE_LOW (label);
+      widest_irange label_range (CASE_LOW (label), case_high);
+      label_range.intersect (range_of_op);
+      if (label_range == *range_of_op)
+	return label;
+    }
+  else if (i > j)
+    {
+      /* If there are no labels at all, take the default.  */
+      return gimple_switch_label (switch_stmt, 0);
+    }
+  else
+    {
+      /* Otherwise, there are various labels that can encompass
+	 the range of operand.  In which case, see if the range of
+	 the operand is entirely *outside* the bounds of all the
+	 (non-default) case labels.  If so, take the default.  */
+      unsigned n = gimple_switch_num_labels (switch_stmt);
+      tree min_label = gimple_switch_label (switch_stmt, 1);
+      tree max_label = gimple_switch_label (switch_stmt, n - 1);
+      tree case_high = CASE_HIGH (max_label);
+      if (!case_high)
+	case_high = CASE_LOW (max_label);
+      widest_irange label_range (CASE_LOW (min_label), case_high);
+      label_range.intersect (range_of_op);
+      if (label_range.undefined_p ())
+	return gimple_switch_label (switch_stmt, 0);
+    }
+  return NULL_TREE;
+}
+
 /* Evaluate statement STMT.  If the statement produces a useful range,
    return SSA_PROP_INTERESTING and record the SSA name with the
    interesting range into *OUTPUT_P.
@@ -4088,7 +4143,10 @@ static class vr_values *x_vr_values;
 /* A trivial wrapper so that we can present the generic jump threading
    code with a simple API for simplifying statements.  STMT is the
    statement we want to simplify, WITHIN_STMT provides the location
-   for any overflow warnings.  */
+   for any overflow warnings.
+
+   ?? This should be cleaned up.  There's a virtually identical copy
+   of this function in tree-ssa-dom.c.  */
 
 static tree
 simplify_stmt_for_jump_threading (gimple *stmt, gimple *within_stmt,
@@ -4114,9 +4172,6 @@ simplify_stmt_for_jump_threading (gimple *stmt, gimple *within_stmt,
 						  op0, op1, within_stmt);
     }
 
-  /* We simplify a switch statement by trying to determine which case label
-     will be taken.  If we are successful then we return the corresponding
-     CASE_LABEL_EXPR.  */
   if (gswitch *switch_stmt = dyn_cast <gswitch *> (stmt))
     {
       tree op = gimple_switch_index (switch_stmt);
@@ -4126,59 +4181,7 @@ simplify_stmt_for_jump_threading (gimple *stmt, gimple *within_stmt,
       op = lhs_of_dominating_assert (op, bb, stmt);
 
       const value_range_equiv *vr = vr_values->get_value_range (op);
-      if (vr->undefined_p ()
-	  || vr->varying_p ()
-	  || vr->symbolic_p ())
-	return NULL_TREE;
-
-      if (vr->kind () == VR_RANGE)
-	{
-	  size_t i, j;
-	  /* Get the range of labels that contain a part of the operand's
-	     value range.  */
-	  find_case_label_range (switch_stmt, vr->min (), vr->max (), &i, &j);
-
-	  /* Is there only one such label?  */
-	  if (i == j)
-	    {
-	      tree label = gimple_switch_label (switch_stmt, i);
-
-	      /* The i'th label will be taken only if the value range of the
-		 operand is entirely within the bounds of this label.  */
-	      if (CASE_HIGH (label) != NULL_TREE
-		  ? (tree_int_cst_compare (CASE_LOW (label), vr->min ()) <= 0
-		     && tree_int_cst_compare (CASE_HIGH (label),
-					      vr->max ()) >= 0)
-		  : (tree_int_cst_equal (CASE_LOW (label), vr->min ())
-		     && tree_int_cst_equal (vr->min (), vr->max ())))
-		return label;
-	    }
-
-	  /* If there are no such labels then the default label will be
-	     taken.  */
-	  if (i > j)
-	    return gimple_switch_label (switch_stmt, 0);
-	}
-
-      if (vr->kind () == VR_ANTI_RANGE)
-	{
-	  unsigned n = gimple_switch_num_labels (switch_stmt);
-	  tree min_label = gimple_switch_label (switch_stmt, 1);
-	  tree max_label = gimple_switch_label (switch_stmt, n - 1);
-
-	  /* The default label will be taken only if the anti-range of the
-	     operand is entirely outside the bounds of all the (non-default)
-	     case labels.  */
-	  if (tree_int_cst_compare (vr->min (), CASE_LOW (min_label)) <= 0
-	      && (CASE_HIGH (max_label) != NULL_TREE
-		  ? tree_int_cst_compare (vr->max (),
-					  CASE_HIGH (max_label)) >= 0
-		  : tree_int_cst_compare (vr->max (),
-					  CASE_LOW (max_label)) >= 0))
-	  return gimple_switch_label (switch_stmt, 0);
-	}
-
-      return NULL_TREE;
+      return find_case_label_range (switch_stmt, vr);
     }
 
   if (gassign *assign_stmt = dyn_cast <gassign *> (stmt))
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h
index 371e58aa0ea..eadfd71e1b9 100644
--- a/gcc/tree-vrp.h
+++ b/gcc/tree-vrp.h
@@ -57,6 +57,7 @@ extern enum value_range_kind intersect_range_with_nonzero_bits
   (enum value_range_kind, wide_int *, wide_int *, const wide_int &, signop);
 
 extern bool find_case_label_range (gswitch *, tree, tree, size_t *, size_t *);
+extern tree find_case_label_range (gswitch *, const irange *vr);
 extern bool find_case_label_index (gswitch *, size_t, tree, size_t *);
 extern bool overflow_comparison_p (tree_code, tree, tree, bool, tree *);
 extern tree get_single_symbol (tree, bool *, tree *);
-- 
2.26.2


^ permalink raw reply	[flat|nested] 3+ messages in thread

* PING: Fwd: [PATCH] Adjust tree-ssa-dom.c for irange API.
  2020-08-04 11:39 [PATCH] Adjust tree-ssa-dom.c for irange API Aldy Hernandez
@ 2020-08-11 11:52 ` Aldy Hernandez
  2020-08-24 21:28 ` Jeff Law
  1 sibling, 0 replies; 3+ messages in thread
From: Aldy Hernandez @ 2020-08-11 11:52 UTC (permalink / raw)
  To: gcc-patches, Jeff Law

---------- Forwarded message ---------
From: Aldy Hernandez <aldyh@redhat.com>
Date: Tue, Aug 4, 2020, 13:39
Subject: [PATCH] Adjust tree-ssa-dom.c for irange API.
To: <gcc-patches@gcc.gnu.org>
Cc: <law@redhat.com>, Aldy Hernandez <aldyh@redhat.com>


This patch removes all uses of VR_ANTI_RANGE in DOM.  It required
minor surgery in the switch handling code.

In doing so, I was able to abstract all the code handling the cases
with ranges into its own function.  Interestingly, there is an exact
copy of this function in VRP, so I was able to use that there too.

I also saw that most of simplify_stmt_for_jump_threading() is
duplicated in VRP/DOM, but I left that alone.  The amount of
duplicated code in this space is mind boggling.

OK?

gcc/ChangeLog:

        * tree-ssa-dom.c (simplify_stmt_for_jump_threading): Abstract code
out to...
        * tree-vrp.c (find_case_label_range): ...here.  Rewrite for to use
irange
        API.
        (simplify_stmt_for_jump_threading): Call find_case_label_range
instead of
        duplicating the code in simplify_stmt_for_jump_threading.
        * tree-vrp.h (find_case_label_range): New prototype.
---
 gcc/tree-ssa-dom.c |  56 +++-------------------
 gcc/tree-vrp.c     | 117 +++++++++++++++++++++++----------------------
 gcc/tree-vrp.h     |   1 +
 3 files changed, 67 insertions(+), 107 deletions(-)

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index 69eaec345bf..de5025f3879 100644
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -868,7 +868,11 @@ make_pass_dominator (gcc::context *ctxt)
 static class vr_values *x_vr_values;

 /* A trivial wrapper so that we can present the generic jump
-   threading code with a simple API for simplifying statements.  */
+   threading code with a simple API for simplifying statements.
+
+   ?? This should be cleaned up.  There's a virtually identical copy
+   of this function in tree-vrp.c.  */
+
 static tree
 simplify_stmt_for_jump_threading (gimple *stmt,
                                  gimple *within_stmt ATTRIBUTE_UNUSED,
@@ -901,55 +905,7 @@ simplify_stmt_for_jump_threading (gimple *stmt,
        return NULL_TREE;

       const value_range_equiv *vr = x_vr_values->get_value_range (op);
-      if (vr->undefined_p ()
-         || vr->varying_p ()
-         || vr->symbolic_p ())
-       return NULL_TREE;
-
-      if (vr->kind () == VR_RANGE)
-       {
-         size_t i, j;
-
-         find_case_label_range (switch_stmt, vr->min (), vr->max (), &i,
&j);
-
-         /* Is there only one such label?  */
-         if (i == j)
-           {
-             tree label = gimple_switch_label (switch_stmt, i);
-             tree singleton;
-
-             /* The i'th label will only be taken if the value range of the
-                operand is entirely within the bounds of this label.  */
-             if (CASE_HIGH (label) != NULL_TREE
-                 ? (tree_int_cst_compare (CASE_LOW (label), vr->min ()) <=
0
-                    && tree_int_cst_compare (CASE_HIGH (label), vr->max
()) >= 0)
-                 : (vr->singleton_p (&singleton)
-                    && tree_int_cst_equal (CASE_LOW (label), singleton)))
-               return label;
-           }
-
-         /* If there are no such labels, then the default label
-            will be taken.  */
-         if (i > j)
-           return gimple_switch_label (switch_stmt, 0);
-       }
-
-      if (vr->kind () == VR_ANTI_RANGE)
-          {
-            unsigned n = gimple_switch_num_labels (switch_stmt);
-            tree min_label = gimple_switch_label (switch_stmt, 1);
-            tree max_label = gimple_switch_label (switch_stmt, n - 1);
-
-            /* The default label will be taken only if the anti-range of
the
-               operand is entirely outside the bounds of all the
(non-default)
-               case labels.  */
-            if (tree_int_cst_compare (vr->min (), CASE_LOW (min_label)) <=
0
-                && (CASE_HIGH (max_label) != NULL_TREE
-                    ? tree_int_cst_compare (vr->max (), CASE_HIGH
(max_label)) >= 0
-                    : tree_int_cst_compare (vr->max (), CASE_LOW
(max_label)) >= 0))
-            return gimple_switch_label (switch_stmt, 0);
-          }
-       return NULL_TREE;
+      return find_case_label_range (switch_stmt, vr);
     }

   if (gassign *assign_stmt = dyn_cast <gassign *> (stmt))
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index de84c1d505d..8c1a1854daa 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -3802,6 +3802,61 @@ find_case_label_range (gswitch *stmt, tree min, tree
max, size_t *min_idx,
     }
 }

+/* Given a SWITCH_STMT, return the case label that encompasses the
+   known possible values for the switch operand.  RANGE_OF_OP is a
+   range for the known values of the switch operand.  */
+
+tree
+find_case_label_range (gswitch *switch_stmt, const irange *range_of_op)
+{
+  if (range_of_op->undefined_p ()
+      || range_of_op->varying_p ()
+      || range_of_op->symbolic_p ())
+    return NULL_TREE;
+
+  size_t i, j;
+  tree op = gimple_switch_index (switch_stmt);
+  tree type = TREE_TYPE (op);
+  tree tmin = wide_int_to_tree (type, range_of_op->lower_bound ());
+  tree tmax = wide_int_to_tree (type, range_of_op->upper_bound ());
+  find_case_label_range (switch_stmt, tmin, tmax, &i, &j);
+  if (i == j)
+    {
+      /* Look for exactly one label that encompasses the range of
+        the operand.  */
+      tree label = gimple_switch_label (switch_stmt, i);
+      tree case_high
+       = CASE_HIGH (label) ? CASE_HIGH (label) : CASE_LOW (label);
+      widest_irange label_range (CASE_LOW (label), case_high);
+      label_range.intersect (range_of_op);
+      if (label_range == *range_of_op)
+       return label;
+    }
+  else if (i > j)
+    {
+      /* If there are no labels at all, take the default.  */
+      return gimple_switch_label (switch_stmt, 0);
+    }
+  else
+    {
+      /* Otherwise, there are various labels that can encompass
+        the range of operand.  In which case, see if the range of
+        the operand is entirely *outside* the bounds of all the
+        (non-default) case labels.  If so, take the default.  */
+      unsigned n = gimple_switch_num_labels (switch_stmt);
+      tree min_label = gimple_switch_label (switch_stmt, 1);
+      tree max_label = gimple_switch_label (switch_stmt, n - 1);
+      tree case_high = CASE_HIGH (max_label);
+      if (!case_high)
+       case_high = CASE_LOW (max_label);
+      widest_irange label_range (CASE_LOW (min_label), case_high);
+      label_range.intersect (range_of_op);
+      if (label_range.undefined_p ())
+       return gimple_switch_label (switch_stmt, 0);
+    }
+  return NULL_TREE;
+}
+
 /* Evaluate statement STMT.  If the statement produces a useful range,
    return SSA_PROP_INTERESTING and record the SSA name with the
    interesting range into *OUTPUT_P.
@@ -4088,7 +4143,10 @@ static class vr_values *x_vr_values;
 /* A trivial wrapper so that we can present the generic jump threading
    code with a simple API for simplifying statements.  STMT is the
    statement we want to simplify, WITHIN_STMT provides the location
-   for any overflow warnings.  */
+   for any overflow warnings.
+
+   ?? This should be cleaned up.  There's a virtually identical copy
+   of this function in tree-ssa-dom.c.  */

 static tree
 simplify_stmt_for_jump_threading (gimple *stmt, gimple *within_stmt,
@@ -4114,9 +4172,6 @@ simplify_stmt_for_jump_threading (gimple *stmt,
gimple *within_stmt,
                                                  op0, op1, within_stmt);
     }

-  /* We simplify a switch statement by trying to determine which case label
-     will be taken.  If we are successful then we return the corresponding
-     CASE_LABEL_EXPR.  */
   if (gswitch *switch_stmt = dyn_cast <gswitch *> (stmt))
     {
       tree op = gimple_switch_index (switch_stmt);
@@ -4126,59 +4181,7 @@ simplify_stmt_for_jump_threading (gimple *stmt,
gimple *within_stmt,
       op = lhs_of_dominating_assert (op, bb, stmt);

       const value_range_equiv *vr = vr_values->get_value_range (op);
-      if (vr->undefined_p ()
-         || vr->varying_p ()
-         || vr->symbolic_p ())
-       return NULL_TREE;
-
-      if (vr->kind () == VR_RANGE)
-       {
-         size_t i, j;
-         /* Get the range of labels that contain a part of the operand's
-            value range.  */
-         find_case_label_range (switch_stmt, vr->min (), vr->max (), &i,
&j);
-
-         /* Is there only one such label?  */
-         if (i == j)
-           {
-             tree label = gimple_switch_label (switch_stmt, i);
-
-             /* The i'th label will be taken only if the value range of the
-                operand is entirely within the bounds of this label.  */
-             if (CASE_HIGH (label) != NULL_TREE
-                 ? (tree_int_cst_compare (CASE_LOW (label), vr->min ()) <=
0
-                    && tree_int_cst_compare (CASE_HIGH (label),
-                                             vr->max ()) >= 0)
-                 : (tree_int_cst_equal (CASE_LOW (label), vr->min ())
-                    && tree_int_cst_equal (vr->min (), vr->max ())))
-               return label;
-           }
-
-         /* If there are no such labels then the default label will be
-            taken.  */
-         if (i > j)
-           return gimple_switch_label (switch_stmt, 0);
-       }
-
-      if (vr->kind () == VR_ANTI_RANGE)
-       {
-         unsigned n = gimple_switch_num_labels (switch_stmt);
-         tree min_label = gimple_switch_label (switch_stmt, 1);
-         tree max_label = gimple_switch_label (switch_stmt, n - 1);
-
-         /* The default label will be taken only if the anti-range of the
-            operand is entirely outside the bounds of all the (non-default)
-            case labels.  */
-         if (tree_int_cst_compare (vr->min (), CASE_LOW (min_label)) <= 0
-             && (CASE_HIGH (max_label) != NULL_TREE
-                 ? tree_int_cst_compare (vr->max (),
-                                         CASE_HIGH (max_label)) >= 0
-                 : tree_int_cst_compare (vr->max (),
-                                         CASE_LOW (max_label)) >= 0))
-         return gimple_switch_label (switch_stmt, 0);
-       }
-
-      return NULL_TREE;
+      return find_case_label_range (switch_stmt, vr);
     }

   if (gassign *assign_stmt = dyn_cast <gassign *> (stmt))
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h
index 371e58aa0ea..eadfd71e1b9 100644
--- a/gcc/tree-vrp.h
+++ b/gcc/tree-vrp.h
@@ -57,6 +57,7 @@ extern enum value_range_kind
intersect_range_with_nonzero_bits
   (enum value_range_kind, wide_int *, wide_int *, const wide_int &,
signop);

 extern bool find_case_label_range (gswitch *, tree, tree, size_t *, size_t
*);
+extern tree find_case_label_range (gswitch *, const irange *vr);
 extern bool find_case_label_index (gswitch *, size_t, tree, size_t *);
 extern bool overflow_comparison_p (tree_code, tree, tree, bool, tree *);
 extern tree get_single_symbol (tree, bool *, tree *);
-- 
2.26.2

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [PATCH] Adjust tree-ssa-dom.c for irange API.
  2020-08-04 11:39 [PATCH] Adjust tree-ssa-dom.c for irange API Aldy Hernandez
  2020-08-11 11:52 ` PING: Fwd: " Aldy Hernandez
@ 2020-08-24 21:28 ` Jeff Law
  1 sibling, 0 replies; 3+ messages in thread
From: Jeff Law @ 2020-08-24 21:28 UTC (permalink / raw)
  To: Aldy Hernandez, gcc-patches

On Tue, 2020-08-04 at 13:39 +0200, Aldy Hernandez wrote:
> This patch removes all uses of VR_ANTI_RANGE in DOM.  It required
> minor surgery in the switch handling code.
> 
> In doing so, I was able to abstract all the code handling the cases
> with ranges into its own function.  Interestingly, there is an exact
> copy of this function in VRP, so I was able to use that there too.
> 
> I also saw that most of simplify_stmt_for_jump_threading() is
> duplicated in VRP/DOM, but I left that alone.  The amount of
> duplicated code in this space is mind boggling.
> 
> OK?
> 
> gcc/ChangeLog:
> 
> 	* tree-ssa-dom.c (simplify_stmt_for_jump_threading): Abstract code out to...
> 	* tree-vrp.c (find_case_label_range): ...here.  Rewrite for to use irange
> 	API.
> 	(simplify_stmt_for_jump_threading): Call find_case_label_range instead of
> 	duplicating the code in simplify_stmt_for_jump_threading.
> 	* tree-vrp.h (find_case_label_range): New prototype.
OK
jeff
> 


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2020-08-24 21:28 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-08-04 11:39 [PATCH] Adjust tree-ssa-dom.c for irange API Aldy Hernandez
2020-08-11 11:52 ` PING: Fwd: " Aldy Hernandez
2020-08-24 21:28 ` Jeff Law

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).