|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Function/IR/Attrs.h"#include "llzk/Dialect/Polymorphic/IR/Ops.h"#include "llzk/Dialect/Shared/OpHelpers.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include "llzk/Util/Constants.h"#include "llzk/Util/SymbolHelper.h"#include <mlir/IR/OpImplementation.h>#include <mlir/Interfaces/CallInterfaces.h>#include <mlir/Interfaces/ControlFlowInterfaces.h>#include <mlir/Interfaces/FunctionInterfaces.h>#include <cstdint>#include <optional>#include "llzk/Dialect/Function/IR/Ops.h.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::function |
Macros | |
| #define | GET_OP_CLASSES |
Enumerations | |
| enum class | llzk::function::FunctionKind : std::uint8_t { llzk::function::StructCompute , llzk::function::StructConstrain , llzk::function::StructProduct , llzk::function::Free } |
| Kinds of functions in LLZK. More... | |
Functions | |
| FunctionKind | llzk::function::fnNameToKind (mlir::StringRef name) |
| Given a function name, return the corresponding FunctionKind. | |
Variables | |
| constexpr char | llzk::function::ARG_NAME_ATTR_NAME [] = "function.arg_name" |
| Attribute name for source-level function argument names. | |
| constexpr char | llzk::function::RES_NAME_ATTR_NAME [] = "function.res_name" |
| Attribute name for source-level function result names. | |