|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Function/IR/OpTraits.h"#include "llzk/Dialect/LLZK/IR/Attrs.h"#include "llzk/Dialect/Polymorphic/IR/Ops.h"#include "llzk/Dialect/Shared/OpHelpers.h"#include "llzk/Dialect/Struct/IR/Types.h"#include "llzk/Dialect/Verif/IR/OpInterfaces.h"#include "llzk/Dialect/Struct/IR/OpInterfaces.h.inc"#include "llzk/Dialect/Struct/IR/Ops.h.inc"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< StructDefOp > | llzk::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. | |