Commit 2b13f5a6 by Aldy Hernandez Committed by Aldy Hernandez

Move vrp_bitmap_equal_p above its only use and make it static.

From-SVN: r277813
parent e65deaff
2019-11-05 Aldy Hernandez <aldyh@redhat.com> 2019-11-05 Aldy Hernandez <aldyh@redhat.com>
* tree-vrp.h (vrp_bitmap_equal_p): Remove.
* tree-vrp.c (vrp_bitmap_equal_p): Move before use and make
static.
2019-11-05 Aldy Hernandez <aldyh@redhat.com>
* tree-vrp.c (value_range_base::operator==): Use equal_p to * tree-vrp.c (value_range_base::operator==): Use equal_p to
properly handle symbolics. properly handle symbolics.
(range_compatible_p): Remove. (range_compatible_p): Remove.
...@@ -254,6 +254,18 @@ value_range_base::equal_p (const value_range_base &other) const ...@@ -254,6 +254,18 @@ value_range_base::equal_p (const value_range_base &other) const
&& vrp_operand_equal_p (m_max, other.m_max)); && vrp_operand_equal_p (m_max, other.m_max));
} }
/* Return true if the bitmaps B1 and B2 are equal. */
static bool
vrp_bitmap_equal_p (const_bitmap b1, const_bitmap b2)
{
return (b1 == b2
|| ((!b1 || bitmap_empty_p (b1))
&& (!b2 || bitmap_empty_p (b2)))
|| (b1 && b2
&& bitmap_equal_p (b1, b2)));
}
/* Returns TRUE if THIS == OTHER. Ignores the equivalence bitmap if /* Returns TRUE if THIS == OTHER. Ignores the equivalence bitmap if
IGNORE_EQUIVS is TRUE. */ IGNORE_EQUIVS is TRUE. */
...@@ -910,18 +922,6 @@ vrp_operand_equal_p (const_tree val1, const_tree val2) ...@@ -910,18 +922,6 @@ vrp_operand_equal_p (const_tree val1, const_tree val2)
return true; return true;
} }
/* Return true, if the bitmaps B1 and B2 are equal. */
bool
vrp_bitmap_equal_p (const_bitmap b1, const_bitmap b2)
{
return (b1 == b2
|| ((!b1 || bitmap_empty_p (b1))
&& (!b2 || bitmap_empty_p (b2)))
|| (b1 && b2
&& bitmap_equal_p (b1, b2)));
}
static bool static bool
range_has_numeric_bounds_p (const value_range_base *vr) range_has_numeric_bounds_p (const value_range_base *vr)
{ {
......
...@@ -279,8 +279,6 @@ extern void register_edge_assert_for (tree, edge, enum tree_code, ...@@ -279,8 +279,6 @@ extern void register_edge_assert_for (tree, edge, enum tree_code,
extern bool stmt_interesting_for_vrp (gimple *); extern bool stmt_interesting_for_vrp (gimple *);
extern bool infer_value_range (gimple *, tree, tree_code *, tree *); extern bool infer_value_range (gimple *, tree, tree_code *, tree *);
extern bool vrp_bitmap_equal_p (const_bitmap, const_bitmap);
extern bool range_int_cst_p (const value_range_base *); extern bool range_int_cst_p (const value_range_base *);
extern int compare_values (tree, tree); extern int compare_values (tree, tree);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment