13 #ifndef CIRCT_TARGET_EXPORTSMTLIB_H
14 #define CIRCT_TARGET_EXPORTSMTLIB_H
19 namespace ExportSMTLIB {
LogicalResult exportSMTLIB(Operation *module, llvm::raw_ostream &os, const SMTEmissionOptions &options=SMTEmissionOptions())
Run the ExportSMTLIB pass.
void registerExportSMTLIBTranslation()
Register the ExportSMTLIB pass.
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Emission options for the ExportSMTLIB pass.
bool inlineSingleUseValues