LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.h File Reference
#include "llzk/Dialect/Polymorphic/IR/Dialect.h"
#include "llzk/Dialect/Polymorphic/IR/Types.h"
#include "llzk/Dialect/Shared/OpHelpers.h"
#include <mlir/Dialect/Affine/IR/AffineValueMap.h>
#include <mlir/Interfaces/ControlFlowInterfaces.h>
#include <mlir/Interfaces/InferTypeOpInterface.h>
#include "llzk/Dialect/Polymorphic/IR/OpInterfaces.h.inc"
#include "llzk/Dialect/Polymorphic/IR/Ops.h.inc"
Include dependency graph for Ops.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  llzk
namespace  llzk::polymorphic

Concepts

concept  llzk::polymorphic::TemplateSymbolBindingOp

Macros

#define GET_OP_CLASSES

Functions

bool llzk::polymorphic::isInTemplate (mlir::Operation *op)
 Return true iff the given Operation is nested somewhere within a TemplateOp.
mlir::FailureOr< TemplateOpllzk::polymorphic::verifyInTemplate (mlir::Operation *op)
 If the given Operation is nested somewhere within a TemplateOp, return a success result containing that TemplateOp.

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 32 of file Ops.h.