LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::ModuleBuilder Member List

This is the complete list of members for llzk::ModuleBuilder, including all inherited members.

buildComputeFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleBuilderstatic
buildConstrainFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleBuilderstatic
buildProductFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleBuilderstatic
computeReachable(component::StructDefOp caller, component::StructDefOp callee)llzk::ModuleBuilderinline
computeReachable(std::string_view caller, std::string_view callee)llzk::ModuleBuilderinline
constrainReachable(component::StructDefOp caller, component::StructDefOp callee)llzk::ModuleBuilderinline
constrainReachable(std::string_view caller, std::string_view callee)llzk::ModuleBuilderinline
getComputeFn(std::string_view structName) constllzk::ModuleBuilderinline
getComputeFn(component::StructDefOp op) constllzk::ModuleBuilderinline
getConstrainFn(std::string_view structName) constllzk::ModuleBuilderinline
getConstrainFn(component::StructDefOp op) constllzk::ModuleBuilderinline
getFreeFunc(std::string_view funcName) constllzk::ModuleBuilderinline
getFunc(function::FunctionKind kind, std::string_view name) constllzk::ModuleBuilderinline
getProductFn(std::string_view structName) constllzk::ModuleBuilderinline
getProductFn(component::StructDefOp op) constllzk::ModuleBuilderinline
getRootModule()llzk::ModuleBuilderinline
getStruct(std::string_view structName) constllzk::ModuleBuilderinline
getUnknownLoc()llzk::ModuleBuilderinline
insertComputeCall(component::StructDefOp caller, component::StructDefOp callee, mlir::Location callLoc)llzk::ModuleBuilder
insertComputeCall(std::string_view caller, std::string_view callee, mlir::Location callLoc)llzk::ModuleBuilderinline
insertComputeCall(std::string_view caller, std::string_view callee)llzk::ModuleBuilderinline
insertComputeFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleBuilder
insertComputeFn(std::string_view structName, mlir::Location loc)llzk::ModuleBuilderinline
insertComputeFn(std::string_view structName)llzk::ModuleBuilderinline
insertComputeOnlyStruct(std::string_view structName, mlir::Location structLoc, mlir::Location computeLoc)llzk::ModuleBuilderinline
insertComputeOnlyStruct(std::string_view structName)llzk::ModuleBuilderinline
insertConstrainCall(component::StructDefOp caller, component::StructDefOp callee, mlir::Location callLoc, mlir::Location fieldDefLoc)llzk::ModuleBuilder
insertConstrainCall(std::string_view caller, std::string_view callee, mlir::Location callLoc, mlir::Location fieldDefLoc)llzk::ModuleBuilderinline
insertConstrainCall(std::string_view caller, std::string_view callee)llzk::ModuleBuilderinline
insertConstrainFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleBuilder
insertConstrainFn(std::string_view structName, mlir::Location loc)llzk::ModuleBuilderinline
insertConstrainFn(std::string_view structName)llzk::ModuleBuilderinline
insertConstrainOnlyStruct(std::string_view structName, mlir::Location structLoc, mlir::Location constrainLoc)llzk::ModuleBuilderinline
insertConstrainOnlyStruct(std::string_view structName)llzk::ModuleBuilderinline
insertEmptyStruct(std::string_view structName, mlir::Location loc, int numStructParams=-1)llzk::ModuleBuilder
insertEmptyStruct(std::string_view structName, int numStructParams=-1)llzk::ModuleBuilderinline
insertFreeCall(function::FuncDefOp caller, std::string_view callee, mlir::Location callLoc)llzk::ModuleBuilder
insertFreeCall(function::FuncDefOp caller, std::string_view callee)llzk::ModuleBuilderinline
insertFreeFunc(std::string_view funcName, ::mlir::FunctionType type, mlir::Location loc)llzk::ModuleBuilder
insertFreeFunc(std::string_view funcName, ::mlir::FunctionType type)llzk::ModuleBuilderinline
insertFullStruct(std::string_view structName, mlir::Location structLoc, mlir::Location computeLoc, mlir::Location constrainLoc, int numStructParams=-1)llzk::ModuleBuilderinline
insertFullStruct(std::string_view structName, int numStructParams=-1)llzk::ModuleBuilderinline
insertProductFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleBuilder
insertProductFn(std::string_view structName, mlir::Location loc)llzk::ModuleBuilderinline
insertProductFn(std::string_view structName)llzk::ModuleBuilderinline
insertProductStruct(std::string_view structName, mlir::Location structLoc, mlir::Location productLoc)llzk::ModuleBuilderinline
insertProductStruct(std::string_view structName)llzk::ModuleBuilderinline
ModuleBuilder(mlir::ModuleOp m)llzk::ModuleBuilderinline