diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2023-01-24 19:28:59 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2023-05-01 08:29:24 +0200 |
| commit | e1f83aa39dd5d4dbfd1045786e87bcac0b6561aa (patch) | |
| tree | f6640de9db0d637ef687d923655267737ee83ff0 /gcc/tree-vrp.cc | |
| parent | e1366a7e4ce1d4dfe43dfa50d451ac45da00975f (diff) | |
| download | gcc-e1f83aa39dd5d4dbfd1045786e87bcac0b6561aa.zip gcc-e1f83aa39dd5d4dbfd1045786e87bcac0b6561aa.tar.gz gcc-e1f83aa39dd5d4dbfd1045786e87bcac0b6561aa.tar.bz2 | |
Remove irange::{min,max,kind}.
gcc/ChangeLog:
* tree-ssa-loop-niter.cc (refine_value_range_using_guard): Remove
kind() call.
(determine_value_range): Same.
(record_nonwrapping_iv): Same.
(infer_loop_bounds_from_signedness): Same.
(scev_var_range_cant_overflow): Same.
* tree-vrp.cc (operand_less_p): Delete.
* tree-vrp.h (operand_less_p): Delete.
* value-range.cc (get_legacy_range): Remove uses of deprecated API.
(irange::value_inside_range): Delete.
* value-range.h (vrange::kind): Delete.
(irange::num_pairs): Remove check of m_kind.
(irange::min): Delete.
(irange::max): Delete.
Diffstat (limited to 'gcc/tree-vrp.cc')
| -rw-r--r-- | gcc/tree-vrp.cc | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/gcc/tree-vrp.cc b/gcc/tree-vrp.cc index 6c6e038..c0dcd50 100644 --- a/gcc/tree-vrp.cc +++ b/gcc/tree-vrp.cc @@ -367,30 +367,6 @@ get_single_symbol (tree t, bool *neg, tree *inv) return t; } -/* Return - 1 if VAL < VAL2 - 0 if !(VAL < VAL2) - -2 if those are incomparable. */ -int -operand_less_p (tree val, tree val2) -{ - /* LT is folded faster than GE and others. Inline the common case. */ - if (TREE_CODE (val) == INTEGER_CST && TREE_CODE (val2) == INTEGER_CST) - return tree_int_cst_lt (val, val2); - else if (TREE_CODE (val) == SSA_NAME && TREE_CODE (val2) == SSA_NAME) - return val == val2 ? 0 : -2; - else - { - int cmp = compare_values (val, val2); - if (cmp == -1) - return 1; - else if (cmp == 0 || cmp == 1) - return 0; - else - return -2; - } -} - /* Compare two values VAL1 and VAL2. Return -2 if VAL1 and VAL2 cannot be compared at compile-time, |