aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/AsmScope.cpp
diff options
context:
space:
mode:
authorChristian Parpart <christian@ethereum.org>2018-11-23 18:16:52 +0800
committerChristian Parpart <christian@ethereum.org>2018-11-23 18:16:52 +0800
commit10e6d2897d09511ca3253287694a28d05fa6b9e0 (patch)
tree3587e2684ec19cd89d6eced6e87591b989bf4cc9 /libyul/AsmScope.cpp
parent9217fbb58d085325ce37ed6ca37f76e8b8de9d90 (diff)
downloaddexon-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.cpp98
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;
+}