You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
t27b: JIT and interpreter disagree on gen_canvas.t27 since #7425 (lab mismatch 1 on master) #7550
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.
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.
Activity
t27b: a frame address is a slice of a local array with elements, not …
t27b ledger: gen_canvas and frame_address_return are reference-bug; A…
t27b: refuse a return that hands out the address of the fn's own frame (
t27b: array literals the reference prints as @constcast(&[_]E{ ... })…
t27b: .{} takes its result type, and a store of the fn's own frame ad…
t27b conformance: where the frame-address refusal stops -- caller-own…
t27b: frame_address_return and frame_address_store are refusal tests,…
trinity_tokenizer.t27: tokenize and detokenize write into caller-owne…