diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 25f1bf466fb8f9fb3f2b433b645ab97297d7bd1a..caf93a919daac7c008cf5f38c2cea57df026b8e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2014-02-12 Thomas Schwinge <thomas@codesourcery.com> + * gimplify.c (gimplify_call_expr, gimplify_modify_expr): Move + common code... + (maybe_fold_stmt): ... into this new function. + * omp-low.c (lower_omp): Update comment. + * omp-low.c (lower_omp_target): Add clobber for sizes array, after last use. diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 957a82f107afd23d475209ccffeac7a72c85bfe8..ff341d43bf325b052972d77e71004ec4b3d52dac 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -2191,6 +2191,20 @@ gimplify_arg (tree *arg_p, gimple_seq *pre_p, location_t call_location) return gimplify_expr (arg_p, pre_p, NULL, test, fb); } +/* Don't fold STMT inside ORT_TARGET, because it can break code by adding decl + references that weren't in the source. We'll do it during omplower pass + instead. */ + +static bool +maybe_fold_stmt (gimple_stmt_iterator *gsi) +{ + struct gimplify_omp_ctx *ctx; + for (ctx = gimplify_omp_ctxp; ctx; ctx = ctx->outer_context) + if (ctx->region_type == ORT_TARGET) + return false; + return fold_stmt (gsi); +} + /* Gimplify the CALL_EXPR node *EXPR_P into the GIMPLE sequence PRE_P. WANT_VALUE is true if the result of the call is desired. */ @@ -2424,14 +2438,7 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value) notice_special_calls (call); gimplify_seq_add_stmt (pre_p, call); gsi = gsi_last (*pre_p); - /* Don't fold stmts inside of target construct. We'll do it - during omplower pass instead. */ - struct gimplify_omp_ctx *ctx; - for (ctx = gimplify_omp_ctxp; ctx; ctx = ctx->outer_context) - if (ctx->region_type == ORT_TARGET) - break; - if (ctx == NULL) - fold_stmt (&gsi); + maybe_fold_stmt (&gsi); *expr_p = NULL_TREE; } else @@ -4579,14 +4586,7 @@ gimplify_modify_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p, gimplify_seq_add_stmt (pre_p, assign); gsi = gsi_last (*pre_p); - /* Don't fold stmts inside of target construct. We'll do it - during omplower pass instead. */ - struct gimplify_omp_ctx *ctx; - for (ctx = gimplify_omp_ctxp; ctx; ctx = ctx->outer_context) - if (ctx->region_type == ORT_TARGET) - break; - if (ctx == NULL) - fold_stmt (&gsi); + maybe_fold_stmt (&gsi); if (want_value) { diff --git a/gcc/omp-low.c b/gcc/omp-low.c index e7fc7309a42b3c720d01173de93691c86f95b7e4..91c8656ee9cb04c4d9c59761411653bf4c22cb81 100644 --- a/gcc/omp-low.c +++ b/gcc/omp-low.c @@ -10134,9 +10134,8 @@ lower_omp (gimple_seq *body, omp_context *ctx) gimple_stmt_iterator gsi; for (gsi = gsi_start (*body); !gsi_end_p (gsi); gsi_next (&gsi)) lower_omp_1 (&gsi, ctx); - /* Inside target region we haven't called fold_stmt during gimplification, - because it can break code by adding decl references that weren't in the - source. Call fold_stmt now. */ + /* During gimplification, we have not always invoked fold_stmt + (gimplify.c:maybe_fold_stmt); call it now. */ if (target_nesting_level) for (gsi = gsi_start (*body); !gsi_end_p (gsi); gsi_next (&gsi)) fold_stmt (&gsi);