Skip to main content

MATCH_DISPATCH

aver::vm::opcode

Constant MATCH_DISPATCH 

Source 
pub const MATCH_DISPATCH: u8 = 0x7A;
Expand description

Unified prefix/exact dispatch on NanValue bits.

Encoding: MATCH_DISPATCH count:u8 default_offset:i16 [(kind:u8, expected:u64, offset:i16) × count]

kind=0: exact match — val.bits() == expected kind=1: tag match — (val.bits() & TAG_MASK_FULL) == expected where TAG_MASK_FULL = 0xFFFF_C000_0000_0000 (QNAN 14 bits + tag 4 bits)

Pops subject. Scans entries in order; first match wins → ip += offset. No match → ip += default_offset. All offsets are relative to the end of the full instruction.