CIRCT  19.0.0git
Namespaces | Macros
InferMemories.cpp File Reference
#include "circt/Dialect/Arc/ArcOps.h"
#include "circt/Dialect/Arc/ArcPasses.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/Seq/SeqOps.h"
#include "circt/Support/Namespace.h"
#include "circt/Support/SymCache.h"
#include "mlir/IR/ImplicitLocOpBuilder.h"
#include "mlir/Pass/Pass.h"
#include "llvm/Support/Debug.h"
#include "circt/Dialect/Arc/ArcPasses.h.inc"
Include dependency graph for InferMemories.cpp:

Go to the source code of this file.

Namespaces

 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 circt::arc
 

Macros

#define DEBUG_TYPE   "arc-infer-memories"
 
#define GEN_PASS_DEF_INFERMEMORIES
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "arc-infer-memories"

Definition at line 20 of file InferMemories.cpp.

◆ GEN_PASS_DEF_INFERMEMORIES

#define GEN_PASS_DEF_INFERMEMORIES

Definition at line 24 of file InferMemories.cpp.