ethers.js/packages/asm/lib.esm/opcodes.js

235 lines
13 KiB
JavaScript
Raw Permalink Normal View History

2020-02-04 01:06:47 -05:00
"use strict";
// Yellow Paper
// See: https://ethereum.github.io/yellowpaper/paper.pdf
// SHL / SHR / SAR:
// See: https://eips.ethereum.org/EIPS/eip-145
// CREATE2:
// See: https://eips.ethereum.org/EIPS/eip-1014
// EXTCODEHASH
// See: https://eips.ethereum.org/EIPS/eip-1052
import { ethers } from "ethers";
2020-02-06 18:21:34 -05:00
export var OpcodeMemoryAccess;
(function (OpcodeMemoryAccess) {
OpcodeMemoryAccess["write"] = "write";
OpcodeMemoryAccess["read"] = "read";
OpcodeMemoryAccess["full"] = "full";
})(OpcodeMemoryAccess || (OpcodeMemoryAccess = {}));
;
2020-02-04 01:06:47 -05:00
export class Opcode {
constructor(mnemonic, value, delta, alpha, doc) {
ethers.utils.defineReadOnly(this, "mnemonic", mnemonic);
ethers.utils.defineReadOnly(this, "value", value);
ethers.utils.defineReadOnly(this, "delta", delta);
ethers.utils.defineReadOnly(this, "alpha", alpha);
ethers.utils.defineReadOnly(this, "doc", doc || null);
}
// Returns if this opcode is a jump
isJump() {
return (this.mnemonic === "JUMP" || this.mnemonic === "JUMPI");
}
isValidJumpDest() {
return (this.mnemonic === "JUMPDEST");
}
// Returns the number of of bytes this performs if a PUSH; 0 otherwise
isPush() {
if (this.mnemonic.substring(0, 4) === "PUSH") {
return this.value - 0x60 + 1;
}
return 0;
}
// Returns true if this operation writes to memory contents (or if readOrWrite, reads memory)
2020-02-06 18:21:34 -05:00
// Unknown opcodes return null
isMemoryAccess(readOrWrite) {
switch ((_Opcodes[this.mnemonic.toLowerCase()] || { memory: null }).memory) {
case "read": return OpcodeMemoryAccess.read;
case "write": return OpcodeMemoryAccess.write;
case "full": return OpcodeMemoryAccess.full;
}
return null;
2020-02-04 01:06:47 -05:00
}
// Returns true if this opcode does not affect state
2020-02-06 18:21:34 -05:00
// Unknown opcodes return false
2020-02-04 01:06:47 -05:00
isStatic() {
2020-02-06 18:21:34 -05:00
return !(_Opcodes[this.mnemonic.toLowerCase()] || { nonStatic: true }).nonStatic;
2020-02-04 01:06:47 -05:00
}
static from(valueOrMnemonic) {
if (typeof (valueOrMnemonic) === "string") {
return OpcodeMap[valueOrMnemonic.toLowerCase()] || null;
}
return (Opcodes[valueOrMnemonic] || null);
}
}
const _Opcodes = {
// Stop and Arithmetic Operations
stop: { value: 0x00, delta: 0, alpha: 0, doc: "stop" },
add: { value: 0x01, delta: 2, alpha: 1, doc: "v = add(a, b)" },
mul: { value: 0x02, delta: 2, alpha: 1, doc: "v = mul(a, b)" },
sub: { value: 0x03, delta: 2, alpha: 1, doc: "v = sub(a, b)" },
div: { value: 0x04, delta: 2, alpha: 1, doc: "v = div(top, bottom)" },
sdiv: { value: 0x05, delta: 2, alpha: 1, doc: "v = sdiv(top, bottom)" },
mod: { value: 0x06, delta: 2, alpha: 1, doc: "v = mod(a, modulo)" },
smod: { value: 0x07, delta: 2, alpha: 1, doc: "v = smod(a, modulo)" },
addmod: { value: 0x08, delta: 3, alpha: 1, doc: "v = addmod(a, b, modulo)" },
mulmod: { value: 0x09, delta: 3, alpha: 1, doc: "v = mul(a, b, modulo)" },
exp: { value: 0x0a, delta: 2, alpha: 1, doc: "v = exp(base, exponent)" },
signextend: { value: 0x0b, delta: 2, alpha: 1, doc: "v = signextend(value, byteWidth)" },
// Comparison & Bitwise Logic Operations
lt: { value: 0x10, delta: 2, alpha: 1, doc: "v = lt(a, b)" },
gt: { value: 0x11, delta: 2, alpha: 1, doc: "v = gt(a, b)" },
slt: { value: 0x12, delta: 2, alpha: 1, doc: "v = slt(a, b)" },
sgt: { value: 0x13, delta: 2, alpha: 1, doc: "v = sgt(a, b)" },
eq: { value: 0x14, delta: 2, alpha: 1, doc: "v = eq(a, b)" },
iszero: { value: 0x15, delta: 1, alpha: 1, doc: "v = iszero(a)" },
and: { value: 0x16, delta: 2, alpha: 1, doc: "v = and(a, b)" },
or: { value: 0x17, delta: 2, alpha: 1, doc: "v = or(a, b)" },
xor: { value: 0x18, delta: 2, alpha: 1, doc: "v = xor(a, b)" },
not: { value: 0x19, delta: 1, alpha: 1, doc: "v = not(a, b)" },
byte: { value: 0x1a, delta: 2, alpha: 1, doc: "v = byte(msbByteIndex, value)" },
shl: { value: 0x1b, delta: 2, alpha: 1, doc: "v = shl(shiftBits, value)" },
shr: { value: 0x1c, delta: 2, alpha: 1, doc: "v = shr(shiftBits, value)" },
sar: { value: 0x1d, delta: 2, alpha: 1, doc: "v = sar(shiftBits, value)" },
// SHA3
2020-02-06 18:21:34 -05:00
sha3: { value: 0x20, delta: 2, alpha: 1, doc: "v = sha3(offset, length)", memory: "read" },
2020-02-04 01:06:47 -05:00
// Environmental Information
address: { value: 0x30, delta: 0, alpha: 1, doc: "myAddr = address" },
balance: { value: 0x31, delta: 1, alpha: 1, doc: "wei = balance(address)" },
origin: { value: 0x32, delta: 0, alpha: 1, doc: "txOrigin = origin" },
caller: { value: 0x33, delta: 0, alpha: 1, doc: "msgSender = caller" },
callvalue: { value: 0x34, delta: 0, alpha: 1, doc: "msgValue = callvalue" },
calldataload: { value: 0x35, delta: 1, alpha: 1, doc: "calldataWordValue = calldataload(byteOffet)" },
calldatasize: { value: 0x36, delta: 0, alpha: 1, doc: "calldataLength = calldatasize" },
2020-02-06 18:21:34 -05:00
calldatacopy: { value: 0x37, delta: 3, alpha: 0, doc: "calldatacopy(dstMemoryIndex, dataIndex, length)", memory: "write" },
2020-02-04 01:06:47 -05:00
codesize: { value: 0x38, delta: 0, alpha: 1, doc: "myCodeLength = codesize" },
2020-02-06 18:21:34 -05:00
codecopy: { value: 0x39, delta: 3, alpha: 0, doc: "codecopy(dstMemoryIndex, codeIndex, length)", memory: "write" },
2020-02-04 01:06:47 -05:00
gasprice: { value: 0x3a, delta: 0, alpha: 1, doc: "txGasPrice = gasprice" },
extcodesize: { value: 0x3b, delta: 1, alpha: 1, doc: "otherCodeLength = extcodesize(address)" },
2020-02-06 18:21:34 -05:00
extcodecopy: { value: 0x3c, delta: 4, alpha: 0, doc: "extcodecopy(address, dstMemoryIndex, extcodeIndex, length)", memory: "write" },
2020-02-04 01:06:47 -05:00
returndatasize: { value: 0x3d, delta: 0, alpha: 1, doc: "v = returndatasize" },
2020-02-06 18:21:34 -05:00
returndatacopy: { value: 0x3e, delta: 3, alpha: 0, doc: "returndatacopy(dstMemoryOffset, returndataIndex, length)", memory: "write" },
2020-02-04 01:06:47 -05:00
extcodehash: { value: 0x3f, delta: 1, alpha: 1, doc: "hash = extcodehash(address)" },
// Block Information
blockhash: { value: 0x40, delta: 1, alpha: 1, doc: "hash = blockhash(blockNumber)" },
coinbase: { value: 0x41, delta: 0, alpha: 1, doc: "miner = coinbase" },
timestamp: { value: 0x42, delta: 0, alpha: 1, doc: "now = timestamp" },
number: { value: 0x43, delta: 0, alpha: 1, doc: "blockNumber = number" },
difficulty: { value: 0x44, delta: 0, alpha: 1, doc: "diff = difficulty" },
gaslimit: { value: 0x45, delta: 0, alpha: 1, doc: "gas = gaslimit" },
2020-09-04 01:37:14 -04:00
chainid: { value: 0x46, delta: 0, alpha: 1, doc: "chainid = chainid" },
selfbalance: { value: 0x47, delta: 0, alpha: 1, doc: "bal = selfbalance" },
2020-02-04 01:06:47 -05:00
// Stack, Memory, Storage and Flow Operations
pop: { value: 0x50, delta: 1, alpha: 0, doc: "stackTopValue = pop" },
2020-02-06 18:21:34 -05:00
mload: { value: 0x51, delta: 1, alpha: 1, doc: "memoryWordValue = mload(memoryByteIndex)", memory: "read" },
mstore: { value: 0x52, delta: 2, alpha: 0, doc: "mstore(memoryByteIndex, valueOut)", memory: "write" },
mstore8: { value: 0x53, delta: 2, alpha: 0, doc: "mstore8(memoryByteIndex, valueOut [ & 0xff ])", memory: "write" },
2020-02-04 01:06:47 -05:00
sload: { value: 0x54, delta: 1, alpha: 1, doc: "storageWordValue = sload(storageWordIndex)" },
2020-02-06 18:21:34 -05:00
sstore: { value: 0x55, delta: 2, alpha: 0, doc: "sstore(storageWordIndex, valueOut)", nonStatic: true },
2020-02-04 01:06:47 -05:00
jump: { value: 0x56, delta: 1, alpha: 0, doc: "jump(target)" },
jumpi: { value: 0x57, delta: 2, alpha: 0, doc: "jumpi(target, notZero)" },
pc: { value: 0x58, delta: 0, alpha: 1, doc: "programCounter = pc" },
msize: { value: 0x59, delta: 0, alpha: 1, doc: "currentMemorySize = msize" },
gas: { value: 0x5a, delta: 0, alpha: 1, doc: "remainingGas = gas" },
jumpdest: { value: 0x5b, delta: 0, alpha: 0, doc: "jumpdest" },
// Push Operations
push1: { value: 0x60, delta: 0, alpha: 1 },
push2: { value: 0x61, delta: 0, alpha: 1 },
push3: { value: 0x62, delta: 0, alpha: 1 },
push4: { value: 0x63, delta: 0, alpha: 1 },
push5: { value: 0x64, delta: 0, alpha: 1 },
push6: { value: 0x65, delta: 0, alpha: 1 },
push7: { value: 0x66, delta: 0, alpha: 1 },
push8: { value: 0x67, delta: 0, alpha: 1 },
push9: { value: 0x68, delta: 0, alpha: 1 },
push10: { value: 0x69, delta: 0, alpha: 1 },
push11: { value: 0x6a, delta: 0, alpha: 1 },
push12: { value: 0x6b, delta: 0, alpha: 1 },
push13: { value: 0x6c, delta: 0, alpha: 1 },
push14: { value: 0x6d, delta: 0, alpha: 1 },
push15: { value: 0x6e, delta: 0, alpha: 1 },
push16: { value: 0x6f, delta: 0, alpha: 1 },
push17: { value: 0x70, delta: 0, alpha: 1 },
push18: { value: 0x71, delta: 0, alpha: 1 },
push19: { value: 0x72, delta: 0, alpha: 1 },
push20: { value: 0x73, delta: 0, alpha: 1 },
push21: { value: 0x74, delta: 0, alpha: 1 },
push22: { value: 0x75, delta: 0, alpha: 1 },
push23: { value: 0x76, delta: 0, alpha: 1 },
push24: { value: 0x77, delta: 0, alpha: 1 },
push25: { value: 0x78, delta: 0, alpha: 1 },
push26: { value: 0x79, delta: 0, alpha: 1 },
push27: { value: 0x7a, delta: 0, alpha: 1 },
push28: { value: 0x7b, delta: 0, alpha: 1 },
push29: { value: 0x7c, delta: 0, alpha: 1 },
push30: { value: 0x7d, delta: 0, alpha: 1 },
push31: { value: 0x7e, delta: 0, alpha: 1 },
push32: { value: 0x7f, delta: 0, alpha: 1 },
// Duplicate Operations
dup1: { value: 0x80, delta: 0, alpha: 1 },
dup2: { value: 0x81, delta: 0, alpha: 1 },
dup3: { value: 0x82, delta: 0, alpha: 1 },
dup4: { value: 0x83, delta: 0, alpha: 1 },
dup5: { value: 0x84, delta: 0, alpha: 1 },
dup6: { value: 0x85, delta: 0, alpha: 1 },
dup7: { value: 0x86, delta: 0, alpha: 1 },
dup8: { value: 0x87, delta: 0, alpha: 1 },
dup9: { value: 0x88, delta: 0, alpha: 1 },
dup10: { value: 0x89, delta: 0, alpha: 1 },
dup11: { value: 0x8a, delta: 0, alpha: 1 },
dup12: { value: 0x8b, delta: 0, alpha: 1 },
dup13: { value: 0x8c, delta: 0, alpha: 1 },
dup14: { value: 0x8d, delta: 0, alpha: 1 },
dup15: { value: 0x8e, delta: 0, alpha: 1 },
dup16: { value: 0x8f, delta: 0, alpha: 1 },
// Exchange Operations
swap1: { value: 0x90, delta: 0, alpha: 0 },
swap2: { value: 0x91, delta: 0, alpha: 0 },
swap3: { value: 0x92, delta: 0, alpha: 0 },
swap4: { value: 0x93, delta: 0, alpha: 0 },
swap5: { value: 0x94, delta: 0, alpha: 0 },
swap6: { value: 0x95, delta: 0, alpha: 0 },
swap7: { value: 0x96, delta: 0, alpha: 0 },
swap8: { value: 0x97, delta: 0, alpha: 0 },
swap9: { value: 0x98, delta: 0, alpha: 0 },
swap10: { value: 0x99, delta: 0, alpha: 0 },
swap11: { value: 0x9a, delta: 0, alpha: 0 },
swap12: { value: 0x9b, delta: 0, alpha: 0 },
swap13: { value: 0x9c, delta: 0, alpha: 0 },
swap14: { value: 0x9d, delta: 0, alpha: 0 },
swap15: { value: 0x9e, delta: 0, alpha: 0 },
swap16: { value: 0x9f, delta: 0, alpha: 0 },
// Loggin Operations
2020-02-06 18:21:34 -05:00
log0: { value: 0xa0, delta: 2, alpha: 0, nonStatic: true, memory: "read" },
log1: { value: 0xa1, delta: 3, alpha: 0, nonStatic: true, memory: "read" },
log2: { value: 0xa2, delta: 4, alpha: 0, nonStatic: true, memory: "read" },
log3: { value: 0xa3, delta: 5, alpha: 0, nonStatic: true, memory: "read" },
log4: { value: 0xa4, delta: 6, alpha: 0, nonStatic: true, memory: "read" },
2020-02-04 01:06:47 -05:00
// System Operations
2020-02-06 18:21:34 -05:00
create: { value: 0xf0, delta: 3, alpha: 1, doc: "address = create(value, index, length)", nonStatic: true, memory: "read" },
call: { value: 0xf1, delta: 7, alpha: 1, doc: "v = call(gasLimit, address, value, inputIndex, inputLength, outputIndex, outputLength)", nonStatic: true, memory: "full" },
callcode: { value: 0xf2, delta: 7, alpha: 1, doc: "v = callcode(@TODO)", nonStatic: true, memory: "full" },
"return": { value: 0xf3, delta: 2, alpha: 0, doc: "return(index, length)", memory: "read" },
delegatecall: { value: 0xf4, delta: 6, alpha: 1, doc: "v = delegatecall(gasLimit, address, inputIndex, inputLength, outputIndex, outputLength)", nonStatic: true, memory: "full" },
create2: { value: 0xf5, delta: 4, alpha: 1, doc: "address = create2(value, index, length, salt)", nonStatic: true, memory: "read" },
staticcall: { value: 0xfa, delta: 6, alpha: 1, doc: "v = staticcall(gasLimit, address, inputIndex, inputLength, outputIndex, outputLength)", memory: "full" },
revert: { value: 0xfd, delta: 2, alpha: 0, doc: "revert(returnDataOffset, returnDataLength)", memory: "read" },
2020-02-04 01:06:47 -05:00
invalid: { value: 0xfe, delta: 0, alpha: 0, doc: "invalid" },
2020-02-06 18:21:34 -05:00
suicide: { value: 0xff, delta: 1, alpha: 0, doc: "suicide(targetAddress)", nonStatic: true },
2020-02-04 01:06:47 -05:00
};
const OpcodeMap = {};
const Opcodes = [];
for (let i = 0; i < 256; i++) {
Opcodes.push(null);
}
Object.keys(_Opcodes).forEach((mnemonic) => {
const info = _Opcodes[mnemonic];
const opcode = new Opcode(mnemonic.toUpperCase(), info.value, info.delta, info.alpha, info.doc);
const key = opcode.mnemonic.toLowerCase();
const value = opcode.value;
if (OpcodeMap[key] || Opcodes[value]) {
console.log(key, OpcodeMap[key], value, Opcodes[value]);
throw new Error("There is a type in the above table.");
}
OpcodeMap[key] = opcode;
Opcodes[value] = opcode;
});
Object.freeze(Opcodes);
2020-07-13 08:03:56 -04:00
//# sourceMappingURL=opcodes.js.map