ByteCode and Opcodes
Last updated
Last updated
Solidity code is compiled into bytecode prior to being deployed to the Ethereum network. This bytecode corresponds to a series of opcode instructions that the EVM interprets.
The runtime bytecode created from Solidity contracts is a representation of the entire contract. Within the contract, you may have multiple functions that can be called once it is deployed.
For example Storage.sol: contract has 2 functions, store(uint256) and retrieve.
Below is the compiled runtime bytecode of the entire contract:
This code includes all public and external functions and all functions that are reachable through function calls. The deployed code does not include the constructor code or internal functions only called from the constructor.
In short, the bytecode would contain the functions hash/signatures.
We are going to focus on the snippet of bytecode below. This snippet represents the function selector logic. Run “ctrl f” on the snippet to verify it is in the above bytecode.
This bytecode corresponds to a set of EVM opcodes and their input values.
The below shows the bytecode snippet broken into its corresponding opcode commands. These are run sequentially on the call stack by the EVM.
When we call a contract function we include some calldata that specifies the function signature we are calling and any arguments that need to be passed in.
calldata → function signature + any required parameters
Here we are making a contract call to the store function with argument 10.
Use abi.encodeWithSignature() to get the calldata in the desired format.
The emit logs our calldata for testing.
functionCalldata = 0x6057361d000000000000000000000000000000000000000000000000000000000000000a
The above is what abi.encodeWithSignature("store(uint256)", 10) returns.
Looking at our calldata above we can see that we have 36 bytes of calldata,
first 4 bytes of our calldata correspond to the function selector we just computed for the store(uint256) function.
remaining 32 bytes correspond to our uint256 input argument.
we have a hex value of “a” which is equal to 10 in decimal
If we take the function signature 6057361d and refer back to the opcode section, run “ctrl f” on this value and see if you can find it.
EVM is a stack-based machine, and thus performs all computations in a data area called the stack. All in-memory values are also stored in the stack.
Stack is LIFO: last-in, first-out.
Push: Add item to top
Pop: remove item from top
Stack has a maximum depth of 1024 words
can hold 1024 things
stack[0] is the value at the top of the stack
stack[1] is the value one below the top of the stack.
1 word is 256 bits or 32 bytes.
PUSH1 0x80:
Push 1 byte onto the stack (the 1 byte here is 0x80)
So when you push 1 byte onto the stack, the top 31 bytes are set to 0
Contract memory is a simple byte array, where data can be stored in 32 bytes (256 bit) or 1 byte (8 bit) chunks and read in 32 bytes (256 bit) chunks.
This functionality is determined by the 3 opcodes that operate on memory.
MSTORE (x, y) - Store a 32 byte (256-bit) value “y” starting at memory location “x”
MLOAD (x) - Load 32 bytes (256-bit) starting at memory location “x” onto the call stack
MSTORE8 (x, y) - Store a 1 byte (8-bit) value “y” at memory location “x” (the least significant byte of the 32-byte stack value).
Now memory has been filled from index 0 to 31 (32 bytes occupied). Next:
Since we only want to store 1 byte (0x22), we see 22 appended to memory, from index 32 to 33. However, padding of 0s are added to occupy the full 32 bytes (256 bits).
Note that all locations in memory are well-defined initially as zero which is why we see 2200000000000000000000000000000000000000000000000000000000000000 added to our memory.
This is because: our memory was 32 bytes before we wrote 1 byte at location 32. At this point we began writing into untouched memory, as a result, the memory was expanded by another 32-byte increment to 64 bytes.
On adding another singe byte to memory, it just overwrites the padded zeroes.
The second thing you may have noticed occurred when we ran an MLOAD from memory location 33 (0x21). We returned the following value to the call stack.
We were able to start our read from a non 32 factor.
Remember memory is a byte array meaning we can start our reads (and our writes) from any memory location. We are not constrained to multiples of 32. Memory is linear and can be addressed at the byte level.
Memory can only be newly created in a function. It can either be newly instantiated complex types like array/struct (e.g. via new int[...]) or copied from a storage referenced variable.
is simply a pointer to the location where free memory starts.
ensures smart contracts keep track of which memory locations have been written to and which haven’t.
protects against a contract overwriting some memory that has been allocated to another variable.
When a variable is written to memory the contract will first reference the free memory pointer to determine where the data should be stored.
It then updates the free memory pointer by noting how much data is to be written to the new location. A simple addition of these 2 values will yield where the new free memory will start.
freeMemoryPointer + dataSizeBytes = newFreeMemoryPointer
As mentioned before the free memory pointer is defined at the start of the runtime bytecode through these 5 opcodes.
These effectively state that the free memory pointer is
located in memory at byte 0x40 (64 in decimal)
has a value of 0x80 (128 in decimal).
The immediate questions you may have are why the values 0x40 & 0x80 are used above. The answer to this:
Solidity’s memory layout reserves four 32-byte slots (4*32 = 128):
0x00-0x3f(64 bytes): scratch space
0x40-0x5f(32 bytes): free memory pointer
0x60-0x7f(32 bytes): zero slotwidth of reserved space = 32 + 32 +64 = 128 bytes
We can see that 0x40 is the predefined location by solidity for the free memory pointer. The value 0x80 is merely the first memory byte that is available to write to after the 4 reserved 32-byte slots.
Reserved section:
Scratch space, can be used between statements i.e. within inline assembly and for hashing methods.
Free memory pointer, currently allocated memory size, start location of free memory, 0x80 initially.
The zero slot, is used as an initial value for dynamic memory arrays and should never be written to.
single function that defines two arrays of lengths 5 & 2 and then assigns b[0] a value of 1.
0x80 (128) is pushed onto stack → value of free memory pointer
free memory starts after 128 bytes
0x40 is pushed onto stack → location of free memory point
location tells us where to get the value for free memory pointer
MSTORE
pops the first item off the stack 0x40 to determine where to write to in memory
the second value 0x80 as what to write
Stack is empty, but we have populated some memory.
This memory representation is in hexadecimal where each character represents 4 bits.
We have 192 hexadecimal characters in memory which means we have 96 bytes (1 byte = 8 bits = 2 hexadecimal characters).
If we refer back to Solidity’s memory layout we were told the first 64 bytes would be allocated as scratch space and the next 32 would be for the free memory pointer.
Of course, we have not yet initialised the last reserved section: zero slot.
Opcodes are 1 byte in length leading to 256 different possible opcodes. The EVM only uses 140 unique opcodes. You can check out the list of EVM opcodes
For more info:
calldata is 36 bytes: 4bytes (function selector) + 32 bytes (parameters/else padded 0s)
CALLDATALOAD
pops off the first value on the stack as input. This opcode loads in the calldata to the stack using the input value as an offset.
Why is this necessary? calldata = 36 bytes, stack = 32 bytes. cannot fit the entire calldata into stack.
So input dictates which 32 bytes is loaded onto stack. The pushed value is a[i :i+32] Assuming 0 (0x00) was at stack[0]. It would be used as input, therefore, i =0, and the first 32 bytes of calldata would be loaded.
This would exclude the last 4 bytes containing parameters, if any. Of 0x6057361d000000000000000000000000000000000000000000000000000000000000000a the trailing 0000000a
source:
This will help solidify your understanding of what these 3 opcodes Remember: 8 bits → 1 byte 2 hex characters → 1 byte (1 hex char = 4 bits)
for MemoryLane.sol
, Lines 1-15:
