plotnik-bytecode 0.3.2

Bytecode format and runtime types for Plotnik
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Bytecode format constants.

/// Magic bytes identifying a Plotnik bytecode file.
pub const MAGIC: [u8; 4] = *b"PTKQ";

/// Current bytecode format version.
/// v2: Removed explicit offsets (computed from counts), added regex section.
/// v3: Removed flags field (unlinked mode).
pub const VERSION: u32 = 3;

/// Section alignment in bytes.
pub const SECTION_ALIGN: usize = 64;

/// Step size in bytes (all instructions are 8-byte aligned).
pub const STEP_SIZE: usize = 8;

/// Maximum payload slots for Match instructions.
///
/// Match64 (the largest variant) supports up to 28 u16 slots for
/// effects, neg_fields, and successors combined. When an epsilon
/// transition needs more successors, it must be split into a cascade.
pub const MAX_MATCH_PAYLOAD_SLOTS: usize = 28;

/// Maximum pre-effects per Match instruction.
///
/// Pre-effect count is stored in 3 bits (max 7). When exceeded,
/// overflow effects must be emitted in leading epsilon transitions.
pub const MAX_PRE_EFFECTS: usize = 7;