[PATCH] D88655: [Flang][OpenMP][OpenACC] Support branching out issue in OpenMP parallel construct.

[sameeran joshi via Phabricator via llvm-commits]

sameeranjoshi created this revision.
sameeranjoshi added reviewers: tskeith, kiranchandramohan, clementval, kiranktp, SouraVX.
Herald added subscribers: guansong, yaxunl.
Herald added a project: LLVM.
sameeranjoshi requested review of this revision.
Herald added a reviewer: jdoerfert.
Herald added a subscriber: sstefan1.

>From below mentioned standard references
OpenACC 3.0 Standards document
840 • A program may not branch into or out of an OpenACC parallel construct

OpenMP 5.0 Standards document
A program that branches into or out of a parallel region is non-conforming.

This patch

1. Moves code from D87906 <https://reviews.llvm.org/D87906> to be reused by other OpenMP/OpenACC to check-directive-structure.h.
2. Adds support in OpenMP parallel construct and a test case to verify.

There can be many constructs in OpenMP that restrict from branching out of the region enclosed in it.
As of this patch I am not aware of all such constructs, those can be added latter when we evaluate those constructs.

Depends on D87906 <https://reviews.llvm.org/D87906>.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D88655

Files:
  flang/lib/Semantics/check-acc-structure.cpp
  flang/lib/Semantics/check-acc-structure.h
  flang/lib/Semantics/check-directive-structure.h
  flang/lib/Semantics/check-omp-structure.cpp
  flang/test/Semantics/omp-clause-validity01.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88655.295565.patch
Type: text/x-patch
Size: 12320 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201001/6da37b64/attachment.bin>