aboutsummaryrefslogtreecommitdiffstats
path: root/src/LValue.cpp
diff options
context:
space:
mode:
authorLefteris Karapetsas <lefteris@refu.co>2015-08-19 20:57:25 +0800
committerLefteris Karapetsas <lefteris@refu.co>2015-08-19 20:57:25 +0800
commit1690f1c947b1b1bfaf84d0a586d2a56ffed11f37 (patch)
treecbf27ebb57b629ae7a4a10cc1342a359481de7d3 /src/LValue.cpp
parent2f41438715137e7f123481b2ca8e163a4d35bd78 (diff)
downloaddexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.tar
dexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.tar.gz
dexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.tar.bz2
dexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.tar.lz
dexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.tar.xz
dexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.tar.zst
dexon-solidity-1690f1c947b1b1bfaf84d0a586d2a56ffed11f37.zip
Add CMakeLists.txt for libsolidity
Diffstat (limited to 'src/LValue.cpp')
-rw-r--r--src/LValue.cpp457
1 files changed, 0 insertions, 457 deletions
diff --git a/src/LValue.cpp b/src/LValue.cpp
deleted file mode 100644
index 5c43fb82..00000000
--- a/src/LValue.cpp
+++ /dev/null
@@ -1,457 +0,0 @@
-/*
- 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 2015
- * LValues for use in the expresison compiler.
- */
-
-#include <libsolidity/LValue.h>
-#include <libevmcore/Instruction.h>
-#include <libsolidity/Types.h>
-#include <libsolidity/AST.h>
-#include <libsolidity/CompilerUtils.h>
-
-using namespace std;
-using namespace dev;
-using namespace solidity;
-
-
-StackVariable::StackVariable(CompilerContext& _compilerContext, Declaration const& _declaration):
- LValue(_compilerContext, *_declaration.getType()),
- m_baseStackOffset(m_context.getBaseStackOffsetOfVariable(_declaration)),
- m_size(m_dataType.getSizeOnStack())
-{
-}
-
-void StackVariable::retrieveValue(SourceLocation const& _location, bool) const
-{
- unsigned stackPos = m_context.baseToCurrentStackOffset(m_baseStackOffset);
- if (stackPos + 1 > 16) //@todo correct this by fetching earlier or moving to memory
- BOOST_THROW_EXCEPTION(
- CompilerError() <<
- errinfo_sourceLocation(_location) <<
- errinfo_comment("Stack too deep, try removing local variables.")
- );
- solAssert(stackPos + 1 >= m_size, "Size and stack pos mismatch.");
- for (unsigned i = 0; i < m_size; ++i)
- m_context << eth::dupInstruction(stackPos + 1);
-}
-
-void StackVariable::storeValue(Type const&, SourceLocation const& _location, bool _move) const
-{
- unsigned stackDiff = m_context.baseToCurrentStackOffset(m_baseStackOffset) - m_size + 1;
- if (stackDiff > 16)
- BOOST_THROW_EXCEPTION(
- CompilerError() <<
- errinfo_sourceLocation(_location) <<
- errinfo_comment("Stack too deep, try removing local variables.")
- );
- else if (stackDiff > 0)
- for (unsigned i = 0; i < m_size; ++i)
- m_context << eth::swapInstruction(stackDiff) << eth::Instruction::POP;
- if (!_move)
- retrieveValue(_location);
-}
-
-void StackVariable::setToZero(SourceLocation const& _location, bool) const
-{
- CompilerUtils(m_context).pushZeroValue(m_dataType);
- storeValue(m_dataType, _location, true);
-}
-
-MemoryItem::MemoryItem(CompilerContext& _compilerContext, Type const& _type, bool _padded):
- LValue(_compilerContext, _type),
- m_padded(_padded)
-{
-}
-
-void MemoryItem::retrieveValue(SourceLocation const&, bool _remove) const
-{
- if (m_dataType.isValueType())
- {
- if (!_remove)
- m_context << eth::Instruction::DUP1;
- CompilerUtils(m_context).loadFromMemoryDynamic(m_dataType, false, m_padded, false);
- }
- else
- m_context << eth::Instruction::MLOAD;
-}
-
-void MemoryItem::storeValue(Type const& _sourceType, SourceLocation const&, bool _move) const
-{
- CompilerUtils utils(m_context);
- if (m_dataType.isValueType())
- {
- solAssert(_sourceType.isValueType(), "");
- utils.moveIntoStack(_sourceType.getSizeOnStack());
- utils.convertType(_sourceType, m_dataType, true);
- if (!_move)
- {
- utils.moveToStackTop(m_dataType.getSizeOnStack());
- utils.copyToStackTop(2, m_dataType.getSizeOnStack());
- }
- utils.storeInMemoryDynamic(m_dataType, m_padded);
- m_context << eth::Instruction::POP;
- }
- else
- {
- solAssert(_sourceType == m_dataType, "Conversion not implemented for assignment to memory.");
-
- solAssert(m_dataType.getSizeOnStack() == 1, "");
- if (!_move)
- m_context << eth::Instruction::DUP2 << eth::Instruction::SWAP1;
- // stack: [value] value lvalue
- // only store the reference
- m_context << eth::Instruction::MSTORE;
- }
-}
-
-void MemoryItem::setToZero(SourceLocation const&, bool _removeReference) const
-{
- CompilerUtils utils(m_context);
- if (!_removeReference)
- m_context << eth::Instruction::DUP1;
- utils.pushZeroValue(m_dataType);
- utils.storeInMemoryDynamic(m_dataType, m_padded);
- m_context << eth::Instruction::POP;
-}
-
-StorageItem::StorageItem(CompilerContext& _compilerContext, Declaration const& _declaration):
- StorageItem(_compilerContext, *_declaration.getType())
-{
- auto const& location = m_context.getStorageLocationOfVariable(_declaration);
- m_context << location.first << u256(location.second);
-}
-
-StorageItem::StorageItem(CompilerContext& _compilerContext, Type const& _type):
- LValue(_compilerContext, _type)
-{
- if (m_dataType.isValueType())
- {
- solAssert(m_dataType.getStorageSize() == m_dataType.getSizeOnStack(), "");
- solAssert(m_dataType.getStorageSize() == 1, "Invalid storage size.");
- }
-}
-
-void StorageItem::retrieveValue(SourceLocation const&, bool _remove) const
-{
- // stack: storage_key storage_offset
- if (!m_dataType.isValueType())
- {
- solAssert(m_dataType.getSizeOnStack() == 1, "Invalid storage ref size.");
- if (_remove)
- m_context << eth::Instruction::POP; // remove byte offset
- else
- m_context << eth::Instruction::DUP2;
- return;
- }
- if (!_remove)
- CompilerUtils(m_context).copyToStackTop(sizeOnStack(), sizeOnStack());
- if (m_dataType.getStorageBytes() == 32)
- m_context << eth::Instruction::POP << eth::Instruction::SLOAD;
- else
- {
- m_context
- << eth::Instruction::SWAP1 << eth::Instruction::SLOAD << eth::Instruction::SWAP1
- << u256(0x100) << eth::Instruction::EXP << eth::Instruction::SWAP1 << eth::Instruction::DIV;
- if (m_dataType.getCategory() == Type::Category::FixedBytes)
- m_context << (u256(0x1) << (256 - 8 * m_dataType.getStorageBytes())) << eth::Instruction::MUL;
- else if (
- m_dataType.getCategory() == Type::Category::Integer &&
- dynamic_cast<IntegerType const&>(m_dataType).isSigned()
- )
- m_context << u256(m_dataType.getStorageBytes() - 1) << eth::Instruction::SIGNEXTEND;
- else
- m_context << ((u256(0x1) << (8 * m_dataType.getStorageBytes())) - 1) << eth::Instruction::AND;
- }
-}
-
-void StorageItem::storeValue(Type const& _sourceType, SourceLocation const& _location, bool _move) const
-{
- CompilerUtils utils(m_context);
- // stack: value storage_key storage_offset
- if (m_dataType.isValueType())
- {
- solAssert(m_dataType.getStorageBytes() <= 32, "Invalid storage bytes size.");
- solAssert(m_dataType.getStorageBytes() > 0, "Invalid storage bytes size.");
- if (m_dataType.getStorageBytes() == 32)
- {
- // offset should be zero
- m_context << eth::Instruction::POP;
- if (!_move)
- m_context << eth::Instruction::DUP2 << eth::Instruction::SWAP1;
- m_context << eth::Instruction::SSTORE;
- }
- else
- {
- // OR the value into the other values in the storage slot
- m_context << u256(0x100) << eth::Instruction::EXP;
- // stack: value storage_ref multiplier
- // fetch old value
- m_context << eth::Instruction::DUP2 << eth::Instruction::SLOAD;
- // stack: value storege_ref multiplier old_full_value
- // clear bytes in old value
- m_context
- << eth::Instruction::DUP2 << ((u256(1) << (8 * m_dataType.getStorageBytes())) - 1)
- << eth::Instruction::MUL;
- m_context << eth::Instruction::NOT << eth::Instruction::AND;
- // stack: value storage_ref multiplier cleared_value
- m_context
- << eth::Instruction::SWAP1 << eth::Instruction::DUP4;
- // stack: value storage_ref cleared_value multiplier value
- if (m_dataType.getCategory() == Type::Category::FixedBytes)
- m_context
- << (u256(0x1) << (256 - 8 * dynamic_cast<FixedBytesType const&>(m_dataType).numBytes()))
- << eth::Instruction::SWAP1 << eth::Instruction::DIV;
- else if (
- m_dataType.getCategory() == Type::Category::Integer &&
- dynamic_cast<IntegerType const&>(m_dataType).isSigned()
- )
- // remove the higher order bits
- m_context
- << (u256(1) << (8 * (32 - m_dataType.getStorageBytes())))
- << eth::Instruction::SWAP1
- << eth::Instruction::DUP2
- << eth::Instruction::MUL
- << eth::Instruction::DIV;
- m_context << eth::Instruction::MUL << eth::Instruction::OR;
- // stack: value storage_ref updated_value
- m_context << eth::Instruction::SWAP1 << eth::Instruction::SSTORE;
- if (_move)
- m_context << eth::Instruction::POP;
- }
- }
- else
- {
- solAssert(
- _sourceType.getCategory() == m_dataType.getCategory(),
- "Wrong type conversation for assignment.");
- if (m_dataType.getCategory() == Type::Category::Array)
- {
- m_context << eth::Instruction::POP; // remove byte offset
- ArrayUtils(m_context).copyArrayToStorage(
- dynamic_cast<ArrayType const&>(m_dataType),
- dynamic_cast<ArrayType const&>(_sourceType));
- if (_move)
- m_context << eth::Instruction::POP;
- }
- else if (m_dataType.getCategory() == Type::Category::Struct)
- {
- // stack layout: source_ref target_ref target_offset
- // note that we have structs, so offset should be zero and are ignored
- m_context << eth::Instruction::POP;
- auto const& structType = dynamic_cast<StructType const&>(m_dataType);
- auto const& sourceType = dynamic_cast<StructType const&>(_sourceType);
- solAssert(
- structType.structDefinition() == sourceType.structDefinition(),
- "Struct assignment with conversion."
- );
- solAssert(sourceType.location() != DataLocation::CallData, "Structs in calldata not supported.");
- for (auto const& member: structType.getMembers())
- {
- // assign each member that is not a mapping
- TypePointer const& memberType = member.type;
- if (memberType->getCategory() == Type::Category::Mapping)
- continue;
- TypePointer sourceMemberType = sourceType.getMemberType(member.name);
- if (sourceType.location() == DataLocation::Storage)
- {
- // stack layout: source_ref target_ref
- pair<u256, unsigned> const& offsets = sourceType.getStorageOffsetsOfMember(member.name);
- m_context << offsets.first << eth::Instruction::DUP3 << eth::Instruction::ADD;
- m_context << u256(offsets.second);
- // stack: source_ref target_ref source_member_ref source_member_off
- StorageItem(m_context, *sourceMemberType).retrieveValue(_location, true);
- // stack: source_ref target_ref source_value...
- }
- else
- {
- solAssert(sourceType.location() == DataLocation::Memory, "");
- // stack layout: source_ref target_ref
- TypePointer sourceMemberType = sourceType.getMemberType(member.name);
- m_context << sourceType.memoryOffsetOfMember(member.name);
- m_context << eth::Instruction::DUP3 << eth::Instruction::ADD;
- MemoryItem(m_context, *sourceMemberType).retrieveValue(_location, true);
- // stack layout: source_ref target_ref source_value...
- }
- unsigned stackSize = sourceMemberType->getSizeOnStack();
- pair<u256, unsigned> const& offsets = structType.getStorageOffsetsOfMember(member.name);
- m_context << eth::dupInstruction(1 + stackSize) << offsets.first << eth::Instruction::ADD;
- m_context << u256(offsets.second);
- // stack: source_ref target_ref target_off source_value... target_member_ref target_member_byte_off
- StorageItem(m_context, *memberType).storeValue(*sourceMemberType, _location, true);
- }
- // stack layout: source_ref target_ref
- solAssert(sourceType.getSizeOnStack() == 1, "Unexpected source size.");
- if (_move)
- utils.popStackSlots(2);
- else
- m_context << eth::Instruction::SWAP1 << eth::Instruction::POP;
- }
- else
- BOOST_THROW_EXCEPTION(
- InternalCompilerError()
- << errinfo_sourceLocation(_location)
- << errinfo_comment("Invalid non-value type for assignment."));
- }
-}
-
-void StorageItem::setToZero(SourceLocation const&, bool _removeReference) const
-{
- if (m_dataType.getCategory() == Type::Category::Array)
- {
- if (!_removeReference)
- CompilerUtils(m_context).copyToStackTop(sizeOnStack(), sizeOnStack());
- ArrayUtils(m_context).clearArray(dynamic_cast<ArrayType const&>(m_dataType));
- }
- else if (m_dataType.getCategory() == Type::Category::Struct)
- {
- // stack layout: storage_key storage_offset
- // @todo this can be improved: use StorageItem for non-value types, and just store 0 in
- // all slots that contain value types later.
- auto const& structType = dynamic_cast<StructType const&>(m_dataType);
- for (auto const& member: structType.getMembers())
- {
- // zero each member that is not a mapping
- TypePointer const& memberType = member.type;
- if (memberType->getCategory() == Type::Category::Mapping)
- continue;
- pair<u256, unsigned> const& offsets = structType.getStorageOffsetsOfMember(member.name);
- m_context
- << offsets.first << eth::Instruction::DUP3 << eth::Instruction::ADD
- << u256(offsets.second);
- StorageItem(m_context, *memberType).setToZero();
- }
- if (_removeReference)
- m_context << eth::Instruction::POP << eth::Instruction::POP;
- }
- else
- {
- solAssert(m_dataType.isValueType(), "Clearing of unsupported type requested: " + m_dataType.toString());
- if (!_removeReference)
- CompilerUtils(m_context).copyToStackTop(sizeOnStack(), sizeOnStack());
- if (m_dataType.getStorageBytes() == 32)
- {
- // offset should be zero
- m_context
- << eth::Instruction::POP << u256(0)
- << eth::Instruction::SWAP1 << eth::Instruction::SSTORE;
- }
- else
- {
- m_context << u256(0x100) << eth::Instruction::EXP;
- // stack: storage_ref multiplier
- // fetch old value
- m_context << eth::Instruction::DUP2 << eth::Instruction::SLOAD;
- // stack: storege_ref multiplier old_full_value
- // clear bytes in old value
- m_context
- << eth::Instruction::SWAP1 << ((u256(1) << (8 * m_dataType.getStorageBytes())) - 1)
- << eth::Instruction::MUL;
- m_context << eth::Instruction::NOT << eth::Instruction::AND;
- // stack: storage_ref cleared_value
- m_context << eth::Instruction::SWAP1 << eth::Instruction::SSTORE;
- }
- }
-}
-
-/// Used in StorageByteArrayElement
-static FixedBytesType byteType(1);
-
-StorageByteArrayElement::StorageByteArrayElement(CompilerContext& _compilerContext):
- LValue(_compilerContext, byteType)
-{
-}
-
-void StorageByteArrayElement::retrieveValue(SourceLocation const&, bool _remove) const
-{
- // stack: ref byte_number
- if (_remove)
- m_context << eth::Instruction::SWAP1 << eth::Instruction::SLOAD
- << eth::Instruction::SWAP1 << eth::Instruction::BYTE;
- else
- m_context << eth::Instruction::DUP2 << eth::Instruction::SLOAD
- << eth::Instruction::DUP2 << eth::Instruction::BYTE;
- m_context << (u256(1) << (256 - 8)) << eth::Instruction::MUL;
-}
-
-void StorageByteArrayElement::storeValue(Type const&, SourceLocation const&, bool _move) const
-{
- // stack: value ref byte_number
- m_context << u256(31) << eth::Instruction::SUB << u256(0x100) << eth::Instruction::EXP;
- // stack: value ref (1<<(8*(31-byte_number)))
- m_context << eth::Instruction::DUP2 << eth::Instruction::SLOAD;
- // stack: value ref (1<<(8*(31-byte_number))) old_full_value
- // clear byte in old value
- m_context << eth::Instruction::DUP2 << u256(0xff) << eth::Instruction::MUL
- << eth::Instruction::NOT << eth::Instruction::AND;
- // stack: value ref (1<<(32-byte_number)) old_full_value_with_cleared_byte
- m_context << eth::Instruction::SWAP1;
- m_context << (u256(1) << (256 - 8)) << eth::Instruction::DUP5 << eth::Instruction::DIV
- << eth::Instruction::MUL << eth::Instruction::OR;
- // stack: value ref new_full_value
- m_context << eth::Instruction::SWAP1 << eth::Instruction::SSTORE;
- if (_move)
- m_context << eth::Instruction::POP;
-}
-
-void StorageByteArrayElement::setToZero(SourceLocation const&, bool _removeReference) const
-{
- // stack: ref byte_number
- if (!_removeReference)
- m_context << eth::Instruction::DUP2 << eth::Instruction::DUP2;
- m_context << u256(31) << eth::Instruction::SUB << u256(0x100) << eth::Instruction::EXP;
- // stack: ref (1<<(8*(31-byte_number)))
- m_context << eth::Instruction::DUP2 << eth::Instruction::SLOAD;
- // stack: ref (1<<(8*(31-byte_number))) old_full_value
- // clear byte in old value
- m_context << eth::Instruction::SWAP1 << u256(0xff) << eth::Instruction::MUL;
- m_context << eth::Instruction::NOT << eth::Instruction::AND;
- // stack: ref old_full_value_with_cleared_byte
- m_context << eth::Instruction::SWAP1 << eth::Instruction::SSTORE;
-}
-
-StorageArrayLength::StorageArrayLength(CompilerContext& _compilerContext, const ArrayType& _arrayType):
- LValue(_compilerContext, *_arrayType.getMemberType("length")),
- m_arrayType(_arrayType)
-{
- solAssert(m_arrayType.isDynamicallySized(), "");
-}
-
-void StorageArrayLength::retrieveValue(SourceLocation const&, bool _remove) const
-{
- if (!_remove)
- m_context << eth::Instruction::DUP1;
- m_context << eth::Instruction::SLOAD;
-}
-
-void StorageArrayLength::storeValue(Type const&, SourceLocation const&, bool _move) const
-{
- if (_move)
- m_context << eth::Instruction::SWAP1;
- else
- m_context << eth::Instruction::DUP2;
- ArrayUtils(m_context).resizeDynamicArray(m_arrayType);
-}
-
-void StorageArrayLength::setToZero(SourceLocation const&, bool _removeReference) const
-{
- if (!_removeReference)
- m_context << eth::Instruction::DUP1;
- ArrayUtils(m_context).clearDynamicArray(m_arrayType);
-}