181 lines
11 KiB
Rust
181 lines
11 KiB
Rust
|
//! VM Instructions list and utility functions
|
||
|
|
|
||
|
|
pub type Instruction = u8;
|
||
|
|
|
||
|
|
pub fn is_jump (i : Instruction) -> bool {
|
||
|
|
i == JUMP || i == JUMPI || i == JUMPDEST
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn is_push (i : Instruction) -> bool {
|
||
|
|
i >= PUSH1 && i <= PUSH32
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn get_push_bytes (i : Instruction) -> usize {
|
||
|
|
// TODO [todr] range checking?
|
||
|
|
(i - PUSH1 + 1) as usize
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn get_dup_position (i: Instruction) -> usize {
|
||
|
|
// TODO [todr] range checking?
|
||
|
|
(i - DUP1) as usize
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn get_swap_position (i : Instruction) -> usize {
|
||
|
|
// TODO [todr] range checking?
|
||
|
|
(i - SWAP1 + 1) as usize
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn get_log_topics (i: Instruction) -> usize {
|
||
|
|
(i - LOG0) as usize
|
||
|
|
}
|
||
|
|
|
||
|
|
#[test]
|
||
|
|
fn test_get_push_bytes() {
|
||
|
|
assert_eq!(get_push_bytes(PUSH1), 1);
|
||
|
|
assert_eq!(get_push_bytes(PUSH3), 3);
|
||
|
|
assert_eq!(get_push_bytes(PUSH32), 32);
|
||
|
|
}
|
||
|
|
|
||
|
|
// Virtual machine bytecode instruction.
|
||
|
|
pub const STOP: Instruction = 0x00; //< halts execution
|
||
|
|
pub const ADD: Instruction = 0x01; //< addition operation
|
||
|
|
pub const MUL: Instruction = 0x02; //< mulitplication operation
|
||
|
|
pub const SUB: Instruction = 0x03; //< subtraction operation
|
||
|
|
pub const DIV: Instruction = 0x04; //< integer division operation
|
||
|
|
pub const SDIV: Instruction = 0x05; //< signed integer division operation
|
||
|
|
pub const MOD: Instruction = 0x06; //< modulo remainder operation
|
||
|
|
pub const SMOD: Instruction = 0x07; //< signed modulo remainder operation
|
||
|
|
pub const ADDMOD: Instruction = 0x08; //< unsigned modular addition
|
||
|
|
pub const MULMOD: Instruction = 0x09; //< unsigned modular multiplication
|
||
|
|
pub const EXP: Instruction = 0x0a; //< exponential operation
|
||
|
|
pub const SIGNEXTEND: Instruction = 0x0b; //< extend length of signed integer
|
||
|
|
|
||
|
|
pub const LT: Instruction = 0x10; //< less-than comparision
|
||
|
|
pub const GT: Instruction = 0x11; //< greater-than comparision
|
||
|
|
pub const SLT: Instruction = 0x12; //< signed less-than comparision
|
||
|
|
pub const SGT: Instruction = 0x13; //< signed greater-than comparision
|
||
|
|
pub const EQ: Instruction = 0x14; //< equality comparision
|
||
|
|
pub const ISZERO: Instruction = 0x15; //< simple not operator
|
||
|
|
pub const AND: Instruction = 0x16; //< bitwise AND operation
|
||
|
|
pub const OR: Instruction = 0x17; //< bitwise OR operation
|
||
|
|
pub const XOR: Instruction = 0x18; //< bitwise XOR operation
|
||
|
|
pub const NOT: Instruction = 0x19; //< bitwise NOT opertation
|
||
|
|
pub const BYTE: Instruction = 0x1a; //< retrieve single byte from word
|
||
|
|
|
||
|
|
pub const SHA3: Instruction = 0x20; //< compute SHA3-256 hash
|
||
|
|
|
||
|
|
pub const ADDRESS: Instruction = 0x30; //< get address of currently executing account
|
||
|
|
pub const BALANCE: Instruction = 0x31; //< get balance of the given account
|
||
|
|
pub const ORIGIN: Instruction = 0x32; //< get execution origination address
|
||
|
|
pub const CALLER: Instruction = 0x33; //< get caller address
|
||
|
|
pub const CALLVALUE: Instruction = 0x34; //< get deposited value by the instruction/transaction responsible for this execution
|
||
|
|
pub const CALLDATALOAD: Instruction = 0x35; //< get input data of current environment
|
||
|
|
pub const CALLDATASIZE: Instruction = 0x36; //< get size of input data in current environment
|
||
|
|
pub const CALLDATACOPY: Instruction = 0x37; //< copy input data in current environment to memory
|
||
|
|
pub const CODESIZE: Instruction = 0x38; //< get size of code running in current environment
|
||
|
|
pub const CODECOPY: Instruction = 0x39; //< copy code running in current environment to memory
|
||
|
|
pub const GASPRICE: Instruction = 0x3a; //< get price of gas in current environment
|
||
|
|
pub const EXTCODESIZE: Instruction = 0x3b; //< get external code size (from another contract)
|
||
|
|
pub const EXTCODECOPY: Instruction = 0x3c; //< copy external code (from another contract)
|
||
|
|
|
||
|
|
pub const BLOCKHASH: Instruction = 0x40; //< get hash of most recent complete block
|
||
|
|
pub const COINBASE: Instruction = 0x41; //< get the block's coinbase address
|
||
|
|
pub const TIMESTAMP: Instruction = 0x42; //< get the block's timestamp
|
||
|
|
pub const NUMBER: Instruction = 0x43; //< get the block's number
|
||
|
|
pub const DIFFICULTY: Instruction = 0x44; //< get the block's difficulty
|
||
|
|
pub const GASLIMIT: Instruction = 0x45; //< get the block's gas limit
|
||
|
|
|
||
|
|
pub const POP: Instruction = 0x50; //< remove item from stack
|
||
|
|
pub const MLOAD: Instruction = 0x51; //< load word from memory
|
||
|
|
pub const MSTORE: Instruction = 0x52; //< save word to memory
|
||
|
|
pub const MSTORE8: Instruction = 0x53; //< save byte to memory
|
||
|
|
pub const SLOAD: Instruction = 0x54; //< load word from storage
|
||
|
|
pub const SSTORE: Instruction = 0x55; //< save word to storage
|
||
|
|
pub const JUMP: Instruction = 0x56; //< alter the program counter
|
||
|
|
pub const JUMPI: Instruction = 0x57; //< conditionally alter the program counter
|
||
|
|
pub const PC: Instruction = 0x58; //< get the program counter
|
||
|
|
pub const MSIZE: Instruction = 0x59; //< get the size of active memory
|
||
|
|
pub const GAS: Instruction = 0x5a; //< get the amount of available gas
|
||
|
|
pub const JUMPDEST: Instruction = 0x5b; //< set a potential jump destination
|
||
|
|
|
||
|
|
pub const PUSH1: Instruction = 0x60; //< place 1 byte item on stack
|
||
|
|
pub const PUSH2: Instruction = 0x61; //< place 2 byte item on stack
|
||
|
|
pub const PUSH3: Instruction = 0x62; //< place 3 byte item on stack
|
||
|
|
pub const PUSH4: Instruction = 0x63; //< place 4 byte item on stack
|
||
|
|
pub const PUSH5: Instruction = 0x64; //< place 5 byte item on stack
|
||
|
|
pub const PUSH6: Instruction = 0x65; //< place 6 byte item on stack
|
||
|
|
pub const PUSH7: Instruction = 0x66; //< place 7 byte item on stack
|
||
|
|
pub const PUSH8: Instruction = 0x67; //< place 8 byte item on stack
|
||
|
|
pub const PUSH9: Instruction = 0x68; //< place 9 byte item on stack
|
||
|
|
pub const PUSH10: Instruction = 0x69; //< place 10 byte item on stack
|
||
|
|
pub const PUSH11: Instruction = 0x6a; //< place 11 byte item on stack
|
||
|
|
pub const PUSH12: Instruction = 0x6b; //< place 12 byte item on stack
|
||
|
|
pub const PUSH13: Instruction = 0x6c; //< place 13 byte item on stack
|
||
|
|
pub const PUSH14: Instruction = 0x6d; //< place 14 byte item on stack
|
||
|
|
pub const PUSH15: Instruction = 0x6e; //< place 15 byte item on stack
|
||
|
|
pub const PUSH16: Instruction = 0x6f; //< place 16 byte item on stack
|
||
|
|
pub const PUSH17: Instruction = 0x70; //< place 17 byte item on stack
|
||
|
|
pub const PUSH18: Instruction = 0x71; //< place 18 byte item on stack
|
||
|
|
pub const PUSH19: Instruction = 0x72; //< place 19 byte item on stack
|
||
|
|
pub const PUSH20: Instruction = 0x73; //< place 20 byte item on stack
|
||
|
|
pub const PUSH21: Instruction = 0x74; //< place 21 byte item on stack
|
||
|
|
pub const PUSH22: Instruction = 0x75; //< place 22 byte item on stack
|
||
|
|
pub const PUSH23: Instruction = 0x76; //< place 23 byte item on stack
|
||
|
|
pub const PUSH24: Instruction = 0x77; //< place 24 byte item on stack
|
||
|
|
pub const PUSH25: Instruction = 0x78; //< place 25 byte item on stack
|
||
|
|
pub const PUSH26: Instruction = 0x79; //< place 26 byte item on stack
|
||
|
|
pub const PUSH27: Instruction = 0x7a; //< place 27 byte item on stack
|
||
|
|
pub const PUSH28: Instruction = 0x7b; //< place 28 byte item on stack
|
||
|
|
pub const PUSH29: Instruction = 0x7c; //< place 29 byte item on stack
|
||
|
|
pub const PUSH30: Instruction = 0x7d; //< place 30 byte item on stack
|
||
|
|
pub const PUSH31: Instruction = 0x7e; //< place 31 byte item on stack
|
||
|
|
pub const PUSH32: Instruction = 0x7f; //< place 32 byte item on stack
|
||
|
|
|
||
|
|
pub const DUP1: Instruction = 0x80; //< copies the highest item in the stack to the top of the stack
|
||
|
|
pub const DUP2: Instruction = 0x81; //< copies the second highest item in the stack to the top of the stack
|
||
|
|
pub const DUP3: Instruction = 0x82; //< copies the third highest item in the stack to the top of the stack
|
||
|
|
pub const DUP4: Instruction = 0x83; //< copies the 4th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP5: Instruction = 0x84; //< copies the 5th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP6: Instruction = 0x85; //< copies the 6th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP7: Instruction = 0x86; //< copies the 7th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP8: Instruction = 0x87; //< copies the 8th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP9: Instruction = 0x88; //< copies the 9th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP10: Instruction = 0x89; //< copies the 10th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP11: Instruction = 0x8a; //< copies the 11th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP12: Instruction = 0x8b; //< copies the 12th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP13: Instruction = 0x8c; //< copies the 13th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP14: Instruction = 0x8d; //< copies the 14th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP15: Instruction = 0x8e; //< copies the 15th highest item in the stack to the top of the stack
|
||
|
|
pub const DUP16: Instruction = 0x8f; //< copies the 16th highest item in the stack to the top of the stack
|
||
|
|
|
||
|
|
pub const SWAP1: Instruction = 0x90; //< swaps the highest and second highest value on the stack
|
||
|
|
pub const SWAP2: Instruction = 0x91; //< swaps the highest and third highest value on the stack
|
||
|
|
pub const SWAP3: Instruction = 0x92; //< swaps the highest and 4th highest value on the stack
|
||
|
|
pub const SWAP4: Instruction = 0x93; //< swaps the highest and 5th highest value on the stack
|
||
|
|
pub const SWAP5: Instruction = 0x94; //< swaps the highest and 6th highest value on the stack
|
||
|
|
pub const SWAP6: Instruction = 0x95; //< swaps the highest and 7th highest value on the stack
|
||
|
|
pub const SWAP7: Instruction = 0x96; //< swaps the highest and 8th highest value on the stack
|
||
|
|
pub const SWAP8: Instruction = 0x97; //< swaps the highest and 9th highest value on the stack
|
||
|
|
pub const SWAP9: Instruction = 0x98; //< swaps the highest and 10th highest value on the stack
|
||
|
|
pub const SWAP10: Instruction = 0x99; //< swaps the highest and 11th highest value on the stack
|
||
|
|
pub const SWAP11: Instruction = 0x9a; //< swaps the highest and 12th highest value on the stack
|
||
|
|
pub const SWAP12: Instruction = 0x9b; //< swaps the highest and 13th highest value on the stack
|
||
|
|
pub const SWAP13: Instruction = 0x9c; //< swaps the highest and 14th highest value on the stack
|
||
|
|
pub const SWAP14: Instruction = 0x9d; //< swaps the highest and 15th highest value on the stack
|
||
|
|
pub const SWAP15: Instruction = 0x9e; //< swaps the highest and 16th highest value on the stack
|
||
|
|
pub const SWAP16: Instruction = 0x9f; //< swaps the highest and 17th highest value on the stack
|
||
|
|
|
||
|
|
pub const LOG0: Instruction = 0xa0; //< Makes a log entry; no topics.
|
||
|
|
pub const LOG1: Instruction = 0xa1; //< Makes a log entry; 1 topic.
|
||
|
|
pub const LOG2: Instruction = 0xa2; //< Makes a log entry; 2 topics.
|
||
|
|
pub const LOG3: Instruction = 0xa3; //< Makes a log entry; 3 topics.
|
||
|
|
pub const LOG4: Instruction = 0xa4; //< Makes a log entry; 4 topics.
|
||
|
|
|
||
|
|
pub const CREATE: Instruction = 0xf0; //< create a new account with associated code
|
||
|
|
pub const CALL: Instruction = 0xf1; //< message-call into an account
|
||
|
|
pub const CALLCODE: Instruction = 0xf2; //< message-call with another account's code only
|
||
|
|
pub const RETURN: Instruction = 0xf3; //< halt execution returning output data
|
||
|
|
pub const DELEGATECALL: Instruction = 0xf4; //< like CALLCODE but keeps caller's value and sender
|
||
|
|
pub const SUICIDE: Instruction = 0xff; //< halt execution and register account for later deletion
|
||
|
|
|