diff options
Diffstat (limited to 'libsolidity/inlineasm/AsmPrinter.cpp')
-rw-r--r-- | libsolidity/inlineasm/AsmPrinter.cpp | 250 |
1 files changed, 0 insertions, 250 deletions
diff --git a/libsolidity/inlineasm/AsmPrinter.cpp b/libsolidity/inlineasm/AsmPrinter.cpp deleted file mode 100644 index 7151fcfa..00000000 --- a/libsolidity/inlineasm/AsmPrinter.cpp +++ /dev/null @@ -1,250 +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 <http://www.gnu.org/licenses/>. -*/ -/** - * @author Christian <c@ethdev.com> - * @date 2017 - * Converts a parsed assembly into its textual form. - */ - -#include <libsolidity/inlineasm/AsmPrinter.h> -#include <libsolidity/inlineasm/AsmData.h> -#include <liblangutil/Exceptions.h> - -#include <libdevcore/CommonData.h> - -#include <boost/algorithm/string.hpp> -#include <boost/algorithm/string/replace.hpp> -#include <boost/range/adaptor/transformed.hpp> - -#include <memory> -#include <functional> - -using namespace std; -using namespace dev; -using namespace dev::solidity; -using namespace dev::solidity::assembly; - -//@TODO source locations - -string AsmPrinter::operator()(assembly::Instruction const& _instruction) -{ - solAssert(!m_yul, ""); - solAssert(isValidInstruction(_instruction.instruction), "Invalid instruction"); - return boost::to_lower_copy(instructionInfo(_instruction.instruction).name); -} - -string AsmPrinter::operator()(assembly::Literal const& _literal) -{ - switch (_literal.kind) - { - case LiteralKind::Number: - solAssert(isValidDecimal(_literal.value.str()) || isValidHex(_literal.value.str()), "Invalid number literal"); - return _literal.value.str() + appendTypeName(_literal.type); - case LiteralKind::Boolean: - solAssert(_literal.value.str() == "true" || _literal.value.str() == "false", "Invalid bool literal."); - return ((_literal.value.str() == "true") ? "true" : "false") + appendTypeName(_literal.type); - case LiteralKind::String: - break; - } - - string out; - for (char c: _literal.value.str()) - if (c == '\\') - out += "\\\\"; - else if (c == '"') - out += "\\\""; - else if (c == '\b') - out += "\\b"; - else if (c == '\f') - out += "\\f"; - else if (c == '\n') - out += "\\n"; - else if (c == '\r') - out += "\\r"; - else if (c == '\t') - out += "\\t"; - else if (c == '\v') - out += "\\v"; - else if (!isprint(c, locale::classic())) - { - ostringstream o; - o << std::hex << setfill('0') << setw(2) << (unsigned)(unsigned char)(c); - out += "\\x" + o.str(); - } - else - out += c; - return "\"" + out + "\"" + appendTypeName(_literal.type); -} - -string AsmPrinter::operator()(assembly::Identifier const& _identifier) -{ - solAssert(!_identifier.name.empty(), "Invalid identifier."); - return _identifier.name.str(); -} - -string AsmPrinter::operator()(assembly::FunctionalInstruction const& _functionalInstruction) -{ - solAssert(!m_yul, ""); - solAssert(isValidInstruction(_functionalInstruction.instruction), "Invalid instruction"); - return - boost::to_lower_copy(instructionInfo(_functionalInstruction.instruction).name) + - "(" + - boost::algorithm::join( - _functionalInstruction.arguments | boost::adaptors::transformed(boost::apply_visitor(*this)), - ", ") + - ")"; -} - -string AsmPrinter::operator()(ExpressionStatement const& _statement) -{ - return boost::apply_visitor(*this, _statement.expression); -} - -string AsmPrinter::operator()(assembly::Label const& _label) -{ - solAssert(!m_yul, ""); - solAssert(!_label.name.empty(), "Invalid label."); - return _label.name.str() + ":"; -} - -string AsmPrinter::operator()(assembly::StackAssignment const& _assignment) -{ - solAssert(!m_yul, ""); - solAssert(!_assignment.variableName.name.empty(), "Invalid variable name."); - return "=: " + (*this)(_assignment.variableName); -} - -string AsmPrinter::operator()(assembly::Assignment const& _assignment) -{ - solAssert(_assignment.variableNames.size() >= 1, ""); - string variables = (*this)(_assignment.variableNames.front()); - for (size_t i = 1; i < _assignment.variableNames.size(); ++i) - variables += ", " + (*this)(_assignment.variableNames[i]); - return variables + " := " + boost::apply_visitor(*this, *_assignment.value); -} - -string AsmPrinter::operator()(assembly::VariableDeclaration const& _variableDeclaration) -{ - string out = "let "; - out += boost::algorithm::join( - _variableDeclaration.variables | boost::adaptors::transformed( - [this](TypedName argument) { return formatTypedName(argument); } - ), - ", " - ); - if (_variableDeclaration.value) - { - out += " := "; - out += boost::apply_visitor(*this, *_variableDeclaration.value); - } - return out; -} - -string AsmPrinter::operator()(assembly::FunctionDefinition const& _functionDefinition) -{ - solAssert(!_functionDefinition.name.empty(), "Invalid function name."); - string out = "function " + _functionDefinition.name.str() + "("; - out += boost::algorithm::join( - _functionDefinition.parameters | boost::adaptors::transformed( - [this](TypedName argument) { return formatTypedName(argument); } - ), - ", " - ); - out += ")"; - if (!_functionDefinition.returnVariables.empty()) - { - out += " -> "; - out += boost::algorithm::join( - _functionDefinition.returnVariables | boost::adaptors::transformed( - [this](TypedName argument) { return formatTypedName(argument); } - ), - ", " - ); - } - - return out + "\n" + (*this)(_functionDefinition.body); -} - -string AsmPrinter::operator()(assembly::FunctionCall const& _functionCall) -{ - return - (*this)(_functionCall.functionName) + "(" + - boost::algorithm::join( - _functionCall.arguments | boost::adaptors::transformed(boost::apply_visitor(*this)), - ", " ) + - ")"; -} - -string AsmPrinter::operator()(If const& _if) -{ - solAssert(_if.condition, "Invalid if condition."); - return "if " + boost::apply_visitor(*this, *_if.condition) + "\n" + (*this)(_if.body); -} - -string AsmPrinter::operator()(Switch const& _switch) -{ - solAssert(_switch.expression, "Invalid expression pointer."); - string out = "switch " + boost::apply_visitor(*this, *_switch.expression); - for (auto const& _case: _switch.cases) - { - if (!_case.value) - out += "\ndefault "; - else - out += "\ncase " + (*this)(*_case.value) + " "; - out += (*this)(_case.body); - } - return out; -} - -string AsmPrinter::operator()(assembly::ForLoop const& _forLoop) -{ - solAssert(_forLoop.condition, "Invalid for loop condition."); - string out = "for "; - out += (*this)(_forLoop.pre); - out += "\n"; - out += boost::apply_visitor(*this, *_forLoop.condition); - out += "\n"; - out += (*this)(_forLoop.post); - out += "\n"; - out += (*this)(_forLoop.body); - return out; -} - -string AsmPrinter::operator()(Block const& _block) -{ - if (_block.statements.empty()) - return "{\n}"; - string body = boost::algorithm::join( - _block.statements | boost::adaptors::transformed(boost::apply_visitor(*this)), - "\n" - ); - boost::replace_all(body, "\n", "\n "); - return "{\n " + body + "\n}"; -} - -string AsmPrinter::formatTypedName(TypedName _variable) const -{ - solAssert(!_variable.name.empty(), "Invalid variable name."); - return _variable.name.str() + appendTypeName(_variable.type); -} - -string AsmPrinter::appendTypeName(YulString _type) const -{ - if (m_yul) - return ":" + _type.str(); - return ""; -} |