Home

Awesome

EVM Opcodes

Opcode costs are drawn from the Yellow Paper, the Jello Paper, and the geth implementation. This is intended to be an accessible reference, but it is informal and does not address opcode semantics. If you want to be certain of correctness and aware of every edge case, I would suggest using the Jello Paper or a client implementation. If you are looking for an informal reference with more information about opcode semantics, try evm.codes.

For operations with dynamic gas costs, see gas.md.

Notation

HexNameGasStackMem / StorageNotes
top, bottom
00STOP0
01ADD3a, b => a + b(u)int256 addition modulo 2**256
02MUL5a, b => a * b(u)int256 multiplication modulo 2**256
03SUB3a, b => a - b(u)int256 addition modulo 2**256
04DIV5a, b => a // buint256 division
05SDIV5a, b => a // bint256 division
06MOD5a, b => a % buint256 modulus
07SMOD5a, b => a % bint256 modulus
08ADDMOD8a, b, N => (a + b) % N(u)int256 addition modulo N
09MULMOD8a, b, N => (a * b) % N(u)int256 multiplication modulo N
0AEXPA1a, b => a ** buint256 exponentiation modulo 2**256
0BSIGNEXTEND5b, x => SIGNEXTEND(x, b)sign extend x from (b+1) bytes to 32 bytes
0C-0Finvalid
10LT3a, b => a < buint256 less-than
11GT3a, b => a > buint256 greater-than
12SLT3a, b => a < bint256 less-than
13SGT3a, b => a > bint256 greater-than
14EQ3a, b => a == b(u)int256 equality
15ISZERO3a => a == 0(u)int256 iszero
16AND3a, b => a && bbitwise AND
17OR3a, b => a || bbitwise OR
18XOR3a, b => a ^ bbitwise XOR
19NOT3a => ~abitwise NOT
1ABYTE3i, x => (x >> (248 - i * 8)) && 0xFFith byte of (u)int256 x, from the left
1BSHL3shift, val => val << shiftshift left
1CSHR3shift, val => val >> shiftlogical shift right
1DSAR3shift, val => val >> shiftarithmetic shift right
1E-1Finvalid
20SHA3A2ost, len => keccak256(mem[ost:ost+len])keccak256
21-2Finvalid
30ADDRESS2. => address(this)address of executing contract
31BALANCEA5addr => addr.balancebalance, in wei
32ORIGIN2. => tx.originaddress that originated the tx
33CALLER2. => msg.senderaddress of msg sender
34CALLVALUE2. => msg.valuemsg value, in wei
35CALLDATALOAD3idx => msg.data[idx:idx+32]read word from msg data at index idx
36CALLDATASIZE2. => len(msg.data)length of msg data, in bytes
37CALLDATACOPYA3dstOst, ost, len => .mem[dstOst:dstOst+len] := msg.data[ost:ost+lencopy msg data
38CODESIZE2. => len(this.code)length of executing contract's code, in bytes
39CODECOPYA3dstOst, ost, len => .mem[dstOst:dstOst+len] := this.code[ost:ost+len]
3AGASPRICE2. => tx.gaspricegas price of tx, in wei per unit gas **
3BEXTCODESIZEA5addr => len(addr.code)size of code at addr, in bytes
3CEXTCODECOPYA4addr, dstOst, ost, len => .mem[dstOst:dstOst+len] := addr.code[ost:ost+len]copy code from addr
3DRETURNDATASIZE2. => sizesize of returned data from last external call, in bytes
3ERETURNDATACOPYA3dstOst, ost, len => .mem[dstOst:dstOst+len] := returndata[ost:ost+len]copy returned data from last external call
3FEXTCODEHASHA5addr => hashhash = addr.exists ? keccak256(addr.code) : 0
40BLOCKHASH20blockNum => blockHash(blockNum)
41COINBASE2. => block.coinbaseaddress of miner of current block
42TIMESTAMP2. => block.timestamptimestamp of current block
43NUMBER2. => block.numbernumber of current block
44DIFFICULTY2. => block.difficultydifficulty of current block
45GASLIMIT2. => block.gaslimitgas limit of current block
46CHAINID2. => chain_idpush current chain id onto stack
47SELFBALANCE5. => address(this).balancebalance of executing contract, in wei
48BASEFEE2. => block.basefeebase fee of current block
49-4Finvalid
50POP2_anon => .remove item from top of stack and discard it
51MLOAD3*ost => mem[ost:ost+32]read word from memory at offset ost
52MSTORE3*ost, val => .mem[ost:ost+32] := valwrite a word to memory
53MSTORE83*ost, val => .mem[ost] := val && 0xFFwrite a single byte to memory
54SLOADA6key => storage[key]read word from storage
55SSTOREA7key, val => .storage[key] := valwrite word to storage
56JUMP8dst => .$pc := dst
57JUMPI10dst, condition => .$pc := condition ? dst : $pc + 1
58PC2. => $pcprogram counter
59MSIZE2. => len(mem)size of memory in current execution context, in bytes
5AGAS2. => gasRemaining
5BJUMPDEST1mark valid jump destination
5C-5Finvalid
60PUSH13. => uint8push 1-byte value onto stack
61PUSH23. => uint16push 2-byte value onto stack
62PUSH33. => uint24push 3-byte value onto stack
63PUSH43. => uint32push 4-byte value onto stack
64PUSH53. => uint40push 5-byte value onto stack
65PUSH63. => uint48push 6-byte value onto stack
66PUSH73. => uint56push 7-byte value onto stack
67PUSH83. => uint64push 8-byte value onto stack
68PUSH93. => uint72push 9-byte value onto stack
69PUSH103. => uint80push 10-byte value onto stack
6APUSH113. => uint88push 11-byte value onto stack
6BPUSH123. => uint96push 12-byte value onto stack
6CPUSH133. => uint104push 13-byte value onto stack
6DPUSH143. => uint112push 14-byte value onto stack
6EPUSH153. => uint120push 15-byte value onto stack
6FPUSH163. => uint128push 16-byte value onto stack
70PUSH173. => uint136push 17-byte value onto stack
71PUSH183. => uint144push 18-byte value onto stack
72PUSH193. => uint152push 19-byte value onto stack
73PUSH203. => uint160push 20-byte value onto stack
74PUSH213. => uint168push 21-byte value onto stack
75PUSH223. => uint176push 22-byte value onto stack
76PUSH233. => uint184push 23-byte value onto stack
77PUSH243. => uint192push 24-byte value onto stack
78PUSH253. => uint200push 25-byte value onto stack
79PUSH263. => uint208push 26-byte value onto stack
7APUSH273. => uint216push 27-byte value onto stack
7BPUSH283. => uint224push 28-byte value onto stack
7CPUSH293. => uint232push 29-byte value onto stack
7DPUSH303. => uint240push 30-byte value onto stack
7EPUSH313. => uint248push 31-byte value onto stack
7FPUSH323. => uint256push 32-byte value onto stack
80DUP13a => a, aclone 1st value on stack
81DUP23_, a => a, _, aclone 2nd value on stack
82DUP33_, _, a => a, _, _, aclone 3rd value on stack
83DUP43_, _, _, a => a, _, _, _, aclone 4th value on stack
84DUP53..., a => a, ..., aclone 5th value on stack
85DUP63..., a => a, ..., aclone 6th value on stack
86DUP73..., a => a, ..., aclone 7th value on stack
87DUP83..., a => a, ..., aclone 8th value on stack
88DUP93..., a => a, ..., aclone 9th value on stack
89DUP103..., a => a, ..., aclone 10th value on stack
8ADUP113..., a => a, ..., aclone 11th value on stack
8BDUP123..., a => a, ..., aclone 12th value on stack
8CDUP133..., a => a, ..., aclone 13th value on stack
8DDUP143..., a => a, ..., aclone 14th value on stack
8EDUP153..., a => a, ..., aclone 15th value on stack
8FDUP163..., a => a, ..., aclone 16th value on stack
90SWAP13a, b => b, a
91SWAP23a, _, b => b, _, a
92SWAP33a, _, _, b => b, _, _, a
93SWAP43a, _, _, _, b => b, _, _, _, a
94SWAP53a, ..., b => b, ..., a
95SWAP63a, ..., b => b, ..., a
96SWAP73a, ..., b => b, ..., a
97SWAP83a, ..., b => b, ..., a
98SWAP93a, ..., b => b, ..., a
99SWAP103a, ..., b => b, ..., a
9ASWAP113a, ..., b => b, ..., a
9BSWAP123a, ..., b => b, ..., a
9CSWAP133a, ..., b => b, ..., a
9DSWAP143a, ..., b => b, ..., a
9ESWAP153a, ..., b => b, ..., a
9FSWAP163a, ..., b => b, ..., a
A0LOG0A8ost, len => .LOG0(memory[ost:ost+len])
A1LOG1A8ost, len, topic0 => .LOG1(memory[ost:ost+len], topic0)
A2LOG2A8ost, len, topic0, topic1 => .LOG1(memory[ost:ost+len], topic0, topic1)
A3LOG3A8ost, len, topic0, topic1, topic2 => .LOG1(memory[ost:ost+len], topic0, topic1, topic2)
A4LOG4A8ost, len, topic0, topic1, topic2, topic3 => .LOG1(memory[ost:ost+len], topic0, topic1, topic2, topic3)
A5-EFinvalid
F0CREATEA9val, ost, len => addraddr = keccak256(rlp_encode([address(this), this.nonce]))
F1CALLAA<code>gas, addr, val, argOst, argLen, retOst, retLen</code> => successmem[retOst:retOst+retLen] := returndata
F2CALLCODEAAgas, addr, val, argOst, argLen, retOst, retLen => successmem[retOst:retOst+retLen] = returndatasame as DELEGATECALL, but does not propagate original msg.sender and msg.value
F3RETURN0*ost, len => .return mem[ost:ost+len]
F4DELEGATECALLAAgas, addr, argOst, argLen, retOst, retLen<br>=> successmem[retOst:retOst+retLen] := returndata
F5CREATE2A9val, ost, len, salt => addraddr = keccak256(0xff ++ address(this) ++ salt ++ keccak256(mem[ost:ost+len]))[12:]
F6-F9invalid
FASTATICCALLAAgas, addr, argOst, argLen, retOst, retLen => successmem[retOst:retOst+retLen] := returndata
FB-FCinvalid
FDREVERT0*ost, len => .revert(mem[ost:ost+len])
FEINVALIDAFdesignated invalid opcode - EIP-141
FFSELFDESTRUCTABaddr => .