CIRCT  20.0.0git
Namespaces | Macros | Functions
HWToBTOR2.h File Reference
#include "mlir/IR/BuiltinOps.h"
#include "mlir/Pass/Pass.h"
#include "circt/Conversion/Passes.h.inc"
Include dependency graph for HWToBTOR2.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 mlir
 
 circt
 The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
 

Macros

#define GEN_PASS_DECL_CONVERTHWTOBTOR2
 

Functions

std::unique_ptr< mlir::Pass > circt::createConvertHWToBTOR2Pass (llvm::raw_ostream &os)
 
std::unique_ptr< mlir::Pass > circt::createConvertHWToBTOR2Pass ()
 

Macro Definition Documentation

◆ GEN_PASS_DECL_CONVERTHWTOBTOR2

#define GEN_PASS_DECL_CONVERTHWTOBTOR2

Definition at line 26 of file HWToBTOR2.h.