Module bytecode 

NeoVM Bytecode Generation Module

Converts the intermediate representation (IR) to NeoVM bytecode. This module handles the low-level emission of NeoVM opcodes and manages function dispatch, storage operations, and syscall generation.

Architecture

The bytecode generator works in several phases:

1. Function dispatch - Generates entry point with method selector routing
2. IR lowering - Converts IR instructions to NeoVM opcodes
3. Optimization - Applies peephole optimizations to reduce bytecode size
4. Patching - Resolves function call targets and jump addresses

NeoVM Opcodes

Key opcodes used:

• 0x00-0x20 - Push operations (PUSH0, PUSHINT8, etc.)
• 0x40 - RET (return from function)
• 0x41 - SYSCALL (invoke system call)
• 0x45-0x4D - Control flow (JMP, JMPIF, CALL, etc.)

Storage Model

Storage keys are computed using SHA-256 hashing of variable names and mapping keys, following Neo N3 storage conventions.

Structs

BytecodeBuildOutput 🔒

CallPatch 🔒

MethodTokenKey 🔒

MethodTokenPatch 🔒

StructArrayElementAccess 🔒

StructFieldAccess 🔒

Constants

CALLFLAGS_ALL 🔒

Neo N3 uses CallFlags bitmask values.

CALLFLAGS_READ_ONLY 🔒

Read-only call flags (ReadStates | AllowCall).

NATIVE_CONTRACT_MANAGEMENT_HASH_LE 🔒

NATIVE_CRYPTOLIB_HASH_LE 🔒

NATIVE_GAS_HASH_LE 🔒

NATIVE_LEDGER_HASH_LE 🔒

NATIVE_NEO_HASH_LE 🔒

Native contract script hashes as they must be pushed onto the NeoVM stack (UInt160 little-endian byte order).

NATIVE_NOTARY_HASH_LE 🔒

NATIVE_ORACLE_HASH_LE 🔒

NATIVE_POLICY_HASH_LE 🔒

NATIVE_ROLE_MANAGEMENT_HASH_LE 🔒

NATIVE_STDLIB_HASH_LE 🔒

NATIVE_TREASURY_HASH_LE 🔒

Functions

append_default_value 🔒

apply_method_tokens 🔒

disassemble_neovm_bytecode 🔒

emit_abi_decode 🔒

emit_abi_encode 🔒

emit_array_get 🔒

emit_array_set 🔒

emit_binary_op 🔒

emit_builtin_call 🔒

emit_coerce_storage_value 🔒

emit_contract_call 🔒

emit_contract_call_with_flags 🔒

emit_convert 🔒

emit_deploy_contract 🔒

emit_ecrecover 🔒

emit_event 🔒

emit_event_by_name 🔒

emit_event_payload 🔒

emit_get_contract 🔒

emit_get_contract_script 🔒

emit_get_neo_account_state 🔒

emit_ir_function 🔒

emit_is_type 🔒

emit_keccak256 🔒

emit_load_local 🔒

emit_load_mapping 🔒

emit_load_parameter 🔒

emit_load_runtime_value 🔒

emit_load_state 🔒

emit_load_storage_dynamic 🔒

emit_load_struct_array_element 🔒

emit_load_struct_field 🔒

emit_load_struct_value_from_slot 🔒

emit_mapping_slot 🔒

emit_native_call 🔒

emit_native_contract_call 🔒

emit_new_array 🔒

emit_new_buffer 🔒

emit_notify_serialized 🔒

emit_runtime_check_witness 🔒

emit_runtime_notify 🔒

emit_serialize_key 🔒

emit_storage_delete 🔒

emit_storage_find 🔒

emit_storage_get 🔒

emit_storage_put 🔒

emit_store_local 🔒

emit_store_mapping 🔒

emit_store_state 🔒

emit_store_struct_array_element 🔒

emit_store_struct_field 🔒

emit_store_struct_value_to_slot 🔒

emit_struct_field_slot 🔒

emit_syscall 🔒

emit_syscall_builtin 🔒

emit_verify_signature 🔒

fmt_target 🔒

generate_contract_bytecode 🔒

is_void_syscall 🔒

native_contract_hash 🔒

native_method_call_flags 🔒

native_method_has_return_value 🔒

native_method_is_mutating 🔒

push_data 🔒

push_integer_bigint 🔒

push_literal_value 🔒

stack_item_type_code 🔒

take 🔒

take_i8 🔒

take_i16 🔒

take_i32 🔒

take_i64 🔒

take_u8 🔒

take_u16 🔒

take_u32 🔒