[all-commits] [llvm/llvm-project] c42f5c: [Flang][OpenMP] Add semantic checks for OpenMP Wor...

[praveen-g-ctt via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c42f5ca3d84c7b0d4e735ab3794718c429369309
      https://github.com/llvm/llvm-project/commit/c42f5ca3d84c7b0d4e735ab3794718c429369309
  Author: Praveen <praveen at compilertree.com>
  Date:   2021-01-19 (Tue, 19 Jan 2021)

  Changed paths:
    M flang/lib/Semantics/check-omp-structure.cpp
    M flang/lib/Semantics/check-omp-structure.h
    M flang/test/Semantics/omp-workshare01.f90
    M flang/test/Semantics/omp-workshare02.f90
    A flang/test/Semantics/omp-workshare03.f90
    A flang/test/Semantics/omp-workshare04.f90
    A flang/test/Semantics/omp-workshare05.f90

  Log Message:
  -----------
  [Flang][OpenMP] Add semantic checks for OpenMP Workshare Construct

Add Semantic checks for OpenMP 4.5 - 2.7.4 Workshare Construct.

 - The structured block in a workshare construct may consist of only
   scalar or array assignments, forall or where statements,
   forall, where, atomic, critical or parallel constructs.

 - All array assignments, scalar assignments, and masked array
   assignments must be intrinsic assignments.

 - The construct must not contain any user defined function calls unless
   the function is ELEMENTAL.

Test cases : omp-workshare03.f90, omp-workshare04.f90, omp-workshare05.f90

Resolve test cases (omp-workshare01.f90 and omp-workshare02.f90) marked as XFAIL

Reviewed By: kiranchandramohan

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