|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/POD/IR/Ops.h"#include "llzk/Dialect/Array/IR/Types.h"#include "llzk/Dialect/LLZK/IR/Ops.h"#include "llzk/Dialect/LLZK/IR/Versioning.h"#include "llzk/Dialect/POD/IR/Types.h"#include "llzk/Dialect/Struct/IR/Types.h"#include "llzk/Util/TypeHelper.h"#include <mlir/IR/Builders.h>#include <mlir/IR/BuiltinAttributes.h>#include <mlir/IR/Diagnostics.h>#include <mlir/IR/OpImplementation.h>#include <mlir/IR/OperationSupport.h>#include <mlir/Support/LLVM.h>#include <llvm/ADT/STLExtras.h>#include <llvm/ADT/SmallString.h>#include <llvm/ADT/SmallVectorExtras.h>#include <llvm/ADT/StringSet.h>#include <llvm/ADT/TypeSwitch.h>#include <llvm/Support/Debug.h>#include <cstdint>#include <optional>#include "llzk/Dialect/POD/IR/OpInterfaces.cpp.inc"#include "llzk/Dialect/POD/IR/Ops.cpp.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::pod |
Macros | |
| #define | GET_OP_CLASSES |
| #define | check(x) |
Typedefs | |
| using | llzk::pod::UnresolvedOp = OpAsmParser::UnresolvedOperand |
Functions | |
| ParseResult | llzk::pod::parseRecordInitialization (OpAsmParser &parser, StringAttr &name, UnresolvedOp &operand) |
| SmallVector< RecordValue > | llzk::pod::getInitializedRecordValues (ValueRange initialValues, ArrayAttr initializedRecords) |
| ParseResult | llzk::pod::parseRecordName (AsmParser &parser, StringAttr &name) |
| void | llzk::pod::printRecordName (AsmPrinter &printer, Operation *, StringAttr name) |
| #define check | ( | x | ) |