LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Ops.h File Reference
Include dependency graph for Ops.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  llzk::component::SetFuncAllowAttrs< TypeClass >
 Only valid/implemented for StructDefOp. More...
 
struct  llzk::component::InStructFunctionNamed< FuncName >
 This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name. More...
 
class  llzk::component::InStructFunctionNamed< FuncName >::Impl< TypeClass >
 

Namespaces

namespace  llzk
 
namespace  llzk::component
 
namespace  llzk::function
 

Macros

#define GET_OP_CLASSES
 

Functions

mlir::InFlightDiagnostic llzk::component::genCompareErr (StructDefOp &expected, mlir::Operation *origin, const char *aspect)
 
mlir::LogicalResult llzk::component::checkSelfType (mlir::SymbolTableCollection &symbolTable, StructDefOp &expectedStruct, mlir::Type actualType, mlir::Operation *origin, const char *aspect)
 
bool llzk::component::isInStruct (mlir::Operation *op)
 Return true iff the given Operation is nested somewhere within a StructDefOp.
 
mlir::FailureOr< StructDefOpllzk::component::verifyInStruct (mlir::Operation *op)
 If the given Operation is nested somewhere within a StructDefOp, return a success result containing that StructDefOp.
 
bool llzk::component::isInStructFunctionNamed (mlir::Operation *op, char const *funcName)
 Return true iff the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp.
 
template<char const * FuncName, unsigned PrefixLen>
mlir::LogicalResult llzk::component::verifyInStructFunctionNamed (mlir::Operation *op, llvm::function_ref< llvm::SmallString< PrefixLen >()> prefix)
 Checks if the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp, producing an error if not.
 

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 41 of file Ops.h.