LLVMDialect.cpp File Reference

#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "TypeDetail.h"
#include "mlir/Dialect/LLVMIR/LLVMAttrs.h"
#include "mlir/Dialect/LLVMIR/LLVMInterfaces.h"
#include "mlir/Dialect/LLVMIR/LLVMTypes.h"
#include "mlir/IR/Attributes.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/DialectImplementation.h"
#include "mlir/IR/MLIRContext.h"
#include "mlir/IR/Matchers.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "mlir/Transforms/InliningUtils.h"
#include "llvm/ADT/SCCIterator.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/AsmParser/Parser.h"
#include "llvm/Bitcode/BitcodeReader.h"
#include "llvm/Bitcode/BitcodeWriter.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Type.h"
#include "llvm/Support/Error.h"
#include "llvm/Support/Mutex.h"
#include "llvm/Support/SourceMgr.h"
#include <numeric>
#include <optional>
#include "mlir/Dialect/LLVMIR/LLVMOpsDialect.cpp.inc"
#include "mlir/Dialect/LLVMIR/LLVMOps.cpp.inc"
#include "mlir/Dialect/LLVMIR/LLVMIntrinsicOps.cpp.inc"

Go to the source code of this file.

Macros
#define	REGISTER_ENUM_TYPE(Ty)
#define	GET_OP_LIST
#define	GET_OP_LIST
#define	GET_OP_CLASSES
#define	GET_OP_CLASSES

Functions
static auto	processFMFAttr (ArrayRef< NamedAttribute > attrs)
static LogicalResult	verifySymbolAttrUse (FlatSymbolRefAttr symbol, Operation *op, SymbolTableCollection &symbolTable)
	Verifies symbol's use in op to ensure the symbol is a valid and fully defined llvm.func. More...
static Type	getI1SameShape (Type type)
	Returns a boolean type that has the same shape as type. More...
static int	parseOptionalKeywordAlternative (OpAsmParser &parser, ArrayRef< StringRef > keywords)
template<typename EnumTy , typename RetTy = EnumTy>
static RetTy	parseOptionalLLVMKeyword (OpAsmParser &parser, OperationState &result, EnumTy defaultValue)
	Parse an enum from the keyword, or default to the provided default value. More...
static void	printOneOpBundle (OpAsmPrinter &p, OperandRange operands, TypeRange operandTypes, StringRef tag)
static void	printOpBundles (OpAsmPrinter &p, Operation *op, OperandRangeRange opBundleOperands, TypeRangeRange opBundleOperandTypes, std::optional< ArrayAttr > opBundleTags)
static ParseResult	parseOneOpBundle (OpAsmParser &p, SmallVector< SmallVector< OpAsmParser::UnresolvedOperand >> &opBundleOperands, SmallVector< SmallVector< Type >> &opBundleOperandTypes, SmallVector< Attribute > &opBundleTags)
static std::optional< ParseResult >	parseOpBundles (OpAsmParser &p, SmallVector< SmallVector< OpAsmParser::UnresolvedOperand >> &opBundleOperands, SmallVector< SmallVector< Type >> &opBundleOperandTypes, ArrayAttr &opBundleTags)
template<typename CmpPredicateType >
static ParseResult	parseCmpOp (OpAsmParser &parser, OperationState &result)
static Attribute	getBoolAttribute (Type type, MLIRContext *ctx, bool value)
	Returns a scalar or vector boolean attribute of the given type. More...
static ParseResult	parseSwitchOpCases (OpAsmParser &parser, Type flagType, DenseIntElementsAttr &caseValues, SmallVectorImpl< Block * > &caseDestinations, SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand >> &caseOperands, SmallVectorImpl< SmallVector< Type >> &caseOperandTypes)
	<cases> ::= [ (case (, case )* )? ] <case> ::= integer : bb-id (( ssa-use-and-type-list ))? More...
static void	printSwitchOpCases (OpAsmPrinter &p, SwitchOp op, Type flagType, DenseIntElementsAttr caseValues, SuccessorRange caseDestinations, OperandRangeRange caseOperands, const TypeRangeRange &caseOperandTypes)
static Type	extractVectorElementType (Type type)
	Returns the elemental type of any LLVM-compatible vector type or self. More...
static void	destructureIndices (Type currType, ArrayRef< GEPArg > indices, SmallVectorImpl< int32_t > &rawConstantIndices, SmallVectorImpl< Value > &dynamicIndices)
	Destructures the 'indices' parameter into 'rawConstantIndices' and 'dynamicIndices', encoding the former in the process. More...
static ParseResult	parseGEPIndices (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &indices, DenseI32ArrayAttr &rawConstantIndices)
static void	printGEPIndices (OpAsmPrinter &printer, LLVM::GEPOp gepOp, OperandRange indices, DenseI32ArrayAttr rawConstantIndices)
static LogicalResult	verifyStructIndices (Type baseGEPType, unsigned indexPos, GEPIndicesAdaptor< ValueRange > indices, function_ref< InFlightDiagnostic()> emitOpError)
	For the given indices, check if they comply with baseGEPType, especially check against LLVMStructTypes nested within. More...
static LogicalResult	verifyStructIndices (Type baseGEPType, GEPIndicesAdaptor< ValueRange > indices, function_ref< InFlightDiagnostic()> emitOpError)
	Driver function around verifyStructIndices. More...
static bool	isTypeCompatibleWithAtomicOp (Type type, const DataLayout &dataLayout)
	Returns true if the given type is supported by atomic operations. More...
template<typename OpTy >
LogicalResult	verifyAtomicMemOp (OpTy memOp, Type valueType, ArrayRef< AtomicOrdering > unsupportedOrderings)
	Verifies the attributes and the type of atomic memory access operations. More...
static SmallVector< Type, 1 >	getCallOpResultTypes (LLVMFunctionType calleeType)
	Gets the MLIR Op-like result types of a LLVMFunctionType. More...
static TypeAttr	getCallOpVarCalleeType (LLVMFunctionType calleeType)
	Gets the variadic callee type for a LLVMFunctionType. More...
static LLVMFunctionType	getLLVMFuncType (MLIRContext *context, TypeRange results, ValueRange args)
	Constructs a LLVMFunctionType from MLIR results and args. More...
static LogicalResult	verifyCallOpDebugInfo (CallOp callOp, LLVMFuncOp callee)
	Verify that an inlinable callsite of a debug-info-bearing function in a debug-info-bearing function has a debug location attached to it. More...
template<typename OpTy >
LogicalResult	verifyCallOpVarCalleeType (OpTy callOp)
	Verify that the parameter and return types of the variadic callee type match the callOp argument and result types. More...
template<typename OpType >
static LogicalResult	verifyOperandBundles (OpType &op)
static ParseResult	parseCallTypeAndResolveOperands (OpAsmParser &parser, OperationState &result, bool isDirect, ArrayRef< OpAsmParser::UnresolvedOperand > operands, SmallVectorImpl< DictionaryAttr > &argAttrs, SmallVectorImpl< DictionaryAttr > &resultAttrs)
	Parses the type of a call operation and resolves the operands if the parsing succeeds. More...
static ParseResult	parseOptionalCallFuncPtr (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &operands)
	Parses an optional function pointer operand before the call argument list for indirect calls, or stops parsing at the function identifier otherwise. More...
static ParseResult	resolveOpBundleOperands (OpAsmParser &parser, SMLoc loc, OperationState &state, ArrayRef< SmallVector< OpAsmParser::UnresolvedOperand >> opBundleOperands, ArrayRef< SmallVector< Type >> opBundleOperandTypes, StringAttr opBundleSizesAttrName)
static Type	getInsertExtractValueElementType (function_ref< InFlightDiagnostic(StringRef)> emitError, Type containerType, ArrayRef< int64_t > position)
	Extract the type at position in the LLVM IR aggregate type containerType. More...
static Type	getInsertExtractValueElementType (Type llvmType, ArrayRef< int64_t > position)
	Extract the type at position in the wrapped LLVM IR aggregate type containerType. More...
static ParseResult	parseInsertExtractValueElementType (AsmParser &parser, Type &valueType, Type containerType, DenseI64ArrayAttr position)
	Infer the value type from the container type and position. More...
static void	printInsertExtractValueElementType (AsmPrinter &printer, Operation *op, Type valueType, Type containerType, DenseI64ArrayAttr position)
	Nothing to print for an inferred type. More...
static Operation *	parentLLVMModule (Operation *op)
template<typename OpType >
static void	printCommonGlobalAndAlias (OpAsmPrinter &p, OpType op)
static LogicalResult	verifyComdat (Operation *op, std::optional< SymbolRefAttr > attr)
static LogicalResult	verifyBlockTags (LLVMFuncOp funcOp)
template<typename OpType >
static ParseResult	parseCommonGlobalAndAlias (OpAsmParser &parser, OperationState &result)
	Parse common attributes that might show up in the same order in both GlobalOp and AliasOp. More...
static bool	isZeroAttribute (Attribute value)
LogicalResult	checkGlobalXtorData (Operation *op, ArrayAttr data)
static ParseResult	parseShuffleType (AsmParser &parser, Type v1Type, Type &resType, DenseI32ArrayAttr mask)
	Build the result type of a shuffle vector operation. More...
static void	printShuffleType (AsmPrinter &printer, Operation *op, Type v1Type, Type resType, DenseI32ArrayAttr mask)
	Nothing to do when the result type is inferred. More...
static Type	buildLLVMFunctionType (OpAsmParser &parser, SMLoc loc, ArrayRef< Type > inputs, ArrayRef< Type > outputs, function_interface_impl::VariadicFlag variadicFlag)
static int64_t	getNumElements (Type t)
	Compute the total number of elements in the given type, also taking into account nested types. More...
static bool	hasScalableVectorType (Type t)
	Check if the given type is a scalable vector type or a vector/array type that contains a nested scalable vector type. More...
static LogicalResult	verifyStructArrayConstant (LLVM::ConstantOp op, LLVM::LLVMArrayType arrayType, ArrayAttr arrayAttr, int dim)
	Verifies the constant array represented by arrayAttr matches the provided arrayType. More...
static LLVMStructType	getValAndBoolStructType (Type valType)
	Returns an LLVM struct type that contains a value type and a boolean type. More...
template<class ExtOp >
static LogicalResult	verifyExtOp (ExtOp op)
	Verifies that the given extension operation operates on consistent scalars or vectors, and that the target width is larger than the input width. More...
template<typename T >
static OpFoldResult	foldChainableCast (T castOp, typename T::FoldAdaptor adaptor)
	Folds a cast op that can be chained. More...
static ParseResult	parseIndirectBrOpSucessors (OpAsmParser &parser, Type &flagType, SmallVectorImpl< Block * > &succOperandBlocks, SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand >> &succOperands, SmallVectorImpl< SmallVector< Type >> &succOperandsTypes)
static void	printIndirectBrOpSucessors (OpAsmPrinter &p, IndirectBrOp op, Type flagType, SuccessorRange succs, OperandRangeRange succOperands, const TypeRangeRange &succOperandsTypes)

Variables
static constexpr const char	kElemTypeAttrName [] = "elem_type"

Macro Definition Documentation

GET_OP_CLASSES [1/2]

#define GET_OP_CLASSES

Definition at line 4085 of file LLVMDialect.cpp.

GET_OP_CLASSES [2/2]

#define GET_OP_CLASSES

Definition at line 4085 of file LLVMDialect.cpp.

GET_OP_LIST [1/2]

#define GET_OP_LIST

GET_OP_LIST [2/2]

#define GET_OP_LIST

REGISTER_ENUM_TYPE

#define REGISTER_ENUM_TYPE

(

Ty

)

Value:

  template <>                                                                  \
  struct EnumTraits<Ty> {                                                      \
    static StringRef stringify(Ty value) { return stringify##Ty(value); }      \
    static unsigned getMaxEnumVal() { return getMaxEnumValFor##Ty(); }         \
  }

Definition at line 112 of file LLVMDialect.cpp.

Function Documentation

buildLLVMFunctionType()

static Type buildLLVMFunctionType ( OpAsmParser &  parser, SMLoc  loc, ArrayRef< Type >  inputs, ArrayRef< Type >  outputs, function_interface_impl::VariadicFlag  variadicFlag  )

static

Definition at line 2784 of file LLVMDialect.cpp.

References mlir::AsmParser::emitError(), mlir::get(), mlir::AsmParser::getBuilder(), mlir::Builder::getContext(), mlir::LLVM::isCompatibleType(), and mlir::function_interface_impl::VariadicFlag::isVariadic().

checkGlobalXtorData()

LogicalResult checkGlobalXtorData	(	Operation *	op,
		ArrayAttr	data
	)

Definition at line 2501 of file LLVMDialect.cpp.

References mlir::Operation::emitError().

destructureIndices()

static void destructureIndices ( Type  currType, ArrayRef< GEPArg >  indices, SmallVectorImpl< int32_t > &  rawConstantIndices, SmallVectorImpl< Value > &  dynamicIndices  )

static

Destructures the 'indices' parameter into 'rawConstantIndices' and 'dynamicIndices', encoding the former in the process.

In the process, dynamic indices which are used to index into a structure type are converted to constant indices when possible. To do this, the GEPs element type should be passed as first parameter.

Definition at line 627 of file LLVMDialect.cpp.

References mlir::LLVM::kGEPConstantBitWidth, mlir::m_ConstantInt(), and mlir::matchPattern().

extractVectorElementType()

static Type extractVectorElementType ( Type  type )

static

Returns the elemental type of any LLVM-compatible vector type or self.

Definition at line 616 of file LLVMDialect.cpp.

foldChainableCast()

template<typename T >

static OpFoldResult foldChainableCast ( T  castOp, typename T::FoldAdaptor  adaptor  )

static

Folds a cast op that can be chained.

Definition at line 3506 of file LLVMDialect.cpp.

getBoolAttribute()

static Attribute getBoolAttribute ( Type  type, MLIRContext *  ctx, bool  value  )

static

Returns a scalar or vector boolean attribute of the given type.

Definition at line 315 of file LLVMDialect.cpp.

References mlir::BoolAttr::get(), and mlir::DenseElementsAttr::get().

getCallOpResultTypes()

static SmallVector<Type, 1> getCallOpResultTypes ( LLVMFunctionType  calleeType )

static

Gets the MLIR Op-like result types of a LLVMFunctionType.

Definition at line 921 of file LLVMDialect.cpp.

getCallOpVarCalleeType()

static TypeAttr getCallOpVarCalleeType ( LLVMFunctionType  calleeType )

static

Gets the variadic callee type for a LLVMFunctionType.

Definition at line 930 of file LLVMDialect.cpp.

References mlir::get().

getI1SameShape()

static Type getI1SameShape ( Type  type )

static

Returns a boolean type that has the same shape as type.

It supports both fixed size vectors as well as scalable vectors.

Definition at line 89 of file LLVMDialect.cpp.

References mlir::get(), mlir::Type::getContext(), mlir::LLVM::getVectorNumElements(), mlir::LLVM::getVectorType(), and mlir::LLVM::isCompatibleVectorType().

Referenced by parseCmpOp().

getInsertExtractValueElementType() [1/2]

static Type getInsertExtractValueElementType ( function_ref< InFlightDiagnostic(StringRef)>  emitError, Type  containerType, ArrayRef< int64_t >  position  )

static

Extract the type at position in the LLVM IR aggregate type containerType.

Each element of position is an index into a nested aggregate type. Return the resulting type or emit an error.

Definition at line 1816 of file LLVMDialect.cpp.

References mlir::emitError(), and mlir::LLVM::isCompatibleType().

Referenced by parseInsertExtractValueElementType().

getInsertExtractValueElementType() [2/2]

static Type getInsertExtractValueElementType ( Type  llvmType, ArrayRef< int64_t >  position  )

static

Extract the type at position in the wrapped LLVM IR aggregate type containerType.

Definition at line 1853 of file LLVMDialect.cpp.

getLLVMFuncType()

static LLVMFunctionType getLLVMFuncType ( MLIRContext *  context, TypeRange  results, ValueRange  args  )

static

Constructs a LLVMFunctionType from MLIR results and args.

Definition at line 935 of file LLVMDialect.cpp.

References mlir::get(), and mlir::ValueRange::getTypes().

getNumElements()

static int64_t getNumElements ( Type  t )

static

Compute the total number of elements in the given type, also taking into account nested types.

Supported types are VectorType and LLVMArrayType. Everything else is treated as a scalar.

Definition at line 3114 of file LLVMDialect.cpp.

Referenced by mlir::LLVM::detail::extractNDVectorTypeInfo(), hasAtMostSingleNonScalar(), mlir::affine::AffineDmaStartOp::print(), and mlir::affine::AffineDmaWaitOp::print().

getValAndBoolStructType()

static LLVMStructType getValAndBoolStructType ( Type  valType )

static

Returns an LLVM struct type that contains a value type and a boolean type.

Definition at line 3387 of file LLVMDialect.cpp.

References mlir::get(), and mlir::Type::getContext().

hasScalableVectorType()

static bool hasScalableVectorType ( Type  t )

static

Check if the given type is a scalable vector type or a vector/array type that contains a nested scalable vector type.

Definition at line 3128 of file LLVMDialect.cpp.

isTypeCompatibleWithAtomicOp()

static bool isTypeCompatibleWithAtomicOp ( Type  type, const DataLayout &  dataLayout  )

static

Returns true if the given type is supported by atomic operations.

All integer, float, and pointer types with a power-of-two bitsize and a minimal size of 8 bits are supported.

Definition at line 823 of file LLVMDialect.cpp.

References mlir::DataLayout::getTypeSizeInBits(), and mlir::LLVM::isCompatibleFloatingPointType().

Referenced by verifyAtomicMemOp().

isZeroAttribute()

static bool isZeroAttribute ( Attribute  value )

static

Definition at line 2396 of file LLVMDialect.cpp.

parentLLVMModule()

static Operation* parentLLVMModule ( Operation *  op )

static

Definition at line 2042 of file LLVMDialect.cpp.

References mlir::Operation::getParentOp(), and mlir::LLVM::satisfiesLLVMModule().

parseCallTypeAndResolveOperands()

static ParseResult parseCallTypeAndResolveOperands ( OpAsmParser &  parser, OperationState &  result, bool  isDirect, ArrayRef< OpAsmParser::UnresolvedOperand >  operands, SmallVectorImpl< DictionaryAttr > &  argAttrs, SmallVectorImpl< DictionaryAttr > &  resultAttrs  )

static

Parses the type of a call operation and resolves the operands if the parsing succeeds.

Returns failure otherwise.

Definition at line 1290 of file LLVMDialect.cpp.

References mlir::OperationState::addTypes(), mlir::AsmParser::emitError(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::getNameLoc(), mlir::OperationState::operands, mlir::AsmParser::parseColon(), mlir::call_interface_impl::parseFunctionSignature(), mlir::AsmParser::parseOptionalComma(), mlir::AsmParser::parseType(), and mlir::OpAsmParser::resolveOperands().

parseCmpOp()

template<typename CmpPredicateType >

static ParseResult parseCmpOp ( OpAsmParser &  parser, OperationState &  result  )

static

Definition at line 259 of file LLVMDialect.cpp.

References mlir::OperationState::addTypes(), mlir::OperationState::attributes, mlir::AsmParser::emitError(), mlir::AsmParser::getBuilder(), mlir::AsmParser::getCurrentLocation(), getI1SameShape(), mlir::Builder::getI64IntegerAttr(), mlir::LLVM::isCompatibleType(), mlir::OperationState::operands, mlir::AsmParser::parseAttribute(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseComma(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalAttrDict(), mlir::AsmParser::parseType(), mlir::OpAsmParser::resolveOperand(), and mlir::NamedAttrList::set().

parseCommonGlobalAndAlias()

template<typename OpType >

static ParseResult parseCommonGlobalAndAlias ( OpAsmParser &  parser, OperationState &  result  )

static

Parse common attributes that might show up in the same order in both GlobalOp and AliasOp.

Definition at line 2296 of file LLVMDialect.cpp.

References mlir::OperationState::addAttribute(), mlir::get(), mlir::AsmParser::getBuilder(), mlir::AsmParser::getContext(), mlir::Builder::getI64IntegerAttr(), mlir::Builder::getUnitAttr(), mlir::OperationState::name, None, and mlir::AsmParser::parseOptionalKeyword().

parseGEPIndices()

static ParseResult parseGEPIndices ( OpAsmParser &  parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &  indices, DenseI32ArrayAttr &  rawConstantIndices  )

static

Definition at line 698 of file LLVMDialect.cpp.

References mlir::sparse_tensor::constantIndex(), mlir::detail::DenseArrayAttrImpl< int32_t >::get(), mlir::AsmParser::getContext(), mlir::OptionalParseResult::has_value(), mlir::AsmParser::parseCommaSeparatedList(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalInteger(), and mlir::OptionalParseResult::value().

parseIndirectBrOpSucessors()

static ParseResult parseIndirectBrOpSucessors ( OpAsmParser &  parser, Type &  flagType, SmallVectorImpl< Block * > &  succOperandBlocks, SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand >> &  succOperands, SmallVectorImpl< SmallVector< Type >> &  succOperandsTypes  )

static

Definition at line 3907 of file LLVMDialect.cpp.

References mlir::AsmParser::parseCommaSeparatedList(), and mlir::AsmParser::Square.

parseInsertExtractValueElementType()

static ParseResult parseInsertExtractValueElementType ( AsmParser &  parser, Type &  valueType, Type  containerType, DenseI64ArrayAttr  position  )

static

Infer the value type from the container type and position.

Definition at line 1974 of file LLVMDialect.cpp.

References mlir::detail::DenseArrayAttrImpl< T >::asArrayRef(), mlir::AsmParser::emitError(), mlir::AsmParser::getCurrentLocation(), and getInsertExtractValueElementType().

parseOneOpBundle()

static ParseResult parseOneOpBundle ( OpAsmParser &  p, SmallVector< SmallVector< OpAsmParser::UnresolvedOperand >> &  opBundleOperands, SmallVector< SmallVector< Type >> &  opBundleOperandTypes, SmallVector< Attribute > &  opBundleTags  )

static

Definition at line 180 of file LLVMDialect.cpp.

References mlir::AsmParser::emitError(), mlir::get(), mlir::AsmParser::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseLParen(), mlir::OpAsmParser::parseOperandList(), mlir::AsmParser::parseOptionalRParen(), mlir::AsmParser::parseRParen(), mlir::AsmParser::parseString(), and mlir::AsmParser::parseTypeList().

Referenced by parseOpBundles().

parseOpBundles()

static std::optional<ParseResult> parseOpBundles ( OpAsmParser &  p, SmallVector< SmallVector< OpAsmParser::UnresolvedOperand >> &  opBundleOperands, SmallVector< SmallVector< Type >> &  opBundleOperandTypes, ArrayAttr &  opBundleTags  )

static

Definition at line 209 of file LLVMDialect.cpp.

References mlir::get(), mlir::AsmParser::getContext(), mlir::AsmParser::parseCommaSeparatedList(), parseOneOpBundle(), mlir::AsmParser::parseOptionalLSquare(), mlir::AsmParser::parseOptionalRSquare(), and mlir::AsmParser::parseRSquare().

parseOptionalCallFuncPtr()

static ParseResult parseOptionalCallFuncPtr ( OpAsmParser &  parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &  operands  )

static

Parses an optional function pointer operand before the call argument list for indirect calls, or stops parsing at the function identifier otherwise.

Definition at line 1341 of file LLVMDialect.cpp.

References mlir::OptionalParseResult::has_value(), and mlir::OpAsmParser::parseOptionalOperand().

parseOptionalKeywordAlternative()

static int parseOptionalKeywordAlternative ( OpAsmParser &  parser, ArrayRef< StringRef >  keywords  )

static

Definition at line 99 of file LLVMDialect.cpp.

References mlir::detail::enumerate(), and mlir::AsmParser::parseOptionalKeyword().

Referenced by parseOptionalLLVMKeyword().

parseOptionalLLVMKeyword()

template<typename EnumTy , typename RetTy = EnumTy>

static RetTy parseOptionalLLVMKeyword ( OpAsmParser &  parser, OperationState &  result, EnumTy  defaultValue  )

static

Parse an enum from the keyword, or default to the provided default value.

The return type is the enum type by default, unless overridden with the second template argument.

Definition at line 130 of file LLVMDialect.cpp.

References parseOptionalKeywordAlternative(), and mlir::tblgen::stringify().

parseShuffleType()

static ParseResult parseShuffleType ( AsmParser &  parser, Type  v1Type, Type &  resType, DenseI32ArrayAttr  mask  )

static

Build the result type of a shuffle vector operation.

Definition at line 2707 of file LLVMDialect.cpp.

References mlir::AsmParser::emitError(), mlir::AsmParser::getCurrentLocation(), getElementType(), mlir::LLVM::getVectorType(), mlir::LLVM::isCompatibleVectorType(), and mlir::LLVM::isScalableVectorType().

parseSwitchOpCases()

static ParseResult parseSwitchOpCases ( OpAsmParser &  parser, Type  flagType, DenseIntElementsAttr &  caseValues, SmallVectorImpl< Block * > &  caseDestinations, SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand >> &  caseOperands, SmallVectorImpl< SmallVector< Type >> &  caseOperandTypes  )

static

<cases> ::= [ (case (, case )* )? ] <case> ::= integer : bb-id (( ssa-use-and-type-list ))?

Definition at line 514 of file LLVMDialect.cpp.

References mlir::DenseIntElementsAttr::get(), mlir::get(), mlir::Type::getIntOrFloatBitWidth(), mlir::AsmParser::None, mlir::AsmParser::parseColon(), mlir::AsmParser::parseColonTypeList(), mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseInteger(), mlir::AsmParser::parseLSquare(), mlir::OpAsmParser::parseOperandList(), mlir::AsmParser::parseOptionalLParen(), mlir::AsmParser::parseOptionalRSquare(), mlir::AsmParser::parseRParen(), mlir::AsmParser::parseRSquare(), and mlir::OpAsmParser::parseSuccessor().

printCommonGlobalAndAlias()

template<typename OpType >

static void printCommonGlobalAndAlias ( OpAsmPrinter &  p, OpType  op  )

static

Definition at line 2214 of file LLVMDialect.cpp.

printGEPIndices()

static void printGEPIndices ( OpAsmPrinter &  printer, LLVM::GEPOp  gepOp, OperandRange  indices, DenseI32ArrayAttr  rawConstantIndices  )

static

Definition at line 725 of file LLVMDialect.cpp.

References mlir::OpAsmPrinter::printOperand().

printIndirectBrOpSucessors()

static void printIndirectBrOpSucessors ( OpAsmPrinter &  p, IndirectBrOp  op, Type  flagType, SuccessorRange  succs, OperandRangeRange  succOperands, const TypeRangeRange &  succOperandsTypes  )

static

Definition at line 3940 of file LLVMDialect.cpp.

References mlir::OpAsmPrinter::printNewline(), and mlir::OpAsmPrinter::printSuccessorAndUseList().

printInsertExtractValueElementType()

static void printInsertExtractValueElementType ( AsmPrinter &  printer, Operation *  op, Type  valueType, Type  containerType, DenseI64ArrayAttr  position  )

static

Nothing to print for an inferred type.

Definition at line 1986 of file LLVMDialect.cpp.

printOneOpBundle()

static void printOneOpBundle ( OpAsmPrinter &  p, OperandRange  operands, TypeRange  operandTypes, StringRef  tag  )

static

Definition at line 147 of file LLVMDialect.cpp.

References mlir::OpAsmPrinter::printOperands(), and mlir::AsmPrinter::printString().

Referenced by printOpBundles().

printOpBundles()

static void printOpBundles ( OpAsmPrinter &  p, Operation *  op, OperandRangeRange  opBundleOperands, TypeRangeRange  opBundleOperandTypes, std::optional< ArrayAttr >  opBundleTags  )

static

Definition at line 161 of file LLVMDialect.cpp.

References printOneOpBundle().

printShuffleType()

static void printShuffleType ( AsmPrinter &  printer, Operation *  op, Type  v1Type, Type  resType, DenseI32ArrayAttr  mask  )

static

Nothing to do when the result type is inferred.

Definition at line 2719 of file LLVMDialect.cpp.

printSwitchOpCases()

static void printSwitchOpCases ( OpAsmPrinter &  p, SwitchOp  op, Type  flagType, DenseIntElementsAttr  caseValues, SuccessorRange  caseDestinations, OperandRangeRange  caseOperands, const TypeRangeRange &  caseOperandTypes  )

static

Definition at line 556 of file LLVMDialect.cpp.

References mlir::OpAsmPrinter::printNewline(), and mlir::OpAsmPrinter::printSuccessorAndUseList().

processFMFAttr()

static auto processFMFAttr ( ArrayRef< NamedAttribute >  attrs )

static

Definition at line 58 of file LLVMDialect.cpp.

References mlir::NamedAttribute::getName(), and mlir::NamedAttribute::getValue().

resolveOpBundleOperands()

static ParseResult resolveOpBundleOperands ( OpAsmParser &  parser, SMLoc  loc, OperationState &  state, ArrayRef< SmallVector< OpAsmParser::UnresolvedOperand >>  opBundleOperands, ArrayRef< SmallVector< Type >>  opBundleOperandTypes, StringAttr  opBundleSizesAttrName  )

static

Definition at line 1354 of file LLVMDialect.cpp.

verifyAtomicMemOp()

template<typename OpTy >

LogicalResult verifyAtomicMemOp	(	OpTy	memOp,
		Type	valueType,
		ArrayRef< AtomicOrdering >	unsupportedOrderings
	)

Verifies the attributes and the type of atomic memory access operations.

Definition at line 838 of file LLVMDialect.cpp.

References mlir::DataLayout::closest(), and isTypeCompatibleWithAtomicOp().

verifyBlockTags()

static LogicalResult verifyBlockTags ( LLVMFuncOp  funcOp )

static

Definition at line 2274 of file LLVMDialect.cpp.

References mlir::WalkResult::advance(), and mlir::WalkResult::wasInterrupted().

verifyCallOpDebugInfo()

static LogicalResult verifyCallOpDebugInfo ( CallOp  callOp, LLVMFuncOp  callee  )

static

Verify that an inlinable callsite of a debug-info-bearing function in a debug-info-bearing function has a debug location attached to it.

This mirrors an LLVM IR verifier.

Definition at line 1064 of file LLVMDialect.cpp.

verifyCallOpVarCalleeType()

template<typename OpTy >

LogicalResult verifyCallOpVarCalleeType

(

OpTy

callOp

)

Verify that the parameter and return types of the variadic callee type match the callOp argument and result types.

Definition at line 1089 of file LLVMDialect.cpp.

verifyComdat()

static LogicalResult verifyComdat ( Operation *  op, std::optional< SymbolRefAttr >  attr  )

static

Definition at line 2262 of file LLVMDialect.cpp.

References mlir::Operation::emitError(), and mlir::SymbolTable::lookupNearestSymbolFrom().

verifyExtOp()

template<class ExtOp >

static LogicalResult verifyExtOp ( ExtOp  op )

static

Verifies that the given extension operation operates on consistent scalars or vectors, and that the target width is larger than the input width.

Definition at line 3448 of file LLVMDialect.cpp.

References mlir::LLVM::getVectorNumElements(), and mlir::LLVM::isCompatibleVectorType().

verifyOperandBundles()

template<typename OpType >

static LogicalResult verifyOperandBundles ( OpType &  op )

static

Definition at line 1127 of file LLVMDialect.cpp.

verifyStructArrayConstant()

static LogicalResult verifyStructArrayConstant ( LLVM::ConstantOp  op, LLVM::LLVMArrayType  arrayType, ArrayAttr  arrayAttr, int  dim  )

static

Verifies the constant array represented by arrayAttr matches the provided arrayType.

Definition at line 3141 of file LLVMDialect.cpp.

References mlir::detail::enumerate().

verifyStructIndices() [1/2]

static LogicalResult verifyStructIndices ( Type  baseGEPType, GEPIndicesAdaptor< ValueRange >  indices, function_ref< InFlightDiagnostic()>  emitOpError  )

static

Driver function around verifyStructIndices.

Definition at line 781 of file LLVMDialect.cpp.

References verifyStructIndices().

verifyStructIndices() [2/2]

static LogicalResult verifyStructIndices ( Type  baseGEPType, unsigned  indexPos, GEPIndicesAdaptor< ValueRange >  indices, function_ref< InFlightDiagnostic()>  emitOpError  )

static

For the given indices, check if they comply with baseGEPType, especially check against LLVMStructTypes nested within.

Definition at line 741 of file LLVMDialect.cpp.

References mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::size().

Referenced by verifyStructIndices().

verifySymbolAttrUse()

static LogicalResult verifySymbolAttrUse ( FlatSymbolRefAttr  symbol, Operation *  op, SymbolTableCollection &  symbolTable  )

static

Verifies symbol's use in op to ensure the symbol is a valid and fully defined llvm.func.

Definition at line 73 of file LLVMDialect.cpp.

References mlir::Operation::emitOpError(), mlir::FlatSymbolRefAttr::getAttr(), mlir::FlatSymbolRefAttr::getValue(), and mlir::SymbolTableCollection::lookupNearestSymbolFrom().

Variable Documentation

kElemTypeAttrName

constexpr const char kElemTypeAttrName[] = "elem_type"

staticconstexpr

Definition at line 56 of file LLVMDialect.cpp.