Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

data flow: perfomance improvement

Browse Source
This commit is contained in:
Mikhail Kocharmin
2024-04-07 19:06:33 +03:00
parent 9bc4fa246c
commit 494a705930
1 changed files with 9 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
sapfor/experts/Sapfor_2017/_src/CFGraph/DataFlow/data_flow_impl.h
View File

@@ -33,23 +33,21 @@ void DataFlowAnalysisNode<DataType>::doStep()
{ {
if (in_cnt < next->out_cnt) if (in_cnt < next->out_cnt)
{ {
for (const auto& byOut : next->getOut()) const auto& byOut = next->getOut();
{ bool inserted = addIn( byOut);
bool inserted = addIn({ byOut });
if (inserted) if (inserted)
{ {
if (next->out_cnt > in_max_cnt) if (next->out_cnt > in_max_cnt)
in_max_cnt = next->out_cnt; in_max_cnt = next->out_cnt;
inserted = forwardData({ byOut }); inserted = forwardData(byOut);
if (inserted && next->out_cnt > out_max_cnt) if (inserted && next->out_cnt > out_max_cnt)
out_max_cnt = next->out_cnt; out_max_cnt = next->out_cnt;
} }
} }
} }
}
uniq_change |= (out_cnt == CNT_NOTINIT); uniq_change |= (out_cnt == CNT_NOTINIT);