This is an archive of the discontinued LLVM Phabricator instance.

Differential D105937

[OpenMP] Encode `omp [...] assume[...]` assumptions with `omp[x]` prefix
ClosedPublic

Authored by jdoerfert on Jul 13 2021, 1:39 PM.

Details

Reviewers
jhuber6
Commits
rG45e8e084921b: [OpenMP] Encode `omp [...] assume[...]` assumptions with `omp[x]` prefix
Summary

Since these assumptions are coming from OpenMP it makes sense to mark
them as such in the generic IR encoding. Standardized assumptions will
be named

omp_ASSUMPTION_NAME

and extensions will be named

ompx_ASSUMPTION_NAME

which is the OpenMP 5.2 syntax for "extensions" of any kind.

This also matches what the OpenMP-Opt pass expects.

Summarized,

#pragma omp [...] assume[s] no_parallelism

now generates the same IR assumption annotation as

__attribute__((assume("omp_no_parallelism")))

Diff Detail

Event Timeline

jdoerfert created this revision.Jul 13 2021, 1:39 PM
Herald added subscribers: guansong, bollu, yaxunl. · View Herald TranscriptJul 13 2021, 1:39 PM
jdoerfert requested review of this revision.Jul 13 2021, 1:39 PM
Herald added a project: Restricted Project. · View Herald TranscriptJul 13 2021, 1:39 PM
Herald added subscribers: cfe-commits, sstefan1. · View Herald Transcript
Harbormaster completed remote builds in B113842: Diff 358415.Jul 13 2021, 3:15 PM
jdoerfert updated this revision to Diff 358502.Jul 13 2021, 8:43 PM

Fix lifetime problem, update one more test

Harbormaster completed remote builds in B113910: Diff 358502.Jul 13 2021, 9:21 PM
JonChesterfield added a subscriber: JonChesterfield.Jul 14 2021, 2:04 AM

LGTM

jhuber6 added a child revision: D108958: [OpenMP] Make CUDA math library functions SPMD amenable.Aug 30 2021, 4:55 PM
jhuber6 accepted this revision.Aug 30 2021, 4:55 PM

LGTM

This revision is now accepted and ready to land.Aug 30 2021, 4:55 PM
This revision was landed with ongoing or failed builds.Sep 10 2021, 10:09 AM
Closed by commit rG45e8e084921b: [OpenMP] Encode `omp [...] assume[...]` assumptions with `omp[x]` prefix (authored by jdoerfert). · Explain Why
This revision was automatically updated to reflect the committed changes.
jdoerfert added a commit: rG45e8e084921b: [OpenMP] Encode `omp [...] assume[...]` assumptions with `omp[x]` prefix.

Revision Contents

PathSize
clang/
include/
clang/
Sema/
2 lines
lib/
Parse/
8 lines
Sema/
2 lines
test/
OpenMP/
52 lines
4 lines
6 lines
20 lines

Diff 371950

clang/include/clang/Sema/Sema.h

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 10,456 Lines • ▼ Show 20 Linespublic:
DeclGroupPtrTy ActOnOpenMPAllocateDirective(SourceLocation Loc, DeclGroupPtrTy ActOnOpenMPAllocateDirective(SourceLocation Loc,
ArrayRef<Expr *> VarList, ArrayRef<Expr *> VarList,
ArrayRef<OMPClause *> Clauses, ArrayRef<OMPClause *> Clauses,
DeclContext *Owner = nullptr); DeclContext *Owner = nullptr);
/// Called on well-formed '#pragma omp [begin] assume[s]'. /// Called on well-formed '#pragma omp [begin] assume[s]'.
void ActOnOpenMPAssumesDirective(SourceLocation Loc, void ActOnOpenMPAssumesDirective(SourceLocation Loc,
OpenMPDirectiveKind DKind, OpenMPDirectiveKind DKind,
ArrayRef<StringRef> Assumptions, ArrayRef<std::string> Assumptions,
bool SkippedClauses); bool SkippedClauses);
/// Check if there is an active global `omp begin assumes` directive. /// Check if there is an active global `omp begin assumes` directive.
bool isInOpenMPAssumeScope() const { return !OMPAssumeScoped.empty(); } bool isInOpenMPAssumeScope() const { return !OMPAssumeScoped.empty(); }
/// Check if there is an active global `omp assumes` directive. /// Check if there is an active global `omp assumes` directive.
bool hasGlobalOpenMPAssumes() const { return !OMPAssumeGlobal.empty(); } bool hasGlobalOpenMPAssumes() const { return !OMPAssumeGlobal.empty(); }
▲ Show 20 Lines • Show All 2,633 Lines • Show Last 20 Lines

clang/lib/Parse/ParseOpenMP.cpp

Show First 20 Lines • Show All 1,526 Lines • ▼ Show 20 Lines
/// 'contains' '(' directive-name [, directive-name]* ')' /// 'contains' '(' directive-name [, directive-name]* ')'
/// 'holds' '(' scalar-expression ')' /// 'holds' '(' scalar-expression ')'
/// 'no_openmp' /// 'no_openmp'
/// 'no_openmp_routines' /// 'no_openmp_routines'
/// 'no_parallelism' /// 'no_parallelism'
/// ///
void Parser::ParseOpenMPAssumesDirective(OpenMPDirectiveKind DKind, void Parser::ParseOpenMPAssumesDirective(OpenMPDirectiveKind DKind,
SourceLocation Loc) { SourceLocation Loc) {
SmallVector<StringRef, 4> Assumptions; SmallVector<std::string, 4> Assumptions;
bool SkippedClauses = false; bool SkippedClauses = false;
auto SkipBraces = [&](llvm::StringRef Spelling, bool IssueNote) { auto SkipBraces = [&](llvm::StringRef Spelling, bool IssueNote) {
BalancedDelimiterTracker T(*this, tok::l_paren, BalancedDelimiterTracker T(*this, tok::l_paren,
tok::annot_pragma_openmp_end); tok::annot_pragma_openmp_end);
if (T.expectAndConsume(diag::err_expected_lparen_after, Spelling.data())) if (T.expectAndConsume(diag::err_expected_lparen_after, Spelling.data()))
return; return;
T.skipToEnd(); T.skipToEnd();
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines while (Tok.isNot(tok::annot_pragma_openmp_end)) {
if (NextIsLPar) { if (NextIsLPar) {
Diag(Tok.getLocation(), Diag(Tok.getLocation(),
diag::warn_omp_unknown_assumption_clause_without_args) diag::warn_omp_unknown_assumption_clause_without_args)
<< II; << II;
SkipBraces(II->getName(), /* IssueNote */ true); SkipBraces(II->getName(), /* IssueNote */ true);
} }
assert(II && "Expected an identifier clause!"); assert(II && "Expected an identifier clause!");
StringRef Assumption = II->getName(); std::string Assumption = II->getName().str();
if (ACMI.StartsWith) if (ACMI.StartsWith)
Assumption = Assumption.substr(ACMI.Identifier.size()); Assumption = "ompx_" + Assumption.substr(ACMI.Identifier.size());
else
Assumption = "omp_" + Assumption;
Assumptions.push_back(Assumption); Assumptions.push_back(Assumption);
} }
Actions.ActOnOpenMPAssumesDirective(Loc, DKind, Assumptions, SkippedClauses); Actions.ActOnOpenMPAssumesDirective(Loc, DKind, Assumptions, SkippedClauses);
} }
void Parser::ParseOpenMPEndAssumesDirective(SourceLocation Loc) { void Parser::ParseOpenMPEndAssumesDirective(SourceLocation Loc) {
if (Actions.isInOpenMPAssumeScope()) if (Actions.isInOpenMPAssumeScope())
▲ Show 20 Lines • Show All 2,476 Lines • Show Last 20 Lines

clang/lib/Sema/SemaOpenMP.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 3,207 Lines • ▼ Show 20 Lines if (D) {
DSAStack->addRequiresDecl(D); DSAStack->addRequiresDecl(D);
} }
} }
return DeclGroupPtrTy::make(DeclGroupRef(D)); return DeclGroupPtrTy::make(DeclGroupRef(D));
} }
void Sema::ActOnOpenMPAssumesDirective(SourceLocation Loc, void Sema::ActOnOpenMPAssumesDirective(SourceLocation Loc,
OpenMPDirectiveKind DKind, OpenMPDirectiveKind DKind,
ArrayRef<StringRef> Assumptions, ArrayRef<std::string> Assumptions,
bool SkippedClauses) { bool SkippedClauses) {
if (!SkippedClauses && Assumptions.empty()) if (!SkippedClauses && Assumptions.empty())
Diag(Loc, diag::err_omp_no_clause_for_directive) Diag(Loc, diag::err_omp_no_clause_for_directive)
<< llvm::omp::getAllAssumeClauseOptions() << llvm::omp::getAllAssumeClauseOptions()
<< llvm::omp::getOpenMPDirectiveName(DKind); << llvm::omp::getOpenMPDirectiveName(DKind);
auto *AA = AssumptionAttr::Create(Context, llvm::join(Assumptions, ","), Loc); auto *AA = AssumptionAttr::Create(Context, llvm::join(Assumptions, ","), Loc);
if (DKind == llvm::omp::Directive::OMPD_begin_assumes) { if (DKind == llvm::omp::Directive::OMPD_begin_assumes) {
▲ Show 20 Lines • Show All 18,097 Lines • Show Last 20 Lines

clang/test/OpenMP/assumes_codegen.cpp

Show First 20 Lines • Show All 61 Lines • ▼ Show 20 Lines
#pragma omp begin assumes ext_lambda_assumption #pragma omp begin assumes ext_lambda_assumption
int lambda_outer() { int lambda_outer() {
auto lambda_inner = []() { return 42; }; auto lambda_inner = []() { return 42; };
return lambda_inner(); return lambda_inner();
} }
#pragma omp end assumes #pragma omp end assumes
// AST: void foo() __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST: void foo() __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: class BAR { // AST-NEXT: class BAR {
// AST-NEXT: public: // AST-NEXT: public:
// AST-NEXT: BAR() __attribute__((assume("range_bar_only"))) __attribute__((assume("range_bar_only_2"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: BAR() __attribute__((assume("ompx_range_bar_only"))) __attribute__((assume("ompx_range_bar_only_2"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: void bar1() __attribute__((assume("range_bar_only"))) __attribute__((assume("range_bar_only_2"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: void bar1() __attribute__((assume("ompx_range_bar_only"))) __attribute__((assume("ompx_range_bar_only_2"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: static void bar2() __attribute__((assume("range_bar_only"))) __attribute__((assume("range_bar_only_2"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: static void bar2() __attribute__((assume("ompx_range_bar_only"))) __attribute__((assume("ompx_range_bar_only_2"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: }; // AST-NEXT: };
// AST-NEXT: void bar() __attribute__((assume("range_bar_only"))) __attribute__((assume("range_bar_only_2"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: void bar() __attribute__((assume("ompx_range_bar_only"))) __attribute__((assume("ompx_range_bar_only_2"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: BAR b; // AST-NEXT: BAR b;
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: void baz() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))); // AST-NEXT: void baz() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp")));
// AST-NEXT: template <typename T> class BAZ { // AST-NEXT: template <typename T> class BAZ {
// AST-NEXT: public: // AST-NEXT: public:
// AST-NEXT: BAZ<T>() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: BAZ<T>() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: void baz1() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: void baz1() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: static void baz2() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: static void baz2() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: }; // AST-NEXT: };
// AST-NEXT: template<> class BAZ<float> { // AST-NEXT: template<> class BAZ<float> {
// AST-NEXT: public: // AST-NEXT: public:
// AST-NEXT: BAZ() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: BAZ() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: void baz1() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))); // AST-NEXT: void baz1() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp")));
// AST-NEXT: static void baz2() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))); // AST-NEXT: static void baz2() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp")));
// AST-NEXT: }; // AST-NEXT: };
// AST-NEXT: void baz() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: void baz() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: BAZ<float> b; // AST-NEXT: BAZ<float> b;
// AST-NEXT: } // AST-NEXT: }
// AST-NEXT: int lambda_outer() __attribute__((assume("lambda_assumption"))) __attribute__((assume("no_openmp_routines,another_warning,after_invalid_clauses"))) __attribute__((assume("no_openmp"))) { // AST-NEXT: int lambda_outer() __attribute__((assume("ompx_lambda_assumption"))) __attribute__((assume("omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses"))) __attribute__((assume("omp_no_openmp"))) {
// AST-NEXT: auto lambda_inner = []() { // AST-NEXT: auto lambda_inner = []() {
// AST-NEXT: return 42; // AST-NEXT: return 42;
// AST-NEXT: }; // AST-NEXT: };
// AST-NEXT: return lambda_inner(); // AST-NEXT: return lambda_inner();
// AST-NEXT: } // AST-NEXT: }
#endif #endif
Show All 22 Lines
// CHECK: define{{.*}} i32 @_Z12lambda_outerv() // CHECK: define{{.*}} i32 @_Z12lambda_outerv()
// CHECK-SAME: [[attr7:#[0-9]]] // CHECK-SAME: [[attr7:#[0-9]]]
// CHECK: call{{.*}} @"_ZZ12lambda_outervENK3$_0clEv" // CHECK: call{{.*}} @"_ZZ12lambda_outervENK3$_0clEv"
// CHECK-SAME: [[attr11:#[0-9]]] // CHECK-SAME: [[attr11:#[0-9]]]
// CHECK: define{{.*}} i32 @"_ZZ12lambda_outervENK3$_0clEv"(%class.anon*{{.*}} %this) // CHECK: define{{.*}} i32 @"_ZZ12lambda_outervENK3$_0clEv"(%class.anon*{{.*}} %this)
// CHECK-SAME: [[attr8:#[0-9]]] // CHECK-SAME: [[attr8:#[0-9]]]
// CHECK: attributes [[attr0]] // CHECK: attributes [[attr0]]
// CHECK-SAME: "llvm.assume"="no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr1]] // CHECK: attributes [[attr1]]
// CHECK-SAME: "llvm.assume"="range_bar_only,range_bar_only_2,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_range_bar_only,ompx_range_bar_only_2,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr2]] // CHECK: attributes [[attr2]]
// CHECK-SAME: "llvm.assume"="range_bar_only,range_bar_only_2,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_range_bar_only,ompx_range_bar_only_2,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr3]] // CHECK: attributes [[attr3]]
// CHECK-SAME: "llvm.assume"="range_bar_only,range_bar_only_2,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_range_bar_only,ompx_range_bar_only_2,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr4]] // CHECK: attributes [[attr4]]
// CHECK-SAME: "llvm.assume"="1234,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp,1234,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_1234,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp,ompx_1234,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr5]] // CHECK: attributes [[attr5]]
// CHECK-SAME: "llvm.assume"="1234,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_1234,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr6]] // CHECK: attributes [[attr6]]
// CHECK-SAME: "llvm.assume"="1234,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_1234,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr7]] // CHECK: attributes [[attr7]]
// CHECK-SAME: "llvm.assume"="lambda_assumption,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_lambda_assumption,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr8]] // CHECK: attributes [[attr8]]
// CHECK-SAME: "llvm.assume"="lambda_assumption,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_lambda_assumption,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr9]] // CHECK: attributes [[attr9]]
// CHECK-SAME: "llvm.assume"="range_bar_only,range_bar_only_2,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_range_bar_only,ompx_range_bar_only_2,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr10]] // CHECK: attributes [[attr10]]
// CHECK-SAME: "llvm.assume"="1234,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_1234,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"
// CHECK: attributes [[attr11]] // CHECK: attributes [[attr11]]
// CHECK-SAME: "llvm.assume"="lambda_assumption,no_openmp_routines,another_warning,after_invalid_clauses,no_openmp" // CHECK-SAME: "llvm.assume"="ompx_lambda_assumption,omp_no_openmp_routines,ompx_another_warning,ompx_after_invalid_clauses,omp_no_openmp"

clang/test/OpenMP/assumes_include_nvptx.cpp

Show All 16 Lines
// CHECK: declare void @__kmpc_target_deinit( // CHECK: declare void @__kmpc_target_deinit(
// CHECK: define weak void @__omp_offloading_{{.*}}__Z17complex_reductionIdEvv_{{.*}}() [[attr0]] // CHECK: define weak void @__omp_offloading_{{.*}}__Z17complex_reductionIdEvv_{{.*}}() [[attr0]]
// CHECK: %call = call double @_Z3sind(double 0.000000e+00) [[attr2:#[0-9]]] // CHECK: %call = call double @_Z3sind(double 0.000000e+00) [[attr2:#[0-9]]]
// CHECK: declare double @_Z3sind(double) [[attr1]] // CHECK: declare double @_Z3sind(double) [[attr1]]
// CHECK: attributes [[attr0]] // CHECK: attributes [[attr0]]
// CHECK-NOT: "llvm.assume" // CHECK-NOT: "llvm.assume"
// CHECK: attributes [[attr1]] // CHECK: attributes [[attr1]]
// CHECK-SAME: "llvm.assume"="check_that_this_is_attached_to_included_functions_and_template_instantiations" // CHECK-SAME: "llvm.assume"="ompx_check_that_this_is_attached_to_included_functions_and_template_instantiations"
// CHECK: attributes [[attr2]] // CHECK: attributes [[attr2]]
// CHECK-SAME: "llvm.assume"="check_that_this_is_attached_to_included_functions_and_template_instantiations" // CHECK-SAME: "llvm.assume"="ompx_check_that_this_is_attached_to_included_functions_and_template_instantiations"
template <typename T> template <typename T>
void foo() { void foo() {
cos(T(0)); cos(T(0));
} }
template <typename T> template <typename T>
Show All 13 Lines

clang/test/OpenMP/assumes_print.cpp

Show All 31 Lines
#pragma omp begin assumes ext_not_seen #pragma omp begin assumes ext_not_seen
#pragma omp end assumes #pragma omp end assumes
#pragma omp begin assumes ext_1234 #pragma omp begin assumes ext_1234
void baz() { void baz() {
} }
#pragma omp end assumes #pragma omp end assumes
// CHECK: void foo() __attribute__((assume("no_openmp_routines"))) __attribute__((assume("no_openmp"))) // CHECK: void foo() __attribute__((assume("omp_no_openmp_routines"))) __attribute__((assume("omp_no_openmp")))
// CHECK: void bar() __attribute__((assume("range_bar_only"))) __attribute__((assume("range_bar_only_2"))) __attribute__((assume("no_openmp_routines"))) __attribute__((assume("no_openmp"))) // CHECK: void bar() __attribute__((assume("ompx_range_bar_only"))) __attribute__((assume("ompx_range_bar_only_2"))) __attribute__((assume("omp_no_openmp_routines"))) __attribute__((assume("omp_no_openmp")))
// CHECK: void baz() __attribute__((assume("1234"))) __attribute__((assume("no_openmp_routines"))) __attribute__((assume("no_openmp"))) // CHECK: void baz() __attribute__((assume("ompx_1234"))) __attribute__((assume("omp_no_openmp_routines"))) __attribute__((assume("omp_no_openmp")))
#endif #endif

clang/test/OpenMP/assumes_template_print.cpp

Show All 11 Lines
#ifndef HEADER #ifndef HEADER
#define HEADER #define HEADER
template <typename T> template <typename T>
struct S { struct S {
int a; int a;
// CHECK: template <typename T> struct S { // CHECK: template <typename T> struct S {
// CHECK: void foo() __attribute__((assume("global_assumption"))) { // CHECK: void foo() __attribute__((assume("ompx_global_assumption"))) {
void foo() { void foo() {
#pragma omp parallel #pragma omp parallel
{} {}
} }
}; };
// CHECK: template<> struct S<int> { // CHECK: template<> struct S<int> {
// CHECK: void foo() __attribute__((assume("global_assumption"))) { // CHECK: void foo() __attribute__((assume("ompx_global_assumption"))) {
#pragma omp begin assumes no_openmp #pragma omp begin assumes no_openmp
// CHECK: void S_with_assumes_no_call() __attribute__((assume("no_openmp"))) __attribute__((assume("global_assumption"))) { // CHECK: void S_with_assumes_no_call() __attribute__((assume("omp_no_openmp"))) __attribute__((assume("ompx_global_assumption"))) {
void S_with_assumes_no_call() { void S_with_assumes_no_call() {
S<int> s; S<int> s;
s.a = 0; s.a = 0;
} }
// CHECK: void S_with_assumes_call() __attribute__((assume("no_openmp"))) __attribute__((assume("global_assumption"))) { // CHECK: void S_with_assumes_call() __attribute__((assume("omp_no_openmp"))) __attribute__((assume("ompx_global_assumption"))) {
void S_with_assumes_call() { void S_with_assumes_call() {
S<int> s; S<int> s;
s.a = 0; s.a = 0;
// If this is executed we have UB! // If this is executed we have UB!
s.foo(); s.foo();
} }
#pragma omp end assumes #pragma omp end assumes
// CHECK: void S_without_assumes() __attribute__((assume("global_assumption"))) { // CHECK: void S_without_assumes() __attribute__((assume("ompx_global_assumption"))) {
void S_without_assumes() { void S_without_assumes() {
S<int> s; S<int> s;
s.foo(); s.foo();
} }
#pragma omp assumes ext_global_assumption #pragma omp assumes ext_global_assumption
// Same as the struct S above but the order in which we instantiate P is different, first outside of an assumes. // Same as the struct S above but the order in which we instantiate P is different, first outside of an assumes.
template <typename T> template <typename T>
struct P { struct P {
// CHECK: template <typename T> struct P { // CHECK: template <typename T> struct P {
// CHECK: void foo() __attribute__((assume("global_assumption"))) { // CHECK: void foo() __attribute__((assume("ompx_global_assumption"))) {
int a; int a;
void foo() { void foo() {
#pragma omp parallel #pragma omp parallel
{} {}
} }
}; };
// TODO: Avoid the duplication here: // TODO: Avoid the duplication here:
// CHECK: template<> struct P<int> { // CHECK: template<> struct P<int> {
// CHECK: void foo() __attribute__((assume("global_assumption"))) __attribute__((assume("global_assumption"))) { // CHECK: void foo() __attribute__((assume("ompx_global_assumption"))) __attribute__((assume("ompx_global_assumption"))) {
// CHECK: void P_without_assumes() __attribute__((assume("global_assumption"))) { // CHECK: void P_without_assumes() __attribute__((assume("ompx_global_assumption"))) {
void P_without_assumes() { void P_without_assumes() {
P<int> p; P<int> p;
p.foo(); p.foo();
} }
#pragma omp begin assumes no_openmp #pragma omp begin assumes no_openmp
// CHECK: void P_with_assumes_no_call() __attribute__((assume("no_openmp"))) __attribute__((assume("global_assumption"))) { // CHECK: void P_with_assumes_no_call() __attribute__((assume("omp_no_openmp"))) __attribute__((assume("ompx_global_assumption"))) {
void P_with_assumes_no_call() { void P_with_assumes_no_call() {
P<int> p; P<int> p;
p.a = 0; p.a = 0;
} }
// CHECK: void P_with_assumes_call() __attribute__((assume("no_openmp"))) __attribute__((assume("global_assumption"))) { // CHECK: void P_with_assumes_call() __attribute__((assume("omp_no_openmp"))) __attribute__((assume("ompx_global_assumption"))) {
void P_with_assumes_call() { void P_with_assumes_call() {
P<int> p; P<int> p;
p.a = 0; p.a = 0;
// If this is executed we have UB! // If this is executed we have UB!
p.foo(); p.foo();
} }
#pragma omp end assumes #pragma omp end assumes
#endif #endif