llzk::verif::InvariantOp Class Reference

Inheritance diagram for llzk::verif::InvariantOp:

Collaboration diagram for llzk::verif::InvariantOp:

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

Public Member Functions
static ::llvm::ArrayRef<::llvm::StringRef >	getAttributeNames ()
::mlir::StringAttr	getLoopArgTypesAttrName ()
::mlir::StringAttr	getLoopNameAttrName ()
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::Region &	getRegion ()
void	writeProperties (::mlir::DialectBytecodeWriter &writer)
::mlir::StringAttr	getLoopNameAttr ()
::llvm::StringRef	getLoopName ()
::mlir::ArrayAttr	getLoopArgTypesAttr ()
::mlir::ArrayAttr	getLoopArgTypes ()
void	setLoopNameAttr (::mlir::StringAttr attr)
void	setLoopName (::llvm::StringRef attrValue)
void	setLoopArgTypesAttr (::mlir::ArrayAttr attr)
void	print (::mlir::OpAsmPrinter &p)
::llvm::LogicalResult	verifyInvariantsImpl ()
::llvm::LogicalResult	verifyInvariants ()
::llvm::LogicalResult	verify ()
::llzk::verif::ContractOp	getParentContract ()
	Returns the contract operation that contains this invariant.
::mlir::FailureOr<::llzk::verif::InvariantTargetOpInterface >	getTarget ()
	Returns the loop target.

Static Public Member Functions
::mlir::StringAttr	getLoopArgTypesAttrName (::mlir::OperationName name)
::mlir::StringAttr	getLoopNameAttrName (::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::StringRef loop_name, ::llvm::ArrayRef<::mlir::Type > loop_arg_types={}, ::llvm::ArrayRef<::mlir::Location > loop_arg_locs={})
::mlir::ParseResult	parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result)

Detailed Description

Definition at line 1686 of file Ops.h.inc.

Member Typedef Documentation

Adaptor

using llzk::verif::InvariantOp::Adaptor = InvariantOpAdaptor

Definition at line 1690 of file Ops.h.inc.

FoldAdaptor

using llzk::verif::InvariantOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

Definition at line 1693 of file Ops.h.inc.

GenericAdaptor

template<typename RangeT>

using llzk::verif::InvariantOp::GenericAdaptor = InvariantOpGenericAdaptor<RangeT>

Definition at line 1692 of file Ops.h.inc.

Properties

using llzk::verif::InvariantOp::Properties = FoldAdaptor::Properties

Definition at line 1694 of file Ops.h.inc.

Member Function Documentation

build()

void llzk::verif::InvariantOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::StringRef loop_name, ::llvm::ArrayRef<::mlir::Type > loop_arg_types = {}, ::llvm::ArrayRef<::mlir::Location > loop_arg_locs = {} )

static

Definition at line 1108 of file Ops.cpp.

computePropertiesHash()

llvm::hash_code llzk::verif::InvariantOp::computePropertiesHash ( const Properties & prop )

static

Definition at line 1704 of file Ops.cpp.inc.

getAttributeNames()

::llvm::ArrayRef<::llvm::StringRef > llzk::verif::InvariantOp::getAttributeNames ( )

inline

Definition at line 1695 of file Ops.h.inc.

getInherentAttr()

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

static

Definition at line 1710 of file Ops.cpp.inc.

getLoopArgTypes()

mlir::ArrayAttr llzk::verif::InvariantOp::getLoopArgTypes

(

)

Definition at line 1773 of file Ops.cpp.inc.

getLoopArgTypesAttr()

::mlir::ArrayAttr llzk::verif::InvariantOp::getLoopArgTypesAttr ( )

inline

Definition at line 1758 of file Ops.h.inc.

getLoopArgTypesAttrName() [1/2]

::mlir::StringAttr llzk::verif::InvariantOp::getLoopArgTypesAttrName ( )

inline

Definition at line 1700 of file Ops.h.inc.

getLoopArgTypesAttrName() [2/2]

::mlir::StringAttr llzk::verif::InvariantOp::getLoopArgTypesAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1704 of file Ops.h.inc.

getLoopName()

llvm::StringRef llzk::verif::InvariantOp::getLoopName

(

)

Definition at line 1768 of file Ops.cpp.inc.

getLoopNameAttr()

::mlir::StringAttr llzk::verif::InvariantOp::getLoopNameAttr ( )

inline

Definition at line 1753 of file Ops.h.inc.

getLoopNameAttrName() [1/2]

::mlir::StringAttr llzk::verif::InvariantOp::getLoopNameAttrName ( )

inline

Definition at line 1708 of file Ops.h.inc.

getLoopNameAttrName() [2/2]

::mlir::StringAttr llzk::verif::InvariantOp::getLoopNameAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1712 of file Ops.h.inc.

getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::verif::InvariantOp::getODSOperandIndexAndLength ( unsigned index )

inline

Definition at line 1720 of file Ops.h.inc.

getODSOperands()

::mlir::Operation::operand_range llzk::verif::InvariantOp::getODSOperands ( unsigned index )

inline

Definition at line 1724 of file Ops.h.inc.

getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::verif::InvariantOp::getODSResultIndexAndLength ( unsigned index )

inline

Definition at line 1730 of file Ops.h.inc.

getODSResults()

::mlir::Operation::result_range llzk::verif::InvariantOp::getODSResults ( unsigned index )

inline

Definition at line 1734 of file Ops.h.inc.

getOperationName()

constexpr ::llvm::StringLiteral llzk::verif::InvariantOp::getOperationName ( )

inlinestatic

Definition at line 1716 of file Ops.h.inc.

getParentContract()

ContractOp llzk::verif::InvariantOp::getParentContract

(

)

Returns the contract operation that contains this invariant.

Definition at line 1233 of file Ops.cpp.

getPropertiesAsAttr()

mlir::Attribute llzk::verif::InvariantOp::getPropertiesAsAttr ( ::mlir::MLIRContext * ctx, const Properties & prop )

static

Definition at line 1681 of file Ops.cpp.inc.

getRegion()

::mlir::Region & llzk::verif::InvariantOp::getRegion ( )

inline

Definition at line 1740 of file Ops.h.inc.

getTarget()

FailureOr< InvariantTargetOpInterface > llzk::verif::InvariantOp::getTarget

(

)

Returns the loop target.

Definition at line 1237 of file Ops.cpp.

parse()

ParseResult llzk::verif::InvariantOp::parse ( ::mlir::OpAsmParser & parser, ::mlir::OperationState & result )

static

Definition at line 1167 of file Ops.cpp.

populateInherentAttrs()

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

static

Definition at line 1731 of file Ops.cpp.inc.

print()

void llzk::verif::InvariantOp::print

(

::mlir::OpAsmPrinter &

p

)

Definition at line 1216 of file Ops.cpp.

readProperties()

llvm::LogicalResult llzk::verif::InvariantOp::readProperties ( ::mlir::DialectBytecodeReader & reader, ::mlir::OperationState & state )

static

Definition at line 1752 of file Ops.cpp.inc.

setInherentAttr()

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

static

Definition at line 1719 of file Ops.cpp.inc.

setLoopArgTypesAttr()

void llzk::verif::InvariantOp::setLoopArgTypesAttr ( ::mlir::ArrayAttr attr )

inline

Definition at line 1768 of file Ops.h.inc.

setLoopName()

void llzk::verif::InvariantOp::setLoopName

(

::llvm::StringRef

attrValue

)

Definition at line 1778 of file Ops.cpp.inc.

setLoopNameAttr()

void llzk::verif::InvariantOp::setLoopNameAttr ( ::mlir::StringAttr attr )

inline

Definition at line 1763 of file Ops.h.inc.

setPropertiesFromAttr()

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

static

Definition at line 1644 of file Ops.cpp.inc.

verify()

LogicalResult llzk::verif::InvariantOp::verify

(

)

Definition at line 1158 of file Ops.cpp.

verifyInherentAttrs()

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

static

Definition at line 1737 of file Ops.cpp.inc.

verifyInvariants()

llvm::LogicalResult llzk::verif::InvariantOp::verifyInvariants

(

)

Definition at line 1803 of file Ops.cpp.inc.

verifyInvariantsImpl()

llvm::LogicalResult llzk::verif::InvariantOp::verifyInvariantsImpl

(

)

Definition at line 1782 of file Ops.cpp.inc.

writeProperties()

void llzk::verif::InvariantOp::writeProperties

(

::mlir::DialectBytecodeWriter &

writer

)

Definition at line 1762 of file Ops.cpp.inc.

---

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

• build/include/llzk/Dialect/Verif/IR/Ops.h.inc
• lib/Dialect/Verif/IR/Ops.cpp
• build/include/llzk/Dialect/Verif/IR/Ops.cpp.inc