From 6c1d60a219b83f17a824f5b04dd04ffa3a1c7c37 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 5 Aug 2016 08:00:00 +0000 Subject: [PATCH] tree-ssa-threadupdate.c (thread_block_1): Remove unnecessary restriction on threading to a loop header. 2016-08-05 Richard Biener * tree-ssa-threadupdate.c (thread_block_1): Remove unnecessary restriction on threading to a loop header. From-SVN: r239164 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-threadupdate.c | 6 ++---- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index be93f5b9ca8..bc49ac2bfa0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-08-05 Richard Biener + + * tree-ssa-threadupdate.c (thread_block_1): Remove unnecessary + restriction on threading to a loop header. + 2016-08-05 Richard Biener * tree-cfgcleanup.c (tree_forwarder_block_p): Use bb_loop_header_p. diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index 1ff007a495a..66d919c95ce 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -1531,10 +1531,8 @@ thread_block_1 (basic_block bb, bool noloop_only, bool joiners) threading path that crosses loop boundaries. We do not try and thread this elsewhere, so just cancel the jump threading request by clearing the AUX field now. */ - if ((bb->loop_father != e2->src->loop_father - && !loop_exit_edge_p (e2->src->loop_father, e2)) - || (e2->src->loop_father != e2->dest->loop_father - && !loop_exit_edge_p (e2->src->loop_father, e2))) + if (bb->loop_father != e2->src->loop_father + && !loop_exit_edge_p (e2->src->loop_father, e2)) { /* Since this case is not handled by our special code to thread through a loop header, we must explicitly -- 2.30.2