diff options
author | chriseth <chris@ethereum.org> | 2018-10-03 00:07:36 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2018-10-16 22:18:39 +0800 |
commit | 76db0d69cfba634bdc5f6da41dc30c2abdb66bc2 (patch) | |
tree | 64929e6f7952f9daa3e55a8d60b6ba73d1bb3d2c /libyul/optimiser/SSAValueTracker.cpp | |
parent | 348112f0ab4e9ff010d62886ad889c7e8a0fb5d0 (diff) | |
download | dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.tar dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.tar.gz dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.tar.bz2 dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.tar.lz dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.tar.xz dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.tar.zst dexon-solidity-76db0d69cfba634bdc5f6da41dc30c2abdb66bc2.zip |
SSA value tracker.
Diffstat (limited to 'libyul/optimiser/SSAValueTracker.cpp')
-rw-r--r-- | libyul/optimiser/SSAValueTracker.cpp | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/libyul/optimiser/SSAValueTracker.cpp b/libyul/optimiser/SSAValueTracker.cpp new file mode 100644 index 00000000..a1291d67 --- /dev/null +++ b/libyul/optimiser/SSAValueTracker.cpp @@ -0,0 +1,53 @@ +/* + This file is part of solidity. + + solidity is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + solidity is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with solidity. If not, see <http://www.gnu.org/licenses/>. +*/ +/** + * Component that collects variables that are never assigned to and their + * initial values. + */ + +#include <libyul/optimiser/SSAValueTracker.h> + +#include <libsolidity/inlineasm/AsmData.h> + +using namespace std; +using namespace dev; +using namespace dev::yul; + +void SSAValueTracker::operator()(Assignment const& _assignment) +{ + for (auto const& var: _assignment.variableNames) + m_values.erase(var.name); +} + +void SSAValueTracker::operator()(VariableDeclaration const& _varDecl) +{ + if (_varDecl.variables.size() == 1) + setValue(_varDecl.variables.front().name, _varDecl.value.get()); + else + for (auto const& var: _varDecl.variables) + setValue(var.name, nullptr); +} + +void SSAValueTracker::setValue(string const& _name, Expression const* _value) +{ + assertThrow( + m_values.count(_name) == 0, + OptimizerException, + "Source needs to be disambiguated." + ); + m_values[_name] = _value; +} |