[PATCH] D113399: [flang][OpenMP] Add semantic checks of nesting of region about ordered construct

[Peixin Qiao via Phabricator via llvm-commits]

peixin created this revision.
peixin added reviewers: kiranchandramohan, clementval, jdoerfert, Leporacanthicus, ftynse, Meinersbur, NimishMishra, shraiysh.
peixin added a project: LLVM.
Herald added subscribers: guansong, yaxunl.
Herald added a reviewer: sscalpone.
Herald added a project: Flang.
peixin requested review of this revision.
Herald added subscribers: llvm-commits, sstefan1.

This patch supports the following checks for ORDERED construct:

  [5.1] 2.19.9 ORDERED Construct
  The worksharing-loop or worksharing-loop SIMD region to which an ordered
  region corresponding to an ordered construct without a depend clause
  binds must have an ordered clause without the parameter specified on the 
  corresponding worksharing-loop or worksharing-loop SIMD directive.
  The worksharing-loop region to which an ordered region that corresponds
  to an ordered construct with any depend clauses binds must have an
  ordered clause with the parameter specified on the corresponding
  worksharing-loop directive.
  An ordered construct with the depend clause specified must be closely
  nested inside a worksharing-loop (or parallel worksharing-loop)
  construct.
  An ordered region that corresponds to an ordered construct with the simd
  clause specified must be closely nested inside a simd or
  worksharing-loop SIMD region.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D113399

Files:
  flang/lib/Semantics/check-directive-structure.h
  flang/lib/Semantics/check-omp-structure.cpp
  flang/lib/Semantics/check-omp-structure.h
  flang/test/Semantics/omp-do-ordered-positivecases.f90
  flang/test/Semantics/omp-do-ordered.f90
  flang/test/Semantics/omp-do06.f90
  flang/test/Semantics/omp-ordered-simd.f90
  flang/test/Semantics/omp-ordered02.f90
  flang/test/Semantics/omp-ordered03.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D113399.385472.patch
Type: text/x-patch
Size: 22415 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211108/8b151ec5/attachment.bin>