#include "mlir/Dialect/OpenMP/OpenMPDialect.h"
#include "mlir/Conversion/ConvertToLLVM/ToLLVMInterface.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/Dialect/LLVMIR/LLVMTypes.h"
#include "mlir/Dialect/OpenMP/OpenMPClauseOperands.h"
#include "mlir/IR/Attributes.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/DialectImplementation.h"
#include "mlir/IR/Matchers.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/Interfaces/FoldInterfaces.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/STLForwardCompat.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/ADT/bit.h"
#include "llvm/Support/InterleavedRange.h"
#include <cstddef>
#include <iterator>
#include <optional>
#include <variant>
#include "mlir/Dialect/OpenMP/OpenMPOpsDialect.cpp.inc"
#include "mlir/Dialect/OpenMP/OpenMPOpsEnums.cpp.inc"
#include "mlir/Dialect/OpenMP/OpenMPOpsInterfaces.cpp.inc"
#include "mlir/Dialect/OpenMP/OpenMPTypeInterfaces.cpp.inc"
#include "mlir/Dialect/OpenMP/OpenMPOps.cpp.inc"
#include "mlir/Dialect/OpenMP/OpenMPOpsAttributes.cpp.inc"
#include "mlir/Dialect/OpenMP/OpenMPOpsTypes.cpp.inc"

Macros
#define	GET_OP_LIST
#define	GET_ATTRDEF_LIST
#define	GET_TYPEDEF_LIST
#define	GET_ATTRDEF_CLASSES
#define	GET_OP_CLASSES
#define	GET_TYPEDEF_CLASSES

Functions
static ArrayAttr	makeArrayAttr (MLIRContext *context, llvm::ArrayRef< Attribute > attrs)
static DenseBoolArrayAttr	makeDenseBoolArrayAttr (MLIRContext *ctx, const ArrayRef< bool > boolArray)
static DenseI64ArrayAttr	makeDenseI64ArrayAttr (MLIRContext *ctx, const ArrayRef< int64_t > intArray)
static std::string	generateLoopNestingName (StringRef prefix, CanonicalLoopOp op)
	Generate a name of a canonical loop nest of the format <prefix>(_r<idx>_s<idx>)*.
static LogicalResult	verifyDeclareTargetAttr (Operation *op, Attribute attr)
static ParseResult	parseAllocateAndAllocator (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &allocateVars, SmallVectorImpl< Type > &allocateTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &allocatorVars, SmallVectorImpl< Type > &allocatorTypes)
	Parse an allocate clause with allocators and a list of operands with types.
static void	printAllocateAndAllocator (OpAsmPrinter &p, Operation *op, OperandRange allocateVars, TypeRange allocateTypes, OperandRange allocatorVars, TypeRange allocatorTypes)
	Print allocate clause.
template<typename ClauseAttr>
static ParseResult	parseClauseAttr (AsmParser &parser, ClauseAttr &attr)
template<typename ClauseAttr>
static void	printClauseAttr (OpAsmPrinter &p, Operation *op, ClauseAttr attr)
static ParseResult	parseLinearClause (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &linearVars, SmallVectorImpl< Type > &linearTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &linearStepVars, SmallVectorImpl< Type > &linearStepTypes, ArrayAttr &linearModifiers)
	linear ::= linear ( linear-list ) linear-list := linear-val \| linear-val linear-list linear-val := ssa-id-and-type = ssa-id-and-type \| val ( ssa-id-and-type = ssa-id-and-type ) \| ref ( ssa-id-and-type = ssa-id-and-type ) \| uval ( ssa-id-and-type = ssa-id-and-type )
static void	printLinearClause (OpAsmPrinter &p, Operation *op, ValueRange linearVars, TypeRange linearTypes, ValueRange linearStepVars, TypeRange stepVarTypes, ArrayAttr linearModifiers)
	Print Linear Clause.
static LogicalResult	verifyLinearModifiers (Operation *op, std::optional< ArrayAttr > linearModifiers, OperandRange linearVars, bool isDeclareSimd=false)
	OpenMP 5.2, Section 5.4.6: "A linear-modifier may be specified as ref or uval only on a declare simd directive.
static LogicalResult	verifyNontemporalClause (Operation *op, OperandRange nontemporalVars)
static LogicalResult	verifyAlignedClause (Operation *op, std::optional< ArrayAttr > alignments, OperandRange alignedVars)
static ParseResult	parseAlignedClause (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &alignedVars, SmallVectorImpl< Type > &alignedTypes, ArrayAttr &alignmentsAttr)
	aligned ::= aligned ( aligned-list ) aligned-list := aligned-val \| aligned-val aligned-list aligned-val := ssa-id-and-type -> alignment
static void	printAlignedClause (OpAsmPrinter &p, Operation *op, ValueRange alignedVars, TypeRange alignedTypes, std::optional< ArrayAttr > alignments)
	Print Aligned Clause.
static LogicalResult	verifyAllocateClause (Operation *op, ValueRange allocateVars, ValueRange allocatorVars, DenseI64ArrayAttr allocateAlignments, DenseI64ArrayAttr allocatePrivateIndices, ValueRange privateVars={}, ArrayAttr privateSyms=nullptr, bool requirePrivateIndices=false)
static ParseResult	verifyScheduleModifiers (OpAsmParser &parser, SmallVectorImpl< SmallString< 12 > > &modifiers)
static ParseResult	parseScheduleClause (OpAsmParser &parser, ClauseScheduleKindAttr &scheduleAttr, ScheduleModifierAttr &scheduleMod, UnitAttr &scheduleSimd, std::optional< OpAsmParser::UnresolvedOperand > &chunkSize, Type &chunkType)
	schedule ::= schedule ( sched-list ) sched-list ::= sched-val \| sched-val sched-list \| sched-val , sched-modifier sched-val ::= sched-with-chunk \| sched-wo-chunk sched-with-chunk ::= sched-with-chunk-types (= ssa-id-and-type)?
static void	printScheduleClause (OpAsmPrinter &p, Operation *op, ClauseScheduleKindAttr scheduleKind, ScheduleModifierAttr scheduleMod, UnitAttr scheduleSimd, Value scheduleChunk, Type scheduleChunkType)
	Print schedule clause.
static ParseResult	parseOrderClause (OpAsmParser &parser, ClauseOrderKindAttr &order, OrderModifierAttr &orderMod)
static void	printOrderClause (OpAsmPrinter &p, Operation *op, ClauseOrderKindAttr order, OrderModifierAttr orderMod)
template<typename ClauseTypeAttr, typename ClauseType>
static ParseResult	parseGranularityClause (OpAsmParser &parser, ClauseTypeAttr &prescriptiveness, std::optional< OpAsmParser::UnresolvedOperand > &operand, Type &operandType, std::optional< ClauseType >(*symbolizeClause)(StringRef), StringRef clauseName)
template<typename ClauseTypeAttr, typename ClauseType>
static void	printGranularityClause (OpAsmPrinter &p, Operation op, ClauseTypeAttr prescriptiveness, Value operand, mlir::Type operandType, StringRef(stringifyClauseType)(ClauseType))
static ParseResult	parseGrainsizeClause (OpAsmParser &parser, ClauseGrainsizeTypeAttr &grainsizeMod, std::optional< OpAsmParser::UnresolvedOperand > &grainsize, Type &grainsizeType)
static void	printGrainsizeClause (OpAsmPrinter &p, Operation *op, ClauseGrainsizeTypeAttr grainsizeMod, Value grainsize, mlir::Type grainsizeType)
static ParseResult	parseNumTasksClause (OpAsmParser &parser, ClauseNumTasksTypeAttr &numTasksMod, std::optional< OpAsmParser::UnresolvedOperand > &numTasks, Type &numTasksType)
static void	printNumTasksClause (OpAsmPrinter &p, Operation *op, ClauseNumTasksTypeAttr numTasksMod, Value numTasks, mlir::Type numTasksType)
static ParseResult	parseHeapAllocClause (OpAsmParser &parser, TypeAttr &inTypeAttr, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &typeparams, SmallVectorImpl< Type > &typeparamsTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &shape, SmallVectorImpl< Type > &shapeTypes)
	operation ::= $in_type ( ( $typeparams ) )? ( , $shape )?
static void	printHeapAllocClause (OpAsmPrinter &p, Operation *op, TypeAttr inType, ValueRange typeparams, TypeRange typeparamsTypes, ValueRange shape, TypeRange shapeTypes)
static LogicalResult	verifyDynGroupprivateClause (Operation *op, AccessGroupModifierAttr accessGroup, FallbackModifierAttr fallback, Value dynGroupprivateSize)
static ParseResult	parseDynGroupprivateClause (OpAsmParser &parser, AccessGroupModifierAttr &accessGroupAttr, FallbackModifierAttr &fallbackAttr, std::optional< OpAsmParser::UnresolvedOperand > &dynGroupprivateSize, Type &sizeType)
static void	printDynGroupprivateClause (OpAsmPrinter &printer, Operation *op, AccessGroupModifierAttr modifierFirst, FallbackModifierAttr modifierSecond, Value dynGroupprivateSize, Type sizeType)
static ParseResult	parseInReductionClause (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &inReductionVars, SmallVectorImpl< Type > &inReductionTypes, DenseBoolArrayAttr &inReductionByref, ArrayAttr &inReductionSyms)
	Parses an in_reduction clause for an operation that does not give its list items entry block arguments (e.g.
static void	printInReductionClause (OpAsmPrinter &p, Operation *op, ValueRange inReductionVars, TypeRange inReductionTypes, DenseBoolArrayAttr inReductionByref, ArrayAttr inReductionSyms)
	Prints an in_reduction clause for an operation that does not give its list items entry block arguments (e.g.
static constexpr StringRef	getPrivateNeedsBarrierSpelling ()
static ParseResult	parseClauseWithRegionArgs (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &operands, SmallVectorImpl< Type > &types, SmallVectorImpl< OpAsmParser::Argument > &regionPrivateArgs, ArrayAttr symbols=nullptr, DenseI64ArrayAttr mapIndices=nullptr, DenseBoolArrayAttr byref=nullptr, ReductionModifierAttr modifier=nullptr, UnitAttr *needsBarrier=nullptr)
static ParseResult	parseBlockArgClause (OpAsmParser &parser, llvm::SmallVectorImpl< OpAsmParser::Argument > &entryBlockArgs, StringRef keyword, std::optional< MapParseArgs > mapArgs)
static ParseResult	parseBlockArgClause (OpAsmParser &parser, llvm::SmallVectorImpl< OpAsmParser::Argument > &entryBlockArgs, StringRef keyword, std::optional< PrivateParseArgs > privateArgs)
static ParseResult	parseBlockArgClause (OpAsmParser &parser, llvm::SmallVectorImpl< OpAsmParser::Argument > &entryBlockArgs, StringRef keyword, std::optional< ReductionParseArgs > reductionArgs)
static ParseResult	parseBlockArgRegion (OpAsmParser &parser, Region &region, AllRegionParseArgs args)
static ParseResult	parseTargetOpRegion (OpAsmParser &parser, Region &region, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &hasDeviceAddrVars, SmallVectorImpl< Type > &hasDeviceAddrTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &hostEvalVars, SmallVectorImpl< Type > &hostEvalTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &mapVars, SmallVectorImpl< Type > &mapTypes, llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &privateVars, llvm::SmallVectorImpl< Type > &privateTypes, ArrayAttr &privateSyms, UnitAttr &privateNeedsBarrier, DenseI64ArrayAttr &privateMaps)
static ParseResult	parseInReductionPrivateRegion (OpAsmParser &parser, Region &region, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &inReductionVars, SmallVectorImpl< Type > &inReductionTypes, DenseBoolArrayAttr &inReductionByref, ArrayAttr &inReductionSyms, llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &privateVars, llvm::SmallVectorImpl< Type > &privateTypes, ArrayAttr &privateSyms, UnitAttr &privateNeedsBarrier)
static ParseResult	parseInReductionPrivateReductionRegion (OpAsmParser &parser, Region &region, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &inReductionVars, SmallVectorImpl< Type > &inReductionTypes, DenseBoolArrayAttr &inReductionByref, ArrayAttr &inReductionSyms, llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &privateVars, llvm::SmallVectorImpl< Type > &privateTypes, ArrayAttr &privateSyms, UnitAttr &privateNeedsBarrier, ReductionModifierAttr &reductionMod, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &reductionVars, SmallVectorImpl< Type > &reductionTypes, DenseBoolArrayAttr &reductionByref, ArrayAttr &reductionSyms)
static ParseResult	parsePrivateRegion (OpAsmParser &parser, Region &region, llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &privateVars, llvm::SmallVectorImpl< Type > &privateTypes, ArrayAttr &privateSyms, UnitAttr &privateNeedsBarrier)
static ParseResult	parsePrivateReductionRegion (OpAsmParser &parser, Region &region, llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &privateVars, llvm::SmallVectorImpl< Type > &privateTypes, ArrayAttr &privateSyms, UnitAttr &privateNeedsBarrier, ReductionModifierAttr &reductionMod, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &reductionVars, SmallVectorImpl< Type > &reductionTypes, DenseBoolArrayAttr &reductionByref, ArrayAttr &reductionSyms)
static ParseResult	parseTaskReductionRegion (OpAsmParser &parser, Region &region, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &taskReductionVars, SmallVectorImpl< Type > &taskReductionTypes, DenseBoolArrayAttr &taskReductionByref, ArrayAttr &taskReductionSyms)
static ParseResult	parseUseDeviceAddrUseDevicePtrRegion (OpAsmParser &parser, Region &region, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &useDeviceAddrVars, SmallVectorImpl< Type > &useDeviceAddrTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &useDevicePtrVars, SmallVectorImpl< Type > &useDevicePtrTypes)
static void	printClauseWithRegionArgs (OpAsmPrinter &p, MLIRContext *ctx, StringRef clauseName, ValueRange argsSubrange, ValueRange operands, TypeRange types, ArrayAttr symbols=nullptr, DenseI64ArrayAttr mapIndices=nullptr, DenseBoolArrayAttr byref=nullptr, ReductionModifierAttr modifier=nullptr, UnitAttr needsBarrier=nullptr)
static void	printBlockArgClause (OpAsmPrinter &p, MLIRContext *ctx, StringRef clauseName, ValueRange argsSubrange, std::optional< MapPrintArgs > mapArgs)
static void	printBlockArgClause (OpAsmPrinter &p, MLIRContext *ctx, StringRef clauseName, ValueRange argsSubrange, std::optional< PrivatePrintArgs > privateArgs)
static void	printBlockArgClause (OpAsmPrinter &p, MLIRContext *ctx, StringRef clauseName, ValueRange argsSubrange, std::optional< ReductionPrintArgs > reductionArgs)
static void	printBlockArgRegion (OpAsmPrinter &p, Operation *op, Region &region, const AllRegionPrintArgs &args)
static void	printTargetOpRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange hasDeviceAddrVars, TypeRange hasDeviceAddrTypes, ValueRange hostEvalVars, TypeRange hostEvalTypes, ValueRange mapVars, TypeRange mapTypes, ValueRange privateVars, TypeRange privateTypes, ArrayAttr privateSyms, UnitAttr privateNeedsBarrier, DenseI64ArrayAttr privateMaps)
static void	printInReductionPrivateRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange inReductionVars, TypeRange inReductionTypes, DenseBoolArrayAttr inReductionByref, ArrayAttr inReductionSyms, ValueRange privateVars, TypeRange privateTypes, ArrayAttr privateSyms, UnitAttr privateNeedsBarrier)
static void	printInReductionPrivateReductionRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange inReductionVars, TypeRange inReductionTypes, DenseBoolArrayAttr inReductionByref, ArrayAttr inReductionSyms, ValueRange privateVars, TypeRange privateTypes, ArrayAttr privateSyms, UnitAttr privateNeedsBarrier, ReductionModifierAttr reductionMod, ValueRange reductionVars, TypeRange reductionTypes, DenseBoolArrayAttr reductionByref, ArrayAttr reductionSyms)
static void	printPrivateRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange privateVars, TypeRange privateTypes, ArrayAttr privateSyms, UnitAttr privateNeedsBarrier)
static void	printPrivateReductionRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange privateVars, TypeRange privateTypes, ArrayAttr privateSyms, UnitAttr privateNeedsBarrier, ReductionModifierAttr reductionMod, ValueRange reductionVars, TypeRange reductionTypes, DenseBoolArrayAttr reductionByref, ArrayAttr reductionSyms)
static void	printTaskReductionRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange taskReductionVars, TypeRange taskReductionTypes, DenseBoolArrayAttr taskReductionByref, ArrayAttr taskReductionSyms)
static void	printUseDeviceAddrUseDevicePtrRegion (OpAsmPrinter &p, Operation *op, Region &region, ValueRange useDeviceAddrVars, TypeRange useDeviceAddrTypes, ValueRange useDevicePtrVars, TypeRange useDevicePtrTypes)
template<typename ParsePrefixFn>
static ParseResult	parseSplitIteratedList (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &iteratedVars, SmallVectorImpl< Type > &iteratedTypes, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &plainVars, SmallVectorImpl< Type > &plainTypes, ParsePrefixFn &&parsePrefix)
template<typename PrintPrefixFn>
static void	printSplitIteratedList (OpAsmPrinter &p, ValueRange iteratedVars, TypeRange iteratedTypes, ValueRange plainVars, TypeRange plainTypes, PrintPrefixFn &&printPrefixForPlain, PrintPrefixFn &&printPrefixForIterated)
static LogicalResult	verifyReductionVarList (Operation *op, std::optional< ArrayAttr > reductionSyms, OperandRange reductionVars, std::optional< ArrayRef< bool > > reductionByref)
	Verifies Reduction Clause.
static ParseResult	parseCopyprivate (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &copyprivateVars, SmallVectorImpl< Type > &copyprivateTypes, ArrayAttr &copyprivateSyms)
	copyprivate-entry-list ::= copyprivate-entry \| copyprivate-entry-list , copyprivate-entry copyprivate-entry ::= ssa-id -> symbol-ref : type
static void	printCopyprivate (OpAsmPrinter &p, Operation *op, OperandRange copyprivateVars, TypeRange copyprivateTypes, std::optional< ArrayAttr > copyprivateSyms)
	Print Copyprivate clause.
static LogicalResult	verifyCopyprivateVarList (Operation *op, OperandRange copyprivateVars, std::optional< ArrayAttr > copyprivateSyms)
	Verifies CopyPrivate Clause.
static ParseResult	parseDependVarList (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &dependVars, SmallVectorImpl< Type > &dependTypes, ArrayAttr &dependKinds, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &iteratedVars, SmallVectorImpl< Type > &iteratedTypes, ArrayAttr &iteratedKinds)
	depend-entry-list ::= depend-entry \| depend-entry-list , depend-entry depend-entry ::= depend-kind -> ssa-id : type \| depend-kind -> ssa-id : iterated-type
static void	printDependVarList (OpAsmPrinter &p, Operation *op, OperandRange dependVars, TypeRange dependTypes, std::optional< ArrayAttr > dependKinds, OperandRange iteratedVars, TypeRange iteratedTypes, std::optional< ArrayAttr > iteratedKinds)
	Print Depend clause.
static LogicalResult	verifyDependVarList (Operation *op, std::optional< ArrayAttr > dependKinds, OperandRange dependVars, std::optional< ArrayAttr > iteratedKinds, OperandRange iteratedVars)
	Verifies Depend clause.
static ParseResult	parseSynchronizationHint (OpAsmParser &parser, IntegerAttr &hintAttr)
	Parses a Synchronization Hint clause.
static void	printSynchronizationHint (OpAsmPrinter &p, Operation *op, IntegerAttr hintAttr)
	Prints a Synchronization Hint clause.
static LogicalResult	verifySynchronizationHint (Operation *op, uint64_t hint)
	Verifies a synchronization hint clause.
static bool	mapTypeToBool (ClauseMapFlags value, ClauseMapFlags flag)
return	success ()
	if (parser.parseCommaSeparatedList(parseIndices)) return failure()
	if (failed(parser.parseRSquare())) return failure()
memberIdxs	push_back (ArrayAttr::get(parser.getContext(), values))
values	clear ()
	while (succeeded(parser.parseOptionalComma()))
	if (!memberIdxs.empty()) membersIdx
static void	printMembersIndex (OpAsmPrinter &p, MapInfoOp op, ArrayAttr membersIdx)
static void	printCaptureType (OpAsmPrinter &p, Operation *op, VariableCaptureKindAttr mapCaptureType)
static ParseResult	parseCaptureType (OpAsmParser &parser, VariableCaptureKindAttr &mapCaptureType)
static LogicalResult	verifyMapInfoForMapClause (Operation *op, mlir::omp::MapInfoOp mapInfoOp, llvm::DenseSet< mlir::TypedValue< mlir::omp::PointerLikeType > > &updateToVars, llvm::DenseSet< mlir::TypedValue< mlir::omp::PointerLikeType > > &updateFromVars)
static LogicalResult	verifyMapClause (Operation *op, OperandRange mapVars, OperandRange mapIterated)
template<typename OpType>
static LogicalResult	verifyPrivateVarList (OpType &op)
static LogicalResult	verifyPrivateVarsMapping (TargetOp targetOp)
static LogicalResult	verifyMapInfoDefinedArgs (Operation *op, StringRef clauseName, OperandRange vars)
static bool	targetInReductionCapturedBy (Value inReductionVar, Value mapVarPtr)
	An omp.target in_reduction operand is captured by a map_entries entry when the entry's MapInfoOp var_ptr is the same SSA value, or another result of the same defining op. At this stage, exact identity can only be required for block arguments, which have no defining op. Flang emits hlfir.declare #0 for the in_reduction operand and #1 for the map var_ptr; these collapse to the same value after lowering, but that cannot be enforced here.
static bool	opInGlobalImplicitParallelRegion (Operation *op)
static LogicalResult	verifyNumTeamsClause (Operation *op, Value numTeamsLower, OperandRange numTeamsUpperVars)
static void	printLoopTransformClis (OpAsmPrinter &p, TileOp op, OperandRange generatees, OperandRange applyees)
static ParseResult	parseLoopTransformClis (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &generateesOperands, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &applyeesOperands)
static LogicalResult	checkApplyeesNesting (TileOp op)
	Check properties of the loop nest consisting of the transformation's applyees:
static void	printLoopTransformClis (OpAsmPrinter &p, FuseOp op, OperandRange generatees, OperandRange applyees)
static LogicalResult	verifyOrderedParent (Operation &op)
static Operation *	getParentInSameDialect (Operation *thisOp)
LogicalResult	verifyAlignment (Operation &op, std::optional< uint64_t > alignment)
	Verifies align clause in allocate directive.
static ParseResult	parseUniformClause (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &uniformVars, SmallVectorImpl< Type > &uniformTypes)
	uniform ::= uniform ( uniform-list ) uniform-list := uniform-val (, uniform-val)* uniform-val := ssa-id : type */
static void	printUniformClause (OpAsmPrinter &p, Operation *op, ValueRange uniformVars, TypeRange uniformTypes)
	Print Uniform Clauses.
static ParseResult	parseAffinityClause (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &iterated, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &affinityVars, SmallVectorImpl< Type > &iteratedTypes, SmallVectorImpl< Type > &affinityVarTypes)
static void	printAffinityClause (OpAsmPrinter &p, Operation *op, ValueRange iterated, ValueRange affinityVars, TypeRange iteratedTypes, TypeRange affinityVarTypes)
static ParseResult	parseIteratorHeader (OpAsmParser &parser, Region &region, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &lbs, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &ubs, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &steps, SmallVectorImpl< Type > &lbTypes, SmallVectorImpl< Type > &ubTypes, SmallVectorImpl< Type > &stepTypes)
static void	printIteratorHeader (OpAsmPrinter &p, Operation *op, Region &region, ValueRange lbs, ValueRange ubs, ValueRange steps, TypeRange, TypeRange, TypeRange)

Variables
	false
	Parses a map_entries map type from a string format back into its numeric value.
	do

Macro Definition Documentation

◆ GET_ATTRDEF_CLASSES

#define GET_ATTRDEF_CLASSES

Definition at line 5813 of file OpenMPDialect.cpp.

◆ GET_ATTRDEF_LIST

#define GET_ATTRDEF_LIST

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 5816 of file OpenMPDialect.cpp.

◆ GET_OP_LIST

#define GET_OP_LIST

◆ GET_TYPEDEF_CLASSES

#define GET_TYPEDEF_CLASSES

Definition at line 5819 of file OpenMPDialect.cpp.

◆ GET_TYPEDEF_LIST

#define GET_TYPEDEF_LIST

Function Documentation

◆ checkApplyeesNesting()

LogicalResult checkApplyeesNesting ( TileOp op )

static

Check properties of the loop nest consisting of the transformation's applyees:

They are nested inside each other
They are perfectly nested (no code with side-effects in-between the loops)
They are rectangular (loop bounds are invariant in respect to the outer loops)

TODO: Generalize for LoopTransformationInterface.

Definition at line 4722 of file OpenMPDialect.cpp.

References mlir::Block::begin(), mlir::omp::decodeCli(), mlir::Block::end(), mlir::Block::front(), and success().

◆ clear()

values clear ( )

Referenced by mlir::detail::PassOptions::ListOption< DataType, OptionParser >::handleOccurrence().

◆ generateLoopNestingName()

std::string generateLoopNestingName	(	StringRef	prefix,
		CanonicalLoopOp	op )

static

Generate a name of a canonical loop nest of the format <prefix>(_r<idx>_s<idx>)*.

Hereby, _r<idx> identifies the region argument index of an operation that has multiple regions, if the operation has multiple regions. _s<idx> identifies the position of an operation within a region, where only operations that may potentially contain loops ("container operations" i.e. have region arguments) are counted. Again, it is omitted if there is only one such operation in a region. If there are canonical loops nested inside each other, also may also use the format _d<num> where <num> is the nesting depth of the loop.

The generated name is a best-effort to make canonical loop unique within an SSA namespace. This also means that regions with IsolatedFromAbove property do not consider any parents or siblings.

If true, this component describes a region operand of an operation (the operand's owner) If false, this component describes an operation located in a parent region

Definition at line 96 of file OpenMPDialect.cpp.

References b, mlir::Region::getBlocks(), mlir::Region::getParentOp(), mlir::Operation::getParentRegion(), mlir::Operation::getRegions(), mlir::Operation::hasTrait(), and isUnique().

◆ getParentInSameDialect()

Operation * getParentInSameDialect ( Operation * thisOp )

static

Definition at line 5207 of file OpenMPDialect.cpp.

References mlir::Operation::getDialect(), and mlir::Operation::getParentOp().

◆ getPrivateNeedsBarrierSpelling()

constexpr StringRef getPrivateNeedsBarrierSpelling ( )

inlinestaticconstexpr

Definition at line 1300 of file OpenMPDialect.cpp.

Referenced by printClauseWithRegionArgs().

◆ if() [1/3]

if ( !memberIdxs. empty() )

◆ if() [2/3]

if ( failed(parser.parseRSquare()) )

◆ if() [3/3]

if ( parser. parseCommaSeparatedListparseIndices )

◆ makeArrayAttr()

ArrayAttr makeArrayAttr	(	MLIRContext *	context,
		llvm::ArrayRef< Attribute >	attrs )

static

Definition at line 51 of file OpenMPDialect.cpp.

References ArrayAttr(), and nullptr.

◆ makeDenseBoolArrayAttr()

DenseBoolArrayAttr makeDenseBoolArrayAttr	(	MLIRContext *	ctx,
		const ArrayRef< bool >	boolArray )

static

Definition at line 57 of file OpenMPDialect.cpp.

References mlir::detail::DenseArrayAttrImpl< bool >::get(), and nullptr.

Referenced by parseInReductionClause().

◆ makeDenseI64ArrayAttr()

DenseI64ArrayAttr makeDenseI64ArrayAttr	(	MLIRContext *	ctx,
		const ArrayRef< int64_t >	intArray )

static

Definition at line 62 of file OpenMPDialect.cpp.

References mlir::detail::DenseArrayAttrImpl< int64_t >::get(), and nullptr.

◆ mapTypeToBool()

bool mapTypeToBool	(	ClauseMapFlags	value,
		ClauseMapFlags	flag )

static

Definition at line 2268 of file OpenMPDialect.cpp.

Referenced by verifyMapInfoForMapClause().

◆ opInGlobalImplicitParallelRegion()

bool opInGlobalImplicitParallelRegion ( Operation * op )

static

Definition at line 3124 of file OpenMPDialect.cpp.

References mlir::Operation::getDialect(), and mlir::Operation::getParentOp().

◆ parseAffinityClause()

ParseResult parseAffinityClause	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	iterated,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	affinityVars,
		SmallVectorImpl< Type > &	iteratedTypes,
		SmallVectorImpl< Type > &	affinityVarTypes )

static

Definition at line 5627 of file OpenMPDialect.cpp.

References parseSplitIteratedList(), and success().

◆ parseAlignedClause()

ParseResult parseAlignedClause	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	alignedVars,
		SmallVectorImpl< Type > &	alignedTypes,
		ArrayAttr &	alignmentsAttr )

static

aligned ::= aligned ( aligned-list ) aligned-list := aligned-val | aligned-val aligned-list aligned-val := ssa-id-and-type -> alignment

Definition at line 633 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::AsmParser::parseCommaSeparatedList(), and success().

◆ parseAllocateAndAllocator()

ParseResult parseAllocateAndAllocator	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	allocateVars,
		SmallVectorImpl< Type > &	allocateTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	allocatorVars,
		SmallVectorImpl< Type > &	allocatorTypes )

static

Parse an allocate clause with allocators and a list of operands with types.

allocate-operand-list :: = allocate-operand | allocator-operand , allocate-operand-list allocate-operand :: = ssa-id-and-type -> ssa-id-and-type ssa-id-and-type ::= ssa-id : type

Definition at line 398 of file OpenMPDialect.cpp.

References mlir::AsmParser::parseArrow(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseCommaSeparatedList(), mlir::OpAsmParser::parseOperand(), and success().

◆ parseBlockArgClause() [1/3]

ParseResult parseBlockArgClause	(	OpAsmParser &	parser,
		llvm::SmallVectorImpl< OpAsmParser::Argument > &	entryBlockArgs,
		StringRef	keyword,
		std::optional< MapParseArgs >	mapArgs )

static

Definition at line 1408 of file OpenMPDialect.cpp.

References parseClauseWithRegionArgs(), mlir::AsmParser::parseOptionalKeyword(), and success().

Referenced by parseBlockArgRegion().

◆ parseBlockArgClause() [2/3]

ParseResult parseBlockArgClause	(	OpAsmParser &	parser,
		llvm::SmallVectorImpl< OpAsmParser::Argument > &	entryBlockArgs,
		StringRef	keyword,
		std::optional< PrivateParseArgs >	privateArgs )

static

Definition at line 1423 of file OpenMPDialect.cpp.

References parseClauseWithRegionArgs(), mlir::AsmParser::parseOptionalKeyword(), and success().

◆ parseBlockArgClause() [3/3]

ParseResult parseBlockArgClause	(	OpAsmParser &	parser,
		llvm::SmallVectorImpl< OpAsmParser::Argument > &	entryBlockArgs,
		StringRef	keyword,
		std::optional< ReductionParseArgs >	reductionArgs )

static

Definition at line 1440 of file OpenMPDialect.cpp.

References parseClauseWithRegionArgs(), mlir::AsmParser::parseOptionalKeyword(), and success().

◆ parseBlockArgRegion()

ParseResult parseBlockArgRegion	(	OpAsmParser &	parser,
		Region &	region,
		AllRegionParseArgs	args )

static

Definition at line 1456 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getCurrentLocation(), parseBlockArgClause(), and mlir::OpAsmParser::parseRegion().

Referenced by parseInReductionPrivateReductionRegion(), parseInReductionPrivateRegion(), parsePrivateReductionRegion(), parsePrivateRegion(), parseTargetOpRegion(), parseTaskReductionRegion(), and parseUseDeviceAddrUseDevicePtrRegion().

◆ parseCaptureType()

ParseResult parseCaptureType	(	OpAsmParser &	parser,
		VariableCaptureKindAttr &	mapCaptureType )

static

Definition at line 2495 of file OpenMPDialect.cpp.

References mlir::AsmParser::getContext(), mlir::AsmParser::parseKeyword(), and success().

◆ parseClauseAttr()

template<typename ClauseAttr>

ParseResult parseClauseAttr	(	AsmParser &	parser,
		ClauseAttr &	attr )

static

Definition at line 441 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::parseKeyword(), and success().

◆ parseClauseWithRegionArgs()

ParseResult parseClauseWithRegionArgs	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	operands,
		SmallVectorImpl< Type > &	types,
		SmallVectorImpl< OpAsmParser::Argument > &	regionPrivateArgs,
		ArrayAttr *	symbols = nullptr,
		DenseI64ArrayAttr *	mapIndices = nullptr,
		DenseBoolArrayAttr *	byref = nullptr,
		ReductionModifierAttr *	modifier = nullptr,
		UnitAttr *	needsBarrier = nullptr )

static

Definition at line 1304 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::AsmParser::getContext(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseComma(), mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseKeyword(), mlir::AsmParser::parseLParen(), mlir::AsmParser::parseOptionalKeyword(), and success().

Referenced by parseBlockArgClause(), parseBlockArgClause(), and parseBlockArgClause().

◆ parseCopyprivate()

ParseResult parseCopyprivate	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	copyprivateVars,
		SmallVectorImpl< Type > &	copyprivateTypes,
		ArrayAttr &	copyprivateSyms )

static

copyprivate-entry-list ::= copyprivate-entry | copyprivate-entry-list , copyprivate-entry copyprivate-entry ::= ssa-id -> symbol-ref : type

Definition at line 1978 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::AsmParser::getContext(), mlir::AsmParser::parseCommaSeparatedList(), and success().

◆ parseDependVarList()

ParseResult parseDependVarList	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	dependVars,
		SmallVectorImpl< Type > &	dependTypes,
		ArrayAttr &	dependKinds,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	iteratedVars,
		SmallVectorImpl< Type > &	iteratedTypes,
		ArrayAttr &	iteratedKinds )

static

depend-entry-list ::= depend-entry | depend-entry-list , depend-entry depend-entry ::= depend-kind -> ssa-id : type | depend-kind -> ssa-id : iterated-type

Definition at line 2082 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::AsmParser::parseCommaSeparatedList(), and success().

◆ parseDynGroupprivateClause()

ParseResult parseDynGroupprivateClause	(	OpAsmParser &	parser,
		AccessGroupModifierAttr &	accessGroupAttr,
		FallbackModifierAttr &	fallbackAttr,
		std::optional< OpAsmParser::UnresolvedOperand > &	dynGroupprivateSize,
		Type &	sizeType )

static

Definition at line 1075 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseKeyword(), mlir::AsmParser::parseLParen(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalKeyword(), mlir::AsmParser::parseRParen(), mlir::AsmParser::parseType(), and success().

◆ parseGrainsizeClause()

ParseResult parseGrainsizeClause	(	OpAsmParser &	parser,
		ClauseGrainsizeTypeAttr &	grainsizeMod,
		std::optional< OpAsmParser::UnresolvedOperand > &	grainsize,
		Type &	grainsizeType )

static

Definition at line 972 of file OpenMPDialect.cpp.

References parseGranularityClause().

◆ parseGranularityClause()

template<typename ClauseTypeAttr, typename ClauseType>

ParseResult parseGranularityClause	(	OpAsmParser &	parser,
		ClauseTypeAttr &	prescriptiveness,
		std::optional< OpAsmParser::UnresolvedOperand > &	operand,
		Type &	operandType,
		std::optional< ClauseType >(*	symbolizeClause )(StringRef),
		StringRef	clauseName )

static

Definition at line 918 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseComma(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalKeyword(), and success().

Referenced by parseGrainsizeClause(), and parseNumTasksClause().

◆ parseHeapAllocClause()

ParseResult parseHeapAllocClause	(	OpAsmParser &	parser,
		TypeAttr &	inTypeAttr,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	typeparams,
		SmallVectorImpl< Type > &	typeparamsTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	shape,
		SmallVectorImpl< Type > &	shapeTypes )

static

operation ::= $in_type ( ( $typeparams ) )? ( , $shape )?

Definition at line 1014 of file OpenMPDialect.cpp.

References mlir::AsmParser::getContext(), mlir::AsmParser::None, mlir::AsmParser::parseColonTypeList(), mlir::OpAsmParser::parseOperandList(), mlir::AsmParser::parseOptionalComma(), mlir::AsmParser::parseOptionalLParen(), mlir::AsmParser::parseRParen(), mlir::AsmParser::parseType(), and success().

◆ parseInReductionClause()

ParseResult parseInReductionClause	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	inReductionVars,
		SmallVectorImpl< Type > &	inReductionTypes,
		DenseBoolArrayAttr &	inReductionByref,
		ArrayAttr &	inReductionSyms )

static

Parses an in_reduction clause for an operation that does not give its list items entry block arguments (e.g.

omp.target). The expected format is a comma-separated list of [byref] @sym var followed by : types.

Definition at line 1180 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::AsmParser::getContext(), makeDenseBoolArrayAttr(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseCommaSeparatedList(), and success().

◆ parseInReductionPrivateReductionRegion()

ParseResult parseInReductionPrivateReductionRegion	(	OpAsmParser &	parser,
		Region &	region,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	inReductionVars,
		SmallVectorImpl< Type > &	inReductionTypes,
		DenseBoolArrayAttr &	inReductionByref,
		ArrayAttr &	inReductionSyms,
		llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	privateVars,
		llvm::SmallVectorImpl< Type > &	privateTypes,
		ArrayAttr &	privateSyms,
		UnitAttr &	privateNeedsBarrier,
		ReductionModifierAttr &	reductionMod,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	reductionVars,
		SmallVectorImpl< Type > &	reductionTypes,
		DenseBoolArrayAttr &	reductionByref,
		ArrayAttr &	reductionSyms )

static

Definition at line 1546 of file OpenMPDialect.cpp.

References ArrayAttr(), and parseBlockArgRegion().

◆ parseInReductionPrivateRegion()

ParseResult parseInReductionPrivateRegion	(	OpAsmParser &	parser,
		Region &	region,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	inReductionVars,
		SmallVectorImpl< Type > &	inReductionTypes,
		DenseBoolArrayAttr &	inReductionByref,
		ArrayAttr &	inReductionSyms,
		llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	privateVars,
		llvm::SmallVectorImpl< Type > &	privateTypes,
		ArrayAttr &	privateSyms,
		UnitAttr &	privateNeedsBarrier )

static

Definition at line 1530 of file OpenMPDialect.cpp.

References ArrayAttr(), and parseBlockArgRegion().

◆ parseIteratorHeader()

ParseResult parseIteratorHeader	(	OpAsmParser &	parser,
		Region &	region,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	lbs,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	ubs,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	steps,
		SmallVectorImpl< Type > &	lbTypes,
		SmallVectorImpl< Type > &	ubTypes,
		SmallVectorImpl< Type > &	stepTypes )

static

Definition at line 5656 of file OpenMPDialect.cpp.

References mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::parseCommaSeparatedList(), and success().

◆ parseLinearClause()

ParseResult parseLinearClause	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	linearVars,
		SmallVectorImpl< Type > &	linearTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	linearStepVars,
		SmallVectorImpl< Type > &	linearStepTypes,
		ArrayAttr &	linearModifiers )

static

linear ::= linear ( linear-list ) linear-list := linear-val | linear-val linear-list linear-val := ssa-id-and-type = ssa-id-and-type | val ( ssa-id-and-type = ssa-id-and-type ) | ref ( ssa-id-and-type = ssa-id-and-type ) | uval ( ssa-id-and-type = ssa-id-and-type )

Definition at line 469 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::AsmParser::getContext(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseEqual(), mlir::AsmParser::parseLParen(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalKeyword(), mlir::AsmParser::parseRParen(), result, and success().

◆ parseLoopTransformClis()

ParseResult parseLoopTransformClis	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	generateesOperands,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	applyeesOperands )

static

Definition at line 4685 of file OpenMPDialect.cpp.

References mlir::AsmParser::Paren, mlir::AsmParser::parseLess(), mlir::AsmParser::parseMinus(), mlir::OpAsmParser::parseOperandList(), mlir::AsmParser::parseOptionalLess(), and success().

◆ parseNumTasksClause()

ParseResult parseNumTasksClause	(	OpAsmParser &	parser,
		ClauseNumTasksTypeAttr &	numTasksMod,
		std::optional< OpAsmParser::UnresolvedOperand > &	numTasks,
		Type &	numTasksType )

static

Definition at line 994 of file OpenMPDialect.cpp.

References parseGranularityClause().

◆ parseOrderClause()

ParseResult parseOrderClause	(	OpAsmParser &	parser,
		ClauseOrderKindAttr &	order,
		OrderModifierAttr &	orderMod )

static

Definition at line 883 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::parseKeyword(), mlir::AsmParser::parseOptionalColon(), and success().

◆ parsePrivateReductionRegion()

ParseResult parsePrivateReductionRegion	(	OpAsmParser &	parser,
		Region &	region,
		llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	privateVars,
		llvm::SmallVectorImpl< Type > &	privateTypes,
		ArrayAttr &	privateSyms,
		UnitAttr &	privateNeedsBarrier,
		ReductionModifierAttr &	reductionMod,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	reductionVars,
		SmallVectorImpl< Type > &	reductionTypes,
		DenseBoolArrayAttr &	reductionByref,
		ArrayAttr &	reductionSyms )

static

Definition at line 1578 of file OpenMPDialect.cpp.

References ArrayAttr(), and parseBlockArgRegion().

◆ parsePrivateRegion()

ParseResult parsePrivateRegion	(	OpAsmParser &	parser,
		Region &	region,
		llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	privateVars,
		llvm::SmallVectorImpl< Type > &	privateTypes,
		ArrayAttr &	privateSyms,
		UnitAttr &	privateNeedsBarrier )

static

Definition at line 1567 of file OpenMPDialect.cpp.

References ArrayAttr(), and parseBlockArgRegion().

◆ parseScheduleClause()

ParseResult parseScheduleClause	(	OpAsmParser &	parser,
		ClauseScheduleKindAttr &	scheduleAttr,
		ScheduleModifierAttr &	scheduleMod,
		UnitAttr &	scheduleSimd,
		std::optional< OpAsmParser::UnresolvedOperand > &	chunkSize,
		Type &	chunkType )

static

schedule ::= schedule ( sched-list ) sched-list ::= sched-val | sched-val sched-list | sched-val , sched-modifier sched-val ::= sched-with-chunk | sched-wo-chunk sched-with-chunk ::= sched-with-chunk-types (= ssa-id-and-type)?

Definition at line 801 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getBuilder(), mlir::AsmParser::getContext(), mlir::Builder::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::getNameLoc(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseKeyword(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalComma(), mlir::AsmParser::parseOptionalEqual(), success(), and verifyScheduleModifiers().

◆ parseSplitIteratedList()

template<typename ParsePrefixFn>

ParseResult parseSplitIteratedList	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	iteratedVars,
		SmallVectorImpl< Type > &	iteratedTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	plainVars,
		SmallVectorImpl< Type > &	plainTypes,
		ParsePrefixFn &&	parsePrefix )

static

Definition at line 1876 of file OpenMPDialect.cpp.

References mlir::AsmParser::parseColonType(), mlir::AsmParser::parseCommaSeparatedList(), mlir::OpAsmParser::parseOperand(), and success().

Referenced by parseAffinityClause().

◆ parseSynchronizationHint()

ParseResult parseSynchronizationHint	(	OpAsmParser &	parser,
		IntegerAttr &	hintAttr )

static

Parses a Synchronization Hint clause.

The value of hint is an integer which is a combination of different hints from omp_sync_hint_t.

hint-clause = hint ( hint-value )

Definition at line 2181 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getBuilder(), mlir::AsmParser::getCurrentLocation(), mlir::Builder::getI64Type(), mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseKeyword(), mlir::AsmParser::parseOptionalKeyword(), and success().

◆ parseTargetOpRegion()

ParseResult parseTargetOpRegion	(	OpAsmParser &	parser,
		Region &	region,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	hasDeviceAddrVars,
		SmallVectorImpl< Type > &	hasDeviceAddrTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	hostEvalVars,
		SmallVectorImpl< Type > &	hostEvalTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	mapVars,
		SmallVectorImpl< Type > &	mapTypes,
		llvm::SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	privateVars,
		llvm::SmallVectorImpl< Type > &	privateTypes,
		ArrayAttr &	privateSyms,
		UnitAttr &	privateNeedsBarrier,
		DenseI64ArrayAttr &	privateMaps )

static

Definition at line 1510 of file OpenMPDialect.cpp.

References ArrayAttr(), and parseBlockArgRegion().

◆ parseTaskReductionRegion()

ParseResult parseTaskReductionRegion	(	OpAsmParser &	parser,
		Region &	region,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	taskReductionVars,
		SmallVectorImpl< Type > &	taskReductionTypes,
		DenseBoolArrayAttr &	taskReductionByref,
		ArrayAttr &	taskReductionSyms )

static

Definition at line 1594 of file OpenMPDialect.cpp.

References ArrayAttr(), and parseBlockArgRegion().

◆ parseUniformClause()

ParseResult parseUniformClause	(	OpAsmParser &	parser,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	uniformVars,
		SmallVectorImpl< Type > &	uniformTypes )

static

uniform ::= uniform ( uniform-list ) uniform-list := uniform-val (, uniform-val)* uniform-val := ssa-id : type */

Definition at line 5602 of file OpenMPDialect.cpp.

References mlir::AsmParser::parseColonType(), mlir::AsmParser::parseCommaSeparatedList(), and mlir::OpAsmParser::parseOperand().

◆ parseUseDeviceAddrUseDevicePtrRegion()

ParseResult parseUseDeviceAddrUseDevicePtrRegion	(	OpAsmParser &	parser,
		Region &	region,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	useDeviceAddrVars,
		SmallVectorImpl< Type > &	useDeviceAddrTypes,
		SmallVectorImpl< OpAsmParser::UnresolvedOperand > &	useDevicePtrVars,
		SmallVectorImpl< Type > &	useDevicePtrTypes )

static

Definition at line 1605 of file OpenMPDialect.cpp.

References parseBlockArgRegion().

◆ printAffinityClause()

void printAffinityClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ValueRange	iterated,
		ValueRange	affinityVars,
		TypeRange	iteratedTypes,
		TypeRange	affinityVarTypes )

static

Definition at line 5640 of file OpenMPDialect.cpp.

References printSplitIteratedList().

◆ printAlignedClause()

void printAlignedClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ValueRange	alignedVars,
		TypeRange	alignedTypes,
		std::optional< ArrayAttr >	alignments )

static

Print Aligned Clause.

Definition at line 654 of file OpenMPDialect.cpp.

References mlir::ValueRange::getType().

◆ printAllocateAndAllocator()

void printAllocateAndAllocator	(	OpAsmPrinter &	p,
		Operation *	op,
		OperandRange	allocateVars,
		TypeRange	allocateTypes,
		OperandRange	allocatorVars,
		TypeRange	allocatorTypes )

static

Print allocate clause.

Definition at line 424 of file OpenMPDialect.cpp.

◆ printBlockArgClause() [1/3]

void printBlockArgClause	(	OpAsmPrinter &	p,
		MLIRContext *	ctx,
		StringRef	clauseName,
		ValueRange	argsSubrange,
		std::optional< MapPrintArgs >	mapArgs )

static

Definition at line 1713 of file OpenMPDialect.cpp.

References printClauseWithRegionArgs().

Referenced by printBlockArgRegion().

◆ printBlockArgClause() [2/3]

void printBlockArgClause	(	OpAsmPrinter &	p,
		MLIRContext *	ctx,
		StringRef	clauseName,
		ValueRange	argsSubrange,
		std::optional< PrivatePrintArgs >	privateArgs )

static

Definition at line 1721 of file OpenMPDialect.cpp.

References printClauseWithRegionArgs().

◆ printBlockArgClause() [3/3]

void printBlockArgClause	(	OpAsmPrinter &	p,
		MLIRContext *	ctx,
		StringRef	clauseName,
		ValueRange	argsSubrange,
		std::optional< ReductionPrintArgs >	reductionArgs )

static

Definition at line 1732 of file OpenMPDialect.cpp.

References printClauseWithRegionArgs().

◆ printBlockArgRegion()

void printBlockArgRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		const AllRegionPrintArgs &	args )

static

Definition at line 1742 of file OpenMPDialect.cpp.

References mlir::Operation::getContext(), printBlockArgClause(), and mlir::OpAsmPrinter::printRegion().

Referenced by printInReductionPrivateReductionRegion(), printInReductionPrivateRegion(), printPrivateReductionRegion(), printPrivateRegion(), printTargetOpRegion(), printTaskReductionRegion(), and printUseDeviceAddrUseDevicePtrRegion().

◆ printCaptureType()

void printCaptureType	(	OpAsmPrinter &	p,
		Operation *	op,
		VariableCaptureKindAttr	mapCaptureType )

static

Definition at line 2480 of file OpenMPDialect.cpp.

◆ printClauseAttr()

template<typename ClauseAttr>

void printClauseAttr	(	OpAsmPrinter &	p,
		Operation *	op,
		ClauseAttr	attr )

static

Definition at line 455 of file OpenMPDialect.cpp.

◆ printClauseWithRegionArgs()

void printClauseWithRegionArgs	(	OpAsmPrinter &	p,
		MLIRContext *	ctx,
		StringRef	clauseName,
		ValueRange	argsSubrange,
		ValueRange	operands,
		TypeRange	types,
		ArrayAttr	symbols = nullptr,
		DenseI64ArrayAttr	mapIndices = nullptr,
		DenseBoolArrayAttr	byref = nullptr,
		ReductionModifierAttr	modifier = nullptr,
		UnitAttr	needsBarrier = nullptr )

static

Definition at line 1661 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::detail::DenseArrayAttrImpl< bool >::get(), mlir::detail::DenseArrayAttrImpl< int64_t >::get(), and getPrivateNeedsBarrierSpelling().

Referenced by printBlockArgClause(), printBlockArgClause(), and printBlockArgClause().

◆ printCopyprivate()

void printCopyprivate	(	OpAsmPrinter &	p,
		Operation *	op,
		OperandRange	copyprivateVars,
		TypeRange	copyprivateTypes,
		std::optional< ArrayAttr >	copyprivateSyms )

static

Print Copyprivate clause.

Definition at line 1998 of file OpenMPDialect.cpp.

◆ printDependVarList()

void printDependVarList	(	OpAsmPrinter &	p,
		Operation *	op,
		OperandRange	dependVars,
		TypeRange	dependTypes,
		std::optional< ArrayAttr >	dependKinds,
		OperandRange	iteratedVars,
		TypeRange	iteratedTypes,
		std::optional< ArrayAttr >	iteratedKinds )

static

Print Depend clause.

Definition at line 2123 of file OpenMPDialect.cpp.

◆ printDynGroupprivateClause()

void printDynGroupprivateClause	(	OpAsmPrinter &	printer,
		Operation *	op,
		AccessGroupModifierAttr	modifierFirst,
		FallbackModifierAttr	modifierSecond,
		Value	dynGroupprivateSize,
		Type	sizeType )

static

Definition at line 1144 of file OpenMPDialect.cpp.

◆ printGrainsizeClause()

void printGrainsizeClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ClauseGrainsizeTypeAttr	grainsizeMod,
		Value	grainsize,
		mlir::Type	grainsizeType )

static

Definition at line 980 of file OpenMPDialect.cpp.

References printGranularityClause().

◆ printGranularityClause()

template<typename ClauseTypeAttr, typename ClauseType>

void printGranularityClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ClauseTypeAttr	prescriptiveness,
		Value	operand,
		mlir::Type	operandType,
		StringRef(*	stringifyClauseType )(ClauseType) )

static

Definition at line 954 of file OpenMPDialect.cpp.

Referenced by printGrainsizeClause(), and printNumTasksClause().

◆ printHeapAllocClause()

void printHeapAllocClause	(	OpAsmPrinter &	p,
		Operation *	op,
		TypeAttr	inType,
		ValueRange	typeparams,
		TypeRange	typeparamsTypes,
		ValueRange	shape,
		TypeRange	shapeTypes )

static

Definition at line 1047 of file OpenMPDialect.cpp.

References mlir::OpAsmPrinter::printOperand().

◆ printInReductionClause()

void printInReductionClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ValueRange	inReductionVars,
		TypeRange	inReductionTypes,
		DenseBoolArrayAttr	inReductionByref,
		ArrayAttr	inReductionSyms )

static

Prints an in_reduction clause for an operation that does not give its list items entry block arguments (e.g.

omp.target). Mirrors parseInReductionClause.

Definition at line 1216 of file OpenMPDialect.cpp.

References ArrayAttr(), mlir::detail::DenseArrayAttrImpl< T >::asArrayRef(), mlir::detail::DenseArrayAttrImpl< bool >::get(), and mlir::Operation::getContext().

◆ printInReductionPrivateReductionRegion()

void printInReductionPrivateReductionRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	inReductionVars,
		TypeRange	inReductionTypes,
		DenseBoolArrayAttr	inReductionByref,
		ArrayAttr	inReductionSyms,
		ValueRange	privateVars,
		TypeRange	privateTypes,
		ArrayAttr	privateSyms,
		UnitAttr	privateNeedsBarrier,
		ReductionModifierAttr	reductionMod,
		ValueRange	reductionVars,
		TypeRange	reductionTypes,
		DenseBoolArrayAttr	reductionByref,
		ArrayAttr	reductionSyms )

static

Definition at line 1806 of file OpenMPDialect.cpp.

References ArrayAttr(), and printBlockArgRegion().

◆ printInReductionPrivateRegion()

void printInReductionPrivateRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	inReductionVars,
		TypeRange	inReductionTypes,
		DenseBoolArrayAttr	inReductionByref,
		ArrayAttr	inReductionSyms,
		ValueRange	privateVars,
		TypeRange	privateTypes,
		ArrayAttr	privateSyms,
		UnitAttr	privateNeedsBarrier )

static

Definition at line 1792 of file OpenMPDialect.cpp.

References ArrayAttr(), and printBlockArgRegion().

◆ printIteratorHeader()

void printIteratorHeader	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	lbs,
		ValueRange	ubs,
		ValueRange	steps,
		TypeRange	,
		TypeRange	,
		TypeRange	)

static

Definition at line 5720 of file OpenMPDialect.cpp.

References mlir::Region::front(), mlir::Block::getArgument(), mlir::Block::getNumArguments(), mlir::OpAsmPrinter::printRegion(), and mlir::OpAsmPrinter::printRegionArgument().

◆ printLinearClause()

void printLinearClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ValueRange	linearVars,
		TypeRange	linearTypes,
		ValueRange	linearStepVars,
		TypeRange	stepVarTypes,
		ArrayAttr	linearModifiers )

static

Print Linear Clause.

Definition at line 521 of file OpenMPDialect.cpp.

References ArrayAttr().

◆ printLoopTransformClis() [1/2]

void printLoopTransformClis	(	OpAsmPrinter &	p,
		FuseOp	op,
		OperandRange	generatees,
		OperandRange	applyees )

static

Definition at line 4825 of file OpenMPDialect.cpp.

◆ printLoopTransformClis() [2/2]

void printLoopTransformClis	(	OpAsmPrinter &	p,
		TileOp	op,
		OperandRange	generatees,
		OperandRange	applyees )

static

Definition at line 4675 of file OpenMPDialect.cpp.

◆ printMembersIndex()

void printMembersIndex	(	OpAsmPrinter &	p,
		MapInfoOp	op,
		ArrayAttr	membersIdx )

static

Definition at line 2465 of file OpenMPDialect.cpp.

References ArrayAttr().

◆ printNumTasksClause()

void printNumTasksClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ClauseNumTasksTypeAttr	numTasksMod,
		Value	numTasks,
		mlir::Type	numTasksType )

static

Definition at line 1002 of file OpenMPDialect.cpp.

References printGranularityClause().

◆ printOrderClause()

void printOrderClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ClauseOrderKindAttr	order,
		OrderModifierAttr	orderMod )

static

Definition at line 907 of file OpenMPDialect.cpp.

◆ printPrivateReductionRegion()

void printPrivateReductionRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	privateVars,
		TypeRange	privateTypes,
		ArrayAttr	privateSyms,
		UnitAttr	privateNeedsBarrier,
		ReductionModifierAttr	reductionMod,
		ValueRange	reductionVars,
		TypeRange	reductionTypes,
		DenseBoolArrayAttr	reductionByref,
		ArrayAttr	reductionSyms )

static

Definition at line 1836 of file OpenMPDialect.cpp.

References ArrayAttr(), and printBlockArgRegion().

◆ printPrivateRegion()

void printPrivateRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	privateVars,
		TypeRange	privateTypes,
		ArrayAttr	privateSyms,
		UnitAttr	privateNeedsBarrier )

static

Definition at line 1825 of file OpenMPDialect.cpp.

References ArrayAttr(), and printBlockArgRegion().

◆ printScheduleClause()

void printScheduleClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ClauseScheduleKindAttr	scheduleKind,
		ScheduleModifierAttr	scheduleMod,
		UnitAttr	scheduleSimd,
		Value	scheduleChunk,
		Type	scheduleChunkType )

static

Print schedule clause.

Definition at line 863 of file OpenMPDialect.cpp.

References mlir::Value::getType().

◆ printSplitIteratedList()

template<typename PrintPrefixFn>

void printSplitIteratedList	(	OpAsmPrinter &	p,
		ValueRange	iteratedVars,
		TypeRange	iteratedTypes,
		ValueRange	plainVars,
		TypeRange	plainTypes,
		PrintPrefixFn &&	printPrefixForPlain,
		PrintPrefixFn &&	printPrefixForIterated )

static

Definition at line 1904 of file OpenMPDialect.cpp.

References emit().

Referenced by printAffinityClause().

◆ printSynchronizationHint()

void printSynchronizationHint	(	OpAsmPrinter &	p,
		Operation *	op,
		IntegerAttr	hintAttr )

static

Prints a Synchronization Hint clause.

Definition at line 2212 of file OpenMPDialect.cpp.

◆ printTargetOpRegion()

void printTargetOpRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	hasDeviceAddrVars,
		TypeRange	hasDeviceAddrTypes,
		ValueRange	hostEvalVars,
		TypeRange	hostEvalTypes,
		ValueRange	mapVars,
		TypeRange	mapTypes,
		ValueRange	privateVars,
		TypeRange	privateTypes,
		ArrayAttr	privateSyms,
		UnitAttr	privateNeedsBarrier,
		DenseI64ArrayAttr	privateMaps )

static

Definition at line 1774 of file OpenMPDialect.cpp.

References ArrayAttr(), and printBlockArgRegion().

◆ printTaskReductionRegion()

void printTaskReductionRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	taskReductionVars,
		TypeRange	taskReductionTypes,
		DenseBoolArrayAttr	taskReductionByref,
		ArrayAttr	taskReductionSyms )

static

Definition at line 1851 of file OpenMPDialect.cpp.

References ArrayAttr(), and printBlockArgRegion().

◆ printUniformClause()

void printUniformClause	(	OpAsmPrinter &	p,
		Operation *	op,
		ValueRange	uniformVars,
		TypeRange	uniformTypes )

static

Print Uniform Clauses.

Definition at line 5614 of file OpenMPDialect.cpp.

◆ printUseDeviceAddrUseDevicePtrRegion()

void printUseDeviceAddrUseDevicePtrRegion	(	OpAsmPrinter &	p,
		Operation *	op,
		Region &	region,
		ValueRange	useDeviceAddrVars,
		TypeRange	useDeviceAddrTypes,
		ValueRange	useDevicePtrVars,
		TypeRange	useDevicePtrTypes )

static

Definition at line 1863 of file OpenMPDialect.cpp.

References printBlockArgRegion().

◆ push_back()

memberIdxs push_back ( ArrayAttr::get(parser.getContext(), values) )

Referenced by mlir::NamedAttrList::append(), applyTilingToAll(), getReassociationForFlattening(), and mlirTypeConverterConversionResultsAppend().

◆ success()

return success ( )

Referenced by checkApplyeesNesting(), parseAffinityClause(), parseAllocateAndAllocator(), parseBlockArgClause(), parseBlockArgClause(), parseBlockArgClause(), parseCaptureType(), parseClauseAttr(), parseCopyprivate(), parseDynGroupprivateClause(), parseGranularityClause(), parseHeapAllocClause(), parseInReductionClause(), parseLinearClause(), parseLoopTransformClis(), parseOrderClause(), parseScheduleClause(), parseSplitIteratedList(), parseSynchronizationHint(), verifyAlignedClause(), verifyAlignment(), verifyCopyprivateVarList(), verifyDeclareTargetAttr(), verifyDependVarList(), verifyDynGroupprivateClause(), verifyLinearModifiers(), verifyMapClause(), verifyMapInfoDefinedArgs(), verifyMapInfoForMapClause(), verifyNontemporalClause(), verifyNumTeamsClause(), verifyOrderedParent(), verifyPrivateVarList(), verifyPrivateVarsMapping(), verifyReductionVarList(), verifyScheduleModifiers(), and verifySynchronizationHint().

◆ targetInReductionCapturedBy()

bool targetInReductionCapturedBy	(	Value	inReductionVar,
		Value	mapVarPtr )

static

An omp.target in_reduction operand is captured by a map_entries entry when the entry's MapInfoOp var_ptr is the same SSA value, or another result of the same defining op. At this stage, exact identity can only be required for block arguments, which have no defining op. Flang emits hlfir.declare #0 for the in_reduction operand and #1 for the map var_ptr; these collapse to the same value after lowering, but that cannot be enforced here.

Definition at line 2848 of file OpenMPDialect.cpp.

References mlir::Value::getDefiningOp().

◆ verifyAlignedClause()

LogicalResult verifyAlignedClause	(	Operation *	op,
		std::optional< ArrayAttr >	alignments,
		OperandRange	alignedVars )

static

Definition at line 593 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ verifyAlignment()

LogicalResult verifyAlignment	(	Operation &	op,
		std::optional< uint64_t >	alignment )

Verifies align clause in allocate directive.

Definition at line 5477 of file OpenMPDialect.cpp.

References mlir::Operation::emitError(), and success().

◆ verifyAllocateClause()

LogicalResult verifyAllocateClause	(	Operation *	op,
		ValueRange	allocateVars,
		ValueRange	allocatorVars,
		DenseI64ArrayAttr	allocateAlignments,
		DenseI64ArrayAttr	allocatePrivateIndices,
		ValueRange	privateVars = {},
		ArrayAttr	privateSyms = nullptr,
		bool	requirePrivateIndices = false )

static

Definition at line 665 of file OpenMPDialect.cpp.

◆ verifyCopyprivateVarList()

LogicalResult verifyCopyprivateVarList	(	Operation *	op,
		OperandRange	copyprivateVars,
		std::optional< ArrayAttr >	copyprivateSyms )

static

Verifies CopyPrivate Clause.

Definition at line 2014 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), mlir::SymbolTable::lookupNearestSymbolFrom(), and success().

◆ verifyDeclareTargetAttr()

LogicalResult verifyDeclareTargetAttr	(	Operation *	op,
		Attribute	attr )

static

Definition at line 350 of file OpenMPDialect.cpp.

References mlir::Operation::emitError(), mlir::Operation::emitOpError(), and success().

◆ verifyDependVarList()

LogicalResult verifyDependVarList	(	Operation *	op,
		std::optional< ArrayAttr >	dependKinds,
		OperandRange	dependVars,
		std::optional< ArrayAttr >	iteratedKinds,
		OperandRange	iteratedVars )

static

Verifies Depend clause.

Definition at line 2147 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ verifyDynGroupprivateClause()

LogicalResult verifyDynGroupprivateClause	(	Operation *	op,
		AccessGroupModifierAttr	accessGroup,
		FallbackModifierAttr	fallback,
		Value	dynGroupprivateSize )

static

Definition at line 1066 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ verifyLinearModifiers()

LogicalResult verifyLinearModifiers	(	Operation *	op,
		std::optional< ArrayAttr >	linearModifiers,
		OperandRange	linearVars,
		bool	isDeclareSimd = false )

static

OpenMP 5.2, Section 5.4.6: "A linear-modifier may be specified as ref or uval only on a declare simd directive.

" Also verifies that modifier count matches variable count.

Definition at line 550 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ verifyMapClause()

LogicalResult verifyMapClause	(	Operation *	op,
		OperandRange	mapVars,
		OperandRange	mapIterated )

static

Definition at line 2589 of file OpenMPDialect.cpp.

References mlir::emitError(), mlir::Operation::emitOpError(), mlir::Operation::getLoc(), success(), and verifyMapInfoForMapClause().

◆ verifyMapInfoDefinedArgs()

LogicalResult verifyMapInfoDefinedArgs	(	Operation *	op,
		StringRef	clauseName,
		OperandRange	vars )

static

Definition at line 2657 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ verifyMapInfoForMapClause()

LogicalResult verifyMapInfoForMapClause	(	Operation *	op,
		mlir::omp::MapInfoOp	mapInfoOp,
		llvm::DenseSet< mlir::TypedValue< mlir::omp::PointerLikeType > > &	updateToVars,
		llvm::DenseSet< mlir::TypedValue< mlir::omp::PointerLikeType > > &	updateFromVars )

static

Definition at line 2517 of file OpenMPDialect.cpp.

References mlir::emitError(), mlir::Operation::getLoc(), mapTypeToBool(), and success().

Referenced by verifyMapClause().

◆ verifyNontemporalClause()

LogicalResult verifyNontemporalClause	(	Operation *	op,
		OperandRange	nontemporalVars )

static

Definition at line 578 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ verifyNumTeamsClause()

LogicalResult verifyNumTeamsClause	(	Operation *	op,
		Value	numTeamsLower,
		OperandRange	numTeamsUpperVars )

static

Definition at line 3149 of file OpenMPDialect.cpp.

References mlir::Operation::emitError(), mlir::OperandRange::getType(), mlir::Value::getType(), and success().

◆ verifyOrderedParent()

LogicalResult verifyOrderedParent ( Operation & op )

static

Definition at line 4944 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), mlir::Operation::getParentOfType(), mlir::Operation::getParentOp(), and success().

◆ verifyPrivateVarList()

template<typename OpType>

LogicalResult verifyPrivateVarList ( OpType & op )

static

Definition at line 3034 of file OpenMPDialect.cpp.

References mlir::SymbolTable::lookupNearestSymbolFrom(), and success().

◆ verifyPrivateVarsMapping()

LogicalResult verifyPrivateVarsMapping ( TargetOp targetOp )

static

Definition at line 2635 of file OpenMPDialect.cpp.

References mlir::emitError(), and success().

◆ verifyReductionVarList()

LogicalResult verifyReductionVarList	(	Operation *	op,
		std::optional< ArrayAttr >	reductionSyms,
		OperandRange	reductionVars,
		std::optional< ArrayRef< bool > >	reductionByref )

static

Verifies Reduction Clause.

Definition at line 1927 of file OpenMPDialect.cpp.

References mlir::Operation::emitError(), mlir::Operation::emitOpError(), mlir::Value::getType(), mlir::SymbolTable::lookupNearestSymbolFrom(), and success().

◆ verifyScheduleModifiers()

ParseResult verifyScheduleModifiers	(	OpAsmParser &	parser,
		SmallVectorImpl< SmallString< 12 > > &	modifiers )

static

Definition at line 760 of file OpenMPDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getNameLoc(), and success().

Referenced by parseScheduleClause().

◆ verifySynchronizationHint()

LogicalResult verifySynchronizationHint	(	Operation *	op,
		uint64_t	hint )

static

Verifies a synchronization hint clause.

Definition at line 2243 of file OpenMPDialect.cpp.

References mlir::Operation::emitOpError(), and success().

◆ while()

while ( succeeded(parser.parseOptionalComma()) )

Variable Documentation

◆ do

do

Initial value:

{
    if (failed(parser.parseLSquare()))
      return failure()

Definition at line 2445 of file OpenMPDialect.cpp.

◆ false

false

Parses a map_entries map type from a string format back into its numeric value.

map-clause = map_clauses ( ( ( always, ? implicit, ? ompx_hold, ? / close, ? present, ? ( to | from | delete ) )+ )` ) static ParseResult parseMapClause(OpAsmParser &parser, ClauseMapFlagsAttr &mapType) { ClauseMapFlags mapTypeBits = ClauseMapFlags::none; This simply verifies the correct keyword is read in, the keyword itself is stored inside of the operation auto parseTypeAndMod = [&]() -> ParseResult { StringRef mapTypeMod; if (parser.parseKeyword(&mapTypeMod)) return failure();

if (mapTypeMod == "always") mapTypeBits |= ClauseMapFlags::always;

if (mapTypeMod == "implicit") mapTypeBits |= ClauseMapFlags::implicit;

if (mapTypeMod == "ompx_hold") mapTypeBits |= ClauseMapFlags::ompx_hold;

if (mapTypeMod == "close") mapTypeBits |= ClauseMapFlags::close;

if (mapTypeMod == "present") mapTypeBits |= ClauseMapFlags::present;

if (mapTypeMod == "to") mapTypeBits |= ClauseMapFlags::to;

if (mapTypeMod == "from") mapTypeBits |= ClauseMapFlags::from;

if (mapTypeMod == "tofrom") mapTypeBits |= ClauseMapFlags::to | ClauseMapFlags::from;

if (mapTypeMod == "delete") mapTypeBits |= ClauseMapFlags::del;

if (mapTypeMod == "storage") mapTypeBits |= ClauseMapFlags::storage;

if (mapTypeMod == "return_param") mapTypeBits |= ClauseMapFlags::return_param;

if (mapTypeMod == "private") mapTypeBits |= ClauseMapFlags::priv;

if (mapTypeMod == "literal") mapTypeBits |= ClauseMapFlags::literal;

if (mapTypeMod == "attach") mapTypeBits |= ClauseMapFlags::attach;

if (mapTypeMod == "attach_always") mapTypeBits |= ClauseMapFlags::attach_always;

if (mapTypeMod == "attach_never") mapTypeBits |= ClauseMapFlags::attach_never;

if (mapTypeMod == "attach_auto") mapTypeBits |= ClauseMapFlags::attach_auto;

if (mapTypeMod == "ref_ptr") mapTypeBits |= ClauseMapFlags::ref_ptr;

if (mapTypeMod == "ref_ptee") mapTypeBits |= ClauseMapFlags::ref_ptee;

if (mapTypeMod == "is_device_ptr") mapTypeBits |= ClauseMapFlags::is_device_ptr;

if (mapTypeMod == "target_param") mapTypeBits |= ClauseMapFlags::target_param;

return success(); };

if (parser.parseCommaSeparatedList(parseTypeAndMod)) return failure();

mapType = parser.getBuilder().getAttr<mlir::omp::ClauseMapFlagsAttr>(mapTypeBits);

return success(); }

/ Prints a map_entries map type from its numeric value out into its string / format. static void printMapClause(OpAsmPrinter &p, Operation *op, ClauseMapFlagsAttr mapType) { llvm::SmallVector<std::string, 4> mapTypeStrs; ClauseMapFlags mapFlags = mapType.getValue();

handling of always, close, present placed at the beginning of the string to aid readability if (mapTypeToBool(mapFlags, ClauseMapFlags::always)) mapTypeStrs.push_back("always"); if (mapTypeToBool(mapFlags, ClauseMapFlags::implicit)) mapTypeStrs.push_back("implicit"); if (mapTypeToBool(mapFlags, ClauseMapFlags::ompx_hold)) mapTypeStrs.push_back("ompx_hold"); if (mapTypeToBool(mapFlags, ClauseMapFlags::close)) mapTypeStrs.push_back("close"); if (mapTypeToBool(mapFlags, ClauseMapFlags::present)) mapTypeStrs.push_back("present"); if (mapTypeToBool(mapFlags, ClauseMapFlags::target_param)) mapTypeStrs.push_back("target_param");

special handling of to/from/tofrom/delete and release/alloc, release + alloc are the abscense of one of the other flags, whereas tofrom requires both the to and from flag to be set. bool to = mapTypeToBool(mapFlags, ClauseMapFlags::to); bool from = mapTypeToBool(mapFlags, ClauseMapFlags::from);

if (to && from) mapTypeStrs.push_back("tofrom"); else if (from) mapTypeStrs.push_back("from"); else if (to) mapTypeStrs.push_back("to");

if (mapTypeToBool(mapFlags, ClauseMapFlags::del)) mapTypeStrs.push_back("delete"); if (mapTypeToBool(mapFlags, ClauseMapFlags::return_param)) mapTypeStrs.push_back("return_param"); if (mapTypeToBool(mapFlags, ClauseMapFlags::storage)) mapTypeStrs.push_back("storage"); if (mapTypeToBool(mapFlags, ClauseMapFlags::priv)) mapTypeStrs.push_back("private"); if (mapTypeToBool(mapFlags, ClauseMapFlags::literal)) mapTypeStrs.push_back("literal"); if (mapTypeToBool(mapFlags, ClauseMapFlags::attach)) mapTypeStrs.push_back("attach"); if (mapTypeToBool(mapFlags, ClauseMapFlags::attach_always)) mapTypeStrs.push_back("attach_always"); if (mapTypeToBool(mapFlags, ClauseMapFlags::attach_never)) mapTypeStrs.push_back("attach_never"); if (mapTypeToBool(mapFlags, ClauseMapFlags::attach_auto)) mapTypeStrs.push_back("attach_auto"); if (mapTypeToBool(mapFlags, ClauseMapFlags::ref_ptr)) mapTypeStrs.push_back("ref_ptr"); if (mapTypeToBool(mapFlags, ClauseMapFlags::ref_ptee)) mapTypeStrs.push_back("ref_ptee"); if (mapTypeToBool(mapFlags, ClauseMapFlags::is_device_ptr)) mapTypeStrs.push_back("is_device_ptr"); if (mapFlags == ClauseMapFlags::none) mapTypeStrs.push_back("none");

for (unsigned int i = 0; i < mapTypeStrs.size(); ++i) { p << mapTypeStrs[i]; if (i + 1 < mapTypeStrs.size()) { p << ", "; } } }

static ParseResult parseMembersIndex(OpAsmParser &parser, ArrayAttr &membersIdx) { SmallVector<Attribute> values, memberIdxs;

auto parseIndices = [&]() -> ParseResult { int64_t value; if (parser.parseInteger(value)) return failure(); values.push_back(IntegerAttr::get(parser.getBuilder().getIntegerType(64), APInt(64, value, /*isSigned=

Definition at line 2441 of file OpenMPDialect.cpp.

Referenced by mlir::Operation::CloneOptions::CloneOptions(), mlir::LLVM::detail::DebugTranslation::DebugTranslation(), mlir::sparse_tensor::ir_detail::DimLvlMap::DimLvlMap(), mlir::SideEffects::EffectInstance< Effect >::EffectInstance(), mlir::SideEffects::EffectInstance< Effect >::EffectInstance(), mlir::SideEffects::EffectInstance< Effect >::EffectInstance(), mlir::SideEffects::EffectInstance< Effect >::EffectInstance(), mlir::SideEffects::EffectInstance< Effect >::EffectInstance(), mlir::SideEffects::EffectInstance< Effect >::EffectInstance(), mlir::LLVM::detail::LLVMStructTypeStorage::Key::Key(), mlir::sparse_tensor::LatPoint::LatPoint(), mlir::pdll::Lexer::Lexer(), mlir::sparse_tensor::Merger::Merger(), mlir::detail::OperandStorage::OperandStorage(), mlir::OpPrintingFlags::OpPrintingFlags(), mlir::detail::PassOptions::Option< DataType, OptionParser >::Option(), mlir::detail::PassExecutionState::PassExecutionState(), mlir::PassManager::PassManager(), mlir::PassManager::PassManager(), mlir::PassPipelineCLParser::PassPipelineCLParser(), mlir::python::MLIR_BINDINGS_PYTHON_DOMAIN::PyRewritePatternSet::PyRewritePatternSet(), mlir::python::MLIR_BINDINGS_PYTHON_DOMAIN::PyTypeConverter::PyTypeConverter(), mlir::ShapedTypeComponents::ShapedTypeComponents(), mlir::presburger::Simplex::Simplex(), mlir::presburger::SimplexBase::SimplexBase(), mlir::spirv::detail::StructTypeStorage::StructTypeStorage(), mlir::spirv::detail::StructTypeStorage::StructTypeStorage(), and mlir::tosa::ValueKnowledge::ValueKnowledge().

Macros

Functions

Variables

Macro Definition Documentation

◆ GET_ATTRDEF_CLASSES

◆ GET_ATTRDEF_LIST

◆ GET_OP_CLASSES

◆ GET_OP_LIST

◆ GET_TYPEDEF_CLASSES

◆ GET_TYPEDEF_LIST

Function Documentation

◆ checkApplyeesNesting()

◆ clear()

◆ generateLoopNestingName()

◆ getParentInSameDialect()

◆ getPrivateNeedsBarrierSpelling()

◆ if() [1/3]

◆ if() [2/3]

◆ if() [3/3]

◆ makeArrayAttr()

◆ makeDenseBoolArrayAttr()

◆ makeDenseI64ArrayAttr()

◆ mapTypeToBool()

◆ opInGlobalImplicitParallelRegion()

◆ parseAffinityClause()

◆ parseAlignedClause()

◆ parseAllocateAndAllocator()

◆ parseBlockArgClause() [1/3]

◆ parseBlockArgClause() [2/3]

◆ parseBlockArgClause() [3/3]

◆ parseBlockArgRegion()

◆ parseCaptureType()

◆ parseClauseAttr()

◆ parseClauseWithRegionArgs()

◆ parseCopyprivate()

◆ parseDependVarList()

◆ parseDynGroupprivateClause()

◆ parseGrainsizeClause()

◆ parseGranularityClause()

◆ parseHeapAllocClause()

◆ parseInReductionClause()

◆ parseInReductionPrivateReductionRegion()

◆ parseInReductionPrivateRegion()

◆ parseIteratorHeader()

◆ parseLinearClause()

◆ parseLoopTransformClis()

◆ parseNumTasksClause()

◆ parseOrderClause()

◆ parsePrivateReductionRegion()

◆ parsePrivateRegion()

◆ parseScheduleClause()

◆ parseSplitIteratedList()

◆ parseSynchronizationHint()

◆ parseTargetOpRegion()

◆ parseTaskReductionRegion()

◆ parseUniformClause()

◆ parseUseDeviceAddrUseDevicePtrRegion()

◆ printAffinityClause()

◆ printAlignedClause()

◆ printAllocateAndAllocator()

◆ printBlockArgClause() [1/3]

◆ printBlockArgClause() [2/3]

◆ printBlockArgClause() [3/3]

◆ printBlockArgRegion()

◆ printCaptureType()

◆ printClauseAttr()

◆ printClauseWithRegionArgs()

◆ printCopyprivate()

◆ printDependVarList()

◆ printDynGroupprivateClause()

◆ printGrainsizeClause()

◆ printGranularityClause()

◆ printHeapAllocClause()

◆ printInReductionClause()

◆ printInReductionPrivateReductionRegion()

◆ printInReductionPrivateRegion()

◆ printIteratorHeader()

◆ printLinearClause()

◆ printLoopTransformClis() [1/2]

◆ printLoopTransformClis() [2/2]