CIRCT 22.0.0git
|
Public Types | |
using | ObjectToMaxDistance = llvm::MapVector< Object, std::pair< int64_t, llvm::ImmutableList< DebugPoint > > > |
Public Member Functions | |
LocalVisitor (hw::HWModuleOp module, Context *ctx) | |
LogicalResult | initializeAndRun () |
void | waitUntilDone () const |
FailureOr< ArrayRef< OpenPath > > | getOrComputeResults (Value value, size_t bitPos) |
ArrayRef< OpenPath > | getResults (Value value, size_t bitPos) const |
void | getClosedPaths (SmallVectorImpl< DataflowPath > &results) const |
void | setTopLevel () |
bool | isTopLevel () const |
hw::HWModuleOp | getHWModuleOp () const |
const auto & | getFromInputPortToFanOut () const |
const auto & | getFromOutputPortToFanIn () const |
const auto & | getFanOutResults () const |
circt::igraph::InstancePathCache * | getInstancePathCache () const |
llvm::ImmutableListFactory< DebugPoint > * | getDebugPointFactory () const |
Private Member Functions | |
void | putUnclosedResult (const Object &object, int64_t delay, llvm::ImmutableList< DebugPoint > history, ObjectToMaxDistance &objectToMaxDistance) |
LogicalResult | initializeAndRun (hw::InstanceOp instance) |
LogicalResult | initializeAndRun (hw::OutputOp output) |
LogicalResult | visitValue (Value value, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (mlir::BlockArgument argument, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (hw::InstanceOp op, size_t bitPos, size_t resultNum, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (hw::WireOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::ConcatOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::ExtractOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::ReplicateOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
std::pair< Value, size_t > | findLeader (Value value, size_t bitpos) const |
LogicalResult | markEquivalent (Value from, size_t fromBitPos, Value to, size_t toBitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (aig::AndInverterOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::AndOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::XorOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::OrOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (comb::MuxOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | addLogicOp (Operation *op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (hw::ConstantOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (seq::FirRegOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (seq::CompRegOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (seq::FirMemReadOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visit (seq::FirMemReadWriteOp op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | visitDefault (Operation *op, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | addEdge (Value to, size_t toBitPos, int64_t delay, SmallVectorImpl< OpenPath > &results) |
LogicalResult | markFanIn (Value value, size_t bitPos, SmallVectorImpl< OpenPath > &results) |
LogicalResult | markRegFanOut (Value fanOut, Value start, Value reset={}, Value resetValue={}, Value enable={}) |
Private Attributes | |
llvm::MapVector< std::pair< BlockArgument, size_t >, ObjectToMaxDistance > | fromInputPortToFanOut |
llvm::MapVector< std::tuple< size_t, size_t >, ObjectToMaxDistance > | fromOutputPortToFanIn |
llvm::EquivalenceClasses< std::pair< Value, size_t > > | ec |
DenseMap< std::pair< Value, size_t >, std::pair< Value, size_t > > | ecMap |
hw::HWModuleOp Context * | ctx |
std::unique_ptr< circt::igraph::InstancePathCache > | instancePathCache |
std::unique_ptr< llvm::ImmutableListFactory< DebugPoint > > | debugPointFactory |
DenseMap< std::pair< Value, size_t >, SmallVector< OpenPath > > | cachedResults |
DenseMap< Object, SmallVector< OpenPath > > | fanOutResults |
std::atomic_bool | done |
std::condition_variable | cv |
std::mutex | mutex |
bool | topLevel = false |
Definition at line 429 of file LongestPathAnalysis.cpp.
using LocalVisitor::ObjectToMaxDistance = llvm::MapVector<Object, std::pair<int64_t, llvm::ImmutableList<DebugPoint> >> |
Definition at line 445 of file LongestPathAnalysis.cpp.
LocalVisitor::LocalVisitor | ( | hw::HWModuleOp | module, |
Context * | ctx | ||
) |
Definition at line 589 of file LongestPathAnalysis.cpp.
References ctx, debugPointFactory, done, and instancePathCache.
|
private |
Definition at line 687 of file LongestPathAnalysis.cpp.
References getOrComputeResults().
Referenced by addLogicOp(), and visit().
|
private |
Definition at line 859 of file LongestPathAnalysis.cpp.
References addEdge(), and deduplicatePaths().
|
inlineprivate |
Definition at line 506 of file LongestPathAnalysis.cpp.
void LocalVisitor::getClosedPaths | ( | SmallVectorImpl< DataflowPath > & | results | ) | const |
|
inline |
Definition at line 462 of file LongestPathAnalysis.cpp.
|
inline |
Definition at line 456 of file LongestPathAnalysis.cpp.
|
inline |
Definition at line 454 of file LongestPathAnalysis.cpp.
|
inline |
Definition at line 455 of file LongestPathAnalysis.cpp.
|
inline |
Definition at line 452 of file LongestPathAnalysis.cpp.
|
inline |
Definition at line 458 of file LongestPathAnalysis.cpp.
Referenced by aig.LongestPathAnalysis::Impl::getClosedPaths().
FailureOr< ArrayRef< OpenPath > > LocalVisitor::getOrComputeResults | ( | Value | value, |
size_t | bitPos | ||
) |
Definition at line 891 of file LongestPathAnalysis.cpp.
References assert(), cachedResults, deduplicatePaths(), ec, getOrComputeResults(), and visitValue().
Referenced by addEdge(), getOrComputeResults(), initializeAndRun(), initializeAndRun(), initializeAndRun(), markRegFanOut(), and visit().
ArrayRef< OpenPath > LocalVisitor::getResults | ( | Value | value, |
size_t | bitPos | ||
) | const |
Definition at line 600 of file LongestPathAnalysis.cpp.
References cachedResults, ec, and getResults().
Referenced by getResults().
LogicalResult LocalVisitor::initializeAndRun | ( | ) |
Definition at line 1047 of file LongestPathAnalysis.cpp.
References ctx, and getOrComputeResults().
|
private |
Definition at line 970 of file LongestPathAnalysis.cpp.
References assert(), concatList(), ctx, debugPointFactory, fanOutResults, fromInputPortToFanOut, circt::hw::getBitWidth(), getOrComputeResults(), instancePathCache, mapList(), and putUnclosedResult().
|
private |
Definition at line 1030 of file LongestPathAnalysis.cpp.
References fromOutputPortToFanIn, circt::hw::getBitWidth(), getOrComputeResults(), and putUnclosedResult().
|
inline |
Definition at line 451 of file LongestPathAnalysis.cpp.
|
private |
Definition at line 676 of file LongestPathAnalysis.cpp.
References assert(), ec, and visitValue().
|
private |
Definition at line 745 of file LongestPathAnalysis.cpp.
Referenced by visit().
|
private |
Definition at line 632 of file LongestPathAnalysis.cpp.
References fanOutResults, fromInputPortToFanOut, circt::hw::getBitWidth(), getOrComputeResults(), and putUnclosedResult().
|
private |
Definition at line 617 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun(), initializeAndRun(), and markRegFanOut().
|
inline |
Definition at line 450 of file LongestPathAnalysis.cpp.
|
private |
Definition at line 700 of file LongestPathAnalysis.cpp.
References addLogicOp().
|
private |
Definition at line 705 of file LongestPathAnalysis.cpp.
References addLogicOp().
|
private |
Definition at line 842 of file LongestPathAnalysis.cpp.
References circt::hw::getBitWidth(), and markEquivalent().
|
private |
Definition at line 731 of file LongestPathAnalysis.cpp.
References assert(), circt::hw::getBitWidth(), and markEquivalent().
|
private |
Definition at line 720 of file LongestPathAnalysis.cpp.
References addEdge(), and deduplicatePaths().
|
private |
Definition at line 710 of file LongestPathAnalysis.cpp.
References addLogicOp().
|
private |
Definition at line 739 of file LongestPathAnalysis.cpp.
References circt::hw::getBitWidth(), and markEquivalent().
|
private |
Definition at line 715 of file LongestPathAnalysis.cpp.
References addLogicOp().
|
inlineprivate |
Definition at line 528 of file LongestPathAnalysis.cpp.
|
private |
Definition at line 756 of file LongestPathAnalysis.cpp.
References assert(), concatList(), ctx, debugPointFactory, aig.DebugPoint::delay, getOrComputeResults(), instancePathCache, mapList(), and markFanIn().
|
private |
Definition at line 751 of file LongestPathAnalysis.cpp.
References markEquivalent().
|
private |
Definition at line 877 of file LongestPathAnalysis.cpp.
References assert(), ctx, and debugPointFactory.
Referenced by visitValue().
|
inlineprivate |
Definition at line 539 of file LongestPathAnalysis.cpp.
|
inlineprivate |
Definition at line 544 of file LongestPathAnalysis.cpp.
|
inlineprivate |
Definition at line 549 of file LongestPathAnalysis.cpp.
|
inlineprivate |
Definition at line 534 of file LongestPathAnalysis.cpp.
|
private |
Definition at line 872 of file LongestPathAnalysis.cpp.
Referenced by visitValue().
|
private |
Definition at line 928 of file LongestPathAnalysis.cpp.
References ctx, debugPointFactory, visit(), and visitDefault().
Referenced by getOrComputeResults(), and markEquivalent().
void LocalVisitor::waitUntilDone | ( | ) | const |
Definition at line 626 of file LongestPathAnalysis.cpp.
|
private |
Definition at line 575 of file LongestPathAnalysis.cpp.
Referenced by getOrComputeResults(), and getResults().
|
private |
Definition at line 567 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun(), initializeAndRun(), LocalVisitor(), visit(), visit(), and visitValue().
|
mutableprivate |
Definition at line 582 of file LongestPathAnalysis.cpp.
Referenced by waitUntilDone().
|
private |
Definition at line 572 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun(), LocalVisitor(), visit(), visit(), and visitValue().
|
private |
Definition at line 581 of file LongestPathAnalysis.cpp.
Referenced by LocalVisitor(), and waitUntilDone().
|
private |
Definition at line 504 of file LongestPathAnalysis.cpp.
Referenced by getOrComputeResults(), getResults(), and markEquivalent().
|
private |
Definition at line 505 of file LongestPathAnalysis.cpp.
|
private |
Definition at line 578 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun(), and markRegFanOut().
|
private |
Definition at line 473 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun(), and markRegFanOut().
|
private |
Definition at line 477 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun().
|
private |
Definition at line 570 of file LongestPathAnalysis.cpp.
Referenced by initializeAndRun(), LocalVisitor(), and visit().
|
mutableprivate |
Definition at line 583 of file LongestPathAnalysis.cpp.
Referenced by waitUntilDone().
|
private |
Definition at line 586 of file LongestPathAnalysis.cpp.