Allow gang reductions inside serial constructs

2020-03-13  Kwok Cheung Yeung  <kcy@codesourcery.com>

	gcc/fortran/
	* openmp.c (oacc_is_serial, oacc_is_parallel_or_serial): New.
	(resolve_oacc_loop_blocks): Use oacc_is_parallel_or_serial instead of
	oacc_is_parallel.

diff --git a/gcc/fortran/ChangeLog.omp b/gcc/fortran/ChangeLog.omp
index 4a64c0955a988c8104757688a71b25acf4e68bb3..ee4f76d28decba601486c4d5f0c3bae790fd0033 100644 (file)
--- a/gcc/fortran/ChangeLog.omp
+++ b/gcc/fortran/ChangeLog.omp
@@ -1,3 +1,9 @@
+2020-03-13  Kwok Cheung Yeung  <kcy@codesourcery.com>
+
+       * openmp.c (oacc_is_serial, oacc_is_parallel_or_serial): New.
+       (resolve_oacc_loop_blocks): Use oacc_is_parallel_or_serial instead of
+       oacc_is_parallel.
+
 2020-02-19  Julian Brown  <julian@codesourcery.com>
 
        * trans-openmp.c (gfc_omp_check_optional_argument): Handle non-decl

diff --git a/gcc/fortran/openmp.c b/gcc/fortran/openmp.c
index b7e446d64d7f89fb493d3230b742bc98800e7643..e3a8df7cfe23a4df170d83b775198b2c2961bc4b 100644 (file)
--- a/gcc/fortran/openmp.c
+++ b/gcc/fortran/openmp.c
@@ -6692,6 +6692,18 @@ oacc_is_parallel (gfc_code *code)
   return code->op == EXEC_OACC_PARALLEL || code->op == EXEC_OACC_PARALLEL_LOOP;
 }
 
+static bool
+oacc_is_serial (gfc_code *code)
+{
+  return code->op == EXEC_OACC_SERIAL || code->op == EXEC_OACC_SERIAL_LOOP;
+}
+
+static bool
+oacc_is_parallel_or_serial (gfc_code *code)
+{
+  return oacc_is_parallel (code) || oacc_is_serial (code);
+}
+
 static gfc_statement
 omp_code_to_statement (gfc_code *code)
 {
@@ -6965,7 +6977,7 @@ resolve_oacc_loop_blocks (gfc_code *code)
       for (c = omp_current_ctx; c; c = c->previous)
        if (!oacc_is_loop (c->code))
          break;
-      if (c == NULL || !oacc_is_parallel (c->code))
+      if (c == NULL || !oacc_is_parallel_or_serial (c->code))
        gfc_error ("gang reduction on an orphan loop at %L", &code->loc);
     }