trending/scriptc
1
0
Fork 0
mirror of https://github.com/vercel-labs/scriptc.git synced 2026-10-21 05:50:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

Pin the localized checksum in module byte-loop emission

Browse Source 
Every write of the module-level checksum in module-byte-loops.ts is a proven uint32, so its initializer now keeps it in an i32 local instead of a double global with an integer view. The emission test now pins the local and the absence of double loads; state keeps its integer view.
This commit is contained in:
Malte Ubl
2026-10-15 06:12:23 -07:00
parent 5223ec65ad
commit afe372da5b
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
packages/compiler/test/byte-number-emission.test.ts
+5 -1
View File
@@ -66,7 +66,11 @@ test("module-private numeric proofs retain global ownership and exclude shared b
const mod = deserializeModule(await readFile(outPath, "utf8"));
for (const pointerBits of [32, 64] as const) {
const ll = emitLlvmModule(mod, { pointerBits, wasi: pointerBits === 32 });
expect(ll).toContain("integer view checksum");
// Every write of checksum is a proven uint32, so the initializer keeps it
// in an i32 local of its own instead of a double global with a view.
expect(ll).toMatch(/%sc_l_\w*checksum = alloca i32 ; checksum/);
expect(ll).not.toContain("integer view checksum");
expect(ll).not.toMatch(/load double, ptr @sc_g_\w*checksum/);
expect(ll).toContain("integer view state");
expect(ll).toContain("integer induction offset");
expect(ll).not.toContain("integer view sharedNumber");