|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Transforms/LLZKLoweringUtils.h"#include <mlir/IR/Block.h>#include <mlir/IR/Builders.h>#include <mlir/IR/BuiltinOps.h>#include <mlir/IR/Operation.h>#include <mlir/Support/LogicalResult.h>#include <llvm/ADT/SmallVector.h>#include <llvm/Support/raw_ostream.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Functions | |
| Value | llzk::rebuildExprInCompute (Value val, FuncDefOp computeFunc, OpBuilder &builder, DenseMap< Value, Value > &memo) |
| LogicalResult | llzk::checkForAuxFieldConflicts (StructDefOp structDef, StringRef prefix) |
| void | llzk::replaceSubsequentUsesWith (Value oldVal, Value newVal, Operation *afterOp) |
| FieldDefOp | llzk::addAuxField (StructDefOp structDef, StringRef name) |
| unsigned | llzk::getFeltDegree (Value val, DenseMap< Value, unsigned > &memo) |