scriptc

mirror of https://github.com/vercel-labs/scriptc.git synced 2026-11-08 08:44:37 +08:00

Files

T

Chris Tate b1a6814796 Prove typed-array loop bounds in worker programs when a view has shared storage

A typed-array loop version in a worker program tested its bounds and
its views' ownership together: every view had to have no shared
storage. A loop over views of a SharedArrayBuffer always failed that
guard and ran the checked copy, testing every element's index.

The guard now tests the bounds first and the ownership after. When the
bounds hold and every view is unshared, the loop runs the owned copy as
before. When a view is shared, it runs a new third copy whose accesses
skip their bounds checks and keep the shared-or-local path, without
alias scopes. Versions with a UTF-16 units copy, and programs without
workers, are unchanged.

Corpus 8350 runs such loops over shared, unshared and mixed views, to
counts within and past the views and over subarrays, with a worker
writing through shared views. The emission test checks the split guard
and the shared copy's accesses.

2026-10-25 08:06:24 -05:00

corpus

Prove typed-array loop bounds in worker programs when a view has shared storage

2026-10-25 08:06:24 -05:00

coverage-fixtures

Merge main and skip package.json files without a scriptc key

2026-10-25 03:58:49 -05:00

deadstrip

…

diagnostics

Run lone array callbacks as loops with their bodies inlined (#1997 )

2026-10-25 05:24:07 -05:00