diff options
author | Christian Parpart <christian@ethereum.org> | 2018-11-23 18:16:52 +0800 |
---|---|---|
committer | Christian Parpart <christian@ethereum.org> | 2018-11-23 18:16:52 +0800 |
commit | 10e6d2897d09511ca3253287694a28d05fa6b9e0 (patch) | |
tree | 3587e2684ec19cd89d6eced6e87591b989bf4cc9 /libyul/AsmScope.cpp | |
parent | 9217fbb58d085325ce37ed6ca37f76e8b8de9d90 (diff) | |
download | dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.gz dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.zst dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.zip |
Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/.
Diffstat (limited to 'libyul/AsmScope.cpp')
-rw-r--r-- | libyul/AsmScope.cpp | 98 |
1 files changed, 98 insertions, 0 deletions
diff --git a/libyul/AsmScope.cpp b/libyul/AsmScope.cpp new file mode 100644 index 00000000..10893b96 --- /dev/null +++ b/libyul/AsmScope.cpp @@ -0,0 +1,98 @@ +/* + 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/>. +*/ +/** + * Scopes for identifiers. + */ + +#include <libsolidity/inlineasm/AsmScope.h> + +using namespace std; +using namespace dev; +using namespace dev::solidity::assembly; + +bool Scope::registerLabel(yul::YulString _name) +{ + if (exists(_name)) + return false; + identifiers[_name] = Label(); + return true; +} + +bool Scope::registerVariable(yul::YulString _name, YulType const& _type) +{ + if (exists(_name)) + return false; + Variable variable; + variable.type = _type; + identifiers[_name] = variable; + return true; +} + +bool Scope::registerFunction(yul::YulString _name, std::vector<YulType> const& _arguments, std::vector<YulType> const& _returns) +{ + if (exists(_name)) + return false; + identifiers[_name] = Function{_arguments, _returns}; + return true; +} + +Scope::Identifier* Scope::lookup(yul::YulString _name) +{ + bool crossedFunctionBoundary = false; + for (Scope* s = this; s; s = s->superScope) + { + auto id = s->identifiers.find(_name); + if (id != s->identifiers.end()) + { + if (crossedFunctionBoundary && id->second.type() == typeid(Scope::Variable)) + return nullptr; + else + return &id->second; + } + + if (s->functionScope) + crossedFunctionBoundary = true; + } + return nullptr; +} + +bool Scope::exists(yul::YulString _name) const +{ + if (identifiers.count(_name)) + return true; + else if (superScope) + return superScope->exists(_name); + else + return false; +} + +size_t Scope::numberOfVariables() const +{ + size_t count = 0; + for (auto const& identifier: identifiers) + if (identifier.second.type() == typeid(Scope::Variable)) + count++; + return count; +} + +bool Scope::insideFunction() const +{ + for (Scope const* s = this; s; s = s->superScope) + if (s->functionScope) + return true; + return false; +} |