llzk::smt::DeclareFunOp Class Reference

Inheritance diagram for llzk::smt::DeclareFunOp:

Collaboration diagram for llzk::smt::DeclareFunOp:

Public Types
using	Adaptor = DeclareFunOpAdaptor
template<typename RangeT>
using	GenericAdaptor = DeclareFunOpGenericAdaptor<RangeT>
using	FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>
using	Properties = FoldAdaptor::Properties

Public Member Functions
static ::llvm::ArrayRef<::llvm::StringRef >	getAttributeNames ()
::mlir::StringAttr	getNamePrefixAttrName ()
std::pair< unsigned, unsigned >	getODSOperandIndexAndLength (unsigned index)
::mlir::Operation::operand_range	getODSOperands (unsigned index)
std::pair< unsigned, unsigned >	getODSResultIndexAndLength (unsigned index)
::mlir::Operation::result_range	getODSResults (unsigned index)
::mlir::TypedValue<::mlir::Type >	getResult ()
void	writeProperties (::mlir::DialectBytecodeWriter &writer)
::mlir::StringAttr	getNamePrefixAttr ()
::std::optional< ::llvm::StringRef >	getNamePrefix ()
void	setNamePrefixAttr (::mlir::StringAttr attr)
void	setNamePrefix (::std::optional<::llvm::StringRef > attrValue)
::mlir::Attribute	removeNamePrefixAttr ()
::llvm::LogicalResult	verifyInvariantsImpl ()
::llvm::LogicalResult	verifyInvariants ()
void	getAsmResultNames (::mlir::OpAsmSetValueNameFn setNameFn)
void	print (::mlir::OpAsmPrinter &_odsPrinter)
void	getEffects (::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &effects)

Static Public Member Functions
::mlir::StringAttr	getNamePrefixAttrName (::mlir::OperationName name)
static constexpr ::llvm::StringLiteral	getOperationName ()
::llvm::LogicalResult	setPropertiesFromAttr (Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)
::mlir::Attribute	getPropertiesAsAttr (::mlir::MLIRContext *ctx, const Properties &prop)
static llvm::hash_code	computePropertiesHash (const Properties &prop)
static std::optional< mlir::Attribute >	getInherentAttr (::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name)
static void	setInherentAttr (Properties &prop, llvm::StringRef name, mlir::Attribute value)
static void	populateInherentAttrs (::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs)
::llvm::LogicalResult	verifyInherentAttrs (::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)
::llvm::LogicalResult	readProperties (::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, mlir::Type type)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Type result, ::mlir::StringAttr namePrefix)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr namePrefix)
static void	build (::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={})
::mlir::ParseResult	parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result)

Detailed Description

Definition at line 4656 of file SMT.h.inc.

Member Typedef Documentation

Adaptor

using llzk::smt::DeclareFunOp::Adaptor = DeclareFunOpAdaptor

Definition at line 4660 of file SMT.h.inc.

FoldAdaptor

using llzk::smt::DeclareFunOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

Definition at line 4663 of file SMT.h.inc.

GenericAdaptor

template<typename RangeT>

using llzk::smt::DeclareFunOp::GenericAdaptor = DeclareFunOpGenericAdaptor<RangeT>

Definition at line 4662 of file SMT.h.inc.

Properties

using llzk::smt::DeclareFunOp::Properties = FoldAdaptor::Properties

Definition at line 4664 of file SMT.h.inc.

Member Function Documentation

build() [1/4]

void llzk::smt::DeclareFunOp::build ( ::mlir::OpBuilder & , ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes = {} )

static

Definition at line 5545 of file SMT.cpp.inc.

build() [2/4]

void llzk::smt::DeclareFunOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::Type result, ::mlir::StringAttr namePrefix )

static

Definition at line 5530 of file SMT.cpp.inc.

build() [3/4]

void llzk::smt::DeclareFunOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr namePrefix )

static

Definition at line 5537 of file SMT.cpp.inc.

build() [4/4]

void llzk::smt::DeclareFunOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, mlir::Type type )

static

Definition at line 5525 of file SMT.cpp.inc.

computePropertiesHash()

llvm::hash_code llzk::smt::DeclareFunOp::computePropertiesHash ( const Properties & prop )

static

Definition at line 5468 of file SMT.cpp.inc.

getAsmResultNames()

void DeclareFunOp::getAsmResultNames

(

::mlir::OpAsmSetValueNameFn

setNameFn

)

Definition at line 48 of file SMTOps.cpp.

getAttributeNames()

::llvm::ArrayRef<::llvm::StringRef > llzk::smt::DeclareFunOp::getAttributeNames ( )

inline

Definition at line 4665 of file SMT.h.inc.

getEffects()

void llzk::smt::DeclareFunOp::getEffects

(

::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &

effects

)

Definition at line 5628 of file SMT.cpp.inc.

getInherentAttr()

std::optional< mlir::Attribute > llzk::smt::DeclareFunOp::getInherentAttr ( ::mlir::MLIRContext * ctx, const Properties & prop, llvm::StringRef name )

static

Definition at line 5473 of file SMT.cpp.inc.

getNamePrefix()

std::optional<::llvm::StringRef > llzk::smt::DeclareFunOp::getNamePrefix

(

)

Definition at line 5512 of file SMT.cpp.inc.

getNamePrefixAttr()

::mlir::StringAttr llzk::smt::DeclareFunOp::getNamePrefixAttr ( )

inline

Definition at line 4715 of file SMT.h.inc.

getNamePrefixAttrName() [1/2]

::mlir::StringAttr llzk::smt::DeclareFunOp::getNamePrefixAttrName ( )

inline

Definition at line 4670 of file SMT.h.inc.

getNamePrefixAttrName() [2/2]

::mlir::StringAttr llzk::smt::DeclareFunOp::getNamePrefixAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 4674 of file SMT.h.inc.

getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::smt::DeclareFunOp::getODSOperandIndexAndLength ( unsigned index )

inline

Definition at line 4682 of file SMT.h.inc.

getODSOperands()

::mlir::Operation::operand_range llzk::smt::DeclareFunOp::getODSOperands ( unsigned index )

inline

Definition at line 4686 of file SMT.h.inc.

getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::smt::DeclareFunOp::getODSResultIndexAndLength ( unsigned index )

inline

Definition at line 4692 of file SMT.h.inc.

getODSResults()

::mlir::Operation::result_range llzk::smt::DeclareFunOp::getODSResults ( unsigned index )

inline

Definition at line 4696 of file SMT.h.inc.

getOperationName()

constexpr ::llvm::StringLiteral llzk::smt::DeclareFunOp::getOperationName ( )

inlinestatic

Definition at line 4678 of file SMT.h.inc.

getPropertiesAsAttr()

mlir::Attribute llzk::smt::DeclareFunOp::getPropertiesAsAttr ( ::mlir::MLIRContext * ctx, const Properties & prop )

static

Definition at line 5452 of file SMT.cpp.inc.

getResult()

::mlir::TypedValue<::mlir::Type > llzk::smt::DeclareFunOp::getResult ( )

inline

Definition at line 4702 of file SMT.h.inc.

parse()

mlir::ParseResult llzk::smt::DeclareFunOp::parse ( ::mlir::OpAsmParser & parser, ::mlir::OperationState & result )

static

Definition at line 5584 of file SMT.cpp.inc.

populateInherentAttrs()

void llzk::smt::DeclareFunOp::populateInherentAttrs ( ::mlir::MLIRContext * ctx, const Properties & prop, ::mlir::NamedAttrList & attrs )

static

Definition at line 5486 of file SMT.cpp.inc.

print()

void llzk::smt::DeclareFunOp::print

(

::mlir::OpAsmPrinter &

_odsPrinter

)

Definition at line 5615 of file SMT.cpp.inc.

readProperties()

llvm::LogicalResult llzk::smt::DeclareFunOp::readProperties ( ::mlir::DialectBytecodeReader & reader, ::mlir::OperationState & state )

static

Definition at line 5499 of file SMT.cpp.inc.

removeNamePrefixAttr()

::mlir::Attribute llzk::smt::DeclareFunOp::removeNamePrefixAttr ( )

inline

Definition at line 4725 of file SMT.h.inc.

setInherentAttr()

void llzk::smt::DeclareFunOp::setInherentAttr ( Properties & prop, llvm::StringRef name, mlir::Attribute value )

static

Definition at line 5479 of file SMT.cpp.inc.

setNamePrefix()

void llzk::smt::DeclareFunOp::setNamePrefix

(

::std::optional<::llvm::StringRef >

attrValue

)

Definition at line 5517 of file SMT.cpp.inc.

setNamePrefixAttr()

void llzk::smt::DeclareFunOp::setNamePrefixAttr ( ::mlir::StringAttr attr )

inline

Definition at line 4720 of file SMT.h.inc.

setPropertiesFromAttr()

llvm::LogicalResult llzk::smt::DeclareFunOp::setPropertiesFromAttr ( Properties & prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )

static

Definition at line 5429 of file SMT.cpp.inc.

verifyInherentAttrs()

llvm::LogicalResult llzk::smt::DeclareFunOp::verifyInherentAttrs ( ::mlir::OperationName opName, ::mlir::NamedAttrList & attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )

static

Definition at line 5490 of file SMT.cpp.inc.

verifyInvariants()

llvm::LogicalResult llzk::smt::DeclareFunOp::verifyInvariants

(

)

Definition at line 5580 of file SMT.cpp.inc.

verifyInvariantsImpl()

llvm::LogicalResult llzk::smt::DeclareFunOp::verifyInvariantsImpl

(

)

Definition at line 5563 of file SMT.cpp.inc.

writeProperties()

void llzk::smt::DeclareFunOp::writeProperties

(

::mlir::DialectBytecodeWriter &

writer

)

Definition at line 5506 of file SMT.cpp.inc.

---

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

• build/include/llzk/Dialect/SMT/IR/SMT.h.inc
• lib/Dialect/SMT/SMTOps.cpp
• build/include/llzk/Dialect/SMT/IR/SMT.cpp.inc