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

Also apply simplification rules that require multiple identical sub-expressions.

Browse Source
This commit is contained in:
chriseth
2018-02-06 22:51:30 +01:00
parent f7392cc698
commit 5523296eaa
5 changed files with 163 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libjulia/optimiser/SimplificationRules.cpp
+13 -3
View File
@@ -22,6 +22,8 @@
#include <libjulia/optimiser/Utilities.h>
#include <libjulia/optimiser/ASTCopier.h>
#include <libjulia/optimiser/Semantics.h>
#include <libjulia/optimiser/SyntacticalEquality.h>
#include <libsolidity/inlineasm/AsmData.h>
@@ -121,12 +123,20 @@ bool Pattern::matches(Expression const& _expr) const
{
assertThrow(m_arguments.empty(), OptimizerException, "");
}
// We do not support matching multiple expressions that require the same value.
// We support matching multiple expressions that require the same value
// based on identical ASTs, which have to be movable.
if (m_matchGroup)
{
if (m_matchGroups->count(m_matchGroup))
return false;
(*m_matchGroups)[m_matchGroup] = &_expr;
{
Expression const* firstMatch = (*m_matchGroups)[m_matchGroup];
assertThrow(firstMatch, OptimizerException, "Match set but to null.");
return
SyntacticalEqualityChecker::equal(*firstMatch, _expr) &&
MovableChecker(_expr).movable();
}
else
(*m_matchGroups)[m_matchGroup] = &_expr;
}
return true;
}