This patch implements Clang support for an original OpenMP extension
we have developed to support OpenACC: the ompx_hold map type
modifier. The next patch in this series, D106510, implements OpenMP
runtime support.
Consider the following example:
#pragma omp target data map(ompx_hold, tofrom: x) // holds onto mapping of x { foo(); // might have map(delete: x) #pragma omp target map(present, alloc: x) // x is guaranteed to be present printf("%d\n", x); }
The ompx_hold map type modifier above specifies that the `target
data` directive holds onto the mapping for x throughout the
associated region regardless of any target exit data directives
executed during the call to foo. Thus, the presence assertion for
x at the enclosed target construct cannot fail. (As usual, the
standard OpenMP reference count for x must also reach zero before
the data is unmapped.)
Justification for inclusion in Clang and LLVM's OpenMP runtime:
- The ompx_hold modifier supports OpenACC functionality (structured reference count) that cannot be achieved in standard OpenMP, as of 5.1.
- The runtime implementation for ompx_hold (next patch) will thus be used by Flang's OpenACC support.
- The Clang implementation for ompx_hold (this patch) as well as the runtime implementation are required for the Clang OpenACC support being developed as part of the ECP Clacc project, which translates OpenACC to OpenMP at the directive AST level. These patches are the first step in upstreaming OpenACC functionality from Clacc.
- The Clang implementation for ompx_hold is also used by the tests in the runtime implementation. That syntactic support makes the tests more readable than low-level runtime calls can. Moreover, upstream Flang and Clang do not yet support OpenACC syntax sufficiently for writing the tests.
- More generally, the Clang implementation enables a clean separation of concerns between OpenACC and OpenMP development in LLVM. That is, LLVM's OpenMP developers can discuss, modify, and debug LLVM's extended OpenMP implementation and test suite without directly considering OpenACC's language and execution model, which can be handled by LLVM's OpenACC developers.
- OpenMP users might find the ompx_hold modifier useful, as in the above example.
See new documentation introduced by this patch in openmp/docs for
more detail on the functionality of this extension and its
relationship with OpenACC. For example, it explains how the runtime
must support two reference counts, as specified by OpenACC.
Clang recognizes ompx_hold unless -fno-openmp-extensions, a new
command-line option introduced by this patch, is specified.
Questions:
- This patch adds an "OpenMP Extensions" section to clang/docs/OpenMPSupport.rst. However, the existing use of the word "extensions" in that document is confusing as it refers to standard features. It should probably be replaced with "features". I'm considering that change for a parent patch. Any objections?
Default value?