aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/AsmData.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/AsmData.h
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/AsmData.h')
-rw-r--r--libyul/AsmData.h104
1 files changed, 104 insertions, 0 deletions
diff --git a/libyul/AsmData.h b/libyul/AsmData.h
new file mode 100644
index 00000000..23a9db75
--- /dev/null
+++ b/libyul/AsmData.h
@@ -0,0 +1,104 @@
+/*
+ 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/>.
+*/
+/**
+ * @author Christian <c@ethdev.com>
+ * @date 2016
+ * Parsed inline assembly to be used by the AST
+ */
+
+#pragma once
+
+#include <libsolidity/inlineasm/AsmDataForward.h>
+
+#include <libevmasm/Instruction.h>
+#include <liblangutil/SourceLocation.h>
+
+#include <libyul/YulString.h>
+
+#include <boost/variant.hpp>
+#include <boost/noncopyable.hpp>
+
+#include <map>
+#include <memory>
+
+namespace dev
+{
+namespace solidity
+{
+namespace assembly
+{
+
+using YulString = dev::yul::YulString;
+using Type = YulString;
+
+struct TypedName { langutil::SourceLocation location; YulString name; Type type; };
+using TypedNameList = std::vector<TypedName>;
+
+/// Direct EVM instruction (except PUSHi and JUMPDEST)
+struct Instruction { langutil::SourceLocation location; solidity::Instruction instruction; };
+/// Literal number or string (up to 32 bytes)
+enum class LiteralKind { Number, Boolean, String };
+struct Literal { langutil::SourceLocation location; LiteralKind kind; YulString value; Type type; };
+/// External / internal identifier or label reference
+struct Identifier { langutil::SourceLocation location; YulString name; };
+/// Jump label ("name:")
+struct Label { langutil::SourceLocation location; YulString name; };
+/// Assignment from stack (":= x", moves stack top into x, potentially multiple slots)
+struct StackAssignment { langutil::SourceLocation location; Identifier variableName; };
+/// Assignment ("x := mload(20:u256)", expects push-1-expression on the right hand
+/// side and requires x to occupy exactly one stack slot.
+///
+/// Multiple assignment ("x, y := f()"), where the left hand side variables each occupy
+/// a single stack slot and expects a single expression on the right hand returning
+/// the same amount of items as the number of variables.
+struct Assignment { langutil::SourceLocation location; std::vector<Identifier> variableNames; std::shared_ptr<Expression> value; };
+/// Functional instruction, e.g. "mul(mload(20:u256), add(2:u256, x))"
+struct FunctionalInstruction { langutil::SourceLocation location; solidity::Instruction instruction; std::vector<Expression> arguments; };
+struct FunctionCall { langutil::SourceLocation location; Identifier functionName; std::vector<Expression> arguments; };
+/// Statement that contains only a single expression
+struct ExpressionStatement { langutil::SourceLocation location; Expression expression; };
+/// Block-scope variable declaration ("let x:u256 := mload(20:u256)"), non-hoisted
+struct VariableDeclaration { langutil::SourceLocation location; TypedNameList variables; std::shared_ptr<Expression> value; };
+/// Block that creates a scope (frees declared stack variables)
+struct Block { langutil::SourceLocation location; std::vector<Statement> statements; };
+/// Function definition ("function f(a, b) -> (d, e) { ... }")
+struct FunctionDefinition { langutil::SourceLocation location; YulString name; TypedNameList parameters; TypedNameList returnVariables; Block body; };
+/// Conditional execution without "else" part.
+struct If { langutil::SourceLocation location; std::shared_ptr<Expression> condition; Block body; };
+/// Switch case or default case
+struct Case { langutil::SourceLocation location; std::shared_ptr<Literal> value; Block body; };
+/// Switch statement
+struct Switch { langutil::SourceLocation location; std::shared_ptr<Expression> expression; std::vector<Case> cases; };
+struct ForLoop { langutil::SourceLocation location; Block pre; std::shared_ptr<Expression> condition; Block post; Block body; };
+
+struct LocationExtractor: boost::static_visitor<langutil::SourceLocation>
+{
+ template <class T> langutil::SourceLocation operator()(T const& _node) const
+ {
+ return _node.location;
+ }
+};
+
+/// Extracts the source location from an inline assembly node.
+template <class T> inline langutil::SourceLocation locationOf(T const& _node)
+{
+ return boost::apply_visitor(LocationExtractor(), _node);
+}
+
+}
+}
+}