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 606 of file ExportSMTLIB.cpp.

References emit().

Referenced by registerExportSMTLIBTranslation().

registerExportSMTLIBTranslation()

void circt::ExportSMTLIB::registerExportSMTLIBTranslation

(

)

Register the ExportSMTLIB pass.

Definition at line 631 of file ExportSMTLIB.cpp.

References exportSMTLIB(), and circt::ExportSMTLIB::SMTEmissionOptions::inlineSingleUseValues.

Referenced by circt::registerAllTranslations().