luke
/
OpenSTA
mirror of https://github.com/The-OpenROAD-Project/OpenSTA.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

report_checks -thru crpr 

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2022-01-07 16:33:52 -07:00
parent 20c2e5ebf1
commit 97949128c9
3 changed files with 4 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
search/Search.cc
View File

@ -1198,10 +1198,11 @@ Search::arrivalsChanged(Vertex *vertex,
int arrival_index1;
arrival_iter1.next(tag1, arrival_index1);
Arrival &arrival1 = arrivals1[arrival_index1];
Tag *tag2;
Arrival arrival2;
bool arrival_exists2;
tag_bldr->tagArrival(tag1, arrival2, arrival_exists2);
if (!arrival_exists2
int arrival_index2;
tag_bldr->tagMatchArrival(tag1, tag2, arrival2, arrival_index2);
if (tag2 != tag1
|| !delayEqual(arrival1, arrival2))
return true;
}

24
search/TagGroup.cc
View File

@ -162,30 +162,6 @@ TagGroupBldr::reportArrivalEntries() const
arrivalMapReport(&arrival_map_, sta_);
}
void
TagGroupBldr::tagArrival(Tag *tag,
// Return values.
Arrival &arrival,
int &arrival_index,
bool &exists) const
{
arrival_map_.findKey(tag, arrival_index, exists);
if (exists)
arrival = arrivals_[arrival_index];
}
void
TagGroupBldr::tagArrival(Tag *tag,
// Return values.
Arrival &arrival,
bool &exists) const
{
int arrival_index;
arrival_map_.findKey(tag, arrival_index, exists);
if (exists)
arrival = arrivals_[arrival_index];
}
void
TagGroupBldr::tagMatchArrival(Tag *tag,
// Return values.

9
search/TagGroup.hh
View File

@ -107,15 +107,6 @@ public:
bool hasFilterTag() const { return has_filter_tag_; }
bool hasLoopTag() const { return has_loop_tag_; }
void deleteArrival(Tag *tag);
void tagArrival(Tag *tag,
// Return values.
Arrival &arrival,
bool &exists) const;
void tagArrival(Tag *tag,
// Return values.
Arrival &arrival,
int &arrival_index,
bool &exists) const;
void tagMatchArrival(Tag *tag,
// Return values.
Tag *&tag_match,