LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Friends | List of all members
llzk::smt::SMTDialect Class Reference
Inheritance diagram for llzk::smt::SMTDialect:
[legend]
Collaboration diagram for llzk::smt::SMTDialect:
[legend]

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 162 of file SMTAttributes.cpp.

◆ registerTypes()

void SMTDialect::registerTypes ( )

Definition at line 24 of file SMTTypes.cpp.

◆ ::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: