41#ifndef LLVM_FRONTEND_OPENMP_CLAUSET_H
42#define LLVM_FRONTEND_OPENMP_CLAUSET_H
61#define ENUM(Name, ...) enum class Name { __VA_ARGS__ }
62#define OPT(x) std::optional<x>
76#define CLAUSET_SCOPED_ENUM_MEMBER_CONVERT(Ov, Tv) \
77 if (v == OtherEnum::Ov) { \
78 return ThisEnum::Tv; \
82#define CLAUSET_UNSCOPED_ENUM_MEMBER_CONVERT(Ov, Tv) \
84 return ThisEnum::Tv; \
87#define CLAUSET_ENUM_CONVERT(func, OtherE, ThisE, Maps) \
88 auto func = [](OtherE v) -> ThisE { \
89 using ThisEnum = ThisE; \
90 using OtherEnum = OtherE; \
91 (void)sizeof(OtherEnum); \
93 llvm_unreachable("Unexpected value in " #OtherE); \
115 static constexpr bool value =
false;
127template <
typename... Types1,
typename... Types2>
129 using type = std::variant<Types1..., Types2...>;
145template <
typename T,
typename... Ts>
struct Union<
T, Ts...> {
146 static_assert(detail::is_variant_v<T>);
179template <
typename IdType,
typename ExprType>
struct ObjectT;
182template <
typename I,
typename E>
184 return o1.id() == o2.id();
191template <
typename I,
typename E>
197 ENUM(IntrinsicOperator, Power, Multiply, Divide, Add, Subtract,
Concat, LT,
198 LE,
EQ, NE, GE, GT, NOT, AND, OR, EQV, NEQV, Min, Max);
200 std::variant<DefinedOpName, IntrinsicOperator>
u;
212template <
typename TypeType,
typename IdType,
typename ExprType>
228template <
typename I,
typename E>
237ENUM(MemoryOrder, AcqRel, Acquire, Relaxed, Release, SeqCst);
238ENUM(MotionExpectation, Present);
240ENUM(TaskDependenceType, In, Out, Inout, Mutexinoutset, Inoutset, Depobj);
242template <
typename I,
typename E>
246 std::tuple<DefinedOperatorT<I, E>,
E>
t;
252template <
typename I,
typename E>
265template <
typename I,
typename E>
271template <
typename T,
typename I,
typename E>
275std::enable_if_t<T::EmptyTrait::value, bool> operator==(
const T &a,
280std::enable_if_t<T::IncompleteTrait::value, bool> operator==(
const T &a,
285std::enable_if_t<T::WrapperTrait::value, bool> operator==(
const T &a,
290std::enable_if_t<T::TupleTrait::value, bool> operator==(
const T &a,
295std::enable_if_t<T::UnionTrait::value, bool> operator==(
const T &a,
306template <
typename T,
typename I,
typename E>
310 typename ContainerTy,
typename FunctionTy,
312 typename ResultTy = std::invoke_result_t<FunctionTy, ElemTy>>
320using type::operator==;
323template <
typename T,
typename I,
typename E>
331template <
typename T,
typename I,
typename E>
337template <
typename T,
typename I,
typename E>
343template <
typename T,
typename I,
typename E>
349template <
typename T,
typename I,
typename E>
359template <
typename T,
typename I,
typename E>
368template <
typename T,
typename I,
typename E>
377template <
typename T,
typename I,
typename E>
381template <
typename T,
typename I,
typename E>
395template <
typename T,
typename I,
typename E>
403template <
typename T,
typename I,
typename E>
409template <
typename T,
typename I,
typename E>
411 ENUM(ActionTime, Compilation, Execution);
417template <
typename T,
typename I,
typename E>
425template <
typename T,
typename I,
typename E>
433template <
typename T,
typename I,
typename E>
439template <
typename T,
typename I,
typename E>
447template <
typename T,
typename I,
typename E>
453template <
typename T,
typename I,
typename E>
461template <
typename T,
typename I,
typename E>
469template <
typename T,
typename I,
typename E>
477template <
typename T,
typename I,
typename E>
479 ENUM(DataSharingAttribute, Firstprivate,
None, Private, Shared);
481 DataSharingAttribute
v;
485template <
typename T,
typename I,
typename E>
489 ENUM(VariableCategory, Scalar, Aggregate, Pointer, Allocatable);
491 std::tuple<ImplicitBehavior,
OPT(VariableCategory)>
t;
494template <
typename T,
typename I,
typename E>
498template <
typename T,
typename I,
typename E>
512 std::variant<Doacross, WithLocators>
u;
516template <
typename T,
typename I,
typename E>
525template <
typename T,
typename I,
typename E>
533template <
typename T,
typename I,
typename E>
536 ENUM(DeviceModifier, Ancestor, DeviceNum);
542template <
typename T,
typename I,
typename E>
544 ENUM(DeviceTypeDescription, Any, Host, Nohost);
546 DeviceTypeDescription
v;
550template <
typename T,
typename I,
typename E>
559template <
typename T,
typename I,
typename E>
562 ENUM(DependenceType, Source, Sink);
565 std::tuple<DependenceType, Vector>
t;
569template <
typename T,
typename I,
typename E>
575template <
typename T,
typename I,
typename E>
583template <
typename T,
typename I,
typename E>
591template <
typename T,
typename I,
typename E>
599template <
typename T,
typename I,
typename E>
607template <
typename T,
typename I,
typename E>
615template <
typename T,
typename I,
typename E>
623template <
typename T,
typename I,
typename E>
636template <
typename T,
typename I,
typename E>
642template <
typename T,
typename I,
typename E>
644 ENUM(Prescriptiveness, Strict);
651template <
typename T,
typename I,
typename E>
659template <
typename T,
typename I,
typename E>
667template <
typename T,
typename I,
typename E>
674template <
typename T,
typename I,
typename E>
683template <
typename T,
typename I,
typename E>
689template <
typename T,
typename I,
typename E>
697template <
typename T,
typename I,
typename E>
705template <
typename T,
typename I,
typename E>
710 ENUM(InteropType, Target, Targetsync);
718template <
typename T,
typename I,
typename E>
726template <
typename T,
typename I,
typename E>
733 std::tuple<ReductionIdentifiers, List>
t;
737template <
typename T,
typename I,
typename E>
745template <
typename T,
typename I,
typename E>
748 ENUM(LastprivateModifier, Conditional);
754template <
typename T,
typename I,
typename E>
760 ENUM(LinearModifier, Ref, Val, Uval);
770template <
typename T,
typename I,
typename E>
778template <
typename T,
typename I,
typename E>
781 ENUM(MapType, To,
From, Tofrom, Alloc, Release, Delete);
782 ENUM(MapTypeModifier, Always, Close, Present, OmpxHold);
795template <
typename T,
typename I,
typename E>
801template <
typename T,
typename I,
typename E>
807template <
typename T,
typename I,
typename E>
815template <
typename T,
typename I,
typename E>
823template <
typename T,
typename I,
typename E>
829template <
typename T,
typename I,
typename E>
837template <
typename T,
typename I,
typename E>
843template <
typename T,
typename I,
typename E>
849template <
typename T,
typename I,
typename E>
855template <
typename T,
typename I,
typename E>
861template <
typename T,
typename I,
typename E>
869template <
typename T,
typename I,
typename E>
875template <
typename T,
typename I,
typename E>
878 ENUM(Prescriptiveness, Strict);
884template <
typename T,
typename I,
typename E>
893template <
typename T,
typename I,
typename E>
900template <
typename T,
typename I,
typename E>
905template <
typename T,
typename I,
typename E>
910template <
typename T,
typename I,
typename E>
917template <
typename T,
typename I,
typename E>
919 ENUM(OrderModifier, Reproducible, Unconstrained);
922 std::tuple<
OPT(OrderModifier), Ordering>
t;
926template <
typename T,
typename I,
typename E>
934template <
typename T,
typename I,
typename E>
940template <
typename T,
typename I,
typename E>
948template <
typename T,
typename I,
typename E>
956template <
typename T,
typename I,
typename E>
964template <
typename T,
typename I,
typename E>
966 ENUM(AffinityPolicy, Close, Master, Spread, Primary);
972template <
typename T,
typename I,
typename E>
978template <
typename T,
typename I,
typename E>
990template <
typename T,
typename I,
typename E>
996template <
typename T,
typename I,
typename E>
1002template <
typename T,
typename I,
typename E>
1008template <
typename T,
typename I,
typename E>
1016template <
typename T,
typename I,
typename E>
1018 ENUM(Kind, Static, Dynamic, Guided, Auto, Runtime);
1020 ENUM(OrderingModifier, Monotonic, Nonmonotonic);
1027template <
typename T,
typename I,
typename E>
1033template <
typename T,
typename I,
typename E>
1041template <
typename T,
typename I,
typename E>
1049template <
typename T,
typename I,
typename E>
1055template <
typename T,
typename I,
typename E>
1063template <
typename T,
typename I,
typename E>
1071template <
typename T,
typename I,
typename E>
1078 std::tuple<ReductionIdentifiers, List>
t;
1082template <
typename T,
typename I,
typename E>
1090template <
typename T,
typename I,
typename E>
1096template <
typename T,
typename I,
typename E>
1109template <
typename T,
typename I,
typename E>
1115template <
typename T,
typename I,
typename E>
1121template <
typename T,
typename I,
typename E>
1128template <
typename T,
typename I,
typename E>
1134template <
typename T,
typename I,
typename E>
1142template <
typename T,
typename I,
typename E>
1150template <
typename T,
typename I,
typename E>
1158template <
typename T,
typename I,
typename E>
1166template <
typename T,
typename I,
typename E>
1174template <
typename T,
typename I,
typename E>
1189template <
typename T,
typename I,
typename E>
1195template <
typename T,
typename I,
typename E>
1201template <
typename T,
typename I,
typename E>
1208template <
typename T,
typename I,
typename E>
1213template <
typename T,
typename I,
typename E>
1215 AcqRelT<T, I, E>,
AcquireT<T, I, E>,
CaptureT<T, I, E>,
CompareT<T, I, E>,
1219 NowaitT<T, I, E>,
ReadT<T, I, E>,
RelaxedT<T, I, E>,
ReleaseT<T, I, E>,
1222 UnknownT<T, I, E>,
UntiedT<T, I, E>,
UseT<T, I, E>,
WeakT<T, I, E>,
1225template <
typename T,
typename I,
typename E>
1230template <
typename T,
typename I,
typename E>
1240template <
typename T,
typename I,
typename E>
1243template <
typename T,
typename I,
typename E>
1250 ExclusiveT<T, I, E>,
FailT<T, I, E>,
FilterT<T, I, E>,
FinalT<T, I, E>,
1256 OrderedT<T, I, E>,
PartialT<T, I, E>,
PriorityT<T, I, E>,
PrivateT<T, I, E>,
1257 ProcBindT<T, I, E>,
SafelenT<T, I, E>,
SeverityT<T, I, E>,
SharedT<T, I, E>,
1262template <
typename T,
typename I,
typename E>
1273using type::operator==;
1287template <
typename TypeType,
typename IdType,
typename ExprType,
1299 std::variant<Extras...>>::type;
1307 llvm::omp::Directive
id = llvm::omp::Directive::OMPD_unknown;
BlockVerifier::State From
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
This file defines the DenseMap class.
This file defines the DenseSet and SmallDenseSet classes.
This file defines the SmallVector class.
static constexpr int Concat[]
constexpr bool is_variant_v
OutputIt transform(R &&Range, OutputIt d_first, UnaryFunction F)
Wrapper function around std::transform to apply a function to a range and store the result elsewhere.
typename llvm::remove_cvref< T >::type remove_cvref_t
Implement std::hash so that hash_code can be used in STL containers.
std::variant< DependT< T, I, E > > UnionClausesT
std::variant< AcqRelT< T, I, E >, AcquireT< T, I, E >, CaptureT< T, I, E >, CompareT< T, I, E >, DynamicAllocatorsT< T, I, E >, FullT< T, I, E >, InbranchT< T, I, E >, MergeableT< T, I, E >, NogroupT< T, I, E >, NoOpenmpRoutinesT< T, I, E >, NoOpenmpT< T, I, E >, NoParallelismT< T, I, E >, NotinbranchT< T, I, E >, NowaitT< T, I, E >, ReadT< T, I, E >, RelaxedT< T, I, E >, ReleaseT< T, I, E >, ReverseOffloadT< T, I, E >, SeqCstT< T, I, E >, SimdT< T, I, E >, ThreadsT< T, I, E >, UnifiedAddressT< T, I, E >, UnifiedSharedMemoryT< T, I, E >, UnknownT< T, I, E >, UntiedT< T, I, E >, UseT< T, I, E >, WeakT< T, I, E >, WriteT< T, I, E > > EmptyClausesT
typename type::Union< EmptyClausesT< T, I, E >, ExtensionClausesT< T, I, E >, IncompleteClausesT< T, I, E >, TupleClausesT< T, I, E >, UnionClausesT< T, I, E >, WrapperClausesT< T, I, E > >::type UnionOfAllClausesT
std::variant< AbsentT< T, I, E >, AlignT< T, I, E >, AllocatorT< T, I, E >, AtomicDefaultMemOrderT< T, I, E >, AtT< T, I, E >, BindT< T, I, E >, CollapseT< T, I, E >, ContainsT< T, I, E >, CopyinT< T, I, E >, CopyprivateT< T, I, E >, DefaultT< T, I, E >, DestroyT< T, I, E >, DetachT< T, I, E >, DeviceTypeT< T, I, E >, EnterT< T, I, E >, ExclusiveT< T, I, E >, FailT< T, I, E >, FilterT< T, I, E >, FinalT< T, I, E >, FirstprivateT< T, I, E >, HasDeviceAddrT< T, I, E >, HintT< T, I, E >, HoldsT< T, I, E >, InclusiveT< T, I, E >, IndirectT< T, I, E >, InitializerT< T, I, E >, IsDevicePtrT< T, I, E >, LinkT< T, I, E >, MessageT< T, I, E >, NocontextT< T, I, E >, NontemporalT< T, I, E >, NovariantsT< T, I, E >, NumTeamsT< T, I, E >, NumThreadsT< T, I, E >, OrderedT< T, I, E >, PartialT< T, I, E >, PriorityT< T, I, E >, PrivateT< T, I, E >, ProcBindT< T, I, E >, SafelenT< T, I, E >, SeverityT< T, I, E >, SharedT< T, I, E >, SimdlenT< T, I, E >, SizesT< T, I, E >, ThreadLimitT< T, I, E >, UniformT< T, I, E >, UpdateT< T, I, E >, UseDeviceAddrT< T, I, E >, UseDevicePtrT< T, I, E >, UsesAllocatorsT< T, I, E > > WrapperClausesT
std::variant< OmpxAttributeT< T, I, E >, OmpxBareT< T, I, E >, OmpxDynCgroupMemT< T, I, E > > ExtensionClausesT
std::variant< AdjustArgsT< T, I, E >, AppendArgsT< T, I, E >, MatchT< T, I, E >, OtherwiseT< T, I, E >, WhenT< T, I, E > > IncompleteClausesT
std::variant< AffinityT< T, I, E >, AlignedT< T, I, E >, AllocateT< T, I, E >, DefaultmapT< T, I, E >, DeviceT< T, I, E >, DistScheduleT< T, I, E >, DoacrossT< T, I, E >, FromT< T, I, E >, GrainsizeT< T, I, E >, IfT< T, I, E >, InitT< T, I, E >, InReductionT< T, I, E >, LastprivateT< T, I, E >, LinearT< T, I, E >, MapT< T, I, E >, NumTasksT< T, I, E >, OrderT< T, I, E >, ReductionT< T, I, E >, ScheduleT< T, I, E >, TaskReductionT< T, I, E >, ToT< T, I, E > > TupleClausesT
llvm::omp::Directive DirectiveName
ListT< ResultTy > makeList(ContainerTy &&container, FunctionTy &&func)
std::variant< Types1..., Types2... > type
static constexpr bool value
std::true_type UnionTrait
typename type::Union< clause::UnionOfAllClausesT< TypeType, IdType, ExprType >, std::variant< Extras... > >::type VariantTy
tomp::type::ListT< ClauseType > clauses
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type IncompleteTrait
std::tuple< OPT(Iterator), LocatorList > t
std::true_type TupleTrait
std::true_type WrapperTrait
std::tuple< OPT(Alignment), List > t
std::true_type TupleTrait
std::true_type TupleTrait
E AllocatorSimpleModifier
std::tuple< OPT(AllocatorSimpleModifier), OPT(AllocatorComplexModifier), OPT(AlignModifier), List > t
std::true_type WrapperTrait
std::true_type IncompleteTrait
ENUM(ActionTime, Compilation, Execution)
std::true_type WrapperTrait
std::true_type WrapperTrait
type::MemoryOrder MemoryOrder
ENUM(Binding, Teams, Parallel, Thread)
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
ENUM(DataSharingAttribute, Firstprivate, None, Private, Shared)
ENUM(VariableCategory, Scalar, Aggregate, Pointer, Allocatable)
ENUM(ImplicitBehavior, Alloc, To, From, Tofrom, Firstprivate, None, Default, Present)
std::tuple< ImplicitBehavior, OPT(VariableCategory)> t
std::true_type TupleTrait
std::true_type TupleTrait
std::tuple< TaskDependenceType, OPT(Iterator), LocatorList > t
std::true_type UnionTrait
tomp::type::TaskDependenceType TaskDependenceType
std::variant< Doacross, WithLocators > u
std::true_type WrapperTrait
std::true_type WrapperTrait
std::tuple< OPT(DeviceModifier), DeviceDescription > t
std::true_type TupleTrait
ENUM(DeviceModifier, Ancestor, DeviceNum)
std::true_type WrapperTrait
ENUM(DeviceTypeDescription, Any, Host, Nohost)
std::tuple< Kind, OPT(ChunkSize)> t
std::true_type TupleTrait
std::true_type TupleTrait
std::tuple< DependenceType, Vector > t
ENUM(DependenceType, Source, Sink)
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
type::MemoryOrder MemoryOrder
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type TupleTrait
std::tuple< OPT(Expectation), OPT(Mappers), OPT(Iterator), LocatorList > t
type::MotionExpectation Expectation
std::true_type EmptyTrait
std::true_type TupleTrait
ENUM(Prescriptiveness, Strict)
std::tuple< OPT(Prescriptiveness), GrainSize > t
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::tuple< OPT(DirectiveNameModifier), IfExpression > t
std::true_type TupleTrait
type::DirectiveName DirectiveNameModifier
std::tuple< ReductionIdentifiers, List > t
std::true_type TupleTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
ListT< InteropType > InteropTypes
std::tuple< OPT(InteropPreference), InteropTypes, InteropVar > t
ENUM(InteropType, Target, Targetsync)
std::true_type TupleTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::tuple< OPT(LastprivateModifier), List > t
ENUM(LastprivateModifier, Conditional)
std::true_type TupleTrait
std::true_type TupleTrait
ENUM(LinearModifier, Ref, Val, Uval)
std::tuple< OPT(StepSimpleModifier), OPT(StepComplexModifier), OPT(LinearModifier), List > t
std::true_type WrapperTrait
ENUM(MapTypeModifier, Always, Close, Present, OmpxHold)
ENUM(MapType, To, From, Tofrom, Alloc, Release, Delete)
std::tuple< OPT(MapType), OPT(MapTypeModifiers), OPT(Mappers), OPT(Iterator), LocatorList > t
std::true_type TupleTrait
std::true_type IncompleteTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::tuple< OPT(Prescriptiveness), NumTasks > t
ENUM(Prescriptiveness, Strict)
std::true_type TupleTrait
std::true_type TupleTrait
std::tuple< OPT(LowerBound), UpperBound > t
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::tuple< OPT(OrderModifier), Ordering > t
ENUM(OrderModifier, Reproducible, Unconstrained)
std::true_type TupleTrait
ENUM(Ordering, Concurrent)
std::true_type WrapperTrait
std::true_type IncompleteTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
ENUM(AffinityPolicy, Close, Master, Spread, Primary)
std::true_type EmptyTrait
std::true_type TupleTrait
std::tuple< OPT(ReductionModifier), ReductionIdentifiers, List > t
ENUM(ReductionModifier, Default, Inscan, Task)
ListT< type::ReductionIdentifierT< I, E > > ReductionIdentifiers
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type TupleTrait
std::tuple< Kind, OPT(OrderingModifier), OPT(ChunkModifier), OPT(ChunkSize)> t
ENUM(OrderingModifier, Monotonic, Nonmonotonic)
ENUM(ChunkModifier, Simd)
ENUM(Kind, Static, Dynamic, Guided, Auto, Runtime)
std::true_type EmptyTrait
ENUM(SevLevel, Fatal, Warning)
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type TupleTrait
std::tuple< ReductionIdentifiers, List > t
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type TupleTrait
type::MotionExpectation Expectation
std::tuple< OPT(Expectation), OPT(Mappers), OPT(Iterator), LocatorList > t
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
OPT(TaskDependenceType) v
tomp::type::TaskDependenceType TaskDependenceType
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::tuple< OPT(MemSpace), OPT(TraitsArray), Allocator > t
std::true_type TupleTrait
std::true_type WrapperTrait
std::true_type EmptyTrait
std::true_type IncompleteTrait
std::true_type EmptyTrait
std::true_type WrapperTrait
std::true_type UnionTrait
std::variant< DefinedOpName, IntrinsicOperator > u
ENUM(IntrinsicOperator, Power, Multiply, Divide, Add, Subtract, Concat, LT, LE, EQ, NE, GE, GT, NOT, AND, OR, EQV, NEQV, Min, Max)
std::true_type TupleTrait
std::tuple< OPT(TypeType), ObjectT< IdType, ExprType >, RangeT< ExprType > > t
std::tuple< DefinedOperatorT< I, E >, E > t
std::true_type TupleTrait
std::tuple< ObjectT< I, E >, OPT(Distance)> t
std::true_type TupleTrait
std::true_type WrapperTrait
std::true_type WrapperTrait
std::true_type TupleTrait
std::tuple< E, E, OPT(E)> t
std::true_type UnionTrait
std::variant< DefinedOperatorT< I, E >, ProcedureDesignatorT< I, E > > u
typename detail::UnionOfTwo< T, typename Union< Ts... >::type >::type type