[all-commits] [llvm/llvm-project] 154135: [flang][OpenMP] Add semantic checks of nesting of ...

[PeixinQiao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 154135c11c2b53cdaa2f49001830659e47f815fc
      https://github.com/llvm/llvm-project/commit/154135c11c2b53cdaa2f49001830659e47f815fc
  Author: PeixinQiao <qiaopeixin at huawei.com>
  Date:   2022-04-13 (Wed, 13 Apr 2022)

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

  Log Message:
  -----------
  [flang][OpenMP] Add semantic checks of nesting of region about ordered construct

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.
```

Reviewed By: kiranchandramohan, shraiysh, NimishMishra

Differential Revision: https://reviews.llvm.org/D113399