[PATCH] D100041: [flang][OpenMP] Add semantic checks for strict nesting inside `teams` construct.

[Arnamoy B via Phabricator via llvm-commits]

arnamoy10 created this revision.
arnamoy10 added reviewers: kiranchandramohan, bryanpkc, kiranktp, SouraVX, clementval, AMDChirag.
arnamoy10 added projects: Flang, OpenMP.
Herald added subscribers: jdoerfert, guansong, yaxunl.
Herald added a reviewer: sscalpone.
arnamoy10 requested review of this revision.
Herald added a reviewer: jdoerfert.
Herald added subscribers: llvm-commits, sstefan1.
Herald added a project: LLVM.

This patch implements the following two checks:

1. Only ‘distribute’ or ‘parallel’ regions are allowed to be strictly nested inside ‘teams’ region
2. `DISTRIBUTE` region has to be strictly nested inside `TEAMS` region.

Modifies the existing test cases with the new error messages and adds a new test.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D100041

Files:
  flang/lib/Semantics/check-omp-structure.cpp
  flang/lib/Semantics/check-omp-structure.h
  flang/test/Semantics/omp-combined-constructs.f90
  flang/test/Semantics/omp-device-constructs.f90
  flang/test/Semantics/omp-nested-distribute.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D100041.335815.patch
Type: text/x-patch
Size: 11339 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210407/040557f7/attachment.bin>