CIRCT  19.0.0git
Namespaces | Macros
StripSV.cpp File Reference
#include "circt/Dialect/Arc/ArcOps.h"
#include "circt/Dialect/Arc/ArcPasses.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/OM/OMDialect.h"
#include "circt/Dialect/SV/SVOps.h"
#include "circt/Dialect/Seq/SeqOps.h"
#include "mlir/IR/ImplicitLocOpBuilder.h"
#include "mlir/Pass/Pass.h"
#include "llvm/Support/Debug.h"
#include <variant>
#include "circt/Dialect/Arc/ArcPasses.h.inc"
Include dependency graph for StripSV.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-strip-sv"
 
#define GEN_PASS_DEF_STRIPSV
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "arc-strip-sv"

Definition at line 20 of file StripSV.cpp.

◆ GEN_PASS_DEF_STRIPSV

#define GEN_PASS_DEF_STRIPSV

Definition at line 24 of file StripSV.cpp.