Skip to content

t27b: JIT and interpreter disagree on gen_canvas.t27 since #7425 (lab mismatch 1 on master) #7550

Closed

Description

@gHashTag

The t27b lab has shown mismatch 1 and jit_interp_mismatch 1 on master since #7425 ("frames over 16 KiB, probing the stack one page at a time", Closes #7367). Before that it was 0.

The detail is the same in every run:

MISMATCH Canvas_init_basic: jit Ok(365116131360), interpreter Err(Fault("1-byte access at stack+0x21 is outside every live slot"))

The reference passes all 5 tests, and so does the JIT. The interpreter faults on a byte access inside the 40 KiB frame. So the interpreter's live-slot model does not yet cover what the probed large frame lays out, or the probe itself touches stack bytes the interpreter does not track. Either way, the lab's mismatch 0 invariant is broken on master.

Found while proving the Mach-O port (#7526 / #7537) changes nothing: head and base both carry this one mismatch, file for file.

Refs #7367 #6063

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions