#include "PassDetails.h"#include "circt/Dialect/HW/HWAttributes.h"#include "circt/Dialect/HW/HWOps.h"#include "circt/Dialect/HW/HWTypes.h"#include "circt/Dialect/MSFT/MSFTDialect.h"#include "circt/Dialect/MSFT/MSFTOpInterfaces.h"#include "circt/Dialect/MSFT/MSFTOps.h"#include "circt/Dialect/MSFT/MSFTPasses.h"#include "circt/Support/Namespace.h"#include "mlir/IR/BuiltinOps.h"#include "mlir/IR/PatternMatch.h"#include "mlir/Pass/Pass.h"#include "mlir/Pass/PassRegistry.h"#include "mlir/Transforms/DialectConversion.h"#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
Include dependency graph for MSFTLowerInstances.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::msft | |
Functions | |
| std::unique_ptr< mlir::Pass > | circt::msft::createLowerInstancesPass () |
