https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71437
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |law at redhat dot com
--- Comment #15 from Jeffrey A. Law <law at redhat dot com> ---
So what looks real promising here.
1. Pull the "handle_dominating_asserts" bits out of tree-ssa-threadedge and
into tree-vrp.c. They really should have been there all along.
2. Improve DOM's handling of BIT_AND_EXPR/BIT_IOR_EXPR to avoid a couple minor
regressions due to #1.
3. Push some common code from tree-vrp.c/tree-ssa-dom.c into
tree-ssa-threadedge.c.
4. Change the random walk order for threading in tree-vrp.c to a domwalk
5. Record data from ASSERT_EXPRs during threading domwalk
6. Query the expression hash table in simplify_stmt_for_jump_threading
It all sounds more complex than it is. In addition to fixing bz71437, it
starts some refactoring towards addressing bz78496 and cutting down on the
amount of work we're doing for jump threading.
