diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2021-07-15 12:38:36 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2021-07-15 14:23:55 +0200 |
| commit | 79f71ec6fca0e093d27cb238d7c75dccb3a55d65 (patch) | |
| tree | 0569b94e87376cc51232c650d3a2a2f9923bf426 /gcc/tree-vect-loop-manip.c | |
| parent | 8e321f2a6383e378f64e556707de1cdae0a8562d (diff) | |
| download | gcc-79f71ec6fca0e093d27cb238d7c75dccb3a55d65.zip gcc-79f71ec6fca0e093d27cb238d7c75dccb3a55d65.tar.gz gcc-79f71ec6fca0e093d27cb238d7c75dccb3a55d65.tar.bz2 | |
Abstract out non_null adjustments in ranger.
There are 4 exact copies of the non-null range adjusting code in the
ranger. This patch abstracts the functionality into a separate method.
As a follow-up I would like to remove the varying_p check, since I have
seen incoming ranges such as [0, 0xff....ef] which are not varying, but
are not-null. Removing the varying restriction catches those.
gcc/ChangeLog:
* gimple-range-cache.cc (non_null_ref::adjust_range): New.
(ranger_cache::range_of_def): Call adjust_range.
(ranger_cache::entry_range): Same.
* gimple-range-cache.h (non_null_ref::adjust_range): New.
* gimple-range.cc (gimple_ranger::range_of_expr): Call
adjust_range.
(gimple_ranger::range_on_entry): Same.
Diffstat (limited to 'gcc/tree-vect-loop-manip.c')
0 files changed, 0 insertions, 0 deletions