lec Namespace Reference

This header provides a variety of utility functions and macros for use throughout the tool. More...

Classes
struct	Scope
	RAII struct to indent the output streams. More...

Functions
mlir::raw_indented_ostream &	dbgs ()
mlir::raw_indented_ostream &	errs ()
mlir::raw_indented_ostream &	outs ()
void	printExpr (const z3::expr &expr)
	Helper function to provide a common debug formatting for z3 expressions. More...
void	printValue (const mlir::Value &value)
	Helper function to provide a common debug formatting for MLIR values. More...
void	printAPInt (const mlir::APInt &value)
	Helper function to provide a common debug formatting for MLIR APInt'egers. More...

Detailed Description

This header provides a variety of utility functions and macros for use throughout the tool.

Function Documentation

dbgs()

mlir::raw_indented_ostream& lec::dbgs ( )

inline

Definition at line 28 of file Utility.h.

Referenced by circt::Solver::Circuit::addConstant(), circt::Solver::Circuit::addInput(), circt::Solver::Circuit::addInstance(), circt::Solver::Circuit::addOutput(), InstanceStubber::afterReduction(), circt::Solver::Circuit::allocateConstant(), circt::firrtl::applyGCTDataTaps(), circt::Solver::Circuit::constrainResult(), circt::FirMemLowering::createMemoryModule(), DiscoverLoops::dump(), circt::Solver::Circuit::fetchOrAllocateExpr(), circt::ExportVerilog::SharedEmitterState::gatherFiles(), getCostEstimate(), InnerSymbolDCEPass::insertInnerRef(), insertResetMux(), circt::FirMemLowering::lowerMemoriesInModule(), circt::Solver::Circuit::performAdd(), circt::Solver::Circuit::performAnd(), circt::Solver::Circuit::performConcat(), circt::Solver::Circuit::performDivS(), circt::Solver::Circuit::performDivU(), circt::Solver::Circuit::performExtract(), circt::Solver::Circuit::performICmp(), circt::Solver::Circuit::performModS(), circt::Solver::Circuit::performModU(), circt::Solver::Circuit::performMul(), circt::Solver::Circuit::performMux(), circt::Solver::Circuit::performOr(), circt::Solver::Circuit::performParity(), circt::Solver::Circuit::performReplicate(), circt::Solver::Circuit::performShl(), circt::Solver::Circuit::performShrS(), circt::Solver::Circuit::performShrU(), circt::Solver::Circuit::performSub(), circt::Solver::Circuit::performXor(), printAPInt(), circt::Solver::printAssertions(), printExpr(), printValue(), DiscoverLoops::processModule(), NLARemover::remove(), InnerSymbolDCEPass::removeInnerSyms(), InstanceStubber::rewrite(), EagerInliner::rewrite(), MemoryStubber::rewrite(), FIRRTLOperandForwarder< OpNum >::rewrite(), HWOperandForwarder< OpNum >::rewrite(), LowerGroupsPass::runOnModule(), LowerGroupsPass::runOnOperation(), LowerXMRPass::runOnOperation(), ResolveTracesPass::runOnOperation(), SFCCompatPass::runOnOperation(), circt::scheduling::scheduleCPSAT(), solveExpr(), and circt::Solver::Circuit::variadicOperation().

errs()

mlir::raw_indented_ostream& lec::errs ( )

inline

Definition at line 33 of file Utility.h.

Referenced by circt::Solver::constrainCircuits(), circt::firrtl::createFIRRTLFieldSourcePass(), circt::fsm::createPrintFSMGraphPass(), circt::hw::createPrintHWModuleGraphPass(), circt::firrtl::createPrintInstanceGraphPass(), circt::hw::createPrintInstanceGraphPass(), circt::firrtl::createPrintNLATablePass(), circt::ssp::createPrintPass(), circt::llhd::sim::State::dumpLayout(), circt::llhd::sim::State::dumpSignalTriggers(), circt::llhd::sim::Engine::Engine(), roundtrip(), circt::VerbosePassInstrumentation< LoggedOpTypes >::runAfterPass(), circt::VerbosePassInstrumentation< LoggedOpTypes >::runBeforePass(), ResolveTracesPass::runOnOperation(), scatterOMField(), scatterOMNode(), scheduleWith(), scheduleWithASAP(), scheduleWithSimplex(), circt::llhd::sim::Engine::simulate(), and circt::Solver::solve().

outs()

mlir::raw_indented_ostream& lec::outs ( )

inline

Definition at line 38 of file Utility.h.

Referenced by circt::createExportChiselInterfacePass(), circt::createExportVerilogPass(), isReadyToExecute(), circt::Solver::printModel(), circt::Solver::printStatistics(), circt::Solver::solve(), storeValues(), tryToExecute(), and updateTime().

printAPInt()

void lec::printAPInt ( const mlir::APInt &  value )

inline

Helper function to provide a common debug formatting for MLIR APInt'egers.

Definition at line 66 of file Utility.h.

References dbgs().

printExpr()

void lec::printExpr ( const z3::expr &  expr )

inline

Helper function to provide a common debug formatting for z3 expressions.

Definition at line 51 of file Utility.h.

References dbgs().

Referenced by circt::Solver::Circuit::allocateConstant(), circt::Solver::Circuit::constrainResult(), and circt::Solver::Circuit::fetchOrAllocateExpr().

printValue()

void lec::printValue ( const mlir::Value &  value )

inline

Helper function to provide a common debug formatting for MLIR values.

Definition at line 59 of file Utility.h.

References dbgs(), and mlir::hash_value().

Referenced by circt::Solver::Circuit::allocateConstant(), circt::Solver::Circuit::fetchOrAllocateExpr(), and circt::Solver::Circuit::variadicOperation().