cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Use block hashes in EquivalentFunctionDetector.

Browse Source
This commit is contained in:
Daniel Kirchner
2019-05-17 08:39:42 +02:00
parent 54ce3df321
commit 3c66a56e60
9 changed files with 332 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libyul/optimiser/EquivalentFunctionDetector.cpp
+2 -22
View File
@@ -30,8 +30,8 @@ using namespace yul;
void EquivalentFunctionDetector::operator()(FunctionDefinition const& _fun)
{
RoughHeuristic heuristic(_fun);
auto& candidates = m_candidates[heuristic];
uint64_t bodyHash = m_blockHashes[&_fun.body];
auto& candidates = m_candidates[bodyHash];
for (auto const& candidate: candidates)
if (SyntacticallyEqual{}.statementEqual(_fun, *candidate))
{
@@ -40,23 +40,3 @@ void EquivalentFunctionDetector::operator()(FunctionDefinition const& _fun)
}
candidates.push_back(&_fun);
}
bool EquivalentFunctionDetector::RoughHeuristic::operator<(EquivalentFunctionDetector::RoughHeuristic const& _rhs) const
{
if (
std::make_tuple(m_fun.parameters.size(), m_fun.returnVariables.size()) ==
std::make_tuple(_rhs.m_fun.parameters.size(), _rhs.m_fun.returnVariables.size())
)
return codeSize() < _rhs.codeSize();
else
return
std::make_tuple(m_fun.parameters.size(), m_fun.returnVariables.size()) <
std::make_tuple(_rhs.m_fun.parameters.size(), _rhs.m_fun.returnVariables.size());
}
size_t EquivalentFunctionDetector::RoughHeuristic::codeSize() const
{
if (!m_codeSize)
m_codeSize = CodeSize::codeSize(m_fun.body);
return *m_codeSize;
}