LLZKLoweringUtils.cpp File Reference

#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>

Include dependency graph for LLZKLoweringUtils.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk

Functions
Value	llzk::getSelfValueFromCompute (FuncDefOp computeFunc)
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)