Namespaces
namespace	detail

Classes
class	CreateStructOp

class	CreateStructOpAdaptor

class	CreateStructOpGenericAdaptor

class	FieldDefOp

class	FieldDefOpAdaptor

class	FieldDefOpGenericAdaptor

class	FieldReadOp

class	FieldReadOpAdaptor

class	FieldReadOpGenericAdaptor

class	FieldRefOpInterface

class	FieldWriteOp

class	FieldWriteOpAdaptor

class	FieldWriteOpGenericAdaptor

struct	InStructFunctionNamed
	This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name. More...

class	SetFuncAllowAttrs
	Only valid/implemented for StructDefOp. More...

class	StructDefOp

class	StructDefOpAdaptor

class	StructDefOpGenericAdaptor

class	StructDialect

class	StructType

Functions
bool	isInStruct (Operation *op)

FailureOr< StructDefOp >	verifyInStruct (Operation *op)

bool	isInStructFunctionNamed (Operation op, char const funcName)

InFlightDiagnostic	genCompareErr (StructDefOp &expected, Operation origin, const char aspect)

LogicalResult	checkSelfType (SymbolTableCollection &tables, StructDefOp &expectedStruct, Type actualType, Operation origin, const char aspect)
	Verifies that the given `actualType` matches the `StructDefOp` given (i.e., for the "self" type parameter and return of the struct functions).

ParseResult	parseStructParams (AsmParser &parser, ArrayAttr &value)

void	printStructParams (AsmPrinter &printer, ArrayAttr value)

mlir::InFlightDiagnostic	genCompareErr (StructDefOp &expected, mlir::Operation origin, const char aspect)

mlir::LogicalResult	checkSelfType (mlir::SymbolTableCollection &symbolTable, StructDefOp &expectedStruct, mlir::Type actualType, mlir::Operation origin, const char aspect)

bool	isInStruct (mlir::Operation *op)
	Return true iff the given Operation is nested somewhere within a StructDefOp.

mlir::FailureOr< StructDefOp >	verifyInStruct (mlir::Operation *op)
	If the given Operation is nested somewhere within a StructDefOp, return a success result containing that StructDefOp.

bool	isInStructFunctionNamed (mlir::Operation op, char const funcName)
	Return true iff the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp.

template<char const * FuncName, unsigned PrefixLen>
mlir::LogicalResult	verifyInStructFunctionNamed (mlir::Operation *op, llvm::function_ref< llvm::SmallString< PrefixLen >()> prefix)
	Checks if the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp, producing an error if not.

mlir::ParseResult	parseStructParams (mlir::AsmParser &parser, mlir::ArrayAttr &value)

void	printStructParams (mlir::AsmPrinter &printer, mlir::ArrayAttr value)

Function Documentation

◆ checkSelfType() [1/2]

mlir::LogicalResult llzk::component::checkSelfType	(	mlir::SymbolTableCollection &	symbolTable,
		StructDefOp &	expectedStruct,
		mlir::Type	actualType,
		mlir::Operation *	origin,
		const char *	aspect )

◆ checkSelfType() [2/2]

LogicalResult llzk::component::checkSelfType	(	SymbolTableCollection &	tables,
		StructDefOp &	expectedStruct,
		Type	actualType,
		Operation *	origin,
		const char *	aspect )

Verifies that the given actualType matches the StructDefOp given (i.e., for the "self" type parameter and return of the struct functions).

Definition at line 92 of file Ops.cpp.

◆ genCompareErr() [1/2]

mlir::InFlightDiagnostic llzk::component::genCompareErr	(	StructDefOp &	expected,
		mlir::Operation *	origin,
		const char *	aspect )

◆ genCompareErr() [2/2]

InFlightDiagnostic llzk::component::genCompareErr	(	StructDefOp &	expected,
		Operation *	origin,
		const char *	aspect )

Definition at line 77 of file Ops.cpp.

◆ isInStruct() [1/2]

bool llzk::component::isInStruct ( mlir::Operation * op )

Return true iff the given Operation is nested somewhere within a StructDefOp.

◆ isInStruct() [2/2]

bool llzk::component::isInStruct ( Operation * op )

Definition at line 38 of file Ops.cpp.

◆ isInStructFunctionNamed() [1/2]

bool llzk::component::isInStructFunctionNamed	(	mlir::Operation *	op,
		char const *	funcName )

Return true iff the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp.

◆ isInStructFunctionNamed() [2/2]

bool llzk::component::isInStructFunctionNamed	(	Operation *	op,
		char const *	funcName )

Definition at line 49 of file Ops.cpp.

◆ parseStructParams() [1/2]

ParseResult llzk::component::parseStructParams	(	AsmParser &	parser,
		ArrayAttr &	value )

Definition at line 18 of file Types.cpp.

◆ parseStructParams() [2/2]

mlir::ParseResult llzk::component::parseStructParams	(	mlir::AsmParser &	parser,
		mlir::ArrayAttr &	value )

◆ printStructParams() [1/2]

void llzk::component::printStructParams	(	AsmPrinter &	printer,
		ArrayAttr	value )

Definition at line 28 of file Types.cpp.

◆ printStructParams() [2/2]

void llzk::component::printStructParams	(	mlir::AsmPrinter &	printer,
		mlir::ArrayAttr	value )

◆ verifyInStruct() [1/2]

mlir::FailureOr< StructDefOp > llzk::component::verifyInStruct ( mlir::Operation * op )

If the given Operation is nested somewhere within a StructDefOp, return a success result containing that StructDefOp.

Otherwise emit an error and return a failure result.

◆ verifyInStruct() [2/2]

FailureOr< StructDefOp > llzk::component::verifyInStruct ( Operation * op )

Definition at line 40 of file Ops.cpp.

◆ verifyInStructFunctionNamed()

template<char const * FuncName, unsigned PrefixLen>

mlir::LogicalResult llzk::component::verifyInStructFunctionNamed	(	mlir::Operation *	op,
		llvm::function_ref< llvm::SmallString< PrefixLen >()>	prefix )

Checks if the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp, producing an error if not.

Definition at line 68 of file Ops.h.

Namespaces

Classes

Functions