llzk::constrain::EmitContainmentOp Class Reference

Inheritance diagram for llzk::constrain::EmitContainmentOp:

Collaboration diagram for llzk::constrain::EmitContainmentOp:

Public Types
using	Adaptor = EmitContainmentOpAdaptor
template<typename RangeT>
using	GenericAdaptor = EmitContainmentOpGenericAdaptor<RangeT>
using	FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

Public Member Functions
static ::llvm::ArrayRef<::llvm::StringRef >	getAttributeNames ()
std::pair< unsigned, unsigned >	getODSOperandIndexAndLength (unsigned index)
::mlir::Operation::operand_range	getODSOperands (unsigned index)
::mlir::TypedValue<::llzk::array::ArrayType >	getLhs ()
::mlir::TypedValue<::mlir::Type >	getRhs ()
::mlir::OpOperand &	getLhsMutable ()
::mlir::OpOperand &	getRhsMutable ()
std::pair< unsigned, unsigned >	getODSResultIndexAndLength (unsigned index)
::mlir::Operation::result_range	getODSResults (unsigned index)
::llvm::LogicalResult	verifyInvariantsImpl ()
::llvm::LogicalResult	verifyInvariants ()
::llvm::LogicalResult	verify ()
::llvm::LogicalResult	verifySymbolUses (::mlir::SymbolTableCollection &symbolTable)
void	print (::mlir::OpAsmPrinter &_odsPrinter)

Static Public Member Functions
static constexpr ::llvm::StringLiteral	getOperationName ()
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Value lhs, ::mlir::Value rhs)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::Value lhs, ::mlir::Value rhs)
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 100 of file Ops.h.inc.

Member Typedef Documentation

Adaptor

using llzk::constrain::EmitContainmentOp::Adaptor = EmitContainmentOpAdaptor

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

FoldAdaptor

using llzk::constrain::EmitContainmentOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

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

GenericAdaptor

template<typename RangeT>

using llzk::constrain::EmitContainmentOp::GenericAdaptor = EmitContainmentOpGenericAdaptor<RangeT>

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

Member Function Documentation

build() [1/3]

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

static

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

build() [2/3]

void llzk::constrain::EmitContainmentOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::Value lhs, ::mlir::Value rhs )

static

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

build() [3/3]

void llzk::constrain::EmitContainmentOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::Value lhs, ::mlir::Value rhs )

static

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

getAttributeNames()

::llvm::ArrayRef<::llvm::StringRef > llzk::constrain::EmitContainmentOp::getAttributeNames ( )

inline

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

getLhs()

::mlir::TypedValue<::llzk::array::ArrayType > llzk::constrain::EmitContainmentOp::getLhs ( )

inline

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

getLhsMutable()

::mlir::OpOperand & llzk::constrain::EmitContainmentOp::getLhsMutable ( )

inline

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

getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::constrain::EmitContainmentOp::getODSOperandIndexAndLength ( unsigned index )

inline

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

getODSOperands()

::mlir::Operation::operand_range llzk::constrain::EmitContainmentOp::getODSOperands ( unsigned index )

inline

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

getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::constrain::EmitContainmentOp::getODSResultIndexAndLength ( unsigned index )

inline

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

getODSResults()

::mlir::Operation::result_range llzk::constrain::EmitContainmentOp::getODSResults ( unsigned index )

inline

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

getOperationName()

constexpr ::llvm::StringLiteral llzk::constrain::EmitContainmentOp::getOperationName ( )

inlinestatic

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

getRhs()

::mlir::TypedValue<::mlir::Type > llzk::constrain::EmitContainmentOp::getRhs ( )

inline

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

getRhsMutable()

::mlir::OpOperand & llzk::constrain::EmitContainmentOp::getRhsMutable ( )

inline

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

parse()

mlir::ParseResult llzk::constrain::EmitContainmentOp::parse ( ::mlir::OpAsmParser & parser, ::mlir::OperationState & result )

static

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

print()

void llzk::constrain::EmitContainmentOp::print

(

::mlir::OpAsmPrinter &

_odsPrinter

)

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

verify()

LogicalResult llzk::constrain::EmitContainmentOp::verify

(

)

Definition at line 50 of file Ops.cpp.

verifyInvariants()

llvm::LogicalResult llzk::constrain::EmitContainmentOp::verifyInvariants

(

)

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

verifyInvariantsImpl()

llvm::LogicalResult llzk::constrain::EmitContainmentOp::verifyInvariantsImpl

(

)

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

verifySymbolUses()

LogicalResult llzk::constrain::EmitContainmentOp::verifySymbolUses

(

::mlir::SymbolTableCollection &

symbolTable

)

Definition at line 43 of file Ops.cpp.

---

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

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