LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::function::CallOp Class Reference
Inheritance diagram for llzk::function::CallOp:
[legend]
Collaboration diagram for llzk::function::CallOp:
[legend]

Public Types

using Adaptor = CallOpAdaptor
 
template<typename RangeT>
using GenericAdaptor = CallOpGenericAdaptor<RangeT>
 
using FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>
 
using Properties = FoldAdaptor::Properties
 

Public Member Functions

static ::llvm::ArrayRef<::llvm::StringRef > getAttributeNames ()
 
::mlir::StringAttr getCalleeAttrName ()
 
::mlir::StringAttr getMapOpGroupSizesAttrName ()
 
::mlir::StringAttr getNumDimsPerMapAttrName ()
 
::mlir::StringAttr getOperandSegmentSizesAttrName ()
 
std::pair< unsigned, unsigned > getODSOperandIndexAndLength (unsigned index)
 
::mlir::Operation::operand_range getODSOperands (unsigned index)
 
::mlir::Operation::operand_range getArgOperands ()
 
::mlir::OperandRangeRange getMapOperands ()
 
::mlir::MutableOperandRange getArgOperandsMutable ()
 
::mlir::MutableOperandRangeRange getMapOperandsMutable ()
 
std::pair< unsigned, unsigned > getODSResultIndexAndLength (unsigned index)
 
::mlir::Operation::result_range getODSResults (unsigned index)
 
void writeProperties (::mlir::DialectBytecodeWriter &writer)
 
::mlir::SymbolRefAttr getCalleeAttr ()
 
::mlir::SymbolRefAttr getCallee ()
 
::mlir::DenseI32ArrayAttr getNumDimsPerMapAttr ()
 
::llvm::ArrayRef< int32_t > getNumDimsPerMap ()
 
::mlir::DenseI32ArrayAttr getMapOpGroupSizesAttr ()
 
::llvm::ArrayRef< int32_t > getMapOpGroupSizes ()
 
void setCalleeAttr (::mlir::SymbolRefAttr attr)
 
void setNumDimsPerMapAttr (::mlir::DenseI32ArrayAttr attr)
 
void setNumDimsPerMap (::llvm::ArrayRef< int32_t > attrValue)
 
void setMapOpGroupSizesAttr (::mlir::DenseI32ArrayAttr attr)
 
void setMapOpGroupSizes (::llvm::ArrayRef< int32_t > attrValue)
 
::mlir::LogicalResult verifyInvariantsImpl ()
 
::mlir::LogicalResult verifyInvariants ()
 
::mlir::CallInterfaceCallable getCallableForCallee ()
 Return the callee of this operation.
 
void setCalleeFromCallable (::mlir::CallInterfaceCallable callee)
 Set the callee for this operation.
 
::mlir::LogicalResult verifySymbolUses (::mlir::SymbolTableCollection &symbolTable)
 
void print (::mlir::OpAsmPrinter &_odsPrinter)
 
::mlir::FunctionType getCalleeType ()
 
bool calleeIsCompute ()
 Return true iff the callee function name is FUNC_NAME_COMPUTE (this does not check if the callee function is located within a StructDefOp).
 
bool calleeIsConstrain ()
 Return true iff the callee function name is FUNC_NAME_CONSTRAIN (this does not check if the callee function is located within a StructDefOp).
 
bool calleeIsStructCompute ()
 Return true iff the callee function name is FUNC_NAME_COMPUTE within a StructDefOp.
 
bool calleeIsStructConstrain ()
 Return true iff the callee function name is FUNC_NAME_CONSTRAIN within a StructDefOp.
 
::llzk::component::StructType getSingleResultTypeOfCompute ()
 Assuming the callee is FUNC_NAME_COMPUTE, return the single StructType result.
 

Static Public Member Functions

::mlir::StringAttr getCalleeAttrName (::mlir::OperationName name)
 
::mlir::StringAttr getMapOpGroupSizesAttrName (::mlir::OperationName name)
 
::mlir::StringAttr getNumDimsPerMapAttrName (::mlir::OperationName name)
 
::mlir::StringAttr getOperandSegmentSizesAttrName (::mlir::OperationName name)
 
static constexpr ::llvm::StringLiteral getOperationName ()
 
::mlir::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)
 
::mlir::LogicalResult verifyInherentAttrs (::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)
 
::mlir::LogicalResult readProperties (::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={})
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::function::FuncDefOp callee, ::mlir::ValueRange argOperands={})
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={})
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={})
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::function::FuncDefOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={})
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::function::FuncDefOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={})
 
static void populateDefaultProperties (::mlir::OperationName opName, Properties &properties)
 
::mlir::ParseResult parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result)
 

Detailed Description

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

Member Typedef Documentation

◆ Adaptor

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

◆ FoldAdaptor

using llzk::function::CallOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

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

◆ GenericAdaptor

template<typename RangeT>
using llzk::function::CallOp::GenericAdaptor = CallOpGenericAdaptor<RangeT>

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

◆ Properties

Member Function Documentation

◆ build() [1/6]

void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::llzk::function::FuncDefOp callee,
::llvm::ArrayRef<::mlir::ValueRange > mapOperands,
::llvm::ArrayRef< int32_t > numDimsPerMap,
::mlir::ValueRange argOperands = {} )
static

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

◆ build() [2/6]

void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::llzk::function::FuncDefOp callee,
::llvm::ArrayRef<::mlir::ValueRange > mapOperands,
::mlir::DenseI32ArrayAttr numDimsPerMap,
::mlir::ValueRange argOperands = {} )
static

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

◆ build() [3/6]

void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::llzk::function::FuncDefOp callee,
::mlir::ValueRange argOperands = {} )
static

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

◆ build() [4/6]

void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::mlir::TypeRange resultTypes,
::mlir::SymbolRefAttr callee,
::llvm::ArrayRef<::mlir::ValueRange > mapOperands,
::llvm::ArrayRef< int32_t > numDimsPerMap,
::mlir::ValueRange argOperands = {} )
static

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

◆ build() [5/6]

static void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::mlir::TypeRange resultTypes,
::mlir::SymbolRefAttr callee,
::llvm::ArrayRef<::mlir::ValueRange > mapOperands,
::mlir::DenseI32ArrayAttr numDimsPerMap,
::mlir::ValueRange argOperands = {} )
static

◆ build() [6/6]

static void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::mlir::TypeRange resultTypes,
::mlir::SymbolRefAttr callee,
::mlir::ValueRange argOperands = {} )
static

◆ calleeIsCompute()

bool llzk::function::CallOp::calleeIsCompute ( )
inline

Return true iff the callee function name is FUNC_NAME_COMPUTE (this does not check if the callee function is located within a StructDefOp).

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

◆ calleeIsConstrain()

bool llzk::function::CallOp::calleeIsConstrain ( )
inline

Return true iff the callee function name is FUNC_NAME_CONSTRAIN (this does not check if the callee function is located within a StructDefOp).

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

◆ calleeIsStructCompute()

bool llzk::function::CallOp::calleeIsStructCompute ( )

Return true iff the callee function name is FUNC_NAME_COMPUTE within a StructDefOp.

Definition at line 688 of file Ops.cpp.

◆ calleeIsStructConstrain()

bool llzk::function::CallOp::calleeIsStructConstrain ( )

Return true iff the callee function name is FUNC_NAME_CONSTRAIN within a StructDefOp.

Definition at line 694 of file Ops.cpp.

◆ computePropertiesHash()

llvm::hash_code llzk::function::CallOp::computePropertiesHash ( const Properties & prop)
static

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

◆ getArgOperands()

mlir::Operation::operand_range llzk::function::CallOp::getArgOperands ( )

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

◆ getArgOperandsMutable()

mlir::MutableOperandRange llzk::function::CallOp::getArgOperandsMutable ( )

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

◆ getAttributeNames()

static ::llvm::ArrayRef<::llvm::StringRef > llzk::function::CallOp::getAttributeNames ( )
inline

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

◆ getCallableForCallee()

CallInterfaceCallable llzk::function::CallOp::getCallableForCallee ( )

Return the callee of this operation.

Definition at line 706 of file Ops.cpp.

◆ getCallee()

mlir::SymbolRefAttr llzk::function::CallOp::getCallee ( )

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

◆ getCalleeAttr()

mlir::SymbolRefAttr llzk::function::CallOp::getCalleeAttr ( )

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

◆ getCalleeAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getCalleeAttrName ( )
inline

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

◆ getCalleeAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getCalleeAttrName ( ::mlir::OperationName name)
inlinestatic

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

◆ getCalleeType()

FunctionType llzk::function::CallOp::getCalleeType ( )

Definition at line 665 of file Ops.cpp.

◆ getInherentAttr()

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

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

◆ getMapOperands()

mlir::OperandRangeRange llzk::function::CallOp::getMapOperands ( )

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

◆ getMapOperandsMutable()

mlir::MutableOperandRangeRange llzk::function::CallOp::getMapOperandsMutable ( )

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

◆ getMapOpGroupSizes()

llvm::ArrayRef< int32_t > llzk::function::CallOp::getMapOpGroupSizes ( )

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

◆ getMapOpGroupSizesAttr()

mlir::DenseI32ArrayAttr llzk::function::CallOp::getMapOpGroupSizesAttr ( )

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

◆ getMapOpGroupSizesAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getMapOpGroupSizesAttrName ( )
inline

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

◆ getMapOpGroupSizesAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getMapOpGroupSizesAttrName ( ::mlir::OperationName name)
inlinestatic

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

◆ getNumDimsPerMap()

llvm::ArrayRef< int32_t > llzk::function::CallOp::getNumDimsPerMap ( )

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

◆ getNumDimsPerMapAttr()

mlir::DenseI32ArrayAttr llzk::function::CallOp::getNumDimsPerMapAttr ( )

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

◆ getNumDimsPerMapAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getNumDimsPerMapAttrName ( )
inline

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

◆ getNumDimsPerMapAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getNumDimsPerMapAttrName ( ::mlir::OperationName name)
inlinestatic

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

◆ getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::function::CallOp::getODSOperandIndexAndLength ( unsigned index)

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

◆ getODSOperands()

mlir::Operation::operand_range llzk::function::CallOp::getODSOperands ( unsigned index)

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

◆ getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::function::CallOp::getODSResultIndexAndLength ( unsigned index)

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

◆ getODSResults()

mlir::Operation::result_range llzk::function::CallOp::getODSResults ( unsigned index)

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

◆ getOperandSegmentSizesAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getOperandSegmentSizesAttrName ( )
inline

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

◆ getOperandSegmentSizesAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getOperandSegmentSizesAttrName ( ::mlir::OperationName name)
inlinestatic

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

◆ getOperationName()

static constexpr ::llvm::StringLiteral llzk::function::CallOp::getOperationName ( )
inlinestatic

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

◆ getPropertiesAsAttr()

mlir::Attribute llzk::function::CallOp::getPropertiesAsAttr ( ::mlir::MLIRContext * ctx,
const Properties & prop )
static

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

◆ getSingleResultTypeOfCompute()

StructType llzk::function::CallOp::getSingleResultTypeOfCompute ( )

Assuming the callee is FUNC_NAME_COMPUTE, return the single StructType result.

Definition at line 700 of file Ops.cpp.

◆ parse()

mlir::ParseResult llzk::function::CallOp::parse ( ::mlir::OpAsmParser & parser,
::mlir::OperationState & result )
static

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

◆ populateDefaultProperties()

void llzk::function::CallOp::populateDefaultProperties ( ::mlir::OperationName opName,
Properties & properties )
static

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

◆ populateInherentAttrs()

void llzk::function::CallOp::populateInherentAttrs ( ::mlir::MLIRContext * ctx,
const Properties & prop,
::mlir::NamedAttrList & attrs )
static

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

◆ print()

void llzk::function::CallOp::print ( ::mlir::OpAsmPrinter & _odsPrinter)

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

◆ readProperties()

mlir::LogicalResult llzk::function::CallOp::readProperties ( ::mlir::DialectBytecodeReader & reader,
::mlir::OperationState & state )
static

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

◆ setCalleeAttr()

void llzk::function::CallOp::setCalleeAttr ( ::mlir::SymbolRefAttr attr)

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

◆ setCalleeFromCallable()

void llzk::function::CallOp::setCalleeFromCallable ( ::mlir::CallInterfaceCallable callee)

Set the callee for this operation.

Definition at line 709 of file Ops.cpp.

◆ setInherentAttr()

void llzk::function::CallOp::setInherentAttr ( Properties & prop,
llvm::StringRef name,
mlir::Attribute value )
static

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

◆ setMapOpGroupSizes()

void llzk::function::CallOp::setMapOpGroupSizes ( ::llvm::ArrayRef< int32_t > attrValue)

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

◆ setMapOpGroupSizesAttr()

void llzk::function::CallOp::setMapOpGroupSizesAttr ( ::mlir::DenseI32ArrayAttr attr)

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

◆ setNumDimsPerMap()

void llzk::function::CallOp::setNumDimsPerMap ( ::llvm::ArrayRef< int32_t > attrValue)

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

◆ setNumDimsPerMapAttr()

void llzk::function::CallOp::setNumDimsPerMapAttr ( ::mlir::DenseI32ArrayAttr attr)

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

◆ setPropertiesFromAttr()

mlir::LogicalResult llzk::function::CallOp::setPropertiesFromAttr ( Properties & prop,
::mlir::Attribute attr,
::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )
static

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

◆ verifyInherentAttrs()

mlir::LogicalResult llzk::function::CallOp::verifyInherentAttrs ( ::mlir::OperationName opName,
::mlir::NamedAttrList & attrs,
llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )
static

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

◆ verifyInvariants()

mlir::LogicalResult llzk::function::CallOp::verifyInvariants ( )

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

◆ verifyInvariantsImpl()

mlir::LogicalResult llzk::function::CallOp::verifyInvariantsImpl ( )

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

◆ verifySymbolUses()

LogicalResult llzk::function::CallOp::verifySymbolUses ( ::mlir::SymbolTableCollection & symbolTable)

Definition at line 634 of file Ops.cpp.

◆ writeProperties()

void llzk::function::CallOp::writeProperties ( ::mlir::DialectBytecodeWriter & writer)

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


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