LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
OpHelpers.h File Reference
#include "llzk/Util/AffineHelper.h"
#include "llzk/Util/Constants.h"
#include <mlir/IR/OpImplementation.h>
#include <mlir/IR/Operation.h>
#include <mlir/Support/LogicalResult.h>
#include <llvm/ADT/SmallString.h>
#include <llvm/ADT/StringRef.h>
Include dependency graph for OpHelpers.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >
 Produces errors if there is an inconsistency in the various attributes/values that are used to support affine map instantiation in the Op marked with this Trait. More...
 
class  llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >
 

Namespaces

namespace  llzk
 

Functions

template<typename OpClass>
llvm::StringLiteral llzk::getOperationName ()
 Get the operation name, like "constrain.eq" for the given OpClass.
 
template<typename OpClass>
mlir::FailureOr< OpClass > llzk::getParentOfType (mlir::Operation *op)
 Return the closest surrounding parent operation that is of type 'OpClass'.
 
template<unsigned N>
mlir::ParseResult llzk::parseDimAndSymbolList (mlir::OpAsmParser &parser, mlir::SmallVector< mlir::OpAsmParser::UnresolvedOperand, N > &mapOperands, mlir::IntegerAttr &numDims)
 
void llzk::printDimAndSymbolList (mlir::OpAsmPrinter &printer, mlir::Operation *op, mlir::OperandRange mapOperands, mlir::IntegerAttr numDims)
 
mlir::ParseResult llzk::parseMultiDimAndSymbolList (mlir::OpAsmParser &parser, mlir::SmallVector< mlir::SmallVector< mlir::OpAsmParser::UnresolvedOperand > > &multiMapOperands, mlir::DenseI32ArrayAttr &numDimsPerMap)
 
void llzk::printMultiDimAndSymbolList (mlir::OpAsmPrinter &printer, mlir::Operation *op, mlir::OperandRangeRange multiMapOperands, mlir::DenseI32ArrayAttr numDimsPerMap)
 
mlir::ParseResult llzk::parseAttrDictWithWarnings (mlir::OpAsmParser &parser, mlir::NamedAttrList &extraAttrs, mlir::OperationState &state)
 
template<typename ConcreteOp>
void llzk::printAttrDictWithWarnings (mlir::OpAsmPrinter &printer, ConcreteOp op, mlir::DictionaryAttr extraAttrs, typename mlir::PropertiesSelector< ConcreteOp >::type state)