tree 7110a4e7a5b82056e9610b8365a7152b5c70991b
parent 35a5e0c1af193425f9003f6c7b021eca6ca18b39
author Nimish Mishra <neelam.nimish@gmail.com> 1633029117 +0530
committer Copybara-Service <copybara-worker@google.com> 1633144530 -0700

[flang][OpenMP] Added OpenMP 5.0 specification based semantic checks for sections construct and test case for simd construct

According to OpenMP 5.0 spec document, the following semantic restrictions have been dealt with in this patch.

1. [sections construct] Orphaned section directives are prohibited. That is, the section directives must appear within the sections construct and must not be encountered elsewhere in the sections region.

 Semantic checks for the following are not necessary, since use of orphaned section construct (i.e. without an enclosing sections directive) throws parser errors and control flow never reaches the semantic checking phase. Added a test case for the same.

2. [sections construct] Must be a structured block

Added test case and made changes to branching logic

3. [simd construct] Must be a structured block / A program that branches in or out of a function with declare simd is non conforming

4. Fixed !$omp do's handling of unlabeled CYCLEs

Reviewed By: kiranchandramohan

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

GitOrigin-RevId: 063c5bc31b89d85aba9ea7c2aa0d2440ec468ed2