2016-04-01 20:11:01 +00:00
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
This file is part of solidity.
|
2016-04-01 20:11:01 +00:00
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is free software: you can redistribute it and/or modify
|
2016-04-01 20:11:01 +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,
|
2016-04-01 20:11:01 +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/>.
|
2016-04-01 20:11:01 +00:00
|
|
|
*/
|
2020-07-17 14:54:12 +00:00
|
|
|
// SPDX-License-Identifier: GPL-3.0
|
2016-04-01 20:11:01 +00:00
|
|
|
/** @file Instruction.h
|
|
|
|
* @author Gav Wood <i@gavwood.com>
|
|
|
|
* @date 2014
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2019-03-28 11:47:21 +00:00
|
|
|
#include <libevmasm/Exceptions.h>
|
2020-01-06 10:52:23 +00:00
|
|
|
#include <libsolutil/Common.h>
|
|
|
|
#include <libsolutil/Assertions.h>
|
2022-11-23 10:51:34 +00:00
|
|
|
#include <liblangutil/EVMVersion.h>
|
2016-04-01 20:11:01 +00:00
|
|
|
|
2019-12-11 16:31:36 +00:00
|
|
|
namespace solidity::evmasm
|
2016-04-01 20:11:01 +00:00
|
|
|
{
|
|
|
|
|
|
|
|
/// Virtual machine bytecode instruction.
|
|
|
|
enum class Instruction: uint8_t
|
|
|
|
{
|
|
|
|
STOP = 0x00, ///< halts execution
|
|
|
|
ADD, ///< addition operation
|
2018-04-27 15:31:30 +00:00
|
|
|
MUL, ///< multiplication operation
|
2016-04-01 20:11:01 +00:00
|
|
|
SUB, ///< subtraction operation
|
|
|
|
DIV, ///< integer division operation
|
|
|
|
SDIV, ///< signed integer division operation
|
|
|
|
MOD, ///< modulo remainder operation
|
|
|
|
SMOD, ///< signed modulo remainder operation
|
|
|
|
ADDMOD, ///< unsigned modular addition
|
|
|
|
MULMOD, ///< unsigned modular multiplication
|
|
|
|
EXP, ///< exponential operation
|
|
|
|
SIGNEXTEND, ///< extend length of signed integer
|
|
|
|
|
2018-04-27 15:31:30 +00:00
|
|
|
LT = 0x10, ///< less-than comparison
|
|
|
|
GT, ///< greater-than comparison
|
|
|
|
SLT, ///< signed less-than comparison
|
|
|
|
SGT, ///< signed greater-than comparison
|
|
|
|
EQ, ///< equality comparison
|
2016-04-01 20:11:01 +00:00
|
|
|
ISZERO, ///< simple not operator
|
|
|
|
AND, ///< bitwise AND operation
|
|
|
|
OR, ///< bitwise OR operation
|
|
|
|
XOR, ///< bitwise XOR operation
|
2017-02-06 22:14:17 +00:00
|
|
|
NOT, ///< bitwise NOT operation
|
2016-04-01 20:11:01 +00:00
|
|
|
BYTE, ///< retrieve single byte from word
|
2017-02-06 22:14:17 +00:00
|
|
|
SHL, ///< bitwise SHL operation
|
|
|
|
SHR, ///< bitwise SHR operation
|
|
|
|
SAR, ///< bitwise SAR operation
|
2016-04-01 20:11:01 +00:00
|
|
|
|
2017-05-10 07:48:00 +00:00
|
|
|
KECCAK256 = 0x20, ///< compute KECCAK-256 hash
|
2016-04-01 20:11:01 +00:00
|
|
|
|
|
|
|
ADDRESS = 0x30, ///< get address of currently executing account
|
|
|
|
BALANCE, ///< get balance of the given account
|
|
|
|
ORIGIN, ///< get execution origination address
|
|
|
|
CALLER, ///< get caller address
|
|
|
|
CALLVALUE, ///< get deposited value by the instruction/transaction responsible for this execution
|
|
|
|
CALLDATALOAD, ///< get input data of current environment
|
|
|
|
CALLDATASIZE, ///< get size of input data in current environment
|
|
|
|
CALLDATACOPY, ///< copy input data in current environment to memory
|
|
|
|
CODESIZE, ///< get size of code running in current environment
|
|
|
|
CODECOPY, ///< copy code running in current environment to memory
|
|
|
|
GASPRICE, ///< get price of gas in current environment
|
|
|
|
EXTCODESIZE, ///< get external code size (from another contract)
|
|
|
|
EXTCODECOPY, ///< copy external code (from another contract)
|
2017-06-08 14:44:03 +00:00
|
|
|
RETURNDATASIZE = 0x3d, ///< get size of return data buffer
|
|
|
|
RETURNDATACOPY = 0x3e, ///< copy return data in current environment to memory
|
2018-07-31 00:54:43 +00:00
|
|
|
EXTCODEHASH = 0x3f, ///< get external code hash (from another contract)
|
2016-04-01 20:11:01 +00:00
|
|
|
|
|
|
|
BLOCKHASH = 0x40, ///< get hash of most recent complete block
|
|
|
|
COINBASE, ///< get the block's coinbase address
|
|
|
|
TIMESTAMP, ///< get the block's timestamp
|
|
|
|
NUMBER, ///< get the block's number
|
2022-11-23 10:51:34 +00:00
|
|
|
PREVRANDAO, ///< get randomness provided by the beacon chain
|
2016-04-01 20:11:01 +00:00
|
|
|
GASLIMIT, ///< get the block's gas limit
|
2019-09-02 13:23:45 +00:00
|
|
|
CHAINID, ///< get the config's chainid param
|
|
|
|
SELFBALANCE, ///< get balance of the current account
|
2021-07-12 14:48:18 +00:00
|
|
|
BASEFEE, ///< get the block's basefee
|
2016-04-01 20:11:01 +00:00
|
|
|
|
|
|
|
POP = 0x50, ///< remove item from stack
|
|
|
|
MLOAD, ///< load word from memory
|
|
|
|
MSTORE, ///< save word to memory
|
|
|
|
MSTORE8, ///< save byte to memory
|
|
|
|
SLOAD, ///< load word from storage
|
|
|
|
SSTORE, ///< save word to storage
|
|
|
|
JUMP, ///< alter the program counter
|
|
|
|
JUMPI, ///< conditionally alter the program counter
|
|
|
|
PC, ///< get the program counter
|
|
|
|
MSIZE, ///< get the size of active memory
|
|
|
|
GAS, ///< get the amount of available gas
|
|
|
|
JUMPDEST, ///< set a potential jump destination
|
|
|
|
|
2023-09-11 16:28:50 +00:00
|
|
|
TLOAD = 0x5c, ///< https://eips.ethereum.org/EIPS/eip-1153
|
|
|
|
TSTORE = 0x5d, ///< https://eips.ethereum.org/EIPS/eip-1153
|
|
|
|
|
2023-04-09 13:42:53 +00:00
|
|
|
PUSH0 = 0x5f, ///< place the value 0 on stack
|
2016-04-01 20:11:01 +00:00
|
|
|
PUSH1 = 0x60, ///< place 1 byte item on stack
|
|
|
|
PUSH2, ///< place 2 byte item on stack
|
|
|
|
PUSH3, ///< place 3 byte item on stack
|
|
|
|
PUSH4, ///< place 4 byte item on stack
|
|
|
|
PUSH5, ///< place 5 byte item on stack
|
|
|
|
PUSH6, ///< place 6 byte item on stack
|
|
|
|
PUSH7, ///< place 7 byte item on stack
|
|
|
|
PUSH8, ///< place 8 byte item on stack
|
|
|
|
PUSH9, ///< place 9 byte item on stack
|
|
|
|
PUSH10, ///< place 10 byte item on stack
|
|
|
|
PUSH11, ///< place 11 byte item on stack
|
|
|
|
PUSH12, ///< place 12 byte item on stack
|
|
|
|
PUSH13, ///< place 13 byte item on stack
|
|
|
|
PUSH14, ///< place 14 byte item on stack
|
|
|
|
PUSH15, ///< place 15 byte item on stack
|
|
|
|
PUSH16, ///< place 16 byte item on stack
|
|
|
|
PUSH17, ///< place 17 byte item on stack
|
|
|
|
PUSH18, ///< place 18 byte item on stack
|
|
|
|
PUSH19, ///< place 19 byte item on stack
|
|
|
|
PUSH20, ///< place 20 byte item on stack
|
|
|
|
PUSH21, ///< place 21 byte item on stack
|
|
|
|
PUSH22, ///< place 22 byte item on stack
|
|
|
|
PUSH23, ///< place 23 byte item on stack
|
|
|
|
PUSH24, ///< place 24 byte item on stack
|
|
|
|
PUSH25, ///< place 25 byte item on stack
|
|
|
|
PUSH26, ///< place 26 byte item on stack
|
|
|
|
PUSH27, ///< place 27 byte item on stack
|
|
|
|
PUSH28, ///< place 28 byte item on stack
|
|
|
|
PUSH29, ///< place 29 byte item on stack
|
|
|
|
PUSH30, ///< place 30 byte item on stack
|
|
|
|
PUSH31, ///< place 31 byte item on stack
|
|
|
|
PUSH32, ///< place 32 byte item on stack
|
|
|
|
|
|
|
|
DUP1 = 0x80, ///< copies the highest item in the stack to the top of the stack
|
|
|
|
DUP2, ///< copies the second highest item in the stack to the top of the stack
|
|
|
|
DUP3, ///< copies the third highest item in the stack to the top of the stack
|
|
|
|
DUP4, ///< copies the 4th highest item in the stack to the top of the stack
|
|
|
|
DUP5, ///< copies the 5th highest item in the stack to the top of the stack
|
|
|
|
DUP6, ///< copies the 6th highest item in the stack to the top of the stack
|
|
|
|
DUP7, ///< copies the 7th highest item in the stack to the top of the stack
|
|
|
|
DUP8, ///< copies the 8th highest item in the stack to the top of the stack
|
|
|
|
DUP9, ///< copies the 9th highest item in the stack to the top of the stack
|
|
|
|
DUP10, ///< copies the 10th highest item in the stack to the top of the stack
|
|
|
|
DUP11, ///< copies the 11th highest item in the stack to the top of the stack
|
|
|
|
DUP12, ///< copies the 12th highest item in the stack to the top of the stack
|
|
|
|
DUP13, ///< copies the 13th highest item in the stack to the top of the stack
|
|
|
|
DUP14, ///< copies the 14th highest item in the stack to the top of the stack
|
|
|
|
DUP15, ///< copies the 15th highest item in the stack to the top of the stack
|
|
|
|
DUP16, ///< copies the 16th highest item in the stack to the top of the stack
|
|
|
|
|
|
|
|
SWAP1 = 0x90, ///< swaps the highest and second highest value on the stack
|
|
|
|
SWAP2, ///< swaps the highest and third highest value on the stack
|
|
|
|
SWAP3, ///< swaps the highest and 4th highest value on the stack
|
|
|
|
SWAP4, ///< swaps the highest and 5th highest value on the stack
|
|
|
|
SWAP5, ///< swaps the highest and 6th highest value on the stack
|
|
|
|
SWAP6, ///< swaps the highest and 7th highest value on the stack
|
|
|
|
SWAP7, ///< swaps the highest and 8th highest value on the stack
|
|
|
|
SWAP8, ///< swaps the highest and 9th highest value on the stack
|
|
|
|
SWAP9, ///< swaps the highest and 10th highest value on the stack
|
|
|
|
SWAP10, ///< swaps the highest and 11th highest value on the stack
|
|
|
|
SWAP11, ///< swaps the highest and 12th highest value on the stack
|
|
|
|
SWAP12, ///< swaps the highest and 13th highest value on the stack
|
|
|
|
SWAP13, ///< swaps the highest and 14th highest value on the stack
|
|
|
|
SWAP14, ///< swaps the highest and 15th highest value on the stack
|
|
|
|
SWAP15, ///< swaps the highest and 16th highest value on the stack
|
|
|
|
SWAP16, ///< swaps the highest and 17th highest value on the stack
|
|
|
|
|
|
|
|
LOG0 = 0xa0, ///< Makes a log entry; no topics.
|
|
|
|
LOG1, ///< Makes a log entry; 1 topic.
|
|
|
|
LOG2, ///< Makes a log entry; 2 topics.
|
|
|
|
LOG3, ///< Makes a log entry; 3 topics.
|
|
|
|
LOG4, ///< Makes a log entry; 4 topics.
|
|
|
|
|
2022-07-20 11:24:16 +00:00
|
|
|
|
2016-04-01 20:11:01 +00:00
|
|
|
CREATE = 0xf0, ///< create a new account with associated code
|
|
|
|
CALL, ///< message-call into an account
|
|
|
|
CALLCODE, ///< message-call with another account's code only
|
|
|
|
RETURN, ///< halt execution returning output data
|
|
|
|
DELEGATECALL, ///< like CALLCODE but keeps caller's value and sender
|
2018-09-18 20:53:10 +00:00
|
|
|
CREATE2 = 0xf5, ///< create new account with associated code at address `sha3(0xff + sender + salt + init code) % 2**160`
|
2017-06-08 14:44:03 +00:00
|
|
|
STATICCALL = 0xfa, ///< like CALL but disallow state modifications
|
2017-01-26 14:57:49 +00:00
|
|
|
|
2017-02-06 20:21:27 +00:00
|
|
|
REVERT = 0xfd, ///< halt execution, revert state and return output data
|
2017-01-26 14:57:49 +00:00
|
|
|
INVALID = 0xfe, ///< invalid instruction for expressing runtime errors (e.g., division-by-zero)
|
2017-02-06 18:35:18 +00:00
|
|
|
SELFDESTRUCT = 0xff ///< halt execution and register account for later deletion
|
2016-04-01 20:11:01 +00:00
|
|
|
};
|
|
|
|
|
2022-08-11 13:01:15 +00:00
|
|
|
/// @returns true if the instruction is of the CALL opcode family
|
|
|
|
constexpr bool isCallInstruction(Instruction _inst) noexcept
|
|
|
|
{
|
|
|
|
switch (_inst)
|
|
|
|
{
|
|
|
|
case Instruction::CALL:
|
|
|
|
case Instruction::CALLCODE:
|
|
|
|
case Instruction::DELEGATECALL:
|
|
|
|
case Instruction::STATICCALL:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-10-02 09:22:58 +00:00
|
|
|
/// @returns true if the instruction is a PUSH
|
|
|
|
inline bool isPushInstruction(Instruction _inst)
|
|
|
|
{
|
2023-04-09 13:42:53 +00:00
|
|
|
return Instruction::PUSH0 <= _inst && _inst <= Instruction::PUSH32;
|
2017-10-02 09:22:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns true if the instruction is a DUP
|
|
|
|
inline bool isDupInstruction(Instruction _inst)
|
|
|
|
{
|
|
|
|
return Instruction::DUP1 <= _inst && _inst <= Instruction::DUP16;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns true if the instruction is a SWAP
|
|
|
|
inline bool isSwapInstruction(Instruction _inst)
|
|
|
|
{
|
|
|
|
return Instruction::SWAP1 <= _inst && _inst <= Instruction::SWAP16;
|
|
|
|
}
|
|
|
|
|
2018-09-18 20:25:52 +00:00
|
|
|
/// @returns true if the instruction is a LOG
|
|
|
|
inline bool isLogInstruction(Instruction _inst)
|
|
|
|
{
|
|
|
|
return Instruction::LOG0 <= _inst && _inst <= Instruction::LOG4;
|
|
|
|
}
|
|
|
|
|
2016-04-01 20:11:01 +00:00
|
|
|
/// @returns the number of PUSH Instruction _inst
|
|
|
|
inline unsigned getPushNumber(Instruction _inst)
|
|
|
|
{
|
2023-04-09 13:42:53 +00:00
|
|
|
return static_cast<uint8_t>(_inst) - unsigned(Instruction::PUSH0);
|
2016-04-01 20:11:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the number of DUP Instruction _inst
|
|
|
|
inline unsigned getDupNumber(Instruction _inst)
|
|
|
|
{
|
2022-03-02 12:47:04 +00:00
|
|
|
return static_cast<uint8_t>(_inst) - unsigned(Instruction::DUP1) + 1;
|
2016-04-01 20:11:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the number of SWAP Instruction _inst
|
|
|
|
inline unsigned getSwapNumber(Instruction _inst)
|
|
|
|
{
|
2022-03-02 12:47:04 +00:00
|
|
|
return static_cast<uint8_t>(_inst) - unsigned(Instruction::SWAP1) + 1;
|
2016-04-01 20:11:01 +00:00
|
|
|
}
|
|
|
|
|
2018-09-18 20:25:52 +00:00
|
|
|
/// @returns the number of LOG Instruction _inst
|
|
|
|
inline unsigned getLogNumber(Instruction _inst)
|
|
|
|
{
|
2022-03-02 12:47:04 +00:00
|
|
|
return static_cast<uint8_t>(_inst) - unsigned(Instruction::LOG0);
|
2018-09-18 20:25:52 +00:00
|
|
|
}
|
|
|
|
|
2016-04-01 20:11:01 +00:00
|
|
|
/// @returns the PUSH<_number> instruction
|
|
|
|
inline Instruction pushInstruction(unsigned _number)
|
|
|
|
{
|
2023-04-09 13:42:53 +00:00
|
|
|
assertThrow(_number <= 32, InvalidOpcode, std::string("Invalid PUSH instruction requested (") + std::to_string(_number) + ").");
|
|
|
|
return Instruction(unsigned(Instruction::PUSH0) + _number);
|
2016-04-01 20:11:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the DUP<_number> instruction
|
|
|
|
inline Instruction dupInstruction(unsigned _number)
|
|
|
|
{
|
2017-02-02 01:29:09 +00:00
|
|
|
assertThrow(1 <= _number && _number <= 16, InvalidOpcode, std::string("Invalid DUP instruction requested (") + std::to_string(_number) + ").");
|
2016-04-01 20:11:01 +00:00
|
|
|
return Instruction(unsigned(Instruction::DUP1) + _number - 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the SWAP<_number> instruction
|
|
|
|
inline Instruction swapInstruction(unsigned _number)
|
|
|
|
{
|
2017-02-02 01:29:09 +00:00
|
|
|
assertThrow(1 <= _number && _number <= 16, InvalidOpcode, std::string("Invalid SWAP instruction requested (") + std::to_string(_number) + ").");
|
2016-04-01 20:11:01 +00:00
|
|
|
return Instruction(unsigned(Instruction::SWAP1) + _number - 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the LOG<_number> instruction
|
|
|
|
inline Instruction logInstruction(unsigned _number)
|
|
|
|
{
|
2017-02-02 01:29:09 +00:00
|
|
|
assertThrow(_number <= 4, InvalidOpcode, std::string("Invalid LOG instruction requested (") + std::to_string(_number) + ").");
|
2016-04-01 20:11:01 +00:00
|
|
|
return Instruction(unsigned(Instruction::LOG0) + _number);
|
|
|
|
}
|
|
|
|
|
2022-03-02 12:47:04 +00:00
|
|
|
enum class Tier
|
2016-04-01 20:11:01 +00:00
|
|
|
{
|
2017-01-18 16:24:39 +00:00
|
|
|
Zero = 0, // 0, Zero
|
|
|
|
Base, // 2, Quick
|
|
|
|
VeryLow, // 3, Fastest
|
|
|
|
Low, // 5, Fast
|
|
|
|
Mid, // 8, Mid
|
|
|
|
High, // 10, Slow
|
|
|
|
Ext, // 20, Ext
|
2017-01-16 13:43:44 +00:00
|
|
|
ExtCode, // 700, Extcode
|
|
|
|
Balance, // 400, Balance
|
2017-01-18 16:24:39 +00:00
|
|
|
Special, // multiparam or otherwise special
|
|
|
|
Invalid // Invalid.
|
2016-04-01 20:11:01 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/// Information structure for a particular instruction.
|
|
|
|
struct InstructionInfo
|
|
|
|
{
|
|
|
|
std::string name; ///< The name of the instruction.
|
|
|
|
int additional; ///< Additional items required in memory for this instructions (only for PUSH).
|
|
|
|
int args; ///< Number of items required on the stack for this instruction (and, for the purposes of ret, the number taken from the stack).
|
|
|
|
int ret; ///< Number of items placed (back) on the stack by this instruction, assuming args items were removed.
|
|
|
|
bool sideEffects; ///< false if the only effect on the execution environment (apart from gas usage) is a change to a topmost segment of the stack
|
2017-01-13 12:19:14 +00:00
|
|
|
Tier gasPriceTier; ///< Tier for gas pricing.
|
2016-04-01 20:11:01 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/// Information on all the instructions.
|
2022-11-23 10:51:34 +00:00
|
|
|
InstructionInfo instructionInfo(Instruction _inst, langutil::EVMVersion _evmVersion);
|
2016-04-01 20:11:01 +00:00
|
|
|
|
2018-04-27 15:31:30 +00:00
|
|
|
/// check whether instructions exists.
|
2016-04-01 20:11:01 +00:00
|
|
|
bool isValidInstruction(Instruction _inst);
|
|
|
|
|
|
|
|
/// Convert from string mnemonic to Instruction type.
|
|
|
|
extern const std::map<std::string, Instruction> c_instructions;
|
|
|
|
|
|
|
|
}
|