Support Fortran 2015 teams

.github/ISSUE_TEMPLATE.md

@@ -0,0 +1,54 @@
+<!-- Please fill out the issue template included below, failure to do -->
+<!-- so may result in immediate closure of your issue. -->
+
+<!-- Fill out all portions of this template that apply. Please delete -->
+<!-- any unnecessary sections. -->
+
+<!-- PRO TIP! Submit the pull request *before* you check any -->
+<!-- checkboxes. Then, use the gui/web interface to check the -->
+<!-- checkboxes! -->
+
+Please make sure to put any logs, terminal output, or code in
+[fenced code blocks]. 
+
+# Defect/Bug Report #
+
+<!-- delete this section if it does not apply -->
+The title of the issue should start with `Defect:` followed by a
+succinct title.
+
+<!-- THE FOLLOWING INFORMATION IS MANDATORY if you would like our help -->
+
+- GCC fork release tag or git hash: <!-- e.g., teams-20170921 or `git rev-parse --short HEAD`  -->
+- GCC version used to build this fork: <!-- `gcc --version` -->
+- Output of `uname -a`:
+- Machine architecture and number of physical cores:
+
+## Observed Behavior ##
+
+## Expected Behavior ##
+
+## Steps to Reproduce ##
+
+# Question #
+
+<!-- delete this section if it does not apply -->
+The title of the issue should start with `Question:` followed by a
+succinct title. Add the text of your question here. Be specific. Search for
+answers on [Google] and [Stack Overflow]
+before asking a new question
+
+# Request for Enhancement (RFE) #
+
+<!-- delete this section if it does not apply -->
+The title of the issue should start with `RFE:` followed by a succinct
+title.  If you are willing to help out, please review the [Contributing to GCC] 
+page.
+
+[links]:#
+[Google]: https://www.google.com
+[Stack Overflow]: https://stackoverflow.com
+[fenced codeblocks]: https://help.github.com/articles/creating-and-highlighting-code-blocks/
+[CONTRIBUTING.md]: https://github.com/sourceryinstitute/OpenCoarrays/blob/master/CONTRIBUTING.md
+[Helping Out]: https://github.com/sourceryinstitute/OpenCoarrays/blob/master/CONTRIBUTING.md#helping-out
+[Contributing to GCC]: https://gcc.gnu.org/contribute.html

README.md

@@ -0,0 +1,101 @@
+Overview
+========
+This repository exists as a staging ground for developing candidate
+contributions to the GNU Compiler Collection ([GCC]).
+
+Candidate features currently on this site are listed below.  The checked items indicate features 
+that have been submitted to the relevant GCC developer mailing list for review.  We welcome user 
+feedback from testing these features.  Unchecked items are insufficiently mature to submit to GCC. 
+
+- [X] The [teams branch] with experimental support for Fortran 2015 teams. 
+- [X] The [download-opencoarrays-mpich branch] modifying GCC's prequisites download script
+  to add [OpenCoarrays] and [MPICH] to the list of downloade software.
+- [ ] The [issue-#6-iso-fortran-binding-h branch] providing the Fortran 2015 `iso_fortran_binding.h` file.
+
+We welcome code contributions via [pull request] for any listed features or other unsupported
+features of the [draft Fortran 2015 standard]:
+
+Installation
+============
+This fork's [releases] are produced from the [teams branch], which we expect will be of 
+most interest to users.   We recommend building the [latest release] using the [OpenCoarrays] 
+`install.sh` script as follows:
+```bash
+# Install a teams-branch release of this GCC fork
+git clone https://github.com/sourceryinstitute/opencoarrays
+cd oppencoarrays
+./install.sh --package gcc \
+  --from-url https://github.com/sourceryinstitute/gcc/archive/<release-tag>.tar.gz \
+  --install-version <release-tag>
+```
+where `<release-tag>` must be replaced with the appropriate string such as teams-20170921.  The final
+command above peforms the safest but slowest build, which could take several hours to complete.
+For a speedier build, add the `--disable-bootstrap`, which might fail if the GCC you are using
+to build is too old.  Also, for an interactive build, add `--yes-to-all` to instruct the
+installer to assume affirmative answers to any queries. If successful, the above steps will 
+install GCC in the `prerequisites/installations` subdirectory.  To see additional installation
+options, including choosing another installation path, execute `./install.sh --help`.
+
+Next use the resulting compilers to build [MPICH] 3.2 or later:
+```bash
+
+# Install MPICH 3.2 or later using the GCC that was installed above:
+export LD_LIBRARY_PATH="${PWD}"/prerequisites/installations/gcc/teams-<release-tag>/lib64
+
+./install.sh --package mpich \
+   --with-fortran "${PWD}"/prerequisites/installations/gcc/<release-tag>/bin/gfortarn \
+   --with-c       "${PWD}"/prerequisites/installations/gcc/<release-tag>/bin/gcc      \
+   --with-cpp     "${PWD}"/prerequisites/installations/gcc/<release-tag>bin/g++
+
+```
+
+Next use the resulting [MPICH] installation to build the [opencoarrays-teams branch] of OpenCoarrays.  
+```bash
+# Install OpenCoarrays using the MPICH just installed:
+git checkout opencoarrays-teams
+./install.sh  \
+   --with-mpi "${PWD}"/prerequisites/installations/mpich/<mpich-version-number>/
+```
+after replacing `<mpich-version-number>` with... wait for it... the MPI version number (3.2 or later). :) 
+Please report any problems with the above steps on our [issues page].
+
+
+[GCC mirror] README
+===================
+
+This directory contains the GNU Compiler Collection (GCC).
+
+The GNU Compiler Collection is free software.  See the files whose
+names start with COPYING for copying permission.  The manuals, and
+some of the runtime libraries, are under different terms; see the
+individual source files for details.
+
+The directory INSTALL contains copies of the installation information
+as HTML and plain text.  The source of this information is
+gcc/doc/install.texi.  The installation information includes details
+of what is included in the GCC sources and what files GCC installs.
+
+See the file gcc/doc/gcc.texi (together with other files that it
+includes) for usage and porting information.  An online readable
+version of the manual is in the files gcc/doc/gcc.info*.
+
+See http://gcc.gnu.org/bugs/ for how to report bugs usefully.
+
+Copyright years on GCC source files may be listed using range
+notation, e.g., 1987-2012, indicating that every year in the range,
+inclusive, is a copyrightable year that could otherwise be listed
+individually.
+
+[GCC mirror]: https://github.com/gcc-mirror/gcc
+[GCC]: https://gcc.gnu.org/gcc
+[OpenCoarrays]: https://www.opendcoarrays.org
+[MPICH]: https://www.mpich.org
+[teams branch]: https://github.com/sourceryinstitute/gcc/tree/teams
+[issue-#6-iso-fortran-binding-h branch]: https://github.com/sourceryinstitute/gcc/tree/issue-#6-iso-fortran-binding-h
+[download-opencoarrays-mpich branch]: https://github.com/sourceryinstitute/gcc/tree/download-opencoarrays-mpich 
+[releases]: https://github.com/sourceryinstitute/gcc/releases/
+[issues page]: https://github.com/sourceryinstitute/gcc/issues/
+[opencoarrays-teams branch]: https://github.com/sourceryinstitute/opencoarrays/tree/opencoarrays-teams
+[pull request]: https://github.com/sourceryinstitute/gcc/pulls
+[draft Fortran 2015 standard]: https://bit.ly/fortran-2015-draft
+[latest release]: https://github.com/sourceryinstitute/gcc/releases/latest

gcc/fortran/ChangeLog

@@ -1,3 +1,48 @@
+2018-01-18  Damian Rouson  <[email protected]>
+	Alessandro Fanfarillo  <[email protected]>
+
+	Partial support for Fortran 2018 teams features.
+
+	* array.c (gfc_match_array_ref): add team attribute in coarray
+	transfers.
+	* check.c (gfc_check_get_team, gfc_check_team_number): add new
+	functions for get_team and team_number.
+	* dump-parse-tree.c (show_code_node): add new statements: form team,
+	change team, end team, and sync team.
+	* expr.c (gfc_find_team_co): add new function.
+	* gfortran.h: add new statements.
+	* intrinsic.c (add_functions): add get_team and team_number functions.
+	* intrinsic.h: add get_team and team_number prototypes for check,
+	simplify, and resolve.
+	* iresolve.c (gfc_resolve_get_team, gfc_resolve_team_number): add new
+	functions.
+	* iso-fortran-env.def: add the team_type derived type.
+	* match.c (gfc_match_if, gfc_match_form_team, gfc_match_team_number)
+	(gfc_match_end_team, gfc_match_sync_team, gfc_match_change_team):
+	add change team, end team, form team, sync team match and functions.
+	* match.h: add new prototypes for change team, end team, form team,
+	and sync team.
+	* parse.c (decode_statement): add cases for change team, end team,
+	form team, and sync team.
+	* resolve.c: add cases for exec form team, change team, end team, and
+	sync team.
+	* simplify.c (gfc_simplify_get_team): add new function for get team.
+	* st.c (gfc_free_statement): add cases exec for change team, end team,
+	form team, sync team.
+	* trans-decl.c (gfor_fndecl_caf_form_team)
+	(gfor_fndecl_caf_change_team, gfor_fndecl_caf_end_team)
+	(gfor_fndecl_caf_sync_team, gfor_fndecl_caf_get_team)
+	(gfor_fndecl_caf_team_number): add functions and definitions.
+	* trans-intrinsic.c (conv_caf_send, conv_intrinsic_team_number): add
+	new function and team_type argument support.
+	* trans-stmt.c (gfc_trans_form_team, gfc_trans_change_team)
+	(gfc_trans_end_team, gfc_trans_sync_team): add new functions.
+	* trans-stmt.h: add new prototypes.
+	* trans-types.c (gfc_get_derived_type): check condition for team_type.
+	* trans.c (trans_code): new exec cases for form team, change team, end
+	team, and sync team.
+	* trans.h: add new prototypes.
+
 2018-01-15  Louis Krupp  <[email protected]>
 
 	PR fortran/82257

gcc/fortran/array.c

@@ -158,6 +158,7 @@ gfc_match_array_ref (gfc_array_ref *ar, gfc_array_spec *as, int init,
   bool matched_bracket = false;
   gfc_expr *tmp;
   bool stat_just_seen = false;
+  bool team_just_seen = false;
 
   memset (ar, '\0', sizeof (*ar));
 
@@ -230,8 +231,21 @@ gfc_match_array_ref (gfc_array_ref *ar, gfc_array_spec *as, int init,
       if (m == MATCH_ERROR)
 	return MATCH_ERROR;
 
+      team_just_seen = false;
       stat_just_seen = false;
-      if (gfc_match(" , stat = %e",&tmp) == MATCH_YES && ar->stat == NULL)
+      if (gfc_match (" , team = %e", &tmp) == MATCH_YES && ar->stat == NULL)
+	{
+	  ar->team = tmp;
+	  team_just_seen = true;
+	}
+
+      if (ar->team && !team_just_seen)
+	{
+	  gfc_error ("TEAM= attribute in %C misplaced");
+	  return MATCH_ERROR;
+	}
+
+      if (gfc_match (" , stat = %e",&tmp) == MATCH_YES && ar->stat == NULL)
 	{
 	  ar->stat = tmp;
 	  stat_just_seen = true;

gcc/fortran/check.c

@@ -1252,6 +1252,20 @@ gfc_check_failed_or_stopped_images (gfc_expr *team, gfc_expr *kind)
 }
 
 
+bool
+gfc_check_get_team (gfc_expr *level)
+{
+  if (level)
+    {
+      gfc_error ("%qs argument of %qs intrinsic at %L not yet supported",
+		 gfc_current_intrinsic_arg[0]->name, gfc_current_intrinsic,
+		 &level->where);
+      return false;
+    }
+  return true;
+}
+
+
 bool
 gfc_check_atomic_cas (gfc_expr *atom, gfc_expr *old, gfc_expr *compare,
 		      gfc_expr *new_val,  gfc_expr *stat)
@@ -2264,7 +2278,7 @@ gfc_check_eoshift (gfc_expr *array, gfc_expr *shift, gfc_expr *boundary,
 	      return false;
 	    }
 	}
-      
+
       if (array->rank == 1 || boundary->rank == 0)
 	{
 	  if (!scalar_check (boundary, 2))
@@ -2313,7 +2327,7 @@ gfc_check_eoshift (gfc_expr *array, gfc_expr *shift, gfc_expr *boundary,
 	case BT_COMPLEX:
 	case BT_CHARACTER:
 	  break;
-	  
+
 	default:
 	  gfc_error ("Missing %qs argument to %qs intrinsic at %L for %qs "
 		     "of type %qs", gfc_current_intrinsic_arg[2]->name,
@@ -5274,6 +5288,33 @@ gfc_check_num_images (gfc_expr *distance, gfc_expr *failed)
 }
 
 
+bool
+gfc_check_team_number (gfc_expr *team)
+{
+  if (flag_coarray == GFC_FCOARRAY_NONE)
+    {
+      gfc_fatal_error ("Coarrays disabled at %C, use %<-fcoarray=%> to enable");
+      return false;
+    }
+
+  if (team)
+    {
+      /* TODO: this works on any derived type when
+         it should only work with team_type.  */
+      if (team->ts.type != BT_DERIVED)
+        {
+          gfc_error ("TEAM argument at %L to the intrinsic TEAM_NUMBER "
+                     "shall be of type TEAM_TYPE", &team->where);
+          return false;
+        }
+    }
+  else
+    return true;
+
+  return true;
+}
+
+
 bool
 gfc_check_this_image (gfc_expr *coarray, gfc_expr *dim, gfc_expr *distance)
 {

gcc/fortran/dump-parse-tree.c

@@ -1868,6 +1868,22 @@ show_code_node (int level, gfc_code *c)
       fputs ("FAIL IMAGE ", dumpfile);
       break;
 
+    case EXEC_CHANGE_TEAM:
+      fputs ("CHANGE TEAM", dumpfile);
+      break;
+
+    case EXEC_END_TEAM:
+      fputs ("END TEAM", dumpfile);
+      break;
+
+    case EXEC_FORM_TEAM:
+      fputs ("FORM TEAM", dumpfile);
+      break;
+
+    case EXEC_SYNC_TEAM:
+      fputs ("SYNC TEAM", dumpfile);
+      break;
+
     case EXEC_SYNC_ALL:
       fputs ("SYNC ALL ", dumpfile);
       if (c->expr2 != NULL)

gcc/fortran/expr.c

@@ -5065,7 +5065,25 @@ gfc_ref_this_image (gfc_ref *ref)
 }
 
 gfc_expr *
-gfc_find_stat_co(gfc_expr *e)
+gfc_find_team_co (gfc_expr *e)
+{
+  gfc_ref *ref;
+
+  for (ref = e->ref; ref; ref = ref->next)
+    if (ref->type == REF_ARRAY && ref->u.ar.codimen > 0)
+      return ref->u.ar.team;
+
+  if (e->value.function.actual->expr)
+    for (ref = e->value.function.actual->expr->ref; ref;
+	 ref = ref->next)
+      if (ref->type == REF_ARRAY && ref->u.ar.codimen > 0)
+	return ref->u.ar.team;
+
+  return NULL;
+}
+
+gfc_expr *
+gfc_find_stat_co (gfc_expr *e)
 {
   gfc_ref *ref;