[Clang][OpenMP] Add the support for atomic compare in parser
This patch adds the support for `atomic compare` in parser. The support in Sema and CodeGen will come soon. For now, it simply eimits an error when it is encountered. Reviewed By: ABataev Differential Revision: https://reviews.llvm.org/D115561
This commit is contained in:
parent
bb84dd8159
commit
c7a589a2c4
|
@ -2224,6 +2224,47 @@ public:
|
|||
}
|
||||
};
|
||||
|
||||
/// This represents 'compare' clause in the '#pragma omp atomic'
|
||||
/// directive.
|
||||
///
|
||||
/// \code
|
||||
/// #pragma omp atomic compare
|
||||
/// \endcode
|
||||
/// In this example directive '#pragma omp atomic' has 'compare' clause.
|
||||
class OMPCompareClause final : public OMPClause {
|
||||
public:
|
||||
/// Build 'compare' clause.
|
||||
///
|
||||
/// \param StartLoc Starting location of the clause.
|
||||
/// \param EndLoc Ending location of the clause.
|
||||
OMPCompareClause(SourceLocation StartLoc, SourceLocation EndLoc)
|
||||
: OMPClause(llvm::omp::OMPC_compare, StartLoc, EndLoc) {}
|
||||
|
||||
/// Build an empty clause.
|
||||
OMPCompareClause()
|
||||
: OMPClause(llvm::omp::OMPC_compare, SourceLocation(), SourceLocation()) {
|
||||
}
|
||||
|
||||
child_range children() {
|
||||
return child_range(child_iterator(), child_iterator());
|
||||
}
|
||||
|
||||
const_child_range children() const {
|
||||
return const_child_range(const_child_iterator(), const_child_iterator());
|
||||
}
|
||||
|
||||
child_range used_children() {
|
||||
return child_range(child_iterator(), child_iterator());
|
||||
}
|
||||
const_child_range used_children() const {
|
||||
return const_child_range(const_child_iterator(), const_child_iterator());
|
||||
}
|
||||
|
||||
static bool classof(const OMPClause *T) {
|
||||
return T->getClauseKind() == llvm::omp::OMPC_compare;
|
||||
}
|
||||
};
|
||||
|
||||
/// This represents 'seq_cst' clause in the '#pragma omp atomic'
|
||||
/// directive.
|
||||
///
|
||||
|
|
|
@ -3234,6 +3234,11 @@ bool RecursiveASTVisitor<Derived>::VisitOMPCaptureClause(OMPCaptureClause *) {
|
|||
return true;
|
||||
}
|
||||
|
||||
template <typename Derived>
|
||||
bool RecursiveASTVisitor<Derived>::VisitOMPCompareClause(OMPCompareClause *) {
|
||||
return true;
|
||||
}
|
||||
|
||||
template <typename Derived>
|
||||
bool RecursiveASTVisitor<Derived>::VisitOMPSeqCstClause(OMPSeqCstClause *) {
|
||||
return true;
|
||||
|
|
|
@ -10509,7 +10509,7 @@ def err_omp_atomic_capture_not_compound_statement : Error<
|
|||
def note_omp_atomic_capture: Note<
|
||||
"%select{expected assignment expression|expected compound statement|expected exactly two expression statements|expected in right hand side of the first expression}0">;
|
||||
def err_omp_atomic_several_clauses : Error<
|
||||
"directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause">;
|
||||
"directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause">;
|
||||
def err_omp_several_mem_order_clauses : Error<
|
||||
"directive '#pragma omp %0' cannot contain more than one %select{'seq_cst', 'relaxed', |}1'acq_rel', 'acquire' or 'release' clause">;
|
||||
def err_omp_atomic_incompatible_mem_order_clause : Error<
|
||||
|
|
|
@ -11190,6 +11190,9 @@ public:
|
|||
/// Called on well-formed 'capture' clause.
|
||||
OMPClause *ActOnOpenMPCaptureClause(SourceLocation StartLoc,
|
||||
SourceLocation EndLoc);
|
||||
/// Called on well-formed 'compare' clause.
|
||||
OMPClause *ActOnOpenMPCompareClause(SourceLocation StartLoc,
|
||||
SourceLocation EndLoc);
|
||||
/// Called on well-formed 'seq_cst' clause.
|
||||
OMPClause *ActOnOpenMPSeqCstClause(SourceLocation StartLoc,
|
||||
SourceLocation EndLoc);
|
||||
|
|
|
@ -126,6 +126,7 @@ const OMPClauseWithPreInit *OMPClauseWithPreInit::get(const OMPClause *C) {
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -217,6 +218,7 @@ const OMPClauseWithPostUpdate *OMPClauseWithPostUpdate::get(const OMPClause *C)
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -1792,6 +1794,10 @@ void OMPClausePrinter::VisitOMPCaptureClause(OMPCaptureClause *) {
|
|||
OS << "capture";
|
||||
}
|
||||
|
||||
void OMPClausePrinter::VisitOMPCompareClause(OMPCompareClause *) {
|
||||
OS << "compare";
|
||||
}
|
||||
|
||||
void OMPClausePrinter::VisitOMPSeqCstClause(OMPSeqCstClause *) {
|
||||
OS << "seq_cst";
|
||||
}
|
||||
|
|
|
@ -551,6 +551,8 @@ void OMPClauseProfiler::VisitOMPUpdateClause(const OMPUpdateClause *) {}
|
|||
|
||||
void OMPClauseProfiler::VisitOMPCaptureClause(const OMPCaptureClause *) {}
|
||||
|
||||
void OMPClauseProfiler::VisitOMPCompareClause(const OMPCompareClause *) {}
|
||||
|
||||
void OMPClauseProfiler::VisitOMPSeqCstClause(const OMPSeqCstClause *) {}
|
||||
|
||||
void OMPClauseProfiler::VisitOMPAcqRelClause(const OMPAcqRelClause *) {}
|
||||
|
|
|
@ -163,6 +163,7 @@ unsigned clang::getOpenMPSimpleClauseType(OpenMPClauseKind Kind, StringRef Str,
|
|||
case OMPC_read:
|
||||
case OMPC_write:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -428,6 +429,7 @@ const char *clang::getOpenMPSimpleClauseTypeName(OpenMPClauseKind Kind,
|
|||
case OMPC_read:
|
||||
case OMPC_write:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
|
|
@ -5967,6 +5967,9 @@ static void emitOMPAtomicExpr(CodeGenFunction &CGF, OpenMPClauseKind Kind,
|
|||
emitOMPAtomicCaptureExpr(CGF, AO, IsPostfixUpdate, V, X, E, UE,
|
||||
IsXLHSInRHSPart, Loc);
|
||||
break;
|
||||
case OMPC_compare:
|
||||
// Do nothing here as we already emit an error.
|
||||
break;
|
||||
case OMPC_if:
|
||||
case OMPC_final:
|
||||
case OMPC_num_threads:
|
||||
|
|
|
@ -3192,6 +3192,7 @@ OMPClause *Parser::ParseOpenMPClause(OpenMPDirectiveKind DKind,
|
|||
case OMPC_read:
|
||||
case OMPC_write:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
|
|
@ -6354,6 +6354,7 @@ StmtResult Sema::ActOnOpenMPExecutableDirective(
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -10939,7 +10940,8 @@ StmtResult Sema::ActOnOpenMPAtomicDirective(ArrayRef<OMPClause *> Clauses,
|
|||
case OMPC_read:
|
||||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture: {
|
||||
case OMPC_capture:
|
||||
case OMPC_compare: {
|
||||
if (AtomicKind != OMPC_unknown) {
|
||||
Diag(C->getBeginLoc(), diag::err_omp_atomic_several_clauses)
|
||||
<< SourceRange(C->getBeginLoc(), C->getEndLoc());
|
||||
|
@ -11383,15 +11385,21 @@ StmtResult Sema::ActOnOpenMPAtomicDirective(ArrayRef<OMPClause *> Clauses,
|
|||
SourceRange(Body->getBeginLoc(), Body->getBeginLoc());
|
||||
ErrorFound = NotACompoundStatement;
|
||||
}
|
||||
if (ErrorFound != NoError) {
|
||||
Diag(ErrorLoc, diag::err_omp_atomic_capture_not_compound_statement)
|
||||
<< ErrorRange;
|
||||
Diag(NoteLoc, diag::note_omp_atomic_capture) << ErrorFound << NoteRange;
|
||||
return StmtError();
|
||||
}
|
||||
if (CurContext->isDependentContext())
|
||||
UE = V = E = X = nullptr;
|
||||
}
|
||||
if (ErrorFound != NoError) {
|
||||
Diag(ErrorLoc, diag::err_omp_atomic_capture_not_compound_statement)
|
||||
<< ErrorRange;
|
||||
Diag(NoteLoc, diag::note_omp_atomic_capture) << ErrorFound << NoteRange;
|
||||
return StmtError();
|
||||
}
|
||||
if (CurContext->isDependentContext())
|
||||
UE = V = E = X = nullptr;
|
||||
} else if (AtomicKind == OMPC_compare) {
|
||||
// TODO: For now we emit an error here and in emitOMPAtomicExpr we ignore
|
||||
// code gen.
|
||||
unsigned DiagID = Diags.getCustomDiagID(
|
||||
DiagnosticsEngine::Error, "atomic compare is not supported for now");
|
||||
Diag(AtomicKindLoc, DiagID);
|
||||
}
|
||||
|
||||
setFunctionHasBranchProtectedScope();
|
||||
|
@ -13472,6 +13480,7 @@ OMPClause *Sema::ActOnOpenMPSingleExprClause(OpenMPClauseKind Kind, Expr *Expr,
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -14303,6 +14312,7 @@ static OpenMPDirectiveKind getOpenMPCaptureRegionForClause(
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -14764,6 +14774,7 @@ OMPClause *Sema::ActOnOpenMPSimpleClause(
|
|||
case OMPC_read:
|
||||
case OMPC_write:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -15069,6 +15080,7 @@ OMPClause *Sema::ActOnOpenMPSingleExprWithArgClause(
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
@ -15257,6 +15269,9 @@ OMPClause *Sema::ActOnOpenMPClause(OpenMPClauseKind Kind,
|
|||
case OMPC_capture:
|
||||
Res = ActOnOpenMPCaptureClause(StartLoc, EndLoc);
|
||||
break;
|
||||
case OMPC_compare:
|
||||
Res = ActOnOpenMPCompareClause(StartLoc, EndLoc);
|
||||
break;
|
||||
case OMPC_seq_cst:
|
||||
Res = ActOnOpenMPSeqCstClause(StartLoc, EndLoc);
|
||||
break;
|
||||
|
@ -15403,6 +15418,11 @@ OMPClause *Sema::ActOnOpenMPCaptureClause(SourceLocation StartLoc,
|
|||
return new (Context) OMPCaptureClause(StartLoc, EndLoc);
|
||||
}
|
||||
|
||||
OMPClause *Sema::ActOnOpenMPCompareClause(SourceLocation StartLoc,
|
||||
SourceLocation EndLoc) {
|
||||
return new (Context) OMPCompareClause(StartLoc, EndLoc);
|
||||
}
|
||||
|
||||
OMPClause *Sema::ActOnOpenMPSeqCstClause(SourceLocation StartLoc,
|
||||
SourceLocation EndLoc) {
|
||||
return new (Context) OMPSeqCstClause(StartLoc, EndLoc);
|
||||
|
@ -15871,6 +15891,7 @@ OMPClause *Sema::ActOnOpenMPVarListClause(
|
|||
case OMPC_write:
|
||||
case OMPC_update:
|
||||
case OMPC_capture:
|
||||
case OMPC_compare:
|
||||
case OMPC_seq_cst:
|
||||
case OMPC_acq_rel:
|
||||
case OMPC_acquire:
|
||||
|
|
|
@ -9460,6 +9460,13 @@ TreeTransform<Derived>::TransformOMPCaptureClause(OMPCaptureClause *C) {
|
|||
return C;
|
||||
}
|
||||
|
||||
template <typename Derived>
|
||||
OMPClause *
|
||||
TreeTransform<Derived>::TransformOMPCompareClause(OMPCompareClause *C) {
|
||||
// No need to rebuild this clause, no template-dependent parameters.
|
||||
return C;
|
||||
}
|
||||
|
||||
template <typename Derived>
|
||||
OMPClause *
|
||||
TreeTransform<Derived>::TransformOMPSeqCstClause(OMPSeqCstClause *C) {
|
||||
|
|
|
@ -11765,6 +11765,9 @@ OMPClause *OMPClauseReader::readClause() {
|
|||
case llvm::omp::OMPC_capture:
|
||||
C = new (Context) OMPCaptureClause();
|
||||
break;
|
||||
case llvm::omp::OMPC_compare:
|
||||
C = new (Context) OMPCompareClause();
|
||||
break;
|
||||
case llvm::omp::OMPC_seq_cst:
|
||||
C = new (Context) OMPSeqCstClause();
|
||||
break;
|
||||
|
@ -12123,6 +12126,8 @@ void OMPClauseReader::VisitOMPUpdateClause(OMPUpdateClause *C) {
|
|||
|
||||
void OMPClauseReader::VisitOMPCaptureClause(OMPCaptureClause *) {}
|
||||
|
||||
void OMPClauseReader::VisitOMPCompareClause(OMPCompareClause *) {}
|
||||
|
||||
void OMPClauseReader::VisitOMPSeqCstClause(OMPSeqCstClause *) {}
|
||||
|
||||
void OMPClauseReader::VisitOMPAcqRelClause(OMPAcqRelClause *) {}
|
||||
|
|
|
@ -6252,6 +6252,8 @@ void OMPClauseWriter::VisitOMPUpdateClause(OMPUpdateClause *C) {
|
|||
|
||||
void OMPClauseWriter::VisitOMPCaptureClause(OMPCaptureClause *) {}
|
||||
|
||||
void OMPClauseWriter::VisitOMPCompareClause(OMPCompareClause *) {}
|
||||
|
||||
void OMPClauseWriter::VisitOMPSeqCstClause(OMPSeqCstClause *) {}
|
||||
|
||||
void OMPClauseWriter::VisitOMPAcqRelClause(OMPAcqRelClause *) {}
|
||||
|
|
|
@ -1,8 +1,10 @@
|
|||
// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp -fopenmp-version=45 -ferror-limit 150 %s -Wuninitialized
|
||||
// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp -ferror-limit 150 %s -Wuninitialized
|
||||
// RUN: %clang_cc1 -verify=expected,omp50,omp51 -fopenmp -fopenmp-version=51 -ferror-limit 150 %s -Wuninitialized
|
||||
|
||||
// RUN: %clang_cc1 -verify=expected,omp45 -fopenmp-simd -fopenmp-version=45 -ferror-limit 150 %s -Wuninitialized
|
||||
// RUN: %clang_cc1 -verify=expected,omp50 -fopenmp-simd -ferror-limit 150 %s -Wuninitialized
|
||||
// RUN: %clang_cc1 -verify=expected,omp50,omp51 -fopenmp-simd -fopenmp-version=51 -ferror-limit 150 %s -Wuninitialized
|
||||
|
||||
int foo() {
|
||||
L1:
|
||||
|
@ -896,19 +898,19 @@ int relaxed() {
|
|||
template <class T>
|
||||
T mixed() {
|
||||
T a, b = T();
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 2 {{'read' clause used here}}
|
||||
#pragma omp atomic read write
|
||||
a = b;
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 2 {{'write' clause used here}}
|
||||
#pragma omp atomic write read
|
||||
a = b;
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 2 {{'update' clause used here}}
|
||||
#pragma omp atomic update read
|
||||
a += b;
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 2 {{'capture' clause used here}}
|
||||
#pragma omp atomic capture read
|
||||
a = ++b;
|
||||
|
@ -917,19 +919,19 @@ T mixed() {
|
|||
|
||||
int mixed() {
|
||||
int a, b = 0;
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 {{'read' clause used here}}
|
||||
#pragma omp atomic read write
|
||||
a = b;
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 {{'write' clause used here}}
|
||||
#pragma omp atomic write read
|
||||
a = b;
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 {{'write' clause used here}}
|
||||
#pragma omp atomic write update
|
||||
a = b;
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update' or 'capture' clause}}
|
||||
// expected-error@+2 {{directive '#pragma omp atomic' cannot contain more than one 'read', 'write', 'update', 'capture', or 'compare' clause}}
|
||||
// expected-note@+1 {{'write' clause used here}}
|
||||
#pragma omp atomic write capture
|
||||
a = b;
|
||||
|
@ -937,3 +939,14 @@ int mixed() {
|
|||
return mixed<int>();
|
||||
}
|
||||
|
||||
#if _OPENMP >= 202011
|
||||
int compare() {
|
||||
int a, b, c;
|
||||
// omp51-error@+1 {{atomic compare is not supported for now}}
|
||||
#pragma omp atomic compare
|
||||
{
|
||||
if (a == b)
|
||||
a = c;
|
||||
}
|
||||
}
|
||||
#endif
|
||||
|
|
|
@ -2275,6 +2275,8 @@ void OMPClauseEnqueue::VisitOMPUpdateClause(const OMPUpdateClause *) {}
|
|||
|
||||
void OMPClauseEnqueue::VisitOMPCaptureClause(const OMPCaptureClause *) {}
|
||||
|
||||
void OMPClauseEnqueue::VisitOMPCompareClause(const OMPCompareClause *) {}
|
||||
|
||||
void OMPClauseEnqueue::VisitOMPSeqCstClause(const OMPSeqCstClause *) {}
|
||||
|
||||
void OMPClauseEnqueue::VisitOMPAcqRelClause(const OMPAcqRelClause *) {}
|
||||
|
|
|
@ -1482,6 +1482,7 @@ CHECK_SIMPLE_CLAUSE(AppendArgs, OMPC_append_args)
|
|||
CHECK_SIMPLE_CLAUSE(MemoryOrder, OMPC_memory_order)
|
||||
CHECK_SIMPLE_CLAUSE(Bind, OMPC_bind)
|
||||
CHECK_SIMPLE_CLAUSE(Align, OMPC_align)
|
||||
CHECK_SIMPLE_CLAUSE(Compare, OMPC_compare)
|
||||
|
||||
CHECK_REQ_SCALAR_INT_CLAUSE(Grainsize, OMPC_grainsize)
|
||||
CHECK_REQ_SCALAR_INT_CLAUSE(NumTasks, OMPC_num_tasks)
|
||||
|
|
|
@ -180,6 +180,7 @@ def OMPC_Read : Clause<"read"> { let clangClass = "OMPReadClause"; }
|
|||
def OMPC_Write : Clause<"write"> { let clangClass = "OMPWriteClause"; }
|
||||
def OMPC_Update : Clause<"update"> { let clangClass = "OMPUpdateClause"; }
|
||||
def OMPC_Capture : Clause<"capture"> { let clangClass = "OMPCaptureClause"; }
|
||||
def OMPC_Compare : Clause<"compare"> { let clangClass = "OMPCompareClause"; }
|
||||
def OMPC_SeqCst : Clause<"seq_cst"> { let clangClass = "OMPSeqCstClause"; }
|
||||
def OMPC_AcqRel : Clause<"acq_rel"> { let clangClass = "OMPAcqRelClause"; }
|
||||
def OMPC_Acquire : Clause<"acquire"> { let clangClass = "OMPAcquireClause"; }
|
||||
|
@ -536,6 +537,7 @@ def OMP_Atomic : Directive<"atomic"> {
|
|||
VersionedClause<OMPC_Write>,
|
||||
VersionedClause<OMPC_Update>,
|
||||
VersionedClause<OMPC_Capture>,
|
||||
VersionedClause<OMPC_Compare, 51>
|
||||
];
|
||||
let allowedOnceClauses = [
|
||||
VersionedClause<OMPC_SeqCst>,
|
||||
|
|
Loading…
Reference in New Issue