FA-90153 / Bytecode virtual machines / Member archive

Branch relaxation: single relaxation pass · case 03

A branch pushed out of range by another branch widening stays short and wraps.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Assemble ["label", name], ["data", nbytes], ["jmp", label], ["jz", label]. Branches start in the short form (2 bytes, signed 8-bit displacement from the end of the instruction, valid -128..127). A short branch whose displacement does not fit is widened (jmp.w 3 bytes, jz.w 4 bytes) and addresses are recomputed until no branch changes (branches never shrink). Report duplicate or undefined labels; otherwise return each branch as [address, mnemonic, displacement from its own end] and the total size.

Why this case matters

Variable-length branch encodings need fixpoint relaxation to produce correct displacements.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: three-step widening cascade	`{"branches": [[3, "jmp", 127], [15, "jz", 127], [132, "jmp.w", 127]], "size": 263}`	`{"branches": [[3, "jmp.w", 129], [16, "jz.w", 128], [135, "jmp.w", 128]], "size": 267}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.