This class implement support for parsing global entities like attributes and types. More...

#include "AsmParser/Parser.h"

Collaboration diagram for mlir::detail::Parser:

Public Types
using	Delimiter = OpAsmParser::Delimiter

Public Member Functions
	Parser (ParserState &state)

ParserState &	getState () const

MLIRContext *	getContext () const

const llvm::SourceMgr &	getSourceMgr ()

ParseResult	parseCommaSeparatedListUntil (Token::Kind rightToken, function_ref< ParseResult()> parseElement, bool allowEmptyList=true)
	Parse a comma-separated list of elements up until the specified end token. More...

ParseResult	parseCommaSeparatedList (Delimiter delimiter, function_ref< ParseResult()> parseElementFn, StringRef contextMessage=StringRef())
	Parse a list of comma-separated items with an optional delimiter. More...

ParseResult	parseCommaSeparatedList (function_ref< ParseResult()> parseElementFn)
	Parse a comma separated list of elements that must have at least one entry in it. More...

ParseResult	parseDialectSymbolBody (StringRef &body, bool &isCodeCompletion)
	Parse the body of a dialect symbol, which starts and ends with <>'s, and may be recursive. More...

ParseResult	parseDialectSymbolBody (StringRef &body)

InFlightDiagnostic	emitError (const Twine &message={})
	Emit an error and return failure. More...

InFlightDiagnostic	emitError (SMLoc loc, const Twine &message={})

InFlightDiagnostic	emitWrongTokenError (const Twine &message={})
	Emit an error about a "wrong token". More...

Location	getEncodedSourceLocation (SMLoc loc)
	Encode the specified source location information into an attribute for attachment to the IR. More...

const Token &	getToken () const
	Return the current token the parser is inspecting. More...

StringRef	getTokenSpelling () const

bool	consumeIf (Token::Kind kind)
	If the current token has the specified kind, consume it and return true. More...

void	consumeToken ()
	Advance the current lexer onto the next token. More...

void	consumeToken (Token::Kind kind)
	Advance the current lexer onto the next token, asserting what the expected current token is. More...

void	resetToken (const char *tokPos)
	Reset the parser to the given lexer position. More...

ParseResult	parseToken (Token::Kind expectedToken, const Twine &message)
	Consume the specified token if present and return success. More...

OptionalParseResult	parseOptionalInteger (APInt &result)
	Parse an optional integer value from the stream. More...

ParseResult	parseFloatFromIntegerLiteral (std::optional< APFloat > &result, const Token &tok, bool isNegative, const llvm::fltSemantics &semantics, size_t typeSizeInBits)
	Parse a floating point value from an integer literal token. More...

bool	isCurrentTokenAKeyword () const
	Returns true if the current token corresponds to a keyword. More...

ParseResult	parseOptionalKeyword (StringRef *keyword)
	Parse a keyword, if present, into 'keyword'. More...

FailureOr< AsmDialectResourceHandle >	parseResourceHandle (const OpAsmDialectInterface *dialect, StringRef &name)
	Parse a handle to a dialect resource within the assembly format. More...

FailureOr< AsmDialectResourceHandle >	parseResourceHandle (Dialect *dialect)

template<typename T , typename... ParamsT>
T	getChecked (SMLoc loc, ParamsT &&...params)
	Invoke the `getChecked` method of the given Attribute or Type class, using the provided location to emit errors in the case of failure. More...

ParseResult	parseFunctionResultTypes (SmallVectorImpl< Type > &elements)
	Parse a function result type. More...

ParseResult	parseTypeListNoParens (SmallVectorImpl< Type > &elements)
	Parse a list of types without an enclosing parenthesis. More...

ParseResult	parseTypeListParens (SmallVectorImpl< Type > &elements)
	Parse a parenthesized list of types. More...

OptionalParseResult	parseOptionalType (Type &type)
	Optionally parse a type. More...

Type	parseType ()
	Parse an arbitrary type. More...

Type	parseComplexType ()
	Parse a complex type. More...

Type	parseExtendedType ()
	Parse an extended type. More...

Type	parseFunctionType ()
	Parse a function type. More...

Type	parseMemRefType ()
	Parse a memref type. More...

Type	parseNonFunctionType ()
	Parse a non function type. More...

Type	parseTensorType ()
	Parse a tensor type. More...

Type	parseTupleType ()
	Parse a tuple type. More...

VectorType	parseVectorType ()
	Parse a vector type. More...

ParseResult	parseVectorDimensionList (SmallVectorImpl< int64_t > &dimensions, unsigned &numScalableDims)
	Parse a dimension list in a vector type. More...

ParseResult	parseDimensionListRanked (SmallVectorImpl< int64_t > &dimensions, bool allowDynamic=true, bool withTrailingX=true)
	Parse a dimension list of a tensor or memref type. More...

ParseResult	parseIntegerInDimensionList (int64_t &value)

ParseResult	parseXInDimensionList ()
	Parse an 'x' token in a dimension list, handling the case where the x is juxtaposed with an element type, as in "xf32", leaving the "f32" as the next token. More...

Attribute	parseAttribute (Type type={})
	Parse an arbitrary attribute with an optional type. More...

OptionalParseResult	parseOptionalAttribute (Attribute &attribute, Type type={})
	Parse an optional attribute with the provided type. More...

OptionalParseResult	parseOptionalAttribute (ArrayAttr &attribute, Type type)

OptionalParseResult	parseOptionalAttribute (StringAttr &attribute, Type type)

OptionalParseResult	parseOptionalAttribute (SymbolRefAttr &result, Type type)

template<typename AttributeT >
OptionalParseResult	parseOptionalAttributeWithToken (Token::Kind kind, AttributeT &attr, Type type={})
	Parse an optional attribute that is demarcated by a specific token. More...

ParseResult	parseAttributeDict (NamedAttrList &attributes)
	Parse an attribute dictionary. More...

Attribute	parseExtendedAttr (Type type)
	Parse an extended attribute. More...

Attribute	parseFloatAttr (Type type, bool isNegative)
	Parse a float attribute. More...

Attribute	parseDecOrHexAttr (Type type, bool isNegative)
	Parse a decimal or a hexadecimal literal, which can be either an integer or a float attribute. More...

Attribute	parseDenseElementsAttr (Type attrType)
	Parse a dense elements attribute. More...

ShapedType	parseElementsLiteralType (Type type)
	Shaped type for elements attribute. More...

Attribute	parseDenseResourceElementsAttr (Type attrType)
	Parse a dense resource elements attribute. More...

Attribute	parseDenseArrayAttr (Type type)
	Parse a DenseArrayAttr. More...

Attribute	parseSparseElementsAttr (Type attrType)
	Parse a sparse elements attribute. More...

Attribute	parseStridedLayoutAttr ()
	Parse a strided layout attribute. More...

ParseResult	parseLocationInstance (LocationAttr &loc)
	Parse a raw location instance. More...

ParseResult	parseCallSiteLocation (LocationAttr &loc)
	Parse a callsite location instance. More...

ParseResult	parseFusedLocation (LocationAttr &loc)
	Parse a fused location instance. More...

ParseResult	parseNameOrFileLineColLocation (LocationAttr &loc)
	Parse a name or FileLineCol location instance. More...

ParseResult	parseAffineMapOrIntegerSetReference (AffineMap &map, IntegerSet &set)
	Parse a reference to either an affine map, or an integer set. More...

ParseResult	parseAffineMapReference (AffineMap &map)

ParseResult	parseIntegerSetReference (IntegerSet &set)

ParseResult	parseAffineMapOfSSAIds (AffineMap &map, function_ref< ParseResult(bool)> parseElement, Delimiter delimiter)
	Parse an AffineMap where the dim and symbol identifiers are SSA ids. More...

ParseResult	parseAffineExprOfSSAIds (AffineExpr &expr, function_ref< ParseResult(bool)> parseElement)
	Parse an AffineExpr where dim and symbol identifiers are SSA ids. More...

ParseResult	codeCompleteDialectName ()
	The set of various code completion methods. More...

ParseResult	codeCompleteOperationName (StringRef dialectName)

ParseResult	codeCompleteDialectOrElidedOpName (SMLoc loc)

ParseResult	codeCompleteStringDialectOrOperationName (StringRef name)

ParseResult	codeCompleteExpectedTokens (ArrayRef< StringRef > tokens)

ParseResult	codeCompleteOptionalTokens (ArrayRef< StringRef > tokens)

Attribute	codeCompleteAttribute ()

Type	codeCompleteType ()

Attribute	codeCompleteDialectSymbol (const llvm::StringMap< Attribute > &aliases)

Type	codeCompleteDialectSymbol (const llvm::StringMap< Type > &aliases)

Public Attributes
Builder	builder

Protected Attributes
ParserState &	state
	The Parser is subclassed and reinstantiated. More...

Detailed Description

This class implement support for parsing global entities like attributes and types.

It is intended to be subclassed by specialized subparsers that include state.

Definition at line 26 of file Parser.h.

Member Typedef Documentation

◆ Delimiter

using mlir::detail::Parser::Delimiter = OpAsmParser::Delimiter

Definition at line 28 of file Parser.h.

Constructor & Destructor Documentation

◆ Parser()

mlir::detail::Parser::Parser ( ParserState & state )

inline

Definition at line 32 of file Parser.h.

Member Function Documentation

◆ codeCompleteAttribute()

Attribute Parser::codeCompleteAttribute ( )

Definition at line 428 of file Parser.cpp.

References mlir::detail::SymbolState::attributeAliasDefinitions, mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeAttribute(), state, and mlir::detail::ParserState::symbols.

Referenced by parseAttribute().

◆ codeCompleteDialectName()

LogicalResult Parser::codeCompleteDialectName ( )

The set of various code completion methods.

Every completion method returns failure to signal that parsing should abort after any desired completions have been enqueued. Note that failure is does not mean completion failed, it's just a signal to the parser to stop.

Definition at line 368 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeDialectName(), mlir::failure(), and state.

Referenced by codeCompleteDialectOrElidedOpName(), and codeCompleteStringDialectOrOperationName().

◆ codeCompleteDialectOrElidedOpName()

ParseResult Parser::codeCompleteDialectOrElidedOpName ( SMLoc loc )

Definition at line 383 of file Parser.cpp.

References codeCompleteDialectName(), codeCompleteOperationName(), mlir::detail::ParserState::defaultDialectStack, mlir::failure(), mlir::Lexer::getBufferBegin(), mlir::detail::ParserState::lex, and state.

◆ codeCompleteDialectSymbol() [1/2]

Attribute Parser::codeCompleteDialectSymbol ( const llvm::StringMap< Attribute > & aliases )

Definition at line 439 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeDialectAttributeOrAlias(), and state.

Referenced by parseExtendedSymbol().

◆ codeCompleteDialectSymbol() [2/2]

Type Parser::codeCompleteDialectSymbol ( const llvm::StringMap< Type > & aliases )

Definition at line 443 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeDialectTypeOrAlias(), and state.

◆ codeCompleteExpectedTokens()

ParseResult Parser::codeCompleteExpectedTokens ( ArrayRef< StringRef > tokens )

Definition at line 419 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeExpectedTokens(), mlir::failure(), and state.

Referenced by mlir::detail::AsmParserImpl< BaseT >::codeCompleteExpectedTokens(), and mlir::detail::AsmParserImpl< BaseT >::parseKeyword().

◆ codeCompleteOperationName()

LogicalResult Parser::codeCompleteOperationName ( StringRef dialectName )

Definition at line 373 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeOperationName(), mlir::failure(), and state.

Referenced by codeCompleteDialectOrElidedOpName(), and codeCompleteStringDialectOrOperationName().

◆ codeCompleteOptionalTokens()

ParseResult Parser::codeCompleteOptionalTokens ( ArrayRef< StringRef > tokens )

Definition at line 423 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeExpectedTokens(), mlir::failure(), and state.

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseOptionalKeyword().

◆ codeCompleteStringDialectOrOperationName()

ParseResult Parser::codeCompleteStringDialectOrOperationName ( StringRef name )

Definition at line 406 of file Parser.cpp.

References codeCompleteDialectName(), codeCompleteOperationName(), and mlir::failure().

◆ codeCompleteType()

Type Parser::codeCompleteType ( )

Definition at line 433 of file Parser.cpp.

References mlir::detail::ParserState::codeCompleteContext, mlir::AsmParserCodeCompleteContext::completeType(), state, mlir::detail::ParserState::symbols, and mlir::detail::SymbolState::typeAliasDefinitions.

Referenced by parseNonFunctionType().

◆ consumeIf()

bool mlir::detail::Parser::consumeIf ( Token::Kind kind )

inline

If the current token has the specified kind, consume it and return true.

If not, return false.

Definition at line 107 of file Parser.h.

References consumeToken(), mlir::detail::ParserState::curToken, mlir::Token::isNot(), and state.

◆ consumeToken() [1/2]

void mlir::detail::Parser::consumeToken ( )

inline

Advance the current lexer onto the next token.

Definition at line 115 of file Parser.h.

References mlir::detail::ParserState::curToken, mlir::Token::isNot(), mlir::detail::ParserState::lex, mlir::Lexer::lexToken(), and state.

Referenced by consumeIf(), consumeToken(), parseAttribute(), parseAttributeDict(), mlir::detail::AsmParserImpl< BaseT >::parseBase64Bytes(), parseCallSiteLocation(), parseCommaSeparatedListUntil(), parseComplexType(), parseDecOrHexAttr(), parseDenseArrayAttr(), parseDenseElementsAttr(), parseDenseResourceElementsAttr(), parseExtendedSymbol(), mlir::detail::AsmParserImpl< BaseT >::parseFloat(), parseFloatAttr(), parseFusedLocation(), parseIntegerInDimensionList(), parseLocationInstance(), parseMemRefType(), parseNameOrFileLineColLocation(), parseNonFunctionType(), parseOptionalKeyword(), mlir::detail::AsmParserImpl< BaseT >::parseOptionalKeyword(), mlir::detail::AsmParserImpl< BaseT >::parseOptionalString(), mlir::detail::AsmParserImpl< BaseT >::parseOptionalSymbolName(), parseSparseElementsAttr(), parseStridedLayoutAttr(), parseTensorType(), parseTupleType(), parseTypeListParens(), parseVectorType(), and parseXInDimensionList().

◆ consumeToken() [2/2]

void mlir::detail::Parser::consumeToken ( Token::Kind kind )

inline

Advance the current lexer onto the next token, asserting what the expected current token is.

This is preferred to the above method because it leads to more self-documenting code with better checking.

Definition at line 124 of file Parser.h.

References consumeToken(), mlir::detail::ParserState::curToken, mlir::Token::is(), and state.

◆ emitError() [1/2]

InFlightDiagnostic Parser::emitError ( const Twine & message = {} )

Emit an error and return failure.

Definition at line 158 of file Parser.cpp.

References mlir::detail::ParserState::curToken, mlir::Token::getLoc(), mlir::Token::isNot(), and state.

Referenced by mlir::detail::AsmParserImpl< BaseT >::emitError(), emitWrongTokenError(), getChecked(), parseAffineMapOrIntegerSet(), parseAffineMapReference(), parseAttribute(), parseAttributeDict(), parseComplexType(), parseDecOrHexAttr(), parseDenseArrayAttr(), parseDenseResourceElementsAttr(), parseDialectSymbolBody(), parseDimensionListRanked(), parseElementAttrHexValues(), parseElementsLiteralType(), parseFloatAttr(), parseFloatFromIntegerLiteral(), parseIntegerInDimensionList(), parseIntegerSetReference(), parseLocationInstance(), parseMemRefType(), parseNameOrFileLineColLocation(), parseNonFunctionType(), parseOptionalInteger(), parseResourceHandle(), mlir::detail::AsmParserImpl< BaseT >::parseResourceHandle(), parseStridedLayoutAttr(), parseSymbol(), parseTensorType(), and parseVectorType().

◆ emitError() [2/2]

InFlightDiagnostic Parser::emitError	(	SMLoc	loc,
		const Twine &	message = `{}`
	)

Definition at line 167 of file Parser.cpp.

References diag(), mlir::emitError(), getEncodedSourceLocation(), and getToken().

◆ emitWrongTokenError()

InFlightDiagnostic Parser::emitWrongTokenError ( const Twine & message = {} )

Emit an error about a "wrong token".

If the current token is at the start of a source line, this will apply heuristics to back up and report the error at the end of the previous line, which is where the expected token is supposed to be.

Definition at line 181 of file Parser.cpp.

References mlir::detail::ParserState::curToken, emitError(), mlir::Lexer::getBufferBegin(), mlir::Token::getLoc(), mlir::Token::is(), mlir::detail::ParserState::lex, and state.

Referenced by parseAttribute(), parseAttributeDict(), parseCallSiteLocation(), parseCommaSeparatedListUntil(), parseExtendedSymbol(), parseLocationInstance(), parseNameOrFileLineColLocation(), parseNonFunctionType(), parseStridedLayoutAttr(), parseToken(), parseVectorDimensionList(), and parseXInDimensionList().

◆ getChecked()

template<typename T , typename... ParamsT>

T mlir::detail::Parser::getChecked	(	SMLoc	loc,
		ParamsT &&...	params
	)

inline

Invoke the getChecked method of the given Attribute or Type class, using the provided location to emit errors in the case of failure.

Note that unlike OpBuilder::getType, this method does not implicitly insert a context parameter.

Definition at line 175 of file Parser.h.

References emitError().

◆ getContext()

MLIRContext* mlir::detail::Parser::getContext ( ) const

inline

Definition at line 37 of file Parser.h.

References mlir::detail::ParserState::config, mlir::ParserConfig::getContext(), and state.

Referenced by parseAttribute(), parseAttributeDict(), parseDenseResourceElementsAttr(), parseExtendedAttr(), parseFusedLocation(), parseLocationInstance(), parseNameOrFileLineColLocation(), parseNonFunctionType(), parseStridedLayoutAttr(), and parseTupleType().

◆ getEncodedSourceLocation()

Location mlir::detail::Parser::getEncodedSourceLocation ( SMLoc loc )

inline

Encode the specified source location information into an attribute for attachment to the IR.

Definition at line 93 of file Parser.h.

References mlir::Lexer::getEncodedSourceLocation(), mlir::detail::ParserState::lex, and state.

Referenced by emitError(), and mlir::detail::AsmParserImpl< BaseT >::getEncodedSourceLoc().

◆ getSourceMgr()

const llvm::SourceMgr& mlir::detail::Parser::getSourceMgr ( )

inline

Definition at line 38 of file Parser.h.

References mlir::Lexer::getSourceMgr(), mlir::detail::ParserState::lex, and state.

◆ getState()

ParserState& mlir::detail::Parser::getState ( ) const

inline

Definition at line 36 of file Parser.h.

References state.

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseOptionalSymbolName(), and parseResourceHandle().

◆ getToken()

const Token& mlir::detail::Parser::getToken ( ) const

inline

Return the current token the parser is inspecting.

Definition at line 102 of file Parser.h.

References mlir::detail::ParserState::curToken, and state.

◆ getTokenSpelling()

StringRef mlir::detail::Parser::getTokenSpelling ( ) const

inline

Definition at line 103 of file Parser.h.

References mlir::detail::ParserState::curToken, mlir::Token::getSpelling(), and state.

Referenced by parseAttributeDict(), mlir::detail::AsmParserImpl< BaseT >::parseBase64Bytes(), parseDialectSymbolBody(), parseDimensionListRanked(), parseExtendedSymbol(), parseIntegerInDimensionList(), parseOptionalKeyword(), mlir::detail::AsmParserImpl< BaseT >::parseOptionalKeyword(), and parseXInDimensionList().

◆ isCurrentTokenAKeyword()

bool mlir::detail::Parser::isCurrentTokenAKeyword ( ) const

inline

Returns true if the current token corresponds to a keyword.

Definition at line 149 of file Parser.h.

References getToken(), mlir::Token::isAny(), and mlir::Token::isKeyword().

Referenced by parseOptionalKeyword(), and mlir::detail::AsmParserImpl< BaseT >::parseOptionalKeyword().

◆ parseAffineExprOfSSAIds()

ParseResult Parser::parseAffineExprOfSSAIds	(	AffineExpr &	expr,
		function_ref< ParseResult(bool)>	parseElement
	)

Parse an AffineExpr where dim and symbol identifiers are SSA ids.

Parse an AffineExpr of SSA ids.

The callback parseElement is used to parse SSA value uses encountered while parsing.

Definition at line 731 of file AffineParser.cpp.

References state.

◆ parseAffineMapOfSSAIds()

ParseResult Parser::parseAffineMapOfSSAIds	(	AffineMap &	map,
		function_ref< ParseResult(bool)>	parseElement,
		OpAsmParser::Delimiter	delimiter
	)

Parse an AffineMap where the dim and symbol identifiers are SSA ids.

Parse an AffineMap of SSA ids.

The callback 'parseElement' is used to parse SSA value uses encountered while parsing affine expressions.

Definition at line 721 of file AffineParser.cpp.

References state.

◆ parseAffineMapOrIntegerSetReference()

ParseResult Parser::parseAffineMapOrIntegerSetReference	(	AffineMap &	map,
		IntegerSet &	set
	)

Parse a reference to either an affine map, or an integer set.

Parse an ambiguous reference to either and affine map or an integer set.

Definition at line 695 of file AffineParser.cpp.

References state.

Referenced by parseAffineMapOrIntegerSet(), parseAffineMapReference(), and parseIntegerSetReference().

◆ parseAffineMapReference()

ParseResult Parser::parseAffineMapReference ( AffineMap & map )

Definition at line 699 of file AffineParser.cpp.

References emitError(), mlir::failure(), mlir::Token::getLoc(), getToken(), parseAffineMapOrIntegerSetReference(), and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseAffineMap(), and parseAttribute().

◆ parseAttribute()

Attribute Parser::parseAttribute ( Type type = {} )

Parse an arbitrary attribute with an optional type.

Parse an arbitrary attribute.

attribute-value ::= unit | bool-literal | integer-literal (: (index-type | integer-type))? | float-literal (: float-type)? | string-literal (: type)? | type | [ : (integer-type | float-type) tensor-literal ] | [ (attribute-value (, attribute-value)*)? ] | { (attribute-entry (, attribute-entry)*)? } | symbol-ref-id (:: symbol-ref-id)* | dense < tensor-literal > : (tensor-type | vector-type) | sparse < attribute-value , attribute-value > : (tensor-type | vector-type) | strided < [ comma-separated-int-or-question ] (, offset : integer-literal)? > | extended-attribute

Definition at line 51 of file AttributeParser.cpp.

References mlir::AsmParserState::addUses(), mlir::detail::ParserState::asmState, builder, codeCompleteAttribute(), consumeIf(), consumeToken(), emitError(), emitWrongTokenError(), mlir::failed(), mlir::failure(), mlir::Builder::getArrayAttr(), mlir::Builder::getBoolAttr(), getContext(), mlir::NamedAttrList::getDictionary(), mlir::Token::getLoc(), mlir::Token::getStringValue(), mlir::Token::getSymbolReference(), getToken(), mlir::Builder::getUnitAttr(), mlir::OptionalParseResult::has_value(), mlir::detail::ParserState::lex, parseAffineMapReference(), parseAttributeDict(), parseCommaSeparatedListUntil(), parseDecOrHexAttr(), parseDenseArrayAttr(), parseDenseElementsAttr(), parseDenseResourceElementsAttr(), parseExtendedAttr(), parseFloatAttr(), parseIntegerSetReference(), parseLocationInstance(), parseOptionalType(), parseSparseElementsAttr(), parseStridedLayoutAttr(), parseToken(), parseType(), mlir::Lexer::resetPointer(), state, and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseAttribute(), parseAttributeDict(), mlir::detail::AsmParserImpl< BaseT >::parseCustomAttributeWithFallback(), parseFusedLocation(), parseMemRefType(), parseOptionalAttribute(), and parseTensorType().

◆ parseAttributeDict()

ParseResult Parser::parseAttributeDict ( NamedAttrList & attributes )

Parse an attribute dictionary.

Attribute dictionary.

attribute-dict ::= { } | { attribute-entry (, attribute-entry)* } attribute-entry ::= (bare-id | string-literal) = attribute-value

Definition at line 294 of file AttributeParser.cpp.

References mlir::AsmParser::Braces, builder, consumeIf(), consumeToken(), emitError(), emitWrongTokenError(), mlir::failure(), getContext(), mlir::MLIRContext::getOrLoadDialect(), mlir::Builder::getStringAttr(), mlir::Token::getStringValue(), getToken(), getTokenSpelling(), mlir::Builder::getUnitAttr(), mlir::Token::is(), mlir::Token::isAny(), mlir::Token::isKeyword(), parseAttribute(), parseCommaSeparatedList(), mlir::NamedAttrList::push_back(), and mlir::success().

Referenced by parseAttribute(), mlir::detail::AsmParserImpl< BaseT >::parseOptionalAttrDict(), and mlir::detail::AsmParserImpl< BaseT >::parseOptionalAttrDictWithKeyword().

◆ parseCallSiteLocation()

ParseResult Parser::parseCallSiteLocation ( LocationAttr & loc )

Parse a callsite location instance.

Specific location instances.

location-inst ::= filelinecol-location | name-location | callsite-location | fused-location | unknown-location filelinecol-location ::= string-literal ':' integer-literal ':' integer-literal name-location ::= string-literal callsite-location ::= 'callsite' '(' location-inst 'at' location-inst ')' fused-location ::= fused ('<' attribute-value '>')? '[' location-inst (location-inst ',')* ']' unknown-location ::= 'unknown'

Definition at line 29 of file LocationParser.cpp.

References consumeToken(), emitWrongTokenError(), mlir::failure(), getToken(), parseLocationInstance(), parseToken(), and mlir::success().

Referenced by parseLocationInstance().

◆ parseCommaSeparatedList() [1/2]

ParseResult Parser::parseCommaSeparatedList	(	Delimiter	delimiter,
		function_ref< ParseResult()>	parseElementFn,
		StringRef	contextMessage = `StringRef()`
	)

Parse a list of comma-separated items with an optional delimiter.

If a delimiter is provided, then an empty list is allowed. If not, then at least one element will be parsed.

Definition at line 50 of file Parser.cpp.

References mlir::AsmParser::Braces, consumeIf(), mlir::failure(), getToken(), mlir::AsmParser::LessGreater, mlir::AsmParser::None, mlir::AsmParser::OptionalBraces, mlir::AsmParser::OptionalLessGreater, mlir::AsmParser::OptionalParen, mlir::AsmParser::OptionalSquare, mlir::AsmParser::Paren, parseToken(), mlir::AsmParser::Square, and mlir::success().

Referenced by parseAttributeDict(), mlir::detail::AsmParserImpl< BaseT >::parseCommaSeparatedList(), parseCommaSeparatedList(), parseCommaSeparatedListUntil(), parseDenseArrayAttr(), parseFusedLocation(), and parseTypeListNoParens().

◆ parseCommaSeparatedList() [2/2]

ParseResult mlir::detail::Parser::parseCommaSeparatedList ( function_ref< ParseResult()> parseElementFn )

inline

Parse a comma separated list of elements that must have at least one entry in it.

Definition at line 57 of file Parser.h.

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

◆ parseCommaSeparatedListUntil()

ParseResult Parser::parseCommaSeparatedListUntil	(	Token::Kind	rightToken,
		function_ref< ParseResult()>	parseElement,
		bool	allowEmptyList = `true`
	)

Parse a comma-separated list of elements up until the specified end token.

Parse a comma-separated list of elements, terminated with an arbitrary token.

This allows empty lists if allowEmptyList is true.

abstract-list ::= rightToken // if allowEmptyList == true abstract-list ::= element (',' element)* rightToken

Definition at line 139 of file Parser.cpp.

References consumeToken(), emitWrongTokenError(), mlir::failure(), getToken(), mlir::Token::getTokenSpelling(), parseCommaSeparatedList(), parseToken(), and mlir::success().

Referenced by parseAttribute(), and parseMemRefType().

◆ parseComplexType()

Type Parser::parseComplexType ( )

Parse a complex type.

complex-type ::= complex < type >

Definition at line 120 of file TypeParser.cpp.

References consumeToken(), emitError(), mlir::Token::getLoc(), getToken(), mlir::Type::isa(), parseToken(), and parseType().

Referenced by parseNonFunctionType().

◆ parseDecOrHexAttr()

Attribute Parser::parseDecOrHexAttr	(	Type	type,
		bool	isNegative
	)

Parse a decimal or a hexadecimal literal, which can be either an integer or a float attribute.

Definition at line 405 of file AttributeParser.cpp.

References buildAttributeAPInt(), builder, consumeIf(), consumeToken(), mlir::Type::dyn_cast(), emitError(), mlir::failed(), mlir::Builder::getIntegerAttr(), mlir::Builder::getIntegerType(), mlir::Token::getLoc(), mlir::Token::getSpelling(), getToken(), mlir::Type::isa(), mlir::Type::isUnsignedInteger(), parseFloatFromIntegerLiteral(), and parseType().

Referenced by parseAttribute().

◆ parseDenseArrayAttr()

Attribute Parser::parseDenseArrayAttr ( Type type )

Parse a DenseArrayAttr.

Parse a dense array attribute.

Definition at line 934 of file AttributeParser.cpp.

References consumeIf(), consumeToken(), emitError(), mlir::Type::getIntOrFloatBitWidth(), mlir::Token::getLoc(), getToken(), mlir::Type::isInteger(), mlir::Type::isIntOrIndex(), mlir::Type::isIntOrIndexOrFloat(), parseCommaSeparatedList(), parseToken(), and parseType().

Referenced by parseAttribute().

◆ parseDenseElementsAttr()

Attribute Parser::parseDenseElementsAttr ( Type attrType )

Parse a dense elements attribute.

Definition at line 980 of file AttributeParser.cpp.

References consumeIf(), consumeToken(), mlir::Token::getLoc(), getToken(), parseElementsLiteralType(), and parseToken().

Referenced by parseAttribute().

◆ parseDenseResourceElementsAttr()

Attribute Parser::parseDenseResourceElementsAttr ( Type attrType )

Parse a dense resource elements attribute.

Definition at line 1004 of file AttributeParser.cpp.

References consumeToken(), mlir::Type::dyn_cast(), emitError(), mlir::failed(), getContext(), mlir::Token::getLoc(), getToken(), parseResourceHandle(), parseToken(), and parseType().

Referenced by parseAttribute().

◆ parseDialectSymbolBody() [1/2]

ParseResult mlir::detail::Parser::parseDialectSymbolBody ( StringRef & body )

inline

Definition at line 67 of file Parser.h.

References parseDialectSymbolBody().

◆ parseDialectSymbolBody() [2/2]

ParseResult Parser::parseDialectSymbolBody	(	StringRef &	body,
		bool &	isCodeCompletion
	)

Parse the body of a dialect symbol, which starts and ends with <>'s, and may be recursive.

pretty-dialect-sym-body ::= '<' pretty-dialect-sym-contents+ '>' pretty-dialect-sym-contents ::= pretty-dialect-sym-body | '(' pretty-dialect-sym-contents+ ')' | '[' pretty-dialect-sym-contents+ ']' | '{' pretty-dialect-sym-contents+ '}' | '[^[<({>])}\0]+'

Return with the 'body' StringRef encompassing the entire body. isCodeCompletion is set to true if the body contained a code completion location, in which case the body is only populated up to the completion.

Definition at line 54 of file DialectSymbolParser.cpp.

References mlir::detail::ParserState::curToken, emitError(), mlir::failed(), mlir::failure(), mlir::Lexer::getCodeCompleteLoc(), mlir::Token::getEndLoc(), getTokenSpelling(), mlir::Token::isCodeCompletion(), mlir::Token::isNot(), mlir::detail::ParserState::lex, resetToken(), state, and mlir::success().

Referenced by parseDialectSymbolBody(), and parseExtendedSymbol().

◆ parseDimensionListRanked()

ParseResult Parser::parseDimensionListRanked	(	SmallVectorImpl< int64_t > &	dimensions,
		bool	allowDynamic = `true`,
		bool	withTrailingX = `true`
	)

Parse a dimension list of a tensor or memref type.

This populates the dimension list, using ShapedType::kDynamic for the ? dimensions if allowDynamic is set and errors out on ? otherwise. Parsing the trailing x is configurable.

dimension-list ::= eps | dimension (x dimension)* dimension-list-with-trailing-x ::= (dimension x)* dimension ::= ? | decimal-literal

When allowDynamic is not set, this is used to parse:

static-dimension-list ::= eps | decimal-literal (x decimal-literal)* static-dimension-list-with-trailing-x ::= (dimension x)*

Definition at line 524 of file TypeParser.cpp.

References consumeIf(), emitError(), mlir::failed(), mlir::failure(), mlir::Token::getLoc(), getToken(), getTokenSpelling(), parseIntegerInDimensionList(), parseXInDimensionList(), and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseDimensionList(), parseMemRefType(), and parseTensorType().

◆ parseElementsLiteralType()

ShapedType Parser::parseElementsLiteralType ( Type type )

Shaped type for elements attribute.

elements-literal-type ::= vector-type | ranked-tensor-type

This method also checks the type has static shape.

Definition at line 1042 of file AttributeParser.cpp.

References mlir::Type::dyn_cast(), emitError(), parseToken(), and parseType().

Referenced by parseDenseElementsAttr(), and parseSparseElementsAttr().

◆ parseExtendedAttr()

Attribute Parser::parseExtendedAttr ( Type type )

Parse an extended attribute.

extended-attribute ::= (dialect-attribute | attribute-alias) dialect-attribute ::= # dialect-namespace < attr-data > (: type)? | # alias-name pretty-dialect-sym-body? (: type)? attribute-alias ::= # alias-name

Definition at line 232 of file DialectSymbolParser.cpp.

References mlir::detail::SymbolState::attributeAliasDefinitions, getContext(), state, and mlir::detail::ParserState::symbols.

Referenced by parseAttribute(), and parseLocationInstance().

◆ parseExtendedType()

Type Parser::parseExtendedType ( )

Parse an extended type.

extended-type ::= (dialect-type | type-alias) dialect-type ::= ! dialect-namespace < "</tt> type-data <tt>" > dialect-type ::= ! alias-name pretty-dialect-attribute-body? type-alias ::= ! alias-name

Definition at line 279 of file DialectSymbolParser.cpp.

Referenced by parseNonFunctionType().

◆ parseFloatAttr()

Attribute Parser::parseFloatAttr	(	Type	type,
		bool	isNegative
	)

Parse a float attribute.

Definition at line 339 of file AttributeParser.cpp.

References builder, consumeIf(), consumeToken(), emitError(), mlir::Builder::getF64Type(), mlir::Token::getFloatingPointValue(), getToken(), mlir::Type::isa(), and parseType().

Referenced by parseAttribute().

◆ parseFloatFromIntegerLiteral()

ParseResult Parser::parseFloatFromIntegerLiteral	(	std::optional< APFloat > &	result,
		const Token &	tok,
		bool	isNegative,
		const llvm::fltSemantics &	semantics,
		size_t	typeSizeInBits
	)

Parse a floating point value from an integer literal token.

Definition at line 278 of file Parser.cpp.

References mlir::InFlightDiagnostic::attachNote(), emitError(), mlir::Token::getLoc(), mlir::Token::getSpelling(), mlir::Token::getUInt64IntegerValue(), and mlir::success().

Referenced by parseDecOrHexAttr(), and mlir::detail::AsmParserImpl< BaseT >::parseFloat().

◆ parseFunctionResultTypes()

ParseResult Parser::parseFunctionResultTypes ( SmallVectorImpl< Type > & elements )

Parse a function result type.

function-result-type ::= type-list-parens | non-function-type

Definition at line 71 of file TypeParser.cpp.

References mlir::failure(), getToken(), parseNonFunctionType(), parseTypeListParens(), and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseArrowTypeList(), parseFunctionType(), and mlir::detail::AsmParserImpl< BaseT >::parseOptionalArrowTypeList().

◆ parseFunctionType()

Type Parser::parseFunctionType ( )

Parse a function type.

function-type ::= type-list-parens -> function-result-type

Definition at line 143 of file TypeParser.cpp.

References builder, mlir::Builder::getFunctionType(), getToken(), parseFunctionResultTypes(), parseToken(), and parseTypeListParens().

Referenced by parseType().

◆ parseFusedLocation()

ParseResult Parser::parseFusedLocation ( LocationAttr & loc )

Parse a fused location instance.

Definition at line 61 of file LocationParser.cpp.

References consumeIf(), consumeToken(), mlir::failure(), getContext(), parseAttribute(), parseCommaSeparatedList(), parseLocationInstance(), parseToken(), mlir::AsmParser::Square, and mlir::success().

Referenced by parseLocationInstance().

◆ parseIntegerInDimensionList()

ParseResult Parser::parseIntegerInDimensionList ( int64_t & value )

Definition at line 561 of file TypeParser.cpp.

References consumeToken(), emitError(), getToken(), getTokenSpelling(), mlir::Token::getUInt64IntegerValue(), mlir::detail::ParserState::lex, max(), mlir::Lexer::resetPointer(), state, and mlir::success().

Referenced by parseDimensionListRanked(), and parseVectorDimensionList().

◆ parseIntegerSetReference()

ParseResult Parser::parseIntegerSetReference ( IntegerSet & set )

Definition at line 708 of file AffineParser.cpp.

References emitError(), mlir::failure(), mlir::Token::getLoc(), getToken(), parseAffineMapOrIntegerSetReference(), and mlir::success().

Referenced by parseAttribute(), and mlir::detail::AsmParserImpl< BaseT >::printIntegerSet().

◆ parseLocationInstance()

ParseResult Parser::parseLocationInstance ( LocationAttr & loc )

Parse a raw location instance.

Definition at line 151 of file LocationParser.cpp.

References consumeToken(), emitError(), emitWrongTokenError(), mlir::failure(), getContext(), getToken(), parseCallSiteLocation(), parseExtendedAttr(), parseFusedLocation(), parseNameOrFileLineColLocation(), and mlir::success().

Referenced by parseAttribute(), parseCallSiteLocation(), parseFusedLocation(), and parseNameOrFileLineColLocation().

◆ parseMemRefType()

Type Parser::parseMemRefType ( )

Parse a memref type.

memref-type ::= ranked-memref-type | unranked-memref-type

ranked-memref-type ::= memref < dimension-list-ranked type (, layout-specification)? (, memory-space)? >

unranked-memref-type ::= memref <*x type (, memory-space)? >

stride-list ::= [ (dimension (, dimension)*)? ] strided-layout ::= offset: dimension , strides: stride-list layout-specification ::= semi-affine-map | strided-layout | attribute memory-space ::= integer-literal | attribute

Definition at line 169 of file TypeParser.cpp.

References mlir::Attribute::cast(), consumeIf(), consumeToken(), emitError(), mlir::failure(), mlir::Token::getLoc(), getToken(), mlir::Attribute::isa(), mlir::BaseMemRefType::isValidElementType(), parseAttribute(), parseCommaSeparatedListUntil(), parseDimensionListRanked(), parseToken(), parseType(), parseXInDimensionList(), and mlir::success().

Referenced by parseNonFunctionType().

◆ parseNameOrFileLineColLocation()

ParseResult Parser::parseNameOrFileLineColLocation ( LocationAttr & loc )

Parse a name or FileLineCol location instance.

Definition at line 95 of file LocationParser.cpp.

References consumeIf(), consumeToken(), emitError(), emitWrongTokenError(), mlir::failure(), getContext(), mlir::Token::getStringValue(), getToken(), mlir::Token::getUnsignedIntegerValue(), parseLocationInstance(), parseToken(), and mlir::success().

Referenced by parseLocationInstance().

◆ parseNonFunctionType()

Type Parser::parseNonFunctionType ( )

Parse a non function type.

Parse any type except the function type.

index-type ::= index float-type ::= f16 | bf16 | f32 | f64 | f80 | f128 none-type ::= none

Definition at line 261 of file TypeParser.cpp.

Referenced by parseFunctionResultTypes(), and parseType().

◆ parseOptionalAttribute() [1/4]

OptionalParseResult Parser::parseOptionalAttribute	(	ArrayAttr &	attribute,
		Type	type
	)

Definition at line 275 of file AttributeParser.cpp.

References parseOptionalAttributeWithToken().

◆ parseOptionalAttribute() [2/4]

OptionalParseResult Parser::parseOptionalAttribute	(	Attribute &	attribute,
		Type	type = `{}`
	)

Parse an optional attribute with the provided type.

Definition at line 243 of file AttributeParser.cpp.

References getToken(), mlir::OptionalParseResult::has_value(), parseAttribute(), parseOptionalType(), mlir::succeeded(), and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseOptionalAttribute().

◆ parseOptionalAttribute() [3/4]

OptionalParseResult Parser::parseOptionalAttribute	(	StringAttr &	attribute,
		Type	type
	)

Definition at line 279 of file AttributeParser.cpp.

References parseOptionalAttributeWithToken().

◆ parseOptionalAttribute() [4/4]

OptionalParseResult Parser::parseOptionalAttribute	(	SymbolRefAttr &	result,
		Type	type
	)

Definition at line 283 of file AttributeParser.cpp.

References parseOptionalAttributeWithToken().

◆ parseOptionalAttributeWithToken()

template<typename AttributeT >

OptionalParseResult mlir::detail::Parser::parseOptionalAttributeWithToken	(	Token::Kind	kind,
		AttributeT &	attr,
		Type	type = `{}`
	)

inline

Parse an optional attribute that is demarcated by a specific token.

Definition at line 237 of file Parser.h.

Referenced by parseOptionalAttribute().

◆ parseOptionalInteger()

OptionalParseResult Parser::parseOptionalInteger ( APInt & result )

Parse an optional integer value from the stream.

Definition at line 241 of file Parser.cpp.

References consumeIf(), emitError(), mlir::failure(), mlir::Token::getLoc(), mlir::Token::getSpelling(), getToken(), mlir::Token::isNot(), parseToken(), and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseOptionalInteger().

◆ parseOptionalKeyword()

ParseResult Parser::parseOptionalKeyword ( StringRef * keyword )

Parse a keyword, if present, into 'keyword'.

Definition at line 312 of file Parser.cpp.

References consumeToken(), mlir::failure(), getTokenSpelling(), isCurrentTokenAKeyword(), and mlir::success().

Referenced by parseResourceHandle().

◆ parseOptionalType()

OptionalParseResult Parser::parseOptionalType ( Type & type )

Optionally parse a type.

Definition at line 24 of file TypeParser.cpp.

References mlir::failure(), getToken(), and parseType().

Referenced by parseAttribute(), parseOptionalAttribute(), and mlir::detail::AsmParserImpl< BaseT >::parseOptionalType().

◆ parseResourceHandle() [1/2]

FailureOr< AsmDialectResourceHandle > Parser::parseResourceHandle	(	const OpAsmDialectInterface *	dialect,
		StringRef &	name
	)

Parse a handle to a dialect resource within the assembly format.

Definition at line 326 of file Parser.cpp.

References mlir::OpAsmDialectInterface::declareResource(), mlir::detail::SymbolState::dialectResources, emitError(), mlir::failed(), mlir::Token::getLoc(), mlir::OpAsmDialectInterface::getResourceKey(), getState(), getToken(), parseOptionalKeyword(), and mlir::detail::ParserState::symbols.

Referenced by parseDenseResourceElementsAttr(), parseResourceHandle(), and mlir::detail::AsmParserImpl< BaseT >::parseResourceHandle().

◆ parseResourceHandle() [2/2]

FailureOr< AsmDialectResourceHandle > Parser::parseResourceHandle ( Dialect * dialect )

Definition at line 355 of file Parser.cpp.

References emitError(), mlir::Dialect::getNamespace(), and parseResourceHandle().

◆ parseSparseElementsAttr()

Attribute Parser::parseSparseElementsAttr ( Type attrType )

Parse a sparse elements attribute.

Parse the indices. We don't allow hex values here as we may need to use the inferred shape.

Parse the values.

Definition at line 1064 of file AttributeParser.cpp.

References builder, consumeIf(), consumeToken(), mlir::DenseElementsAttr::get(), mlir::Builder::getIntegerType(), mlir::Token::getLoc(), getToken(), parseElementsLiteralType(), and parseToken().

Referenced by parseAttribute().

◆ parseStridedLayoutAttr()

Attribute Parser::parseStridedLayoutAttr ( )

Parse a strided layout attribute.

Definition at line 1140 of file AttributeParser.cpp.

References consumeIf(), consumeToken(), emitError(), emitWrongTokenError(), mlir::failed(), getContext(), mlir::Token::getLoc(), getToken(), mlir::Token::getUInt64IntegerValue(), max(), parseToken(), and mlir::verify().

Referenced by parseAttribute().

◆ parseTensorType()

Type Parser::parseTensorType ( )

Parse a tensor type.

tensor-type ::= tensor < dimension-list type > dimension-list ::= dimension-list-ranked | *x

Definition at line 356 of file TypeParser.cpp.

References consumeIf(), consumeToken(), mlir::Attribute::dyn_cast_or_null(), emitError(), mlir::failed(), mlir::Token::getLoc(), getToken(), mlir::TensorType::isValidElementType(), parseAttribute(), parseDimensionListRanked(), parseToken(), parseType(), and parseXInDimensionList().

Referenced by parseNonFunctionType().

◆ parseToken()

ParseResult Parser::parseToken	(	Token::Kind	expectedToken,
		const Twine &	message
	)

Consume the specified token if present and return success.

On failure, output a diagnostic and return failure.

Definition at line 233 of file Parser.cpp.

References consumeIf(), emitWrongTokenError(), and mlir::success().

◆ parseTupleType()

Type Parser::parseTupleType ( )

Parse a tuple type.

tuple-type ::= tuple < (type (, type)*)? >

Definition at line 410 of file TypeParser.cpp.

References consumeIf(), consumeToken(), getContext(), parseToken(), and parseTypeListNoParens().

Referenced by parseNonFunctionType().

◆ parseType()

Type Parser::parseType ( )

Parse an arbitrary type.

type ::= function-type | non-function-type

Definition at line 60 of file TypeParser.cpp.

References getToken(), parseFunctionType(), and parseNonFunctionType().

Referenced by parseAttribute(), mlir::detail::AsmParserImpl< BaseT >::parseColonType(), parseComplexType(), mlir::detail::AsmParserImpl< BaseT >::parseCustomTypeWithFallback(), parseDecOrHexAttr(), parseDenseArrayAttr(), parseDenseResourceElementsAttr(), parseElementsLiteralType(), parseFloatAttr(), parseMemRefType(), parseOptionalType(), parseTensorType(), mlir::detail::AsmParserImpl< BaseT >::parseType(), parseTypeListNoParens(), and parseVectorType().

◆ parseTypeListNoParens()

ParseResult Parser::parseTypeListNoParens ( SmallVectorImpl< Type > & elements )

Parse a list of types without an enclosing parenthesis.

The list must have at least one member.

type-list-no-parens ::= type (, type)*

Definition at line 87 of file TypeParser.cpp.

References mlir::failure(), parseCommaSeparatedList(), parseType(), and mlir::success().

Referenced by mlir::detail::AsmParserImpl< BaseT >::parseColonTypeList(), mlir::detail::AsmParserImpl< BaseT >::parseOptionalColonTypeList(), parseTupleType(), and parseTypeListParens().

◆ parseTypeListParens()

ParseResult Parser::parseTypeListParens ( SmallVectorImpl< Type > & elements )

Parse a parenthesized list of types.

type-list-parens ::= ( ) | ( type-list-no-parens )

Definition at line 102 of file TypeParser.cpp.

References consumeToken(), mlir::failure(), getToken(), parseToken(), parseTypeListNoParens(), and mlir::success().

Referenced by parseFunctionResultTypes(), and parseFunctionType().

◆ parseVectorDimensionList()

ParseResult Parser::parseVectorDimensionList	(	SmallVectorImpl< int64_t > &	dimensions,
		unsigned &	numScalableDims
	)

Parse a dimension list in a vector type.

This populates the dimension list, and returns the number of scalable dimensions in numScalableDims.

vector-dim-list := (static-dim-list x)? ([ static-dim-list ] x)? static-dim-list ::= decimal-literal (x decimal-literal)*

Definition at line 471 of file TypeParser.cpp.

References consumeIf(), emitWrongTokenError(), mlir::failure(), getToken(), parseIntegerInDimensionList(), parseXInDimensionList(), and mlir::success().

Referenced by parseVectorType().

◆ parseVectorType()

VectorType Parser::parseVectorType ( )

Parse a vector type.

vector-type ::= vector < vector-dim-list vector-element-type > vector-dim-list := (static-dim-list x)? ([ static-dim-list ] x)? static-dim-list ::= decimal-literal (x decimal-literal)*

Definition at line 436 of file TypeParser.cpp.

References consumeToken(), emitError(), mlir::Token::getLoc(), getToken(), parseToken(), parseType(), and parseVectorDimensionList().

Referenced by parseNonFunctionType().

◆ parseXInDimensionList()

ParseResult Parser::parseXInDimensionList ( )

Parse an 'x' token in a dimension list, handling the case where the x is juxtaposed with an element type, as in "xf32", leaving the "f32" as the next token.

Definition at line 589 of file TypeParser.cpp.

References consumeToken(), emitWrongTokenError(), getToken(), getTokenSpelling(), mlir::detail::ParserState::lex, mlir::Lexer::resetPointer(), state, and mlir::success().

Referenced by parseDimensionListRanked(), parseMemRefType(), parseTensorType(), parseVectorDimensionList(), and mlir::detail::AsmParserImpl< BaseT >::parseXInDimensionList().

◆ resetToken()

void mlir::detail::Parser::resetToken ( const char * tokPos )

inline

Reset the parser to the given lexer position.

Definition at line 130 of file Parser.h.

References mlir::detail::ParserState::curToken, mlir::detail::ParserState::lex, mlir::Lexer::lexToken(), mlir::Lexer::resetPointer(), and state.

Referenced by parseDialectSymbolBody().

Member Data Documentation

◆ builder

Builder mlir::detail::Parser::builder

Definition at line 30 of file Parser.h.

Referenced by mlir::detail::AsmParserImpl< BaseT >::getBuilder(), parseAttribute(), parseAttributeDict(), parseDecOrHexAttr(), parseFloatAttr(), parseFunctionType(), parseNonFunctionType(), and parseSparseElementsAttr().

◆ state

ParserState& mlir::detail::Parser::state

protected

The Parser is subclassed and reinstantiated.

Do not add additional non-trivial state here, add it to the ParserState class.

Definition at line 341 of file Parser.h.

Referenced by codeCompleteAttribute(), codeCompleteDialectName(), codeCompleteDialectOrElidedOpName(), codeCompleteDialectSymbol(), codeCompleteExpectedTokens(), codeCompleteOperationName(), codeCompleteOptionalTokens(), codeCompleteType(), consumeIf(), consumeToken(), emitError(), emitWrongTokenError(), getContext(), getEncodedSourceLocation(), getSourceMgr(), getState(), getToken(), getTokenSpelling(), parseAffineExprOfSSAIds(), parseAffineMapOfSSAIds(), parseAffineMapOrIntegerSetReference(), parseAttribute(), parseDialectSymbolBody(), parseExtendedAttr(), parseIntegerInDimensionList(), parseXInDimensionList(), and resetToken().

The documentation for this class was generated from the following files:

lib/AsmParser/Parser.h
lib/AsmParser/AffineParser.cpp
lib/AsmParser/AttributeParser.cpp
lib/AsmParser/DialectSymbolParser.cpp
lib/AsmParser/LocationParser.cpp
lib/AsmParser/Parser.cpp
lib/AsmParser/TypeParser.cpp

Public Types

Public Member Functions

Public Attributes

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ Delimiter

Constructor & Destructor Documentation

◆ Parser()

Member Function Documentation

◆ codeCompleteAttribute()

◆ codeCompleteDialectName()

◆ codeCompleteDialectOrElidedOpName()

◆ codeCompleteDialectSymbol() [1/2]

◆ codeCompleteDialectSymbol() [2/2]

◆ codeCompleteExpectedTokens()

◆ codeCompleteOperationName()

◆ codeCompleteOptionalTokens()

◆ codeCompleteStringDialectOrOperationName()

◆ codeCompleteType()

◆ consumeIf()

◆ consumeToken() [1/2]

◆ consumeToken() [2/2]

◆ emitError() [1/2]

◆ emitError() [2/2]

◆ emitWrongTokenError()

◆ getChecked()

◆ getContext()

◆ getEncodedSourceLocation()

◆ getSourceMgr()

◆ getState()

◆ getToken()

◆ getTokenSpelling()

◆ isCurrentTokenAKeyword()

◆ parseAffineExprOfSSAIds()

◆ parseAffineMapOfSSAIds()

◆ parseAffineMapOrIntegerSetReference()

◆ parseAffineMapReference()

◆ parseAttribute()

◆ parseAttributeDict()

◆ parseCallSiteLocation()

◆ parseCommaSeparatedList() [1/2]

◆ parseCommaSeparatedList() [2/2]

◆ parseCommaSeparatedListUntil()

◆ parseComplexType()

◆ parseDecOrHexAttr()

◆ parseDenseArrayAttr()

◆ parseDenseElementsAttr()

◆ parseDenseResourceElementsAttr()

◆ parseDialectSymbolBody() [1/2]

◆ parseDialectSymbolBody() [2/2]

◆ parseDimensionListRanked()

◆ parseElementsLiteralType()

◆ parseExtendedAttr()

◆ parseExtendedType()

◆ parseFloatAttr()

◆ parseFloatFromIntegerLiteral()

◆ parseFunctionResultTypes()

◆ parseFunctionType()

◆ parseFusedLocation()

◆ parseIntegerInDimensionList()

◆ parseIntegerSetReference()

◆ parseLocationInstance()

◆ parseMemRefType()

◆ parseNameOrFileLineColLocation()

◆ parseNonFunctionType()

◆ parseOptionalAttribute() [1/4]

◆ parseOptionalAttribute() [2/4]

◆ parseOptionalAttribute() [3/4]

◆ parseOptionalAttribute() [4/4]

◆ parseOptionalAttributeWithToken()

◆ parseOptionalInteger()

◆ parseOptionalKeyword()

◆ parseOptionalType()

◆ parseResourceHandle() [1/2]

◆ parseResourceHandle() [2/2]

◆ parseSparseElementsAttr()

◆ parseStridedLayoutAttr()

◆ parseTensorType()

◆ parseToken()