aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/AsmScopeFiller.h
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/AsmScopeFiller.h
parent9217fbb58d085325ce37ed6ca37f76e8b8de9d90 (diff)
downloaddexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar
dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.gz
dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.bz2
dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.lz
dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.xz
dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.zst
dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.zip
Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/.
Diffstat (limited to 'libyul/AsmScopeFiller.h')
-rw-r--r--libyul/AsmScopeFiller.h88
1 files changed, 88 insertions, 0 deletions
diff --git a/libyul/AsmScopeFiller.h b/libyul/AsmScopeFiller.h
new file mode 100644
index 00000000..7454fd6c
--- /dev/null
+++ b/libyul/AsmScopeFiller.h
@@ -0,0 +1,88 @@
+/*
+ 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/>.
+*/
+/**
+ * Module responsible for registering identifiers inside their scopes.
+ */
+
+#pragma once
+
+#include <libsolidity/inlineasm/AsmDataForward.h>
+
+#include <boost/variant.hpp>
+
+#include <functional>
+#include <memory>
+
+namespace langutil
+{
+class ErrorReporter;
+struct SourceLocation;
+}
+
+namespace dev
+{
+namespace solidity
+{
+namespace assembly
+{
+
+struct TypedName;
+struct Scope;
+struct AsmAnalysisInfo;
+
+/**
+ * Fills scopes with identifiers and checks for name clashes.
+ * Does not resolve references.
+ */
+class ScopeFiller: public boost::static_visitor<bool>
+{
+public:
+ ScopeFiller(AsmAnalysisInfo& _info, langutil::ErrorReporter& _errorReporter);
+
+ bool operator()(assembly::Instruction const&) { return true; }
+ bool operator()(assembly::Literal const&) { return true; }
+ bool operator()(assembly::Identifier const&) { return true; }
+ bool operator()(assembly::FunctionalInstruction const&) { return true; }
+ bool operator()(assembly::ExpressionStatement const& _expr);
+ bool operator()(assembly::Label const& _label);
+ bool operator()(assembly::StackAssignment const&) { return true; }
+ bool operator()(assembly::Assignment const&) { return true; }
+ bool operator()(assembly::VariableDeclaration const& _variableDeclaration);
+ bool operator()(assembly::FunctionDefinition const& _functionDefinition);
+ bool operator()(assembly::FunctionCall const&) { return true; }
+ bool operator()(assembly::If const& _if);
+ bool operator()(assembly::Switch const& _switch);
+ bool operator()(assembly::ForLoop const& _forLoop);
+ bool operator()(assembly::Block const& _block);
+
+private:
+ bool registerVariable(
+ TypedName const& _name,
+ langutil::SourceLocation const& _location,
+ Scope& _scope
+ );
+
+ Scope& scope(assembly::Block const* _block);
+
+ Scope* m_currentScope = nullptr;
+ AsmAnalysisInfo& m_info;
+ langutil::ErrorReporter& m_errorReporter;
+};
+
+}
+}
+}