2017-02-09 13:04:23 +00:00
|
|
|
/*
|
|
|
|
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>
|
2017-05-04 08:26:59 +00:00
|
|
|
#include <libsolidity/interface/Utils.h>
|
2017-02-09 13:04:23 +00:00
|
|
|
|
|
|
|
#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)
|
|
|
|
{
|
2017-05-04 08:26:59 +00:00
|
|
|
solAssert(!m_julia, "");
|
2017-02-09 13:04:23 +00:00
|
|
|
return boost::to_lower_copy(instructionInfo(_instruction.instruction).name);
|
|
|
|
}
|
|
|
|
|
|
|
|
string AsmPrinter::operator()(assembly::Literal const& _literal)
|
|
|
|
{
|
2017-05-02 17:26:33 +00:00
|
|
|
switch (_literal.kind)
|
|
|
|
{
|
|
|
|
case LiteralKind::Number:
|
2017-04-26 22:58:34 +00:00
|
|
|
return _literal.value + appendTypeName(_literal.type);
|
2017-05-02 17:26:33 +00:00
|
|
|
case LiteralKind::Boolean:
|
|
|
|
return ((_literal.value == "true") ? "true" : "false") + appendTypeName(_literal.type);
|
|
|
|
case LiteralKind::String:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2017-02-09 13:04:23 +00:00
|
|
|
string out;
|
|
|
|
for (char c: _literal.value)
|
|
|
|
if (c == '\\')
|
|
|
|
out += "\\\\";
|
|
|
|
else if (c == '"')
|
2017-02-14 14:41:07 +00:00
|
|
|
out += "\\\"";
|
2017-02-09 13:04:23 +00:00
|
|
|
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;
|
2017-02-14 14:41:07 +00:00
|
|
|
o << std::hex << setfill('0') << setw(2) << (unsigned)(unsigned char)(c);
|
2017-02-14 12:59:15 +00:00
|
|
|
out += "\\x" + o.str();
|
2017-02-09 13:04:23 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
out += c;
|
2017-04-26 22:58:34 +00:00
|
|
|
return "\"" + out + "\"" + appendTypeName(_literal.type);
|
2017-02-09 13:04:23 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
string AsmPrinter::operator()(assembly::Identifier const& _identifier)
|
|
|
|
{
|
|
|
|
return _identifier.name;
|
|
|
|
}
|
|
|
|
|
|
|
|
string AsmPrinter::operator()(assembly::FunctionalInstruction const& _functionalInstruction)
|
|
|
|
{
|
2017-05-04 08:26:59 +00:00
|
|
|
solAssert(!m_julia, "");
|
2017-02-09 13:04:23 +00:00
|
|
|
return
|
2017-02-14 14:41:07 +00:00
|
|
|
(*this)(_functionalInstruction.instruction) +
|
2017-02-09 13:04:23 +00:00
|
|
|
"(" +
|
|
|
|
boost::algorithm::join(
|
|
|
|
_functionalInstruction.arguments | boost::adaptors::transformed(boost::apply_visitor(*this)),
|
|
|
|
", " ) +
|
|
|
|
")";
|
|
|
|
}
|
|
|
|
|
|
|
|
string AsmPrinter::operator()(assembly::Label const& _label)
|
|
|
|
{
|
2017-05-04 08:26:59 +00:00
|
|
|
solAssert(!m_julia, "");
|
2017-02-09 13:04:23 +00:00
|
|
|
return _label.name + ":";
|
|
|
|
}
|
|
|
|
|
2017-05-24 00:02:11 +00:00
|
|
|
string AsmPrinter::operator()(assembly::StackAssignment const& _assignment)
|
2017-02-09 13:04:23 +00:00
|
|
|
{
|
2017-05-04 08:26:59 +00:00
|
|
|
solAssert(!m_julia, "");
|
2017-02-09 13:04:23 +00:00
|
|
|
return "=: " + (*this)(_assignment.variableName);
|
|
|
|
}
|
|
|
|
|
|
|
|
string AsmPrinter::operator()(assembly::FunctionalAssignment const& _functionalAssignment)
|
|
|
|
{
|
|
|
|
return (*this)(_functionalAssignment.variableName) + " := " + boost::apply_visitor(*this, *_functionalAssignment.value);
|
|
|
|
}
|
|
|
|
|
|
|
|
string AsmPrinter::operator()(assembly::VariableDeclaration const& _variableDeclaration)
|
|
|
|
{
|
2017-05-05 17:35:40 +00:00
|
|
|
string out = "let ";
|
|
|
|
out += boost::algorithm::join(
|
|
|
|
_variableDeclaration.variables | boost::adaptors::transformed(
|
|
|
|
[this](TypedName variable) { return variable.name + appendTypeName(variable.type); }
|
|
|
|
),
|
|
|
|
", "
|
|
|
|
);
|
|
|
|
out += " := ";
|
2017-05-05 17:56:29 +00:00
|
|
|
out += boost::apply_visitor(*this, *_variableDeclaration.value);
|
2017-05-05 17:35:40 +00:00
|
|
|
return out;
|
2017-02-09 13:04:23 +00:00
|
|
|
}
|
|
|
|
|
2017-02-09 13:04:23 +00:00
|
|
|
string AsmPrinter::operator()(assembly::FunctionDefinition const& _functionDefinition)
|
|
|
|
{
|
2017-04-26 22:58:34 +00:00
|
|
|
string out = "function " + _functionDefinition.name + "(";
|
2017-05-03 18:32:38 +00:00
|
|
|
out += boost::algorithm::join(
|
|
|
|
_functionDefinition.arguments | boost::adaptors::transformed(
|
|
|
|
[this](TypedName argument) { return argument.name + appendTypeName(argument.type); }
|
|
|
|
),
|
|
|
|
", "
|
|
|
|
);
|
2017-04-26 22:58:34 +00:00
|
|
|
out += ")";
|
2017-02-09 13:04:23 +00:00
|
|
|
if (!_functionDefinition.returns.empty())
|
2017-04-26 22:58:34 +00:00
|
|
|
{
|
|
|
|
out += " -> ";
|
2017-05-03 18:32:38 +00:00
|
|
|
out += boost::algorithm::join(
|
|
|
|
_functionDefinition.returns | boost::adaptors::transformed(
|
|
|
|
[this](TypedName argument) { return argument.name + appendTypeName(argument.type); }
|
|
|
|
),
|
|
|
|
", "
|
|
|
|
);
|
2017-04-26 22:58:34 +00:00
|
|
|
}
|
|
|
|
|
2017-02-09 13:04:23 +00:00
|
|
|
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)),
|
|
|
|
", " ) +
|
|
|
|
")";
|
|
|
|
}
|
|
|
|
|
2017-02-09 13:04:23 +00:00
|
|
|
string AsmPrinter::operator()(Block const& _block)
|
|
|
|
{
|
2017-02-14 14:41:07 +00:00
|
|
|
if (_block.statements.empty())
|
|
|
|
return "{\n}";
|
2017-02-09 13:04:23 +00:00
|
|
|
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}";
|
|
|
|
}
|
2017-04-26 22:58:34 +00:00
|
|
|
|
|
|
|
string AsmPrinter::appendTypeName(std::string const& _type)
|
|
|
|
{
|
|
|
|
if (m_julia)
|
|
|
|
return ":" + _type;
|
|
|
|
return "";
|
|
|
|
}
|