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 57 of file Firtool.cpp.

References circt::firrtl::PreserveAggregate::All, circt::createSimpleCanonicalizerPass(), circt::firtool::FirtoolOptions::getPreserveAggregate(), circt::firtool::FirtoolOptions::getPreserveMode(), circt::firtool::FirtoolOptions::getReplaceSequentialMemoriesFile(), 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 433 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 423 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 414 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 443 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 452 of file Firtool.cpp.

References circt::createConvertHWToBTOR2Pass(), circt::createLowerLTLToCorePass(), circt::seq::createLowerSeqCompRegCEPass(), and circt::seq::createLowerSeqShiftRegPass().

Referenced by circtFirtoolpopulateHWToBTOR2().

populateHWToSV()

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

Definition at line 324 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 232 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(), and circt::firtool::FirtoolOptions::shouldEnableAnnotationWarning().

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::getDomainMode(), 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 801 of file Firtool.cpp.

References clOptions.