diff options
Diffstat (limited to 'gcc/tree-ssa-threadedge.c')
| -rw-r--r-- | gcc/tree-ssa-threadedge.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-ssa-threadedge.c b/gcc/tree-ssa-threadedge.c index b28fff3..c58b5e3 100644 --- a/gcc/tree-ssa-threadedge.c +++ b/gcc/tree-ssa-threadedge.c @@ -44,6 +44,7 @@ along with GCC; see the file COPYING3. If not see #include "tree-ssa-scopedtables.h" #include "tree-ssa-threadedge.h" #include "tree-ssa-loop.h" +#include "tree-ssa-dom.h" #include "builtins.h" #include "cfganal.h" @@ -1213,6 +1214,10 @@ thread_through_normal_block (edge e, if (*backedge_seen_p) simplify = dummy_simplify; + /* We want to record any equivalences created by traversing E. */ + if (!handle_dominating_asserts) + record_temporary_equivalences (e, const_and_copies, avail_exprs_stack); + /* PHIs create temporary equivalences. Note that if we found a PHI that made the block non-threadable, then we need to bubble that up to our caller in the same manner we do |