LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.cpp File Reference
#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/POD/IR/Ops.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 "llzk/Dialect/POD/IR/Ops.cpp.inc"
Include dependency graph for Ops.cpp:

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)
ParseResult llzk::pod::parseRecordName (AsmParser &parser, FlatSymbolRefAttr &name)
void llzk::pod::printRecordName (AsmPrinter &printer, Operation *, FlatSymbolRefAttr name)

Macro Definition Documentation

◆ check

#define check ( x)
Value:
{ \
failed = failed || mlir::failed(x); \
}

Definition at line 171 of file Ops.cpp.

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 33 of file Ops.cpp.