This page is a placeholder. All examples on this page are currently AI-generated and are not correct. This documentation will be completed in the future with accurate, tested examples.
Overview
Opcode: 0x75
Introduced: Frontier (EVM genesis)
PUSH22 pushes a 22-byte immediate value from the bytecode onto the stack. The 22 bytes immediately following the opcode are read and zero-padded to 256 bits.
Specification
Stack Input:
Stack Output:
value (uint256, 22 bytes from bytecode)
Gas Cost: 3 (GasFastestStep)
Bytecode: 1 byte opcode + 22 bytes immediate data
Operation:
value = read_bytes(pc + 1, 22) // Big-endian
stack.push(value)
pc += 23
Behavior
PUSH22 reads 22 bytes from bytecode starting at position pc + 1, interprets them as a big-endian unsigned integer, and pushes the result onto the stack.
Key characteristics:
- Reads exactly 22 bytes following opcode
- Big-endian byte order (most significant byte first)
- Zero-padded to 256 bits if less than 32 bytes
- InvalidOpcode if insufficient bytecode remaining
- PC advances by 23 (opcode + data)
Examples
Basic Usage
import { handler_0x75_PUSH22 } from '@tevm/voltaire/evm/stack/handlers';
import { createFrame } from '@tevm/voltaire/evm/Frame';
// Bytecode with PUSH22
const bytecode = new Uint8Array([
0x75, // PUSH22
0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f, 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16 // 22 bytes: 0102030405060708090a0b0c0d0e0f10111213141516
]);
const frame = createFrame({
bytecode,
pc: 0,
stack: [],
gasRemaining: 1000n
});
const err = handler_0x75_PUSH22(frame);
console.log(frame.stack); // [0x0102030405060708090a0b0c0d0e0f1011121314151600000000000000000000n]
console.log(frame.pc); // 23
console.log(frame.gasRemaining); // 997n (3 gas consumed)
Solidity Compilation
contract Example {
// 22-byte constant
uint176 constant VALUE = 9.578097130411805e+52;
// PUSH22 0xffffffffffffffffffffffffffffffffffffffffffff
}
Assembly Usage
assembly {
// Push 22-byte value
push22 0xffffffffffffffffffffffffffffffffffffffffffff
}
Gas Cost
Cost: 3 gas (GasFastestStep)
All PUSH1-32 instructions cost the same despite different data sizes. Bytecode size impact:
- PUSH22: 23 bytes (1 opcode + 22 data)
- PUSH32: 33 bytes (1 opcode + 32 data)
Comparison:
| Opcode | Gas | Bytes | Use Case |
|---|
| PUSH0 | 2 | 1 | Zero constant (Shanghai+) |
| PUSH1 | 3 | 2 | Small numbers (0-255) |
Common Usage
22-Byte Constants
assembly {
// 22-byte literal
push22 0xabababababababababababababababababababababab
}
Big-Endian Encoding
// Bytecode: PUSH22 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f 10 11 12 13 14 15 16
// Reads as: 0x0102030405060708090a0b0c0d0e0f10111213141516
// Most significant byte first
// Byte 0: 0x01 (highest significance)
// Byte 21: 0x16 (lowest significance)
Implementation
/**
* Read immediate data from bytecode for PUSH operations
*/
function readImmediate(bytecode: Uint8Array, pc: number, size: number): bigint | null {
if (pc + 1 + size > bytecode.length) {
return null;
}
let result = 0n;
for (let i = 0; i < size; i++) {
result = (result << 8n) | BigInt(bytecode[pc + 1 + i]);
}
return result;
}
/**
* PUSH22 opcode (0x75) - Push 22 bytes onto stack
*
* Stack: [] => [value]
* Gas: 3 (GasFastestStep)
*/
export function handler_0x75_PUSH22(frame: FrameType): EvmError | null {
const gasErr = consumeGas(frame, FastestStep);
if (gasErr) return gasErr;
const value = readImmediate(frame.bytecode, frame.pc, 22);
if (value === null) {
return { type: "InvalidOpcode" };
}
const pushErr = pushStack(frame, value);
if (pushErr) return pushErr;
frame.pc += 23;
return null;
}
Edge Cases
Insufficient Bytecode
// Bytecode ends before 22 bytes read
const bytecode = new Uint8Array([0x75, 0x01]); // Only 1 byte instead of 22
const frame = createFrame({ bytecode, pc: 0 });
const err = handler_0x75_PUSH22(frame);
console.log(err); // { type: "InvalidOpcode" }
Stack Overflow
// Stack at maximum capacity
const frame = createFrame({
stack: new Array(1024).fill(0n),
bytecode: new Uint8Array([0x75, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00])
});
const err = handler_0x75_PUSH22(frame);
console.log(err); // { type: "StackOverflow" }
Out of Gas
// Insufficient gas
const frame = createFrame({
gasRemaining: 2n, // Need 3 gas
bytecode: new Uint8Array([0x75, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff])
});
const err = handler_0x75_PUSH22(frame);
console.log(err); // { type: "OutOfGas" }
Maximum Value
// All bytes 0xFF
const bytecode = new Uint8Array([0x75, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff]);
const frame = createFrame({ bytecode, pc: 0 });
handler_0x75_PUSH22(frame);
console.log(frame.stack[0]); // 0xffffffffffffffffffffffffffffffffffffffffffff00000000000000000000n
References