CIRCT  19.0.0git
Classes | Functions
circt::ExportSMTLIB Namespace Reference

Classes

struct  SMTEmissionOptions
 Emission options for the ExportSMTLIB pass. More...
 

Functions

LogicalResult exportSMTLIB (Operation *module, llvm::raw_ostream &os, const SMTEmissionOptions &options=SMTEmissionOptions())
 Run the ExportSMTLIB pass. More...
 
void registerExportSMTLIBTranslation ()
 Register the ExportSMTLIB pass. More...
 

Function Documentation

◆ exportSMTLIB()

LogicalResult circt::ExportSMTLIB::exportSMTLIB ( Operation *  module,
llvm::raw_ostream &  os,
const SMTEmissionOptions options = SMTEmissionOptions() 
)

Run the ExportSMTLIB pass.

Definition at line 656 of file ExportSMTLIB.cpp.

References emit().

Referenced by registerExportSMTLIBTranslation().

◆ registerExportSMTLIBTranslation()

void circt::ExportSMTLIB::registerExportSMTLIBTranslation ( )