solidity/Compiler.cpp

548 lines
20 KiB
C++
Raw Normal View History

2014-10-20 10:41:56 +00:00
/*
This file is part of cpp-ethereum.
cpp-ethereum 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.
cpp-ethereum 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 cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
*/
/**
* @author Christian <c@ethdev.com>
* @date 2014
* Solidity compiler.
2014-10-20 10:41:56 +00:00
*/
#include <algorithm>
2015-01-15 19:04:24 +00:00
#include <boost/range/adaptor/reversed.hpp>
2014-11-07 01:06:37 +00:00
#include <libevmcore/Instruction.h>
#include <libevmcore/Assembly.h>
2014-10-20 10:41:56 +00:00
#include <libsolidity/AST.h>
#include <libsolidity/Compiler.h>
#include <libsolidity/ExpressionCompiler.h>
#include <libsolidity/CompilerUtils.h>
2014-10-20 10:41:56 +00:00
using namespace std;
2014-10-20 10:41:56 +00:00
namespace dev {
namespace solidity {
2015-02-22 17:38:32 +00:00
/**
* Simple helper class to ensure that the stack height is the same at certain places in the code.
*/
class StackHeightChecker
{
public:
StackHeightChecker(CompilerContext const& _context):
m_context(_context), stackHeight(m_context.getStackHeight()) {}
void check() { solAssert(m_context.getStackHeight() == stackHeight, "I sense a disturbance in the stack."); }
private:
CompilerContext const& m_context;
unsigned stackHeight;
};
void Compiler::compileContract(ContractDefinition const& _contract,
2014-12-12 15:49:26 +00:00
map<ContractDefinition const*, bytes const*> const& _contracts)
2014-10-20 10:41:56 +00:00
{
m_context = CompilerContext(); // clear it just in case
initializeContext(_contract, _contracts);
2014-11-19 09:24:22 +00:00
appendFunctionSelector(_contract);
2015-01-27 13:32:59 +00:00
set<Declaration const*> functions = m_context.getFunctionsWithoutCode();
while (!functions.empty())
2015-01-26 15:58:54 +00:00
{
2015-01-27 13:32:59 +00:00
for (Declaration const* function: functions)
function->accept(*this);
functions = m_context.getFunctionsWithoutCode();
2015-01-26 15:58:54 +00:00
}
2014-12-15 21:57:39 +00:00
// Swap the runtime context with the creation-time context
swap(m_context, m_runtimeContext);
initializeContext(_contract, _contracts);
packIntoContractCreator(_contract, m_runtimeContext);
2014-12-15 21:57:39 +00:00
}
2014-11-19 09:24:22 +00:00
void Compiler::initializeContext(ContractDefinition const& _contract,
2014-12-15 21:57:39 +00:00
map<ContractDefinition const*, bytes const*> const& _contracts)
{
m_context.setCompiledContracts(_contracts);
2015-01-27 13:32:59 +00:00
m_context.setInheritanceHierarchy(_contract.getLinearizedBaseContracts());
2014-11-19 09:24:22 +00:00
registerStateVariables(_contract);
2014-12-15 21:57:39 +00:00
}
2014-11-19 09:24:22 +00:00
2014-12-15 21:57:39 +00:00
void Compiler::packIntoContractCreator(ContractDefinition const& _contract, CompilerContext const& _runtimeContext)
{
2015-01-19 22:08:48 +00:00
// arguments for base constructors, filled in derived-to-base order
map<ContractDefinition const*, vector<ASTPointer<Expression>> const*> baseArguments;
2015-01-27 13:32:59 +00:00
// Determine the arguments that are used for the base constructors.
std::vector<ContractDefinition const*> const& bases = _contract.getLinearizedBaseContracts();
2015-01-19 22:08:48 +00:00
for (ContractDefinition const* contract: bases)
for (ASTPointer<InheritanceSpecifier> const& base: contract->getBaseContracts())
{
ContractDefinition const* baseContract = dynamic_cast<ContractDefinition const*>(
base->getName()->getReferencedDeclaration());
2015-01-19 22:08:48 +00:00
solAssert(baseContract, "");
if (baseArguments.count(baseContract) == 0)
baseArguments[baseContract] = &base->getArguments();
}
2014-11-19 09:24:22 +00:00
2015-01-19 22:08:48 +00:00
// Call constructors in base-to-derived order.
// The Constructor for the most derived contract is called later.
for (unsigned i = 1; i < bases.size(); i++)
{
ContractDefinition const* base = bases[bases.size() - i];
solAssert(base, "");
initializeStateVariables(*base);
2015-01-19 22:08:48 +00:00
FunctionDefinition const* baseConstructor = base->getConstructor();
if (!baseConstructor)
continue;
solAssert(baseArguments[base], "");
appendBaseConstructorCall(*baseConstructor, *baseArguments[base]);
}
initializeStateVariables(_contract);
2015-01-19 22:08:48 +00:00
if (_contract.getConstructor())
appendConstructorCall(*_contract.getConstructor());
2014-12-15 21:57:39 +00:00
eth::AssemblyItem sub = m_context.addSubroutine(_runtimeContext.getAssembly());
// stack contains sub size
2014-11-19 09:24:22 +00:00
m_context << eth::Instruction::DUP1 << sub << u256(0) << eth::Instruction::CODECOPY;
m_context << u256(0) << eth::Instruction::RETURN;
2014-12-15 21:57:39 +00:00
2015-01-27 13:32:59 +00:00
// note that we have to include the functions again because of absolute jump labels
set<Declaration const*> functions = m_context.getFunctionsWithoutCode();
while (!functions.empty())
{
for (Declaration const* function: functions)
function->accept(*this);
functions = m_context.getFunctionsWithoutCode();
}
2014-12-15 21:57:39 +00:00
}
2015-01-19 22:08:48 +00:00
void Compiler::appendBaseConstructorCall(FunctionDefinition const& _constructor,
vector<ASTPointer<Expression>> const& _arguments)
{
FunctionType constructorType(_constructor);
eth::AssemblyItem returnLabel = m_context.pushNewTag();
for (unsigned i = 0; i < _arguments.size(); ++i)
2015-01-23 01:35:27 +00:00
compileExpression(*_arguments[i], constructorType.getParameterTypes()[i]);
2015-01-19 22:08:48 +00:00
m_context.appendJumpTo(m_context.getFunctionEntryLabel(_constructor));
m_context << returnLabel;
}
2014-12-15 21:57:39 +00:00
void Compiler::appendConstructorCall(FunctionDefinition const& _constructor)
{
eth::AssemblyItem returnTag = m_context.pushNewTag();
// copy constructor arguments from code to memory and then to stack, they are supplied after the actual program
unsigned argumentSize = 0;
for (ASTPointer<VariableDeclaration> const& var: _constructor.getParameters())
2015-01-08 23:58:32 +00:00
argumentSize += CompilerUtils::getPaddedSize(var->getType()->getCalldataEncodedSize());
2014-12-15 21:57:39 +00:00
if (argumentSize > 0)
{
m_context << u256(argumentSize);
m_context.appendProgramSize();
m_context << u256(CompilerUtils::dataStartOffset); // copy it to byte four as expected for ABI calls
2014-12-15 21:57:39 +00:00
m_context << eth::Instruction::CODECOPY;
appendCalldataUnpacker(FunctionType(_constructor).getParameterTypes(), true);
2014-12-15 21:57:39 +00:00
}
m_context.appendJumpTo(m_context.getFunctionEntryLabel(_constructor));
m_context << returnTag;
}
2014-11-19 09:24:22 +00:00
void Compiler::appendFunctionSelector(ContractDefinition const& _contract)
2014-10-20 10:41:56 +00:00
{
map<FixedHash<4>, FunctionTypePointer> interfaceFunctions = _contract.getInterfaceFunctions();
map<FixedHash<4>, const eth::AssemblyItem> callDataUnpackerEntryPoints;
// retrieve the function signature hash from the calldata
2015-01-29 21:50:20 +00:00
if (!interfaceFunctions.empty())
2015-02-14 23:11:51 +00:00
CompilerUtils(m_context).loadFromMemory(0, IntegerType(CompilerUtils::dataStartOffset * 8), true);
// stack now is: 1 0 <funhash>
for (auto const& it: interfaceFunctions)
{
callDataUnpackerEntryPoints.insert(std::make_pair(it.first, m_context.newTag()));
m_context << eth::dupInstruction(1) << u256(FixedHash<4>::Arith(it.first)) << eth::Instruction::EQ;
m_context.appendConditionalJumpTo(callDataUnpackerEntryPoints.at(it.first));
}
2015-01-29 21:50:20 +00:00
if (FunctionDefinition const* fallback = _contract.getFallbackFunction())
{
eth::AssemblyItem returnTag = m_context.pushNewTag();
fallback->accept(*this);
m_context << returnTag;
appendReturnValuePacker(FunctionType(*fallback).getReturnParameterTypes());
}
else
m_context << eth::Instruction::STOP; // function not found
for (auto const& it: interfaceFunctions)
{
2015-01-29 16:28:14 +00:00
FunctionTypePointer const& functionType = it.second;
m_context << callDataUnpackerEntryPoints.at(it.first);
eth::AssemblyItem returnTag = m_context.pushNewTag();
appendCalldataUnpacker(functionType->getParameterTypes());
m_context.appendJumpTo(m_context.getFunctionEntryLabel(it.second->getDeclaration()));
m_context << returnTag;
appendReturnValuePacker(functionType->getReturnParameterTypes());
}
}
void Compiler::appendCalldataUnpacker(TypePointers const& _typeParameters, bool _fromMemory)
{
// We do not check the calldata size, everything is zero-padded.
unsigned offset(CompilerUtils::dataStartOffset);
2015-02-14 23:11:51 +00:00
bool const c_padToWords = true;
unsigned dynamicParameterCount = 0;
for (TypePointer const& type: _typeParameters)
if (type->isDynamicallySized())
dynamicParameterCount++;
offset += dynamicParameterCount * 32;
unsigned currentDynamicParameter = 0;
for (TypePointer const& type: _typeParameters)
if (type->isDynamicallySized())
{
// value on stack: [calldata_offset] (only if we are already in dynamic mode)
if (currentDynamicParameter == 0)
// switch from static to dynamic
m_context << u256(offset);
// retrieve length
CompilerUtils(m_context).loadFromMemory(
CompilerUtils::dataStartOffset + currentDynamicParameter * 32,
IntegerType(256), !_fromMemory, c_padToWords);
// stack: offset length
// add 32-byte padding to copy of length
m_context << u256(32) << eth::Instruction::DUP1 << u256(31)
<< eth::Instruction::DUP4 << eth::Instruction::ADD
<< eth::Instruction::DIV << eth::Instruction::MUL;
// stack: offset length padded_length
m_context << eth::Instruction::DUP3 << eth::Instruction::ADD;
currentDynamicParameter++;
// stack: offset length next_calldata_offset
}
else if (currentDynamicParameter == 0)
// we can still use static load
offset += CompilerUtils(m_context).loadFromMemory(offset, *type, !_fromMemory, c_padToWords);
else
CompilerUtils(m_context).loadFromMemoryDynamic(*type, !_fromMemory, c_padToWords);
if (dynamicParameterCount > 0)
m_context << eth::Instruction::POP;
}
void Compiler::appendReturnValuePacker(TypePointers const& _typeParameters)
{
//@todo this can be also done more efficiently
unsigned dataOffset = 0;
unsigned stackDepth = 0;
for (TypePointer const& type: _typeParameters)
stackDepth += type->getSizeOnStack();
for (TypePointer const& type: _typeParameters)
{
CompilerUtils(m_context).copyToStackTop(stackDepth, *type);
ExpressionCompiler::appendTypeConversion(m_context, *type, *type, true);
bool const c_padToWords = true;
2015-02-10 16:53:43 +00:00
dataOffset += CompilerUtils(m_context).storeInMemory(dataOffset, *type, c_padToWords);
stackDepth -= type->getSizeOnStack();
}
// note that the stack is not cleaned up here
m_context << u256(dataOffset) << u256(0) << eth::Instruction::RETURN;
2014-10-20 10:41:56 +00:00
}
2014-11-19 09:24:22 +00:00
void Compiler::registerStateVariables(ContractDefinition const& _contract)
{
2015-01-15 19:04:24 +00:00
for (ContractDefinition const* contract: boost::adaptors::reverse(_contract.getLinearizedBaseContracts()))
for (ASTPointer<VariableDeclaration> const& variable: contract->getStateVariables())
m_context.addStateVariable(*variable);
2014-11-19 09:24:22 +00:00
}
void Compiler::initializeStateVariables(ContractDefinition const& _contract)
{
2015-02-20 10:57:42 +00:00
for (ASTPointer<VariableDeclaration> const& variable: _contract.getStateVariables())
if (variable->getValue())
ExpressionCompiler::appendStateVariableInitialization(m_context, *variable);
}
2015-01-27 13:32:59 +00:00
bool Compiler::visit(VariableDeclaration const& _variableDeclaration)
2015-01-26 15:58:54 +00:00
{
2015-01-27 13:32:59 +00:00
solAssert(_variableDeclaration.isStateVariable(), "Compiler visit to non-state variable declaration.");
CompilerContext::LocationSetter locationSetter(m_context, &_variableDeclaration);
2015-01-27 13:32:59 +00:00
m_context.startFunction(_variableDeclaration);
2015-01-26 15:58:54 +00:00
m_breakTags.clear();
m_continueTags.clear();
2015-01-27 13:32:59 +00:00
m_context << m_context.getFunctionEntryLabel(_variableDeclaration);
ExpressionCompiler::appendStateVariableAccessor(m_context, _variableDeclaration);
return false;
2015-01-26 15:58:54 +00:00
}
2014-12-06 00:06:24 +00:00
bool Compiler::visit(FunctionDefinition const& _function)
2014-10-20 10:41:56 +00:00
{
CompilerContext::LocationSetter locationSetter(m_context, &_function);
//@todo to simplify this, the calling convention could by changed such that
// caller puts: [retarg0] ... [retargm] [return address] [arg0] ... [argn]
// although note that this reduces the size of the visible stack
2014-10-25 14:52:22 +00:00
2015-01-27 13:32:59 +00:00
m_context.startFunction(_function);
m_returnTag = m_context.newTag();
m_breakTags.clear();
m_continueTags.clear();
2015-01-23 01:35:27 +00:00
m_stackCleanupForReturn = 0;
m_currentFunction = &_function;
m_modifierDepth = 0;
2014-10-25 14:52:22 +00:00
// stack upon entry: [return address] [arg0] [arg1] ... [argn]
// reserve additional slots: [retarg0] ... [retargm] [localvar0] ... [localvarp]
2014-10-20 10:41:56 +00:00
2015-02-14 23:11:51 +00:00
unsigned parametersSize = CompilerUtils::getSizeOnStack(_function.getParameters());
m_context.adjustStackOffset(parametersSize);
for (ASTPointer<VariableDeclaration const> const& variable: _function.getParameters())
{
2015-02-14 23:11:51 +00:00
m_context.addVariable(*variable, parametersSize);
parametersSize -= variable->getType()->getSizeOnStack();
2015-01-23 01:35:27 +00:00
}
2014-12-08 17:19:25 +00:00
for (ASTPointer<VariableDeclaration const> const& variable: _function.getReturnParameters())
m_context.addAndInitializeVariable(*variable);
for (VariableDeclaration const* localVariable: _function.getLocalVariables())
m_context.addAndInitializeVariable(*localVariable);
2014-10-20 10:41:56 +00:00
2015-01-23 01:35:27 +00:00
appendModifierOrFunctionCode();
2014-10-20 10:41:56 +00:00
m_context << m_returnTag;
2014-10-20 10:41:56 +00:00
// Now we need to re-shuffle the stack. For this we keep a record of the stack layout
// that shows the target positions of the elements, where "-1" denotes that this element needs
// to be removed from the stack.
// Note that the fact that the return arguments are of increasing index is vital for this
// algorithm to work.
2014-10-20 10:41:56 +00:00
unsigned const c_argumentsSize = CompilerUtils::getSizeOnStack(_function.getParameters());
unsigned const c_returnValuesSize = CompilerUtils::getSizeOnStack(_function.getReturnParameters());
unsigned const c_localVariablesSize = CompilerUtils::getSizeOnStack(_function.getLocalVariables());
2014-12-08 17:19:25 +00:00
vector<int> stackLayout;
stackLayout.push_back(c_returnValuesSize); // target of return address
stackLayout += vector<int>(c_argumentsSize, -1); // discard all arguments
for (unsigned i = 0; i < c_returnValuesSize; ++i)
stackLayout.push_back(i);
stackLayout += vector<int>(c_localVariablesSize, -1);
2014-10-20 10:41:56 +00:00
while (stackLayout.back() != int(stackLayout.size() - 1))
if (stackLayout.back() < 0)
{
m_context << eth::Instruction::POP;
stackLayout.pop_back();
}
else
{
m_context << eth::swapInstruction(stackLayout.size() - stackLayout.back() - 1);
swap(stackLayout[stackLayout.back()], stackLayout.back());
}
//@todo assert that everything is in place now
2014-10-20 10:41:56 +00:00
m_context << eth::Instruction::JUMP;
2014-10-20 10:41:56 +00:00
return false;
2014-10-20 10:41:56 +00:00
}
2014-12-06 00:06:24 +00:00
bool Compiler::visit(IfStatement const& _ifStatement)
2014-10-20 10:41:56 +00:00
{
2015-02-22 17:38:32 +00:00
StackHeightChecker checker(m_context);
CompilerContext::LocationSetter locationSetter(m_context, &_ifStatement);
compileExpression(_ifStatement.getCondition());
eth::AssemblyItem trueTag = m_context.appendConditionalJump();
if (_ifStatement.getFalseStatement())
_ifStatement.getFalseStatement()->accept(*this);
2014-11-10 16:31:09 +00:00
eth::AssemblyItem endTag = m_context.appendJumpToNew();
m_context << trueTag;
_ifStatement.getTrueStatement().accept(*this);
m_context << endTag;
2015-02-22 17:38:32 +00:00
checker.check();
return false;
2014-10-20 10:41:56 +00:00
}
2014-12-06 00:06:24 +00:00
bool Compiler::visit(WhileStatement const& _whileStatement)
2014-10-20 10:41:56 +00:00
{
2015-02-22 17:38:32 +00:00
StackHeightChecker checker(m_context);
CompilerContext::LocationSetter locationSetter(m_context, &_whileStatement);
eth::AssemblyItem loopStart = m_context.newTag();
eth::AssemblyItem loopEnd = m_context.newTag();
m_continueTags.push_back(loopStart);
m_breakTags.push_back(loopEnd);
2014-10-20 10:41:56 +00:00
m_context << loopStart;
compileExpression(_whileStatement.getCondition());
m_context << eth::Instruction::ISZERO;
m_context.appendConditionalJumpTo(loopEnd);
2014-10-20 10:41:56 +00:00
_whileStatement.getBody().accept(*this);
2014-10-20 10:41:56 +00:00
m_context.appendJumpTo(loopStart);
m_context << loopEnd;
2014-10-20 10:41:56 +00:00
m_continueTags.pop_back();
m_breakTags.pop_back();
2015-02-22 17:38:32 +00:00
checker.check();
return false;
2014-10-20 10:41:56 +00:00
}
bool Compiler::visit(ForStatement const& _forStatement)
{
2015-02-22 17:38:32 +00:00
StackHeightChecker checker(m_context);
CompilerContext::LocationSetter locationSetter(m_context, &_forStatement);
eth::AssemblyItem loopStart = m_context.newTag();
eth::AssemblyItem loopEnd = m_context.newTag();
m_continueTags.push_back(loopStart);
m_breakTags.push_back(loopEnd);
if (_forStatement.getInitializationExpression())
_forStatement.getInitializationExpression()->accept(*this);
m_context << loopStart;
// if there is no terminating condition in for, default is to always be true
if (_forStatement.getCondition())
{
compileExpression(*_forStatement.getCondition());
m_context << eth::Instruction::ISZERO;
m_context.appendConditionalJumpTo(loopEnd);
}
_forStatement.getBody().accept(*this);
// for's loop expression if existing
if (_forStatement.getLoopExpression())
_forStatement.getLoopExpression()->accept(*this);
m_context.appendJumpTo(loopStart);
m_context << loopEnd;
m_continueTags.pop_back();
m_breakTags.pop_back();
2015-02-22 17:38:32 +00:00
checker.check();
return false;
}
bool Compiler::visit(Continue const& _continueStatement)
2014-10-20 10:41:56 +00:00
{
CompilerContext::LocationSetter locationSetter(m_context, &_continueStatement);
if (!m_continueTags.empty())
m_context.appendJumpTo(m_continueTags.back());
return false;
2014-10-20 10:41:56 +00:00
}
bool Compiler::visit(Break const& _breakStatement)
2014-10-20 10:41:56 +00:00
{
CompilerContext::LocationSetter locationSetter(m_context, &_breakStatement);
if (!m_breakTags.empty())
m_context.appendJumpTo(m_breakTags.back());
return false;
2014-10-20 10:41:56 +00:00
}
2014-12-06 00:06:24 +00:00
bool Compiler::visit(Return const& _return)
2014-10-20 10:41:56 +00:00
{
CompilerContext::LocationSetter locationSetter(m_context, &_return);
//@todo modifications are needed to make this work with functions returning multiple values
if (Expression const* expression = _return.getExpression())
2014-10-20 10:41:56 +00:00
{
2015-01-23 01:35:27 +00:00
solAssert(_return.getFunctionReturnParameters(), "Invalid return parameters pointer.");
VariableDeclaration const& firstVariable = *_return.getFunctionReturnParameters()->getParameters().front();
compileExpression(*expression, firstVariable.getType());
CompilerUtils(m_context).moveToStackVariable(firstVariable);
2014-10-20 10:41:56 +00:00
}
2015-01-23 01:35:27 +00:00
for (unsigned i = 0; i < m_stackCleanupForReturn; ++i)
m_context << eth::Instruction::POP;
m_context.appendJumpTo(m_returnTag);
2015-01-23 01:35:27 +00:00
m_context.adjustStackOffset(m_stackCleanupForReturn);
return false;
2014-10-20 10:41:56 +00:00
}
2015-02-22 17:38:32 +00:00
bool Compiler::visit(VariableDeclarationStatement const& _variableDeclarationStatement)
2014-10-25 14:52:22 +00:00
{
2015-02-22 17:38:32 +00:00
StackHeightChecker checker(m_context);
CompilerContext::LocationSetter locationSetter(m_context, &_variableDefinition);
2015-02-22 17:38:32 +00:00
if (Expression const* expression = _variableDeclarationStatement.getExpression())
2014-10-25 14:52:22 +00:00
{
2015-02-22 17:38:32 +00:00
compileExpression(*expression, _variableDeclarationStatement.getDeclaration().getType());
CompilerUtils(m_context).moveToStackVariable(_variableDeclarationStatement.getDeclaration());
2014-10-25 14:52:22 +00:00
}
2015-02-22 17:38:32 +00:00
checker.check();
return false;
2014-10-25 14:52:22 +00:00
}
2014-12-06 00:06:24 +00:00
bool Compiler::visit(ExpressionStatement const& _expressionStatement)
2014-10-25 14:52:22 +00:00
{
2015-02-22 17:38:32 +00:00
StackHeightChecker checker(m_context);
CompilerContext::LocationSetter locationSetter(m_context, &_expressionStatement);
Expression const& expression = _expressionStatement.getExpression();
compileExpression(expression);
CompilerUtils(m_context).popStackElement(*expression.getType());
2015-02-22 17:38:32 +00:00
checker.check();
return false;
2014-10-25 14:52:22 +00:00
}
bool Compiler::visit(PlaceholderStatement const& _placeholderStatement)
2015-01-23 01:35:27 +00:00
{
2015-02-22 17:38:32 +00:00
StackHeightChecker checker(m_context);
CompilerContext::LocationSetter locationSetter(m_context, &_placeholderStatement);
2015-01-23 01:35:27 +00:00
++m_modifierDepth;
appendModifierOrFunctionCode();
--m_modifierDepth;
2015-02-22 17:38:32 +00:00
checker.check();
2015-01-26 09:13:34 +00:00
return true;
2015-01-23 01:35:27 +00:00
}
void Compiler::appendModifierOrFunctionCode()
{
solAssert(m_currentFunction, "");
if (m_modifierDepth >= m_currentFunction->getModifiers().size())
m_currentFunction->getBody().accept(*this);
else
{
ASTPointer<ModifierInvocation> const& modifierInvocation = m_currentFunction->getModifiers()[m_modifierDepth];
ModifierDefinition const& modifier = m_context.getFunctionModifier(modifierInvocation->getName()->getName());
solAssert(modifier.getParameters().size() == modifierInvocation->getArguments().size(), "");
for (unsigned i = 0; i < modifier.getParameters().size(); ++i)
2015-01-23 01:35:27 +00:00
{
m_context.addVariable(*modifier.getParameters()[i]);
2015-01-23 01:35:27 +00:00
compileExpression(*modifierInvocation->getArguments()[i],
modifier.getParameters()[i]->getType());
2015-01-23 01:35:27 +00:00
}
for (VariableDeclaration const* localVariable: modifier.getLocalVariables())
2015-01-23 01:35:27 +00:00
m_context.addAndInitializeVariable(*localVariable);
unsigned const c_stackSurplus = CompilerUtils::getSizeOnStack(modifier.getParameters()) +
CompilerUtils::getSizeOnStack(modifier.getLocalVariables());
2015-01-23 01:35:27 +00:00
m_stackCleanupForReturn += c_stackSurplus;
modifier.getBody().accept(*this);
2015-01-23 01:35:27 +00:00
for (unsigned i = 0; i < c_stackSurplus; ++i)
m_context << eth::Instruction::POP;
m_stackCleanupForReturn -= c_stackSurplus;
}
}
void Compiler::compileExpression(Expression const& _expression, TypePointer const& _targetType)
{
ExpressionCompiler::compileExpression(m_context, _expression, m_optimize);
2015-01-23 01:35:27 +00:00
if (_targetType)
ExpressionCompiler::appendTypeConversion(m_context, *_expression.getType(), *_targetType);
}
2014-10-20 10:41:56 +00:00
}
}