FA-89463 / Instruction set emulation / Member archive

Jump offset bits 10:1 not scaled · case 03

jal targets are off by half of their low offset bits.

Member previewVariant 3 · 3 implementations · 10 checks per implementation

Case contract

Input [word]: a 32-bit instruction. By opcode (low 7 bits): I-type 0x13/0x03/0x67 imm = sext(word[31:20]); S-type 0x23 imm = sext(word[31:25]:word[11:7]); B-type 0x63 imm = sext(word[31]:word[7]:word[30:25]:word[11:8]:0) (13 bits); U-type 0x37/0x17 imm = word & 0xFFFFF000 as signed 32-bit; J-type 0x6F imm = sext(word[31]:word[19:12]:word[20]:word[30:21]:0) (21 bits). Return [format, imm].

Why this case matters

Instruction decoders reassemble scattered immediate bits; a single misplaced bit sends branches and stores to the wrong address.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
jal backward	`["J", -3549]`	`["J", -3002]`	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.