From 10e6d2897d09511ca3253287694a28d05fa6b9e0 Mon Sep 17 00:00:00 2001 From: Christian Parpart Date: Fri, 23 Nov 2018 11:16:52 +0100 Subject: Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/. --- libsolidity/inlineasm/AsmScopeFiller.cpp | 181 ------------------------------- 1 file changed, 181 deletions(-) delete mode 100644 libsolidity/inlineasm/AsmScopeFiller.cpp (limited to 'libsolidity/inlineasm/AsmScopeFiller.cpp') diff --git a/libsolidity/inlineasm/AsmScopeFiller.cpp b/libsolidity/inlineasm/AsmScopeFiller.cpp deleted file mode 100644 index 09934bd8..00000000 --- a/libsolidity/inlineasm/AsmScopeFiller.cpp +++ /dev/null @@ -1,181 +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 . -*/ -/** - * Module responsible for registering identifiers inside their scopes. - */ - -#include - -#include -#include -#include - -#include -#include - -#include - -#include - -#include -#include - -using namespace std; -using namespace dev; -using namespace langutil; -using namespace dev::solidity; -using namespace dev::solidity::assembly; - -ScopeFiller::ScopeFiller(AsmAnalysisInfo& _info, ErrorReporter& _errorReporter): - m_info(_info), m_errorReporter(_errorReporter) -{ - m_currentScope = &scope(nullptr); -} - -bool ScopeFiller::operator()(ExpressionStatement const& _expr) -{ - return boost::apply_visitor(*this, _expr.expression); -} - -bool ScopeFiller::operator()(Label const& _item) -{ - if (!m_currentScope->registerLabel(_item.name)) - { - //@TODO secondary location - m_errorReporter.declarationError( - _item.location, - "Label name " + _item.name.str() + " already taken in this scope." - ); - return false; - } - return true; -} - -bool ScopeFiller::operator()(assembly::VariableDeclaration const& _varDecl) -{ - for (auto const& variable: _varDecl.variables) - if (!registerVariable(variable, _varDecl.location, *m_currentScope)) - return false; - return true; -} - -bool ScopeFiller::operator()(assembly::FunctionDefinition const& _funDef) -{ - bool success = true; - vector arguments; - for (auto const& _argument: _funDef.parameters) - arguments.emplace_back(_argument.type.str()); - vector returns; - for (auto const& _return: _funDef.returnVariables) - returns.emplace_back(_return.type.str()); - if (!m_currentScope->registerFunction(_funDef.name, arguments, returns)) - { - //@TODO secondary location - m_errorReporter.declarationError( - _funDef.location, - "Function name " + _funDef.name.str() + " already taken in this scope." - ); - success = false; - } - - auto virtualBlock = m_info.virtualBlocks[&_funDef] = make_shared(); - Scope& varScope = scope(virtualBlock.get()); - varScope.superScope = m_currentScope; - m_currentScope = &varScope; - varScope.functionScope = true; - for (auto const& var: _funDef.parameters + _funDef.returnVariables) - if (!registerVariable(var, _funDef.location, varScope)) - success = false; - - if (!(*this)(_funDef.body)) - success = false; - - solAssert(m_currentScope == &varScope, ""); - m_currentScope = m_currentScope->superScope; - - return success; -} - -bool ScopeFiller::operator()(If const& _if) -{ - return (*this)(_if.body); -} - -bool ScopeFiller::operator()(Switch const& _switch) -{ - bool success = true; - for (auto const& _case: _switch.cases) - if (!(*this)(_case.body)) - success = false; - return success; -} - -bool ScopeFiller::operator()(ForLoop const& _forLoop) -{ - Scope* originalScope = m_currentScope; - - bool success = true; - if (!(*this)(_forLoop.pre)) - success = false; - m_currentScope = &scope(&_forLoop.pre); - if (!boost::apply_visitor(*this, *_forLoop.condition)) - success = false; - if (!(*this)(_forLoop.body)) - success = false; - if (!(*this)(_forLoop.post)) - success = false; - - m_currentScope = originalScope; - - return success; -} - -bool ScopeFiller::operator()(Block const& _block) -{ - bool success = true; - scope(&_block).superScope = m_currentScope; - m_currentScope = &scope(&_block); - - for (auto const& s: _block.statements) - if (!boost::apply_visitor(*this, s)) - success = false; - - m_currentScope = m_currentScope->superScope; - return success; -} - -bool ScopeFiller::registerVariable(TypedName const& _name, SourceLocation const& _location, Scope& _scope) -{ - if (!_scope.registerVariable(_name.name, _name.type)) - { - //@TODO secondary location - m_errorReporter.declarationError( - _location, - "Variable name " + _name.name.str() + " already taken in this scope." - ); - return false; - } - return true; -} - -Scope& ScopeFiller::scope(Block const* _block) -{ - auto& scope = m_info.scopes[_block]; - if (!scope) - scope = make_shared(); - return *scope; -} -- cgit v1.2.3