diff options
author | Richard Biener <rguenther@suse.de> | 2025-04-30 11:52:17 +0200 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2025-04-30 13:28:52 +0200 |
commit | 1a13684dfc7286139064f7d7341462c9995cbd1c (patch) | |
tree | 81627b7888bfdde7b5f694f372f8a641ccd37249 /libjava | |
parent | 85e4f21f9e90fc70b8c7c75ec8e4d0766008ac6e (diff) | |
download | gcc-1a13684dfc7286139064f7d7341462c9995cbd1c.zip gcc-1a13684dfc7286139064f7d7341462c9995cbd1c.tar.gz gcc-1a13684dfc7286139064f7d7341462c9995cbd1c.tar.bz2 |
tree-optimization/120003 - missed jump threading
The following allows the entry and exit block of a jump thread path
to be equal, which can easily happen when there isn't a forwarder
on the interesting edge for an FSM thread conditional. We just
don't want to enlarge the path from such a block.
PR tree-optimization/120003
* tree-ssa-threadbackward.cc (back_threader::find_paths_to_names):
Allow block re-use but do not enlarge the path beyond such a
re-use.
* gcc.dg/tree-ssa/ssa-thread-23.c: New testcase.
* gcc.dg/tree-ssa/ssa-dom-thread-7.c: Adjust.
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions