diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2021-10-28 11:44:13 +0200 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2021-10-28 14:30:06 +0200 |
commit | 113dab2b9d511f3aadc30a6a921fc30bd5f93706 (patch) | |
tree | 6cb4c293fa0eccb941dfac4e7cb36c5bad5aaa4a /gcc/fold-const.c | |
parent | 7f6c22585229b43b13fc9c8d3c08aedd9f7c493a (diff) | |
download | gcc-113dab2b9d511f3aadc30a6a921fc30bd5f93706.zip gcc-113dab2b9d511f3aadc30a6a921fc30bd5f93706.tar.gz gcc-113dab2b9d511f3aadc30a6a921fc30bd5f93706.tar.bz2 |
Improve backward threading with switches.
We've been essentially using find_taken_edge_switch_expr() in the
backward threader, but this is suboptimal because said function only
works with singletons. VRP has a much smarter find_case_label_range
that works with ranges.
Tested on x86-64 Linux with:
a) Bootstrap & regtests.
b) Verifying we get more threads than before.
c) Asserting that the new code catches everything the old one
code caught (over a set of bootstrap .ii files).
gcc/ChangeLog:
* tree-ssa-threadbackward.c
(back_threader::find_taken_edge_switch): Use find_case_label_range
instead of find_taken_edge.
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/vrp106.c: Adjust for threading.
* gcc.dg/tree-ssa/vrp113.c: Same.
Diffstat (limited to 'gcc/fold-const.c')
0 files changed, 0 insertions, 0 deletions