forked from OSchip/llvm-project
befb4be3a8
This is the second part loosely extracted from D71179 and cleaned up.
This patch provides semantic analysis support for `omp begin/end declare
variant`, mostly as defined in OpenMP technical report 8 (TR8) [0].
The sema handling makes code generation obsolete as we generate "the
right" calls that can just be handled as usual. This handling also
applies to the existing, albeit problematic, `omp declare variant
support`. As a consequence a lot of unneeded code generation and
complexity is removed.
A major purpose of this patch is to provide proper `math.h`/`cmath`
support for OpenMP target offloading. See PR42061, PR42798, PR42799. The
current code was developed with this feature in mind, see [1].
The logic is as follows:
If we have seen a `#pragma omp begin declare variant match(<SELECTOR>)`
but not the corresponding `end declare variant`, and we find a function
definition we will:
1) Create a function declaration for the definition we were about to generate.
2) Create a function definition but with a mangled name (according to
`<SELECTOR>`).
3) Annotate the declaration with the `OMPDeclareVariantAttr`, the same
one used already for `omp declare variant`, using and the mangled
function definition as specialization for the context defined by
`<SELECTOR>`.
When a call is created we inspect it. If the target has an
`OMPDeclareVariantAttr` attribute we try to specialize the call. To this
end, all variants are checked, the best applicable one is picked and a
new call to the specialization is created. The new call is used instead
of the original one to the base function. To keep the AST printing and
tooling possible we utilize the PseudoObjectExpr. The original call is
the syntactic expression, the specialized call is the semantic
expression.
[0] https://www.openmp.org/wp-content/uploads/openmp-TR8.pdf
[1] https://reviews.llvm.org/D61399#change-496lQkg0mhRN
Reviewers: kiranchandramohan, ABataev, RaviNarayanaswamy, gtbercea, grokos, sdmitriev, JonChesterfield, hfinkel, fghanim, aaron.ballman
Subscribers: bollu, guansong, openmp-commits, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D75779
|
||
|---|---|---|
| .. | ||
| AnalysisBasedWarnings.cpp | ||
| CMakeLists.txt | ||
| CodeCompleteConsumer.cpp | ||
| CoroutineStmtBuilder.h | ||
| DeclSpec.cpp | ||
| DelayedDiagnostic.cpp | ||
| IdentifierResolver.cpp | ||
| JumpDiagnostics.cpp | ||
| MultiplexExternalSemaSource.cpp | ||
| OpenCLBuiltins.td | ||
| ParsedAttr.cpp | ||
| Scope.cpp | ||
| ScopeInfo.cpp | ||
| Sema.cpp | ||
| SemaAccess.cpp | ||
| SemaAttr.cpp | ||
| SemaAvailability.cpp | ||
| SemaCUDA.cpp | ||
| SemaCXXScopeSpec.cpp | ||
| SemaCast.cpp | ||
| SemaChecking.cpp | ||
| SemaCodeComplete.cpp | ||
| SemaConcept.cpp | ||
| SemaConsumer.cpp | ||
| SemaCoroutine.cpp | ||
| SemaDecl.cpp | ||
| SemaDeclAttr.cpp | ||
| SemaDeclCXX.cpp | ||
| SemaDeclObjC.cpp | ||
| SemaExceptionSpec.cpp | ||
| SemaExpr.cpp | ||
| SemaExprCXX.cpp | ||
| SemaExprMember.cpp | ||
| SemaExprObjC.cpp | ||
| SemaFixItUtils.cpp | ||
| SemaInit.cpp | ||
| SemaLambda.cpp | ||
| SemaLookup.cpp | ||
| SemaModule.cpp | ||
| SemaObjCProperty.cpp | ||
| SemaOpenMP.cpp | ||
| SemaOverload.cpp | ||
| SemaPseudoObject.cpp | ||
| SemaStmt.cpp | ||
| SemaStmtAsm.cpp | ||
| SemaStmtAttr.cpp | ||
| SemaTemplate.cpp | ||
| SemaTemplateDeduction.cpp | ||
| SemaTemplateInstantiate.cpp | ||
| SemaTemplateInstantiateDecl.cpp | ||
| SemaTemplateVariadic.cpp | ||
| SemaType.cpp | ||
| TreeTransform.h | ||
| TypeLocBuilder.cpp | ||
| TypeLocBuilder.h | ||
| UsedDeclVisitor.h | ||