LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
SharedImpl.cpp File Reference
#include "SharedImpl.h"
#include "llzk/Dialect/Array/IR/Dialect.h"
#include "llzk/Dialect/Bool/IR/Dialect.h"
#include "llzk/Dialect/Cast/IR/Dialect.h"
#include "llzk/Dialect/Constrain/IR/Dialect.h"
#include "llzk/Dialect/Felt/IR/Dialect.h"
#include "llzk/Dialect/Function/IR/Dialect.h"
#include "llzk/Dialect/Global/IR/Dialect.h"
#include "llzk/Dialect/Include/IR/Dialect.h"
#include "llzk/Dialect/LLZK/IR/Dialect.h"
#include "llzk/Dialect/Polymorphic/IR/Dialect.h"
#include "llzk/Dialect/RAM/IR/Dialect.h"
#include "llzk/Dialect/String/IR/Dialect.h"
#include "llzk/Dialect/Struct/IR/Dialect.h"
#include "llzk/Util/SymbolLookup.h"
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/STLExtras.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/Support/Debug.h>
Include dependency graph for SharedImpl.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk
namespace  llzk::polymorphic
namespace  llzk::polymorphic::detail

Macros

#define DEBUG_TYPE   "poly-dialect-shared"

Functions

FailureOr< InstantiationLayoutllzk::polymorphic::detail::buildInstantiationLayout (TemplateOp parentTemplate, ArrayAttr callParams, const DenseMap< Attribute, Attribute > &paramNameToConcrete)
void llzk::polymorphic::detail::setInstantiationNamePattern (TemplateOp templateOp, ArrayAttr namePattern)
std::string llzk::polymorphic::detail::buildOpaqueInstantiationName (StringRef baseName, ArrayRef< Attribute > concreteAttrs)

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "poly-dialect-shared"

Definition at line 32 of file SharedImpl.cpp.