From 8c01de7fb34ae3d5fbedc3377cf431aa34ebca64 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 16 Jan 2013 17:05:27 +0100 Subject: [PATCH] re PR fortran/52865 (GCC can't vectorize fortran loop but able to vectorize similar c-loop) PR fortran/52865 * trans-stmt.c (gfc_trans_do): Put countm1-- before conditional and use value of countm1 before the decrement in the condition. From-SVN: r195241 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/trans-stmt.c | 21 +++++++++++++-------- 2 files changed, 19 insertions(+), 8 deletions(-) diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f297deb93ad..c7f2001f85a 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2013-01-16 Jakub Jelinek + + PR fortran/52865 + * trans-stmt.c (gfc_trans_do): Put countm1-- before conditional + and use value of countm1 before the decrement in the condition. + 2013-01-15 Paul Thomas PR fortran/54286 diff --git a/gcc/fortran/trans-stmt.c b/gcc/fortran/trans-stmt.c index 3aabd287f99..1d240cb7ef5 100644 --- a/gcc/fortran/trans-stmt.c +++ b/gcc/fortran/trans-stmt.c @@ -1518,8 +1518,9 @@ gfc_trans_simple_do (gfc_code * code, stmtblock_t *pblock, tree dovar, body; cycle_label: dovar += step - if (countm1 ==0) goto exit_label; + countm1t = countm1; countm1--; + if (countm1t == 0) goto exit_label; } exit_label: @@ -1739,19 +1740,23 @@ gfc_trans_do (gfc_code * code, tree exit_cond) if (gfc_option.rtcheck & GFC_RTCHECK_DO) gfc_add_modify_loc (loc, &body, saved_dovar, dovar); - /* End with the loop condition. Loop until countm1 == 0. */ - cond = fold_build2_loc (loc, EQ_EXPR, boolean_type_node, countm1, - build_int_cst (utype, 0)); - tmp = fold_build1_loc (loc, GOTO_EXPR, void_type_node, exit_label); - tmp = fold_build3_loc (loc, COND_EXPR, void_type_node, - cond, tmp, build_empty_stmt (loc)); - gfc_add_expr_to_block (&body, tmp); + /* Initialize countm1t. */ + tree countm1t = gfc_create_var (utype, "countm1t"); + gfc_add_modify_loc (loc, &body, countm1t, countm1); /* Decrement the loop count. */ tmp = fold_build2_loc (loc, MINUS_EXPR, utype, countm1, build_int_cst (utype, 1)); gfc_add_modify_loc (loc, &body, countm1, tmp); + /* End with the loop condition. Loop until countm1t == 0. */ + cond = fold_build2_loc (loc, EQ_EXPR, boolean_type_node, countm1t, + build_int_cst (utype, 0)); + tmp = fold_build1_loc (loc, GOTO_EXPR, void_type_node, exit_label); + tmp = fold_build3_loc (loc, COND_EXPR, void_type_node, + cond, tmp, build_empty_stmt (loc)); + gfc_add_expr_to_block (&body, tmp); + /* End of loop body. */ tmp = gfc_finish_block (&body); -- 2.30.2