LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
ScalarEvaluation.h File Reference
#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>
Include dependency graph for ScalarEvaluation.h:
This graph shows which files directly or indirectly include this file:

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.