circt::firtool Namespace Reference

Classes
class	FirtoolOptions
	Set of options used to control the behavior of the firtool pipeline. More...

Functions
void	registerFirtoolCLOptions ()
	Register a set of useful command-line options that can be used to configure various flags within the MLIRContext.
LogicalResult	populatePreprocessTransforms (mlir::PassManager &pm, const FirtoolOptions &opt)
LogicalResult	populateCHIRRTLToLowFIRRTL (mlir::PassManager &pm, const FirtoolOptions &opt)
LogicalResult	populateLowFIRRTLToHW (mlir::PassManager &pm, const FirtoolOptions &opt, StringRef inputFilename)
LogicalResult	populateHWToSV (mlir::PassManager &pm, const FirtoolOptions &opt)
LogicalResult	populateExportVerilog (mlir::PassManager &pm, const FirtoolOptions &opt, std::unique_ptr< llvm::raw_ostream > os)
LogicalResult	populateExportVerilog (mlir::PassManager &pm, const FirtoolOptions &opt, llvm::raw_ostream &os)
LogicalResult	populateExportSplitVerilog (mlir::PassManager &pm, const FirtoolOptions &opt, llvm::StringRef directory)
LogicalResult	populateFinalizeIR (mlir::PassManager &pm, const FirtoolOptions &opt)
LogicalResult	populateHWToBTOR2 (mlir::PassManager &pm, const FirtoolOptions &opt, llvm::raw_ostream &os)
	BTOR2 emission pipeline, triggered with --btor2 flag.

Function Documentation

populateCHIRRTLToLowFIRRTL()

LogicalResult circt::firtool::populateCHIRRTLToLowFIRRTL	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt
	)

Definition at line 54 of file Firtool.cpp.

References circt::firrtl::PreserveAggregate::All, circt::createSimpleCanonicalizerPass(), circt::firtool::FirtoolOptions::getDomainMode(), circt::firtool::FirtoolOptions::getPreserveAggregate(), circt::firtool::FirtoolOptions::getPreserveMode(), circt::firtool::FirtoolOptions::getReplaceSequentialMemoriesFile(), circt::firtool::FirtoolOptions::getSkippedDomains(), circt::firtool::FirtoolOptions::isRandomEnabled(), circt::firrtl::PreserveAggregate::None, circt::firtool::FirtoolOptions::shouldConvertProbesToSignals(), circt::firtool::FirtoolOptions::shouldConvertVecOfBundle(), circt::firtool::FirtoolOptions::shouldDedup(), circt::firtool::FirtoolOptions::shouldDedupClasses(), circt::firtool::FirtoolOptions::shouldDisableAggressiveMergeConnections(), circt::firtool::FirtoolOptions::shouldDisableCSEinClasses(), circt::firtool::FirtoolOptions::shouldDisableOptimization(), circt::firtool::FirtoolOptions::shouldDisableWireElimination(), circt::firtool::FirtoolOptions::shouldIgnoreReadEnableMemories(), circt::firtool::FirtoolOptions::shouldInlineInputOnlyModules(), circt::firtool::FirtoolOptions::shouldLowerMemories(), circt::firtool::FirtoolOptions::shouldReplaceSequentialMemories(), and circt::firtool::FirtoolOptions::shouldSelectDefaultInstanceChoice().

Referenced by circtFirtoolPopulateCHIRRTLToLowFIRRTL().

populateExportSplitVerilog()

LogicalResult circt::firtool::populateExportSplitVerilog	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt,
		llvm::StringRef	directory
	)

Definition at line 434 of file Firtool.cpp.

References circt::createExportSplitVerilogPass(), and detail::populatePrepareForExportVerilog().

Referenced by circtFirtoolPopulateExportSplitVerilog().

populateExportVerilog() [1/2]

LogicalResult circt::firtool::populateExportVerilog	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt,
		llvm::raw_ostream &	os
	)

Definition at line 424 of file Firtool.cpp.

References circt::createExportVerilogPass(), and detail::populatePrepareForExportVerilog().

populateExportVerilog() [2/2]

LogicalResult circt::firtool::populateExportVerilog	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt,
		std::unique_ptr< llvm::raw_ostream >	os
	)

Definition at line 415 of file Firtool.cpp.

References circt::createExportVerilogPass(), and detail::populatePrepareForExportVerilog().

Referenced by circtFirtoolPopulateExportVerilog().

populateFinalizeIR()

LogicalResult circt::firtool::populateFinalizeIR	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt
	)

Definition at line 444 of file Firtool.cpp.

Referenced by circtFirtoolPopulateFinalizeIR().

populateHWToBTOR2()

LogicalResult circt::firtool::populateHWToBTOR2	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt,
		llvm::raw_ostream &	os
	)

BTOR2 emission pipeline, triggered with --btor2 flag.

Definition at line 459 of file Firtool.cpp.

References circt::createConvertHWToBTOR2Pass(), and circt::createLowerLTLToCorePass().

Referenced by circtFirtoolpopulateHWToBTOR2().

populateHWToSV()

LogicalResult circt::firtool::populateHWToSV	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt
	)

Definition at line 331 of file Firtool.cpp.

References circt::createLowerSeqToSVPass(), circt::createLowerSimToSVPass(), circt::createLowerVerifToSVPass(), circt::createSimpleCanonicalizerPass(), circt::firtool::FirtoolOptions::getClockGateOptions(), circt::firtool::FirtoolOptions::getSymbolicValueLowering(), circt::firtool::FirtoolOptions::isRandomEnabled(), circt::firtool::FirtoolOptions::shouldAddMuxPragmas(), circt::firtool::FirtoolOptions::shouldAddVivadoRAMAddressConflictSynthesisBugWorkaround(), circt::firtool::FirtoolOptions::shouldDisableOptimization(), circt::firtool::FirtoolOptions::shouldEmitSeparateAlwaysBlocks(), circt::firtool::FirtoolOptions::shouldIgnoreReadEnableMemories(), and circt::firtool::FirtoolOptions::shouldReplaceSequentialMemories().

Referenced by circtFirtoolPopulateHWToSV().

populateLowFIRRTLToHW()

LogicalResult circt::firtool::populateLowFIRRTLToHW	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt,
		StringRef	inputFilename
	)

Definition at line 242 of file Firtool.cpp.

References circt::createLowerFIRRTLToHWPass(), circt::createSimpleCanonicalizerPass(), circt::firtool::FirtoolOptions::getBlackBoxRootPath(), circt::firtool::FirtoolOptions::getCompanionMode(), circt::firtool::FirtoolOptions::getEmitAllBindFiles(), circt::firtool::FirtoolOptions::getLintStaticAsserts(), circt::firtool::FirtoolOptions::getLintXmrsInDesign(), circt::firtool::FirtoolOptions::getNoViews(), circt::firtool::FirtoolOptions::getOutputAnnotationFilename(), circt::firtool::FirtoolOptions::getOutputFilename(), circt::firtool::FirtoolOptions::getVerificationFlavor(), circt::firtool::FirtoolOptions::shouldDisableLayerSink(), circt::firtool::FirtoolOptions::shouldDisableOptimization(), circt::firtool::FirtoolOptions::shouldEnableAnnotationWarning(), and circt::firtool::FirtoolOptions::shouldLowerToCore().

Referenced by circtFirtoolPopulateLowFIRRTLToHW().

populatePreprocessTransforms()

LogicalResult circt::firtool::populatePreprocessTransforms	(	mlir::PassManager &	pm,
		const FirtoolOptions &	opt
	)

Definition at line 27 of file Firtool.cpp.

References circt::firtool::FirtoolOptions::shouldDisableClasslessAnnotations(), circt::firtool::FirtoolOptions::shouldDisableUnknownAnnotations(), circt::firtool::FirtoolOptions::shouldEnableDebugInfo(), circt::firtool::FirtoolOptions::shouldFixupEICGWrapper(), and circt::firtool::FirtoolOptions::shouldLowerNoRefTypePortAnnotations().

Referenced by circtFirtoolPopulatePreprocessTransforms().

registerFirtoolCLOptions()

void circt::firtool::registerFirtoolCLOptions

(

)

Register a set of useful command-line options that can be used to configure various flags within the MLIRContext.

These flags are used when constructing an MLIR context for initialization.

Definition at line 844 of file Firtool.cpp.

References clOptions.