2014-12-08 17:52:30 +00:00
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
This file is part of solidity.
|
2014-12-08 17:52:30 +00:00
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is free software: you can redistribute it and/or modify
|
2014-12-08 17:52:30 +00:00
|
|
|
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.
|
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is distributed in the hope that it will be useful,
|
2014-12-08 17:52:30 +00:00
|
|
|
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
|
2016-11-18 23:13:20 +00:00
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
2014-12-08 17:52:30 +00:00
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2014
|
|
|
|
* Routines used by both the compiler and the expression compiler.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2015-10-20 22:21:52 +00:00
|
|
|
#include <libsolidity/codegen/CompilerContext.h>
|
|
|
|
#include <libsolidity/ast/ASTForward.h>
|
2014-12-08 17:52:30 +00:00
|
|
|
|
|
|
|
namespace dev {
|
|
|
|
namespace solidity {
|
|
|
|
|
|
|
|
class Type; // forward
|
|
|
|
|
|
|
|
class CompilerUtils
|
|
|
|
{
|
|
|
|
public:
|
2017-08-21 14:42:17 +00:00
|
|
|
explicit CompilerUtils(CompilerContext& _context): m_context(_context) {}
|
2014-12-08 17:52:30 +00:00
|
|
|
|
2015-06-05 15:32:13 +00:00
|
|
|
/// Stores the initial value of the free-memory-pointer at its position;
|
|
|
|
void initialiseFreeMemoryPointer();
|
|
|
|
/// Copies the free memory pointer to the stack.
|
2017-08-29 12:26:23 +00:00
|
|
|
/// Stack pre:
|
|
|
|
/// Stack post: <mem_start>
|
2015-06-05 15:32:13 +00:00
|
|
|
void fetchFreeMemoryPointer();
|
|
|
|
/// Stores the free memory pointer from the stack.
|
2017-08-29 12:26:23 +00:00
|
|
|
/// Stack pre: <mem_end>
|
|
|
|
/// Stack post:
|
2015-06-05 15:32:13 +00:00
|
|
|
void storeFreeMemoryPointer();
|
2015-06-25 15:51:01 +00:00
|
|
|
/// Allocates a number of bytes in memory as given on the stack.
|
|
|
|
/// Stack pre: <size>
|
|
|
|
/// Stack post: <mem_start>
|
|
|
|
void allocateMemory();
|
2015-06-05 22:57:51 +00:00
|
|
|
/// Appends code that transforms memptr to (memptr - free_memptr) memptr
|
2017-08-29 12:26:23 +00:00
|
|
|
/// Stack pre: <mem_end>
|
|
|
|
/// Stack post: <size> <mem_start>
|
2015-06-05 22:57:51 +00:00
|
|
|
void toSizeAfterFreeMemoryPointer();
|
2015-06-05 15:32:13 +00:00
|
|
|
|
2018-04-06 13:14:55 +00:00
|
|
|
/// Appends code that performs a revert, providing the given string data.
|
|
|
|
/// Will also append an error signature corresponding to Error(string).
|
|
|
|
/// @param _argumentType the type of the string argument, will be converted to memory string.
|
|
|
|
/// Stack pre: string data
|
|
|
|
/// Stack post:
|
|
|
|
void revertWithStringData(Type const& _argumentType);
|
|
|
|
|
2014-12-10 16:15:17 +00:00
|
|
|
/// Loads data from memory to the stack.
|
|
|
|
/// @param _offset offset in memory (or calldata)
|
2015-02-14 23:11:51 +00:00
|
|
|
/// @param _type data type to load
|
2014-12-10 16:15:17 +00:00
|
|
|
/// @param _fromCalldata if true, load from calldata, not from memory
|
2016-12-12 20:45:33 +00:00
|
|
|
/// @param _padToWords if true, assume the data is padded to full words (32 bytes)
|
2015-02-15 00:02:38 +00:00
|
|
|
/// @returns the number of bytes consumed in memory.
|
2015-03-05 14:41:39 +00:00
|
|
|
unsigned loadFromMemory(
|
|
|
|
unsigned _offset,
|
|
|
|
Type const& _type = IntegerType(256),
|
|
|
|
bool _fromCalldata = false,
|
2016-12-12 20:45:33 +00:00
|
|
|
bool _padToWords = false
|
2015-03-05 14:41:39 +00:00
|
|
|
);
|
2015-02-15 00:02:38 +00:00
|
|
|
/// Dynamic version of @see loadFromMemory, expects the memory offset on the stack.
|
|
|
|
/// Stack pre: memory_offset
|
|
|
|
/// Stack post: value... (memory_offset+length)
|
2015-03-05 14:41:39 +00:00
|
|
|
void loadFromMemoryDynamic(
|
|
|
|
Type const& _type,
|
|
|
|
bool _fromCalldata = false,
|
2016-12-12 20:45:33 +00:00
|
|
|
bool _padToWords = true,
|
2015-03-05 14:41:39 +00:00
|
|
|
bool _keepUpdatedMemoryOffset = true
|
|
|
|
);
|
2015-06-25 12:52:13 +00:00
|
|
|
/// Stores a 256 bit integer from stack in memory.
|
2014-12-10 16:15:17 +00:00
|
|
|
/// @param _offset offset in memory
|
2015-02-10 16:53:43 +00:00
|
|
|
/// @param _type type of the data on the stack
|
2015-06-25 12:52:13 +00:00
|
|
|
void storeInMemory(unsigned _offset);
|
2015-02-10 16:53:43 +00:00
|
|
|
/// Dynamic version of @see storeInMemory, expects the memory offset below the value on the stack
|
2015-06-25 15:51:01 +00:00
|
|
|
/// and also updates that. For reference types, only copies the data pointer. Fails for
|
|
|
|
/// non-memory-references.
|
2016-12-12 20:45:33 +00:00
|
|
|
/// @param _padToWords if true, adds zeros to pad to multiple of 32 bytes. Array elements
|
2015-06-23 12:55:33 +00:00
|
|
|
/// are always padded (except for byte arrays), regardless of this parameter.
|
2015-02-12 10:40:14 +00:00
|
|
|
/// Stack pre: memory_offset value...
|
|
|
|
/// Stack post: (memory_offset+length)
|
2016-12-12 20:45:33 +00:00
|
|
|
void storeInMemoryDynamic(Type const& _type, bool _padToWords = true);
|
2014-12-10 16:15:17 +00:00
|
|
|
|
2018-02-20 09:13:58 +00:00
|
|
|
/// Creates code that unpacks the arguments according to their types specified by a vector of TypePointers.
|
|
|
|
/// From memory if @a _fromMemory is true, otherwise from call data.
|
2017-12-13 16:23:37 +00:00
|
|
|
/// Calls revert if @a _revertOnOutOfBounds is true and the supplied size is shorter
|
|
|
|
/// than the static data requirements or if dynamic data pointers reach outside of the
|
|
|
|
/// area. Also has a hard cap of 0x100000000 for any given length/offset field.
|
|
|
|
/// Stack pre: <source_offset> <length>
|
|
|
|
/// Stack post: <value0> <value1> ... <valuen>
|
2018-06-04 10:31:18 +00:00
|
|
|
void abiDecode(TypePointers const& _typeParameters, bool _fromMemory = false);
|
2018-02-20 09:13:58 +00:00
|
|
|
|
2015-06-15 10:10:41 +00:00
|
|
|
/// Copies values (of types @a _givenTypes) given on the stack to a location in memory given
|
|
|
|
/// at the stack top, encoding them according to the ABI as the given types @a _targetTypes.
|
|
|
|
/// Removes the values from the stack and leaves the updated memory pointer.
|
|
|
|
/// Stack pre: <v1> <v2> ... <vn> <memptr>
|
|
|
|
/// Stack post: <memptr_updated>
|
|
|
|
/// Does not touch the memory-free pointer.
|
2016-12-12 20:45:33 +00:00
|
|
|
/// @param _padToWords if false, all values are concatenated without padding.
|
2015-06-15 10:10:41 +00:00
|
|
|
/// @param _copyDynamicDataInPlace if true, dynamic types is stored (without length)
|
|
|
|
/// together with fixed-length data.
|
2015-10-02 20:34:47 +00:00
|
|
|
/// @param _encodeAsLibraryTypes if true, encodes for a library function, e.g. does not
|
|
|
|
/// convert storage pointer types to memory types.
|
2015-06-15 10:10:41 +00:00
|
|
|
/// @note the locations of target reference types are ignored, because it will always be
|
|
|
|
/// memory.
|
|
|
|
void encodeToMemory(
|
2017-09-26 17:50:43 +00:00
|
|
|
TypePointers const& _givenTypes,
|
|
|
|
TypePointers const& _targetTypes,
|
|
|
|
bool _padToWords,
|
|
|
|
bool _copyDynamicDataInPlace,
|
2015-10-02 20:34:47 +00:00
|
|
|
bool _encodeAsLibraryTypes = false
|
2015-06-15 10:10:41 +00:00
|
|
|
);
|
|
|
|
|
2017-09-26 21:10:30 +00:00
|
|
|
/// Special case of @a encodeToMemory which assumes tight packing, e.g. no zero padding
|
|
|
|
/// and dynamic data is encoded in-place.
|
|
|
|
/// Stack pre: <value0> <value1> ... <valueN-1> <head_start>
|
|
|
|
/// Stack post: <mem_ptr>
|
|
|
|
void packedEncode(
|
|
|
|
TypePointers const& _givenTypes,
|
|
|
|
TypePointers const& _targetTypes,
|
|
|
|
bool _encodeAsLibraryTypes = false
|
|
|
|
)
|
|
|
|
{
|
|
|
|
encodeToMemory(_givenTypes, _targetTypes, false, true, _encodeAsLibraryTypes);
|
|
|
|
}
|
|
|
|
|
2017-08-07 14:46:09 +00:00
|
|
|
/// Special case of @a encodeToMemory which assumes that everything is padded to words
|
|
|
|
/// and dynamic data is not copied in place (i.e. a proper ABI encoding).
|
2017-08-29 12:26:23 +00:00
|
|
|
/// Stack pre: <value0> <value1> ... <valueN-1> <head_start>
|
|
|
|
/// Stack post: <mem_ptr>
|
2017-08-07 14:46:09 +00:00
|
|
|
void abiEncode(
|
|
|
|
TypePointers const& _givenTypes,
|
|
|
|
TypePointers const& _targetTypes,
|
|
|
|
bool _encodeAsLibraryTypes = false
|
2017-09-26 21:10:30 +00:00
|
|
|
)
|
|
|
|
{
|
|
|
|
encodeToMemory(_givenTypes, _targetTypes, true, false, _encodeAsLibraryTypes);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Special case of @a encodeToMemory which assumes that everything is padded to words
|
|
|
|
/// and dynamic data is not copied in place (i.e. a proper ABI encoding).
|
|
|
|
/// Uses a new, less tested encoder implementation.
|
|
|
|
/// Stack pre: <value0> <value1> ... <valueN-1> <head_start>
|
|
|
|
/// Stack post: <mem_ptr>
|
|
|
|
void abiEncodeV2(
|
|
|
|
TypePointers const& _givenTypes,
|
|
|
|
TypePointers const& _targetTypes,
|
|
|
|
bool _encodeAsLibraryTypes = false
|
2017-08-07 14:46:09 +00:00
|
|
|
);
|
|
|
|
|
2017-09-01 11:59:21 +00:00
|
|
|
/// Decodes data from ABI encoding into internal encoding. If @a _fromMemory is set to true,
|
|
|
|
/// the data is taken from memory instead of from calldata.
|
|
|
|
/// Can allocate memory.
|
2017-12-13 16:23:37 +00:00
|
|
|
/// Stack pre: <source_offset> <length>
|
2017-09-01 11:59:21 +00:00
|
|
|
/// Stack post: <value0> <value1> ... <valuen>
|
|
|
|
void abiDecodeV2(TypePointers const& _parameterTypes, bool _fromMemory = false);
|
|
|
|
|
2015-11-17 14:15:00 +00:00
|
|
|
/// Zero-initialises (the data part of) an already allocated memory array.
|
2016-07-28 15:19:17 +00:00
|
|
|
/// Length has to be nonzero!
|
2015-11-17 14:15:00 +00:00
|
|
|
/// Stack pre: <length> <memptr>
|
|
|
|
/// Stack post: <updated_memptr>
|
|
|
|
void zeroInitialiseMemoryArray(ArrayType const& _type);
|
|
|
|
|
2016-12-11 16:51:17 +00:00
|
|
|
/// Copies full 32 byte words in memory (regions cannot overlap), i.e. may copy more than length.
|
2017-06-26 14:27:12 +00:00
|
|
|
/// Length can be zero, in this case, it copies nothing.
|
2016-12-11 16:51:17 +00:00
|
|
|
/// Stack pre: <size> <target> <source>
|
|
|
|
/// Stack post:
|
|
|
|
void memoryCopy32();
|
|
|
|
/// Copies data in memory (regions cannot overlap).
|
2017-06-26 14:27:12 +00:00
|
|
|
/// Length can be zero, in this case, it copies nothing.
|
2016-12-11 16:51:17 +00:00
|
|
|
/// Stack pre: <size> <target> <source>
|
|
|
|
/// Stack post:
|
|
|
|
void memoryCopy();
|
2015-06-23 12:55:33 +00:00
|
|
|
|
2016-10-19 16:43:31 +00:00
|
|
|
/// Converts the combined and left-aligned (right-aligned if @a _rightAligned is true)
|
2016-11-14 12:13:37 +00:00
|
|
|
/// external function type <address><function identifier> into two stack slots:
|
2016-10-14 10:27:46 +00:00
|
|
|
/// address (right aligned), function identifier (right aligned)
|
2016-10-19 16:43:31 +00:00
|
|
|
void splitExternalFunctionType(bool _rightAligned);
|
|
|
|
/// Performs the opposite operation of splitExternalFunctionType(_rightAligned)
|
|
|
|
void combineExternalFunctionType(bool _rightAligned);
|
2016-11-10 17:16:21 +00:00
|
|
|
/// Appends code that combines the construction-time (if available) and runtime function
|
|
|
|
/// entry label of the given function into a single stack slot.
|
|
|
|
/// Note: This might cause the compilation queue of the runtime context to be extended.
|
2018-03-27 02:39:37 +00:00
|
|
|
/// If @a _runtimeOnly, the entry label will include the runtime assembly tag.
|
|
|
|
void pushCombinedFunctionEntryLabel(Declaration const& _function, bool _runtimeOnly = true);
|
2016-10-14 10:27:46 +00:00
|
|
|
|
2015-06-17 10:01:39 +00:00
|
|
|
/// Appends code for an implicit or explicit type conversion. This includes erasing higher
|
|
|
|
/// order bits (@see appendHighBitCleanup) when widening integer but also copy to memory
|
|
|
|
/// if a reference type is converted from calldata or storage to memory.
|
2015-06-15 10:10:41 +00:00
|
|
|
/// If @a _cleanupNeeded, high order bits cleanup is also done if no type conversion would be
|
|
|
|
/// necessary.
|
2016-11-24 10:31:14 +00:00
|
|
|
/// If @a _chopSignBits, the function resets the signed bits out of the width of the signed integer.
|
2017-05-24 09:47:43 +00:00
|
|
|
/// If @a _asPartOfArgumentDecoding is true, failed conversions are flagged via REVERT,
|
|
|
|
/// otherwise they are flagged with INVALID.
|
|
|
|
void convertType(
|
|
|
|
Type const& _typeOnStack,
|
|
|
|
Type const& _targetType,
|
|
|
|
bool _cleanupNeeded = false,
|
|
|
|
bool _chopSignBits = false,
|
|
|
|
bool _asPartOfArgumentDecoding = false
|
|
|
|
);
|
2015-06-15 10:10:41 +00:00
|
|
|
|
2015-06-25 15:51:01 +00:00
|
|
|
/// Creates a zero-value for the given type and puts it onto the stack. This might allocate
|
|
|
|
/// memory for memory references.
|
|
|
|
void pushZeroValue(Type const& _type);
|
2018-03-13 14:21:38 +00:00
|
|
|
/// Pushes a pointer to the stack that points to a (potentially shared) location in memory
|
|
|
|
/// that always contains a zero. It is not allowed to write there.
|
|
|
|
void pushZeroPointer();
|
2015-06-25 15:51:01 +00:00
|
|
|
|
2014-12-08 17:52:30 +00:00
|
|
|
/// Moves the value that is at the top of the stack to a stack variable.
|
|
|
|
void moveToStackVariable(VariableDeclaration const& _variable);
|
2015-03-03 16:55:28 +00:00
|
|
|
/// Copies an item that occupies @a _itemSize stack slots from a stack depth of @a _stackDepth
|
|
|
|
/// to the top of the stack.
|
|
|
|
void copyToStackTop(unsigned _stackDepth, unsigned _itemSize);
|
2015-10-14 13:19:50 +00:00
|
|
|
/// Moves an item that occupies @a _itemSize stack slots and has items occupying @a _stackDepth
|
|
|
|
/// slots above it to the top of the stack.
|
|
|
|
void moveToStackTop(unsigned _stackDepth, unsigned _itemSize = 1);
|
|
|
|
/// Moves @a _itemSize elements past @a _stackDepth other stack elements
|
|
|
|
void moveIntoStack(unsigned _stackDepth, unsigned _itemSize = 1);
|
2015-11-30 16:32:54 +00:00
|
|
|
/// Rotates the topmost @a _items items on the stack, such that the previously topmost element
|
|
|
|
/// is bottom-most.
|
|
|
|
void rotateStackUp(unsigned _items);
|
|
|
|
/// Rotates the topmost @a _items items on the stack, such that the previously bottom-most element
|
|
|
|
/// is now topmost.
|
|
|
|
void rotateStackDown(unsigned _items);
|
2014-12-08 17:52:30 +00:00
|
|
|
/// Removes the current value from the top of the stack.
|
|
|
|
void popStackElement(Type const& _type);
|
2015-04-01 12:22:42 +00:00
|
|
|
/// Removes element from the top of the stack _amount times.
|
|
|
|
void popStackSlots(size_t _amount);
|
2018-07-04 12:14:41 +00:00
|
|
|
/// Pops slots from the stack such that its height is _toHeight.
|
|
|
|
/// Adds jump to _jumpTo.
|
|
|
|
/// Readjusts the stack offset to the original value.
|
|
|
|
void popAndJump(unsigned _toHeight, eth::AssemblyItem const& _jumpTo);
|
2014-12-08 21:18:19 +00:00
|
|
|
|
|
|
|
template <class T>
|
2015-08-31 16:44:29 +00:00
|
|
|
static unsigned sizeOnStack(std::vector<T> const& _variables);
|
|
|
|
static unsigned sizeOnStack(std::vector<std::shared_ptr<Type const>> const& _variableTypes);
|
2014-12-08 21:18:19 +00:00
|
|
|
|
2016-11-21 12:23:43 +00:00
|
|
|
/// Helper function to shift top value on the stack to the left.
|
2017-08-29 12:26:23 +00:00
|
|
|
/// Stack pre: <value> <shift_by_bits>
|
|
|
|
/// Stack post: <shifted_value>
|
2016-11-30 10:03:26 +00:00
|
|
|
void leftShiftNumberOnStack(unsigned _bits);
|
2016-11-21 12:23:43 +00:00
|
|
|
|
|
|
|
/// Helper function to shift top value on the stack to the right.
|
2017-08-29 12:26:23 +00:00
|
|
|
/// Stack pre: <value> <shift_by_bits>
|
|
|
|
/// Stack post: <shifted_value>
|
2018-04-06 14:25:13 +00:00
|
|
|
void rightShiftNumberOnStack(unsigned _bits);
|
2016-11-21 12:23:43 +00:00
|
|
|
|
2017-05-10 07:48:00 +00:00
|
|
|
/// Appends code that computes tha Keccak-256 hash of the topmost stack element of 32 byte type.
|
2015-06-25 12:52:13 +00:00
|
|
|
void computeHashStatic();
|
2015-02-11 13:24:34 +00:00
|
|
|
|
2015-01-08 23:27:26 +00:00
|
|
|
/// Bytes we need to the start of call data.
|
|
|
|
/// - The size in bytes of the function (hash) identifier.
|
2015-06-05 15:32:13 +00:00
|
|
|
static const unsigned dataStartOffset;
|
|
|
|
|
|
|
|
/// Position of the free-memory-pointer in memory;
|
|
|
|
static const size_t freeMemoryPointer;
|
2018-03-13 14:21:38 +00:00
|
|
|
/// Position of the memory slot that is always zero.
|
|
|
|
static const size_t zeroPointer;
|
|
|
|
/// Starting offset for memory available to the user (aka the contract).
|
|
|
|
static const size_t generalPurposeMemoryStart;
|
2015-02-10 16:53:43 +00:00
|
|
|
|
2014-12-08 17:52:30 +00:00
|
|
|
private:
|
2015-06-15 10:10:41 +00:00
|
|
|
/// Address of the precompiled identity contract.
|
|
|
|
static const unsigned identityContractAddress;
|
|
|
|
|
2015-07-07 23:13:56 +00:00
|
|
|
/// Stores the given string in memory.
|
|
|
|
/// Stack pre: mempos
|
|
|
|
/// Stack post:
|
|
|
|
void storeStringData(bytesConstRef _data);
|
|
|
|
|
|
|
|
/// Appends code that cleans higher-order bits for integer types.
|
2015-06-15 10:10:41 +00:00
|
|
|
void cleanHigherOrderBits(IntegerType const& _typeOnStack);
|
|
|
|
|
2015-02-12 10:40:14 +00:00
|
|
|
/// Prepares the given type for storing in memory by shifting it if necessary.
|
2016-12-12 20:45:33 +00:00
|
|
|
unsigned prepareMemoryStore(Type const& _type, bool _padToWords);
|
2015-02-15 00:02:38 +00:00
|
|
|
/// Loads type from memory assuming memory offset is on stack top.
|
2016-12-12 20:45:33 +00:00
|
|
|
unsigned loadFromMemoryHelper(Type const& _type, bool _fromCalldata, bool _padToWords);
|
2015-02-10 16:53:43 +00:00
|
|
|
|
2014-12-08 17:52:30 +00:00
|
|
|
CompilerContext& m_context;
|
|
|
|
};
|
|
|
|
|
2015-01-08 23:27:26 +00:00
|
|
|
|
2014-12-08 21:18:19 +00:00
|
|
|
template <class T>
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned CompilerUtils::sizeOnStack(std::vector<T> const& _variables)
|
2014-12-08 21:18:19 +00:00
|
|
|
{
|
|
|
|
unsigned size = 0;
|
|
|
|
for (T const& variable: _variables)
|
2015-09-16 14:56:30 +00:00
|
|
|
size += variable->annotation().type->sizeOnStack();
|
2014-12-08 21:18:19 +00:00
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2014-12-08 17:52:30 +00:00
|
|
|
}
|
|
|
|
}
|