CIRCT  19.0.0git
Classes | Namespaces | Macros | Functions
PassDetails.h File Reference
#include "circt/Dialect/MSFT/MSFTOps.h"
#include "circt/Dialect/MSFT/MSFTPasses.h"
#include "circt/Dialect/SV/SVOps.h"
#include "circt/Dialect/Seq/SeqOps.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Transforms/DialectConversion.h"
#include "circt/Dialect/MSFT/"
Include dependency graph for PassDetails.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


struct  circt::msft::RemoveOpLowering< OpTy >
 Generic pattern for removing an op during pattern conversion. More...


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




SmallVector< unsigned > circt::msft::makeSequentialRange (unsigned size)
 Utility for creating {0, 1, 2, ..., size}. More...
StringRef circt::msft::getValueName (Value v, const SymbolCache &syms, std::string &buff)
 Try to get a "good" name for the given Value. More...

Macro Definition Documentation



Definition at line 49 of file PassDetails.h.