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

improve dead code analysis #45

Merged
Alexander_KS merged 2 commits from dead_code_removing into master 2024-05-22 18:01:32 +00:00
Conversation 0 Commits 2 Files Changed 4 +12 -16
4 changed files with 12 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 17de9e271a - Show all commits

6
sapfor/experts/Sapfor_2017/_src/CFGraph/DataFlow/data_flow.h
View File

@@ -6,11 +6,7 @@
#include "../CFGraph.h"
#include "../IR.h"
enum DATA_FLOW_UPD_STATUS {
NO_CHANGE = 0,
FORWARD,
NEW
};
enum class DATA_FLOW_UPD_STATUS { NO_CHANGE = 0, PROPAGATED, GENERATED };
template <class DataType>
class DataFlowAnalysisNode {

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

@@ -46,7 +46,7 @@ void DataFlowAnalysisNode<DataType>::doStep()
if (inserted && next->out_cnt > out_max_cnt)
out_max_cnt = next->out_cnt;
uniq_change |= status == DATA_FLOW_UPD_STATUS::NEW;
uniq_change |= status == DATA_FLOW_UPD_STATUS::GENERATED;
}
}
}

4
sapfor/experts/Sapfor_2017/_src/CFGraph/live_variable_analysis.cpp
View File

@@ -259,7 +259,7 @@ public:
if (live.find(byArg.first) == live.end() && dead.find(byArg.first) == dead.end())
inserted |= getBlock()->addLiveIn({ byArg });
return inserted ? DATA_FLOW_UPD_STATUS::FORWARD : DATA_FLOW_UPD_STATUS::NO_CHANGE;
return inserted ? DATA_FLOW_UPD_STATUS::PROPAGATED : DATA_FLOW_UPD_STATUS::NO_CHANGE;
}
LiveVarAnalysisNode(SAPFOR::BasicBlock* block, vector<SAPFOR::Argument*>& formal_parameters,
@@ -738,7 +738,7 @@ void runLiveVariableAnalysis(const map<FuncInfo*, vector<SAPFOR::BasicBlock*>>&
if (exit->addIn(converted))
{
exit->setInCnt(max_cnt);
if (exit->forwardData(converted))
if (exit->forwardData(converted) != DATA_FLOW_UPD_STATUS::NO_CHANGE)
exit->setOutCnt(max_cnt);
}
}

16
sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp
View File

@@ -254,7 +254,7 @@ public:
DATA_FLOW_UPD_STATUS forwardData(const map<SAPFOR::Argument*, vector<SAPFOR::BasicBlock*>>& data)
{
bool inserted_forward = false, inserted_new = false;
bool inserted_prop = false, inserted_gen = false;
SAPFOR::BasicBlock* bb = getBlock();
@@ -281,7 +281,7 @@ public:
if (data_it == data.end())
printInternalError(convertFileName(__FILE__).c_str(), __LINE__);
inserted_forward |= bb->addLiveIn({ *data_it });
inserted_prop |= bb->addLiveIn({ *data_it });
}
else
{
@@ -295,7 +295,7 @@ public:
bb->removeLiveIn(arg);
}
if(!skip)
inserted_new |= bb->addLiveIn({ { arg, { bb } } });
inserted_gen |= bb->addLiveIn({ { arg, { bb } } });
}
}
}
@@ -308,17 +308,17 @@ public:
{
useful_block = true;
inserted_new = true;
inserted_gen = true;
next_notempty_out = { this };
break;
}
}
}
if(inserted_new)
return DATA_FLOW_UPD_STATUS::NEW;
else if(inserted_forward)
return DATA_FLOW_UPD_STATUS::FORWARD;
if(inserted_gen)
return DATA_FLOW_UPD_STATUS::GENERATED;
else if(inserted_prop)
return DATA_FLOW_UPD_STATUS::PROPAGATED;
return DATA_FLOW_UPD_STATUS::NO_CHANGE;
}