diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2023-02-17 13:00:47 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2023-05-01 08:33:15 +0200 |
| commit | 47a7643991192a756d0fb9057a0a2bfce338a09f (patch) | |
| tree | 25da3c9677bf4f8ec4187b093f25194b0717e60d /gcc/value-range.cc | |
| parent | 8b2181a415fda05c48a13f915cc42214462d19cb (diff) | |
| download | gcc-47a7643991192a756d0fb9057a0a2bfce338a09f.zip gcc-47a7643991192a756d0fb9057a0a2bfce338a09f.tar.gz gcc-47a7643991192a756d0fb9057a0a2bfce338a09f.tar.bz2 | |
Rewrite bounds_of_var_in_loop() to use ranges.
Little by little, bounds_of_var_in_loop() has grown into an
unmaintainable mess. This patch rewrites the code to use the relevant
APIs as well as refactor it to make it more readable.
gcc/ChangeLog:
* gimple-range-fold.cc (tree_lower_bound): Delete.
(tree_upper_bound): Delete.
(vrp_val_max): Delete.
(vrp_val_min): Delete.
(fold_using_range::range_of_ssa_name_with_loop_info): Call
range_of_var_in_loop.
* vr-values.cc (valid_value_p): Delete.
(fix_overflow): Delete.
(get_scev_info): New.
(bounds_of_var_in_loop): Refactor into...
(induction_variable_may_overflow_p): ...this,
(range_from_loop_direction): ...and this,
(range_of_var_in_loop): ...and this.
* vr-values.h (bounds_of_var_in_loop): Delete.
(range_of_var_in_loop): New.
Diffstat (limited to 'gcc/value-range.cc')
0 files changed, 0 insertions, 0 deletions