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

Public Types

using Adaptor = ReturnOpAdaptor
 
template<typename RangeT>
using GenericAdaptor = ReturnOpGenericAdaptor<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::Operation::operand_range getOperands ()
 
::mlir::MutableOperandRange getOperandsMutable ()
 
std::pair< unsigned, unsigned > getODSResultIndexAndLength (unsigned index)
 
::mlir::Operation::result_range getODSResults (unsigned index)
 
::mlir::LogicalResult verifyInvariantsImpl ()
 
::mlir::LogicalResult verifyInvariants ()
 
::mlir::LogicalResult verify ()
 
::mlir::MutableOperandRange getMutableSuccessorOperands (::mlir::RegionBranchPoint point)
 
void print (::mlir::OpAsmPrinter &_odsPrinter)
 
void getEffects (::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &effects)
 

Static Public Member Functions

static constexpr ::llvm::StringLiteral getOperationName ()
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState)
 
static void build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::ValueRange operands)
 
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 693 of file Ops.h.inc.

Member Typedef Documentation

◆ Adaptor

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

◆ FoldAdaptor

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

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

◆ GenericAdaptor

template<typename RangeT>
using llzk::function::ReturnOp::GenericAdaptor = ReturnOpGenericAdaptor<RangeT>

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

Member Function Documentation

◆ build() [1/3]

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

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

◆ build() [2/3]

void llzk::function::ReturnOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState )
static

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

◆ build() [3/3]

void llzk::function::ReturnOp::build ( ::mlir::OpBuilder & odsBuilder,
::mlir::OperationState & odsState,
::mlir::ValueRange operands )
static

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

◆ getAttributeNames()

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

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

◆ getEffects()

void llzk::function::ReturnOp::getEffects ( ::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > & effects)

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

◆ getMutableSuccessorOperands()

mlir::MutableOperandRange llzk::function::ReturnOp::getMutableSuccessorOperands ( ::mlir::RegionBranchPoint point)

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

◆ getODSOperandIndexAndLength()

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

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

◆ getODSOperands()

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

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

◆ getODSResultIndexAndLength()

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

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

◆ getODSResults()

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

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

◆ getOperands()

mlir::Operation::operand_range llzk::function::ReturnOp::getOperands ( )

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

◆ getOperandsMutable()

mlir::MutableOperandRange llzk::function::ReturnOp::getOperandsMutable ( )

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

◆ getOperationName()

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

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

◆ parse()

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

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

◆ print()

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

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

◆ verify()

LogicalResult llzk::function::ReturnOp::verify ( )

Definition at line 318 of file Ops.cpp.

◆ verifyInvariants()

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

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

◆ verifyInvariantsImpl()

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

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


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