Add statement context to get_value_range.
authorAldy Hernandez <aldyh@redhat.com>
Tue, 4 Aug 2020 10:18:21 +0000 (12:18 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 17 Aug 2020 09:07:30 +0000 (11:07 +0200)
commitd8b8023cdb0b275c3f4254380b7e41d14f5cb79f
tree53ec02730b422579deeffbb9133ef4556f80e964
parent5625b2c56acdcce9733b970b1fd2ff1349ebe657
Add statement context to get_value_range.

This is in line with the statement context that we have for get_value()
in the substitute_and_fold_engine class.

gcc/ChangeLog:

* vr-values.c (vr_values::get_value_range): Add stmt param.
(vr_values::extract_range_from_comparison): Same.
(vr_values::extract_range_from_assignment): Pass stmt to
extract_range_from_comparison.
(vr_values::adjust_range_with_scev): Pass stmt to get_value_range.
(simplify_using_ranges::vrp_evaluate_conditional): Add stmt param.
Pass stmt to get_value_range.
(simplify_using_ranges::vrp_visit_cond_stmt): Pass stmt to
get_value_range.
(simplify_using_ranges::simplify_abs_using_ranges): Same.
(simplify_using_ranges::simplify_div_or_mod_using_ranges): Same.
(simplify_using_ranges::simplify_bit_ops_using_ranges): Same.
(simplify_using_ranges::simplify_cond_using_ranges_1): Same.
(simplify_using_ranges::simplify_switch_using_ranges): Same.
(simplify_using_ranges::simplify_float_conversion_using_ranges): Same.
* vr-values.h (class vr_values): Add stmt arg to
vrp_evaluate_conditional_warnv_with_ops.
Add stmt arg to extract_range_from_comparison and get_value_range.
(simplify_using_ranges::get_value_range): Add stmt arg.
gcc/vr-values.c
gcc/vr-values.h