|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Polymorphic/IR/Dialect.h"#include "llzk/Dialect/Polymorphic/IR/Types.h"#include "llzk/Dialect/Shared/OpHelpers.h"#include <mlir/Dialect/Affine/IR/AffineValueMap.h>#include <mlir/Interfaces/ControlFlowInterfaces.h>#include <mlir/Interfaces/InferTypeOpInterface.h>#include "llzk/Dialect/Polymorphic/IR/OpInterfaces.h.inc"#include "llzk/Dialect/Polymorphic/IR/Ops.h.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::polymorphic |
Concepts | |
| concept | llzk::polymorphic::TemplateSymbolBindingOp |
Macros | |
| #define | GET_OP_CLASSES |
Functions | |
| bool | llzk::polymorphic::isInTemplate (mlir::Operation *op) |
| Return true iff the given Operation is nested somewhere within a TemplateOp. | |
| mlir::FailureOr< TemplateOp > | llzk::polymorphic::verifyInTemplate (mlir::Operation *op) |
| If the given Operation is nested somewhere within a TemplateOp, return a success result containing that TemplateOp. | |