|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Cast/IR/Ops.h"#include "llzk/Dialect/Felt/IR/Attrs.h"#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include "llzk/Util/DynamicAPIntHelper.h"#include <mlir/IR/Builders.h>#include <mlir/Interfaces/SideEffectInterfaces.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::polymorphic |
| namespace | llzk::polymorphic::detail |
| Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp. | |
Functions | |
| mlir::LogicalResult | llzk::polymorphic::detail::evaluateScalarOperation (mlir::Operation *op, llvm::ArrayRef< mlir::Attribute > operands, llvm::SmallVectorImpl< mlir::OpFoldResult > &results) |
| Evaluate a scalar operation using caller-supplied operand constants. | |