CIRCT
18.0.0git
|
Go to the source code of this file.
Namespaces | |
mlir | |
circt | |
This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context. | |
circt::handshaketodc | |
circt::handshake | |
Typedefs | |
using | circt::handshaketodc::ConvertedOps = DenseSet< Operation * > |
Functions | |
std::unique_ptr< mlir::Pass > | circt::createHandshakeToDCPass () |
LogicalResult | circt::handshaketodc::runHandshakeToDC (mlir::Operation *op, llvm::function_ref< void(TypeConverter &typeConverter, ConvertedOps &convertedOps, RewritePatternSet &patterns)> patternBuilder, llvm::function_ref< void(mlir::ConversionTarget &)> configureTarget={}) |
Type | circt::handshake::toValidType (Type t) |