Documentation

An Opcode' is an Ethereum VM Opcode with parameterised jumps.

For a plain opcode using the basic EVM stack-based jumps, use Opcode instead.

This type is used for defining and translating from annotated opcodes, e.g. with labelled jumps.

Convert any Opcode' a into an Opcode' ().

Extract the a from a JUMP a or a JUMPI a.

Extract the a from a JUMPDEST a.

Convert an Ord5 or an Ord16 to a Word8.

Convert a Word8 to an Ord5 or an Ord16.

Convenience type of cardinality 5 for LOG.

Convenience type of cardinality 16 for DUP and SWAP.

An OpcodeSpec for a given Opcode contains the numeric encoding of the opcode, the number of items that this opcode removes from the stack (α), and the number of items added to the stack (δ). These values are documented in the Ethereum Yellow Paper.

Examples of OpcodeSpecs:

--         Hex  α δ
OpcodeSpec 0x01 2 1 "add"
OpcodeSpec 0x60 0 1 "push1 255"
OpcodeSpec 0x61 0 1 "push2 256"

Given an Opcode', produce its OpcodeSpec.

For DUP, SWAP and LOG this depends on the specific variant, and for PUSH it depends on the size of the constant being pushed.

Convert the constant argument of a PUSH to the opcode encoding (0x60--0x7f) and its constant split into Word8 segments.

Use DUP1 instead of DUP Ord16_1.

Use DUP2 instead of DUP Ord16_2.

Use DUP3 instead of DUP Ord16_3.

Use DUP4 instead of DUP Ord16_4.

Use DUP5 instead of DUP Ord16_5.

Use DUP6 instead of DUP Ord16_6.

Use DUP7 instead of DUP Ord16_7.

Use DUP8 instead of DUP Ord16_8.

Use DUP9 instead of DUP Ord16_9.

Use DUP10 instead of DUP Ord16_10.

Use DUP11 instead of DUP Ord16_11.

Use DUP12 instead of DUP Ord16_12.

Use DUP13 instead of DUP Ord16_13.

Use DUP14 instead of DUP Ord16_14.

Use DUP15 instead of DUP Ord16_15.

Use DUP16 instead of DUP Ord16_16.

Use SWAP1 instead of SWAP Ord16_1, etc.

Use SWAP2 instead of SWAP Ord16_2, etc.

Use SWAP3 instead of SWAP Ord16_3, etc.

Use SWAP4 instead of SWAP Ord16_4, etc.

Use SWAP5 instead of SWAP Ord16_5, etc.

Use SWAP6 instead of SWAP Ord16_6, etc.

Use SWAP7 instead of SWAP Ord16_7, etc.

Use SWAP8 instead of SWAP Ord16_8, etc.

Use SWAP9 instead of SWAP Ord16_9, etc.

Use SWAP10 instead of SWAP Ord16_10, etc.

Use SWAP11 instead of SWAP Ord16_11, etc.

Use SWAP12 instead of SWAP Ord16_12, etc.

Use SWAP13 instead of SWAP Ord16_13, etc.

Use SWAP14 instead of SWAP Ord16_14, etc.

Use SWAP15 instead of SWAP Ord16_15, etc.

Use SWAP16 instead of SWAP Ord16_16, etc.

Use LOG0 instead of LOG Ord5_0.

Use LOG1 instead of LOG Ord5_1.

Use LOG2 instead of LOG Ord5_2.

Use LOG3 instead of LOG Ord5_3.

Use LOG4 instead of LOG Ord5_4.