FA-90139 / Bytecode virtual machines / Member archive

Branch relaxation: fit test measured from the branch start · case 04

Forward branches near the limit stay short and overflow; backward ones are widened needlessly.

Member previewVariant 4 · 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
forward branch just around the short limit	`{"branches": [[4, "jmp.w", 127], [134, "jz.w", 128]], "size": 266}`	`{"branches": [[4, "jmp", 127], [133, "jz.w", 128]], "size": 265}`	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.