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.

computeReachable(llzk::component::StructDefOp caller, llzk::component::StructDefOp callee)llzk::ModuleBuilderinline
computeReachable(std::string_view caller, std::string_view callee)llzk::ModuleBuilderinline
constrainReachable(llzk::component::StructDefOp caller, llzk::component::StructDefOp callee)llzk::ModuleBuilderinline
constrainReachable(std::string_view caller, std::string_view callee)llzk::ModuleBuilderinline
getComputeFn(std::string_view structName) constllzk::ModuleBuilderinline
getComputeFn(llzk::component::StructDefOp op) constllzk::ModuleBuilderinline
getConstrainFn(std::string_view structName)llzk::ModuleBuilderinline
getConstrainFn(llzk::component::StructDefOp op)llzk::ModuleBuilderinline
getGlobalFunc(std::string_view funcName) constllzk::ModuleBuilderinline
getRootModule()llzk::ModuleBuilderinline
getStruct(std::string_view structName) constllzk::ModuleBuilderinline
getUnknownLoc()llzk::ModuleBuilderinline
insertComputeCall(llzk::component::StructDefOp caller, llzk::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(llzk::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(llzk::component::StructDefOp caller, llzk::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(llzk::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
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
insertGlobalCall(function::FuncDefOp caller, std::string_view callee, mlir::Location callLoc)llzk::ModuleBuilder
insertGlobalCall(function::FuncDefOp caller, std::string_view callee)llzk::ModuleBuilderinline
insertGlobalFunc(std::string_view funcName, ::mlir::FunctionType type, mlir::Location loc)llzk::ModuleBuilder
insertGlobalFunc(std::string_view funcName, ::mlir::FunctionType type)llzk::ModuleBuilderinline
ModuleBuilder(mlir::ModuleOp m)llzk::ModuleBuilderinline