From: Jakub Jelinek Date: Tue, 5 Sep 2017 21:31:39 +0000 (+0200) Subject: re PR middle-end/81768 (error: control flow in the middle of basic block) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bcc6842ba5563b075ed2946de20151928f572aca;p=gcc.git re PR middle-end/81768 (error: control flow in the middle of basic block) PR middle-end/81768 * omp-expand.c (expand_omp_simd): Force second operands of COND_EXPR into gimple val before gimplification fo the COND_EXPR. * gcc.dg/gomp/pr81768-1.c: New test. From-SVN: r251741 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e5a8c5a85bd..95ecb3cd854 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-09-05 Jakub Jelinek + + PR middle-end/81768 + * omp-expand.c (expand_omp_simd): Force second operands of COND_EXPR + into gimple val before gimplification fo the COND_EXPR. + 2017-09-05 Aldy Hernandez * tree-ssa-threadupdate.c (duplicate_thread_path): Remove unused diff --git a/gcc/omp-expand.c b/gcc/omp-expand.c index 7e27ae0aa1a..4bdcf19ef64 100644 --- a/gcc/omp-expand.c +++ b/gcc/omp-expand.c @@ -4730,24 +4730,28 @@ expand_omp_simd (struct omp_region *region, struct omp_for_data *fd) tree itype2 = TREE_TYPE (fd->loops[i - 1].v); if (POINTER_TYPE_P (itype2)) itype2 = signed_type_for (itype2); + t = fold_convert (itype2, fd->loops[i - 1].step); + t = force_gimple_operand_gsi (&gsi, t, true, NULL_TREE, true, + GSI_SAME_STMT); t = build3 (COND_EXPR, itype2, build2 (fd->loops[i].cond_code, boolean_type_node, fd->loops[i].v, fold_convert (itype, fd->loops[i].n2)), - build_int_cst (itype2, 0), - fold_convert (itype2, fd->loops[i - 1].step)); + build_int_cst (itype2, 0), t); if (POINTER_TYPE_P (TREE_TYPE (fd->loops[i - 1].v))) t = fold_build_pointer_plus (fd->loops[i - 1].v, t); else t = fold_build2 (PLUS_EXPR, itype2, fd->loops[i - 1].v, t); expand_omp_build_assign (&gsi, fd->loops[i - 1].v, t); + t = fold_convert (itype, fd->loops[i].n1); + t = force_gimple_operand_gsi (&gsi, t, true, NULL_TREE, true, + GSI_SAME_STMT); t = build3 (COND_EXPR, itype, build2 (fd->loops[i].cond_code, boolean_type_node, fd->loops[i].v, fold_convert (itype, fd->loops[i].n2)), - fd->loops[i].v, - fold_convert (itype, fd->loops[i].n1)); + fd->loops[i].v, t); expand_omp_build_assign (&gsi, fd->loops[i].v, t); } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8d945ded851..e470ff150ae 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-09-05 Jakub Jelinek + + PR middle-end/81768 + * gcc.dg/gomp/pr81768-1.c: New test. + 2017-09-05 Bill Schmidt PR target/81833 diff --git a/gcc/testsuite/gcc.dg/gomp/pr81768-1.c b/gcc/testsuite/gcc.dg/gomp/pr81768-1.c new file mode 100644 index 00000000000..3b8c26a23ec --- /dev/null +++ b/gcc/testsuite/gcc.dg/gomp/pr81768-1.c @@ -0,0 +1,15 @@ +/* PR middle-end/81768 */ +/* { dg-do compile } */ + +float b[10][15][10]; + +void +foo (void) +{ + float *i; +#pragma omp target parallel for simd schedule(static, 32) collapse(3) + for (i = &b[0][0][0]; i < &b[0][0][10]; i++) + for (float *j = &b[0][15][0]; j > &b[0][0][0]; j -= 10) + for (float *k = &b[0][0][10]; k > &b[0][0][0]; --k) + b[i - &b[0][0][0]][(j - &b[0][0][0]) / 10 - 1][(k - &b[0][0][0]) - 1] -= 3.5; +}