llzk::smt::SMTDialect Class Reference

Inheritance diagram for llzk::smt::SMTDialect:

Collaboration diagram for llzk::smt::SMTDialect:

Public Member Functions
	~SMTDialect () override
::mlir::Attribute	parseAttribute (::mlir::DialectAsmParser &parser, ::mlir::Type type) const override
	Parse an attribute registered to this dialect.
void	printAttribute (::mlir::Attribute attr, ::mlir::DialectAsmPrinter &os) const override
	Print an attribute registered to this dialect.
::mlir::Type	parseType (::mlir::DialectAsmParser &parser) const override
	Parse a type registered to this dialect.
void	printType (::mlir::Type type, ::mlir::DialectAsmPrinter &os) const override
	Print a type registered to this dialect.
::mlir::Operation *	materializeConstant (::mlir::OpBuilder &builder, ::mlir::Attribute value, ::mlir::Type type, ::mlir::Location loc) override
	Materialize a single constant operation from a given attribute value with the desired resultant type.
void	registerAttributes ()
void	registerTypes ()

Static Public Member Functions
static constexpr ::llvm::StringLiteral	getDialectNamespace ()

Friends
class	::mlir::MLIRContext

Detailed Description

Definition at line 13 of file SMTDialect.h.inc.

Constructor & Destructor Documentation

~SMTDialect()

llzk::smt::SMTDialect::~SMTDialect ( )

overridedefault

Member Function Documentation

getDialectNamespace()

constexpr ::llvm::StringLiteral llzk::smt::SMTDialect::getDialectNamespace ( )

inlinestatic

Definition at line 20 of file SMTDialect.h.inc.

materializeConstant()

Operation * SMTDialect::materializeConstant ( ::mlir::OpBuilder & builder, ::mlir::Attribute value, ::mlir::Type type, ::mlir::Location loc )

override

Materialize a single constant operation from a given attribute value with the desired resultant type.

Definition at line 28 of file SMTDialect.cpp.

parseAttribute()

::mlir::Attribute llzk::smt::SMTDialect::parseAttribute ( ::mlir::DialectAsmParser & parser, ::mlir::Type type ) const

override

Parse an attribute registered to this dialect.

parseType()

mlir::Type llzk::smt::SMTDialect::parseType ( ::mlir::DialectAsmParser & parser ) const

override

Parse a type registered to this dialect.

Definition at line 550 of file SMTTypes.cpp.inc.

printAttribute()

void llzk::smt::SMTDialect::printAttribute ( ::mlir::Attribute attr, ::mlir::DialectAsmPrinter & os ) const

override

Print an attribute registered to this dialect.

printType()

void llzk::smt::SMTDialect::printType ( ::mlir::Type type, ::mlir::DialectAsmPrinter & os ) const

override

Print a type registered to this dialect.

Definition at line 563 of file SMTTypes.cpp.inc.

registerAttributes()

void SMTDialect::registerAttributes

(

)

Definition at line 236 of file SMTAttributes.cpp.

registerTypes()

void SMTDialect::registerTypes

(

)

Definition at line 24 of file SMTTypes.cpp.

Friends And Related Symbol Documentation

::mlir::MLIRContext

friend class ::mlir::MLIRContext

friend

Definition at line 17 of file SMTDialect.h.inc.

---

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

• build/include/llzk/Dialect/SMT/IR/SMTDialect.h.inc
• lib/Dialect/SMT/SMTAttributes.cpp
• lib/Dialect/SMT/SMTDialect.cpp
• lib/Dialect/SMT/SMTTypes.cpp
• build/include/llzk/Dialect/SMT/IR/SMTDialect.cpp.inc
• build/include/llzk/Dialect/SMT/IR/SMTTypes.cpp.inc