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.
void	registerExportSMTLIBTranslation ()
	Register the ExportSMTLIB pass.

Function Documentation

exportSMTLIB()

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

Run the ExportSMTLIB pass.

Definition at line 683 of file ExportSMTLIB.cpp.

registerExportSMTLIBTranslation()

void circt::ExportSMTLIB::registerExportSMTLIBTranslation

(

)

Register the ExportSMTLIB pass.

Definition at line 708 of file ExportSMTLIB.cpp.

Referenced by circt::registerAllTranslations().