diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-03-24 15:28:43 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-05-13 09:45:35 -0400 |
| commit | 6b156044c12bc4582511fe270b10450c943476dd (patch) | |
| tree | 7e588128b0f0f94d8386f248f8dac1812490257c /gcc/gimple-range.cc | |
| parent | b584cbdb0829bb0ad4e6ed7488a304ae4e76b870 (diff) | |
| download | gcc-6b156044c12bc4582511fe270b10450c943476dd.zip gcc-6b156044c12bc4582511fe270b10450c943476dd.tar.gz gcc-6b156044c12bc4582511fe270b10450c943476dd.tar.bz2 | |
Make range_from_dom more effective.
Add modes to range_from_dom such that we can simply query, or adjust the
cache and deal with multiple predecessor blocks.
* gimple-range-cache.cc (ranger_cache::ranger_cache): Start with
worlist truncated.
(ranger_cache::entry_range): Add rfd_mode parameter.
(ranger_cache::exit_range): Ditto.
(ranger_cache::edge_range): New. Incorporate from range_on_edge.
(ranger_cache::range_of_expr): Adjust call to entry_range.
(ranger_cache::range_on_edge): Split to edge_range and call.
(ranger_cache::fill_block_cache): Always invoke range_from_dom.
(ranger_cache::range_from_dom): Make reentrant, add search mode, handle
mutiple predecessors.
(ranger_cache::update_to_nonnull): Adjust call to exit_range.
* gimple-range-cache.h (ranger_cache): Add enum rfd_mode. Adjust
prototypes.
Diffstat (limited to 'gcc/gimple-range.cc')
0 files changed, 0 insertions, 0 deletions