From: Kazu Hirata Date: Sat, 18 Apr 2009 11:49:20 +0000 (+0000) Subject: tree-vrp.c (ssa_name_nonzero_p): Remove. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1eefab17a500e1978e50bdd05c565ed3c607f6b3;p=gcc.git tree-vrp.c (ssa_name_nonzero_p): Remove. * tree-vrp.c (ssa_name_nonzero_p): Remove. * tree.h: Remove the prototype for ssa_name_nonzero_p. From-SVN: r146313 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fa02ee6fe2e..49608da89ab 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2009-04-18 Kazu Hirata + + * tree-vrp.c (ssa_name_nonzero_p): Remove. + * tree.h: Remove the prototype for ssa_name_nonzero_p. + 2009-04-18 Kazu Hirata * tree.c (function_args_count): Remove. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a68eba60504..e3d14b29182 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1368,28 +1368,6 @@ ssa_name_nonnegative_p (const_tree t) return false; } -/* Return true if T, an SSA_NAME, is known to be nonzero. Return - false otherwise or if no value range information is available. */ - -bool -ssa_name_nonzero_p (const_tree t) -{ - value_range_t *vr = get_value_range (t); - - if (!vr) - return false; - - /* A VR_RANGE which does not include zero is a nonzero value. */ - if (vr->type == VR_RANGE && !symbolic_range_p (vr)) - return ! range_includes_zero_p (vr); - - /* A VR_ANTI_RANGE which does include zero is a nonzero value. */ - if (vr->type == VR_ANTI_RANGE && !symbolic_range_p (vr)) - return range_includes_zero_p (vr); - - return false; -} - /* If OP has a value range with a single constant value return that, otherwise return NULL_TREE. This returns OP itself if OP is a constant. */ diff --git a/gcc/tree.h b/gcc/tree.h index 793dcf38c71..c5c855fad23 100644 --- a/gcc/tree.h +++ b/gcc/tree.h @@ -5199,7 +5199,6 @@ extern tree tree_mem_ref_addr (tree, tree); extern void copy_mem_ref_info (tree, tree); /* In tree-vrp.c */ -extern bool ssa_name_nonzero_p (const_tree); extern bool ssa_name_nonnegative_p (const_tree); /* In tree-object-size.c. */