From d1134db897aeaf4d6c583c65cdac18410babbcd7 Mon Sep 17 00:00:00 2001 From: vries Date: Thu, 16 Jul 2015 11:51:38 +0000 Subject: [PATCH] Handle exit phi without header phi in create_parallel_loop 2015-07-16 Tom de Vries * tree-parloops.c (create_parallel_loop): Handle case that exit phi does not have a corresponding loop header phi. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225873 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/tree-parloops.c | 12 ++++++++---- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cfdf5e75747f..764e8bc874eb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-07-16 Tom de Vries + + * tree-parloops.c (create_parallel_loop): Handle case that exit phi does + not have a corresponding loop header phi. + 2015-07-16 Tom de Vries * tree-parloops.c (create_loads_for_reductions): Handle case that diff --git a/gcc/tree-parloops.c b/gcc/tree-parloops.c index 2390d9ec5058..ec418343c265 100644 --- a/gcc/tree-parloops.c +++ b/gcc/tree-parloops.c @@ -2050,13 +2050,17 @@ create_parallel_loop (struct loop *loop, tree loop_fn, tree data, !gsi_end_p (gpi); gsi_next (&gpi)) { source_location locus; - tree def; gphi *phi = gpi.phi (); - gphi *stmt; + tree def = PHI_ARG_DEF_FROM_EDGE (phi, exit); + gimple def_stmt = SSA_NAME_DEF_STMT (def); - stmt = as_a ( - SSA_NAME_DEF_STMT (PHI_ARG_DEF_FROM_EDGE (phi, exit))); + /* If the exit phi is not connected to a header phi in the same loop, this + value is not modified in the loop, and we're done with this phi. */ + if (!(gimple_code (def_stmt) == GIMPLE_PHI + && gimple_bb (def_stmt) == loop->header)) + continue; + gphi *stmt = as_a (def_stmt); def = PHI_ARG_DEF_FROM_EDGE (stmt, loop_preheader_edge (loop)); locus = gimple_phi_arg_location_from_edge (stmt, loop_preheader_edge (loop)); -- 2.47.2