diff options
Diffstat (limited to 'libjulia/optimiser/ExpressionSplitter.cpp')
-rw-r--r-- | libjulia/optimiser/ExpressionSplitter.cpp | 105 |
1 files changed, 0 insertions, 105 deletions
diff --git a/libjulia/optimiser/ExpressionSplitter.cpp b/libjulia/optimiser/ExpressionSplitter.cpp deleted file mode 100644 index f189f563..00000000 --- a/libjulia/optimiser/ExpressionSplitter.cpp +++ /dev/null @@ -1,105 +0,0 @@ -/* - 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/>. -*/ -/** - * Optimiser component that turns complex expressions into multiple variable - * declarations. - */ - -#include <libjulia/optimiser/ExpressionSplitter.h> - -#include <libjulia/optimiser/ASTWalker.h> - -#include <libsolidity/inlineasm/AsmData.h> - -#include <libdevcore/CommonData.h> - -#include <boost/range/adaptor/reversed.hpp> - -using namespace std; -using namespace dev; -using namespace dev::julia; -using namespace dev::solidity; - -void ExpressionSplitter::operator()(FunctionalInstruction& _instruction) -{ - for (auto& arg: _instruction.arguments | boost::adaptors::reversed) - outlineExpression(arg); -} - -void ExpressionSplitter::operator()(FunctionCall& _funCall) -{ - for (auto& arg: _funCall.arguments | boost::adaptors::reversed) - outlineExpression(arg); -} - -void ExpressionSplitter::operator()(If& _if) -{ - outlineExpression(*_if.condition); - (*this)(_if.body); -} - -void ExpressionSplitter::operator()(Switch& _switch) -{ - outlineExpression(*_switch.expression); - for (auto& _case: _switch.cases) - // Do not visit the case expression, nothing to break there. - (*this)(_case.body); -} - -void ExpressionSplitter::operator()(ForLoop& _loop) -{ - (*this)(_loop.pre); - // Do not visit the condition because we cannot break expressions there. - (*this)(_loop.post); - (*this)(_loop.body); -} - -void ExpressionSplitter::operator()(Block& _block) -{ - vector<Statement> saved; - swap(saved, m_statementsToPrefix); - - function<boost::optional<vector<Statement>>(Statement&)> f = - [&](Statement& _statement) -> boost::optional<vector<Statement>> { - m_statementsToPrefix.clear(); - visit(_statement); - if (m_statementsToPrefix.empty()) - return {}; - m_statementsToPrefix.emplace_back(std::move(_statement)); - return std::move(m_statementsToPrefix); - }; - iterateReplacing(_block.statements, f); - - swap(saved, m_statementsToPrefix); -} - -void ExpressionSplitter::outlineExpression(Expression& _expr) -{ - if (_expr.type() == typeid(Identifier)) - return; - - visit(_expr); - - SourceLocation location = locationOf(_expr); - string var = m_nameDispenser.newName(""); - m_statementsToPrefix.emplace_back(VariableDeclaration{ - location, - {{TypedName{location, var, ""}}}, - make_shared<Expression>(std::move(_expr)) - }); - _expr = Identifier{location, var}; -} |