One bounded ALXR v1 expansion algorithm shared by host instruction emitters.
The wire format and argument contract are documented by NativeLaunchRecipeRoutine.
All pointers/extents are machine words; supplied input/output ranges must be
valid, nonoverlapping and nonwrapping. Every read/write is checked against
those ranges. This is a decoder for compiler-emitted bounded table recipes,
not an OS mapping or pointer-validity checker.
Immediates/displacements below are signed 32-bit bit patterns; loads are
little-endian and permit unaligned access. Compare is unsigned left-right.
Load8/32 zero-extend; Store8 truncates. Only explicit compares/tests supply
branch flags, so other emitters need not reproduce unused arithmetic flags.
SP denotes a private 64-byte scratch frame addressed by negative offsets.
Each emitter supplies its ABI-compliant frame allocation and return sequence.
A complete recipe consumes every input byte, fills the declared output and
has a zero reserved header word. Accepting only its valid prefix would hide
truncated operation counts or concatenated/corrupt tables.
24constructor LaunchRecipeNotZeroThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.