CIRCT
18.0.0git
|
#include "circt/Dialect/Pipeline/PipelineDialect.h"
#include "circt/Dialect/SSP/SSPDialect.h"
#include "mlir/Dialect/Arith/IR/Arith.h"
#include "mlir/Dialect/ControlFlow/IR/ControlFlow.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Pass/PassRegistry.h"
#include <memory>
#include <optional>
#include "circt/Dialect/Ibis/IbisPasses.h.inc"
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::ibis | |
Macros | |
#define | GEN_PASS_DECL_IBISTUNNELING |
#define | GEN_PASS_REGISTRATION |
Generate the code for registering passes. More... | |
#define GEN_PASS_DECL_IBISTUNNELING |
Definition at line 24 of file IbisPasses.h.
#define GEN_PASS_REGISTRATION |
Generate the code for registering passes.
Definition at line 44 of file IbisPasses.h.