LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.h File Reference
#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"
Include dependency graph for Ops.h:

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.

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 28 of file Ops.h.