Add transitive inferred range processing.
authorAndrew MacLeod <amacleod@redhat.com>
Mon, 7 Nov 2022 20:07:35 +0000 (15:07 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 8 Nov 2022 00:22:19 +0000 (19:22 -0500)
commitc838119946c9f75f1e42f4320275355822cc86fc
tree2ca1a424406083b17d55461bfc69fc2a093c9d47
parentf8d901d00e94e5a03c3321b37303eddd7c321ecb
Add transitive inferred range processing.

Rewalk statements at the end of a block to see if any inferred ranges
affect earlier calculations and register those as inferred ranges.

gcc/
PR tree-optimization/104530
* gimple-range-cache.cc (ranger_cache::register_inferred_value):
New.  Split from:
(ranger_cache::apply_inferred_ranges): Move setting cache to
separate function.
* gimple-range-cache.h (register_inferred_value): New prototype.
* gimple-range-infer.cc (infer_range_manager::has_range_p): New.
* gimple-range-infer.h (has_range_p): New prototype.
* gimple-range.cc (register_transitive_inferred_ranges): New.
* gimple-range.h (register_transitive_inferred_ranges): New proto.
* tree-vrp.cc (rvrp_folder::fold_stmt): Check for transitive inferred
ranges at the end of the block before folding final stmt.

gcc/testsuite/
* gcc.dg/pr104530.c: New.
gcc/gimple-range-cache.cc
gcc/gimple-range-cache.h
gcc/gimple-range-infer.cc
gcc/gimple-range-infer.h
gcc/gimple-range.cc
gcc/gimple-range.h
gcc/testsuite/gcc.dg/pr104530.c [new file with mode: 0644]
gcc/tree-vrp.cc