diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 43623dcd9704..c0c3cece95be 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-01-11 Tom de Vries + + PR tree-optimization/69109 + * tree-parloops.c (try_transform_to_exit_first_loop_alt): Don't allow + latch with phi. + 2016-01-11 Tom de Vries PR tree-optimization/69108 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ec4cd37f0004..a160ed095174 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2016-01-11 Tom de Vries + + PR tree-optimization/69109 + * gcc.dg/autopar/pr69109-2.c: New test. + * gcc.dg/autopar/pr69109.c: New test. + 2016-01-11 Tom de Vries PR tree-optimization/69108 diff --git a/gcc/testsuite/gcc.dg/autopar/pr69109-2.c b/gcc/testsuite/gcc.dg/autopar/pr69109-2.c new file mode 100644 index 000000000000..0a3154ba4f5a --- /dev/null +++ b/gcc/testsuite/gcc.dg/autopar/pr69109-2.c @@ -0,0 +1,4 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ftree-parallelize-loops=2 -funswitch-loops" } */ + +#include "../../gcc.c-torture/compile/pr32399.c" diff --git a/gcc/testsuite/gcc.dg/autopar/pr69109.c b/gcc/testsuite/gcc.dg/autopar/pr69109.c new file mode 100644 index 000000000000..58f3a9fafe36 --- /dev/null +++ b/gcc/testsuite/gcc.dg/autopar/pr69109.c @@ -0,0 +1,4 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ftree-parallelize-loops=2 -funswitch-loops" } */ + +#include "../vect/unswitch-loops-pr26969.c" diff --git a/gcc/tree-parloops.c b/gcc/tree-parloops.c index d68370430c26..5afaaf8af13a 100644 --- a/gcc/tree-parloops.c +++ b/gcc/tree-parloops.c @@ -1769,6 +1769,10 @@ try_transform_to_exit_first_loop_alt (struct loop *loop, if (!gimple_seq_nondebug_singleton_p (bb_seq (loop->latch))) return false; + /* Check whether the latch contains no phis. */ + if (phi_nodes (loop->latch) != NULL) + return false; + /* Check whether the latch contains the loop iv increment. */ edge back = single_succ_edge (loop->latch); edge exit = single_dom_exit (loop);