feat: expand standard library lowerings and add GCC toolchain driver support by mcpe500 · Pull Request #249 · vercel-labs/scriptc

mcpe500 · 2026-08-28T02:05:08Z

Summary

This PR expands standard library lowering support across several built-in APIs and adds SCRIPTC_CC=gcc toolchain driver support for Linux environments. All extended built-ins have been verified with differential tests ensuring 100% byte-for-byte identical output against Node.js and Bun.js.

Enhancements & Built-in Lowerings

Array.* & Array.prototype.*:
- Array.isArray(x) on dynamic and computed expression values.
- Array.prototype.splice(start, deleteCount, ...items) with variadic element insertion.
- Array.from(Set / Array / String) native iterable conversion.
- Array.of(...items) static constructor.
Set.* & Set.prototype.*:
- new Set(iterable) supporting Array and Set iterable initializers.
- Nullable and optional Set<T> | null and Set<T> | undefined union arms support.
Object.*:
- Object.fromEntries(iterable) supporting tuple entries and string row arrays.
- Object.keys(), Object.values(), Object.entries().
crypto.*:
- crypto.timingSafeEqual(a, b) constant-time XOR comparison in runtime C.
- Bare createHash(alg).update(data).digest() returning raw Buffer/Uint8Array.
process.*:
- process.memoryUsage() record lowering (rss, heapTotal, heapUsed, external, arrayBuffers).
net.* & URL:
- net.isIP(str), net.isIPv4(str), net.isIPv6(str) IP address validation.
- URL.port property getter extraction.
Toolchain Support:
- Added SCRIPTC_CC=gcc driver support in native-toolchain.ts.

Verification

All 12 extended test suites pass with 100% byte-for-byte parity against Node.js (v26) and Bun.js (v1.4):

1200 - Array.isArray Extended
1201 - Array.splice with Items
1202 - crypto.timingSafeEqual
1203 - crypto bare digest()
1204 - net.isIP / isIPv4 / isIPv6
1205 - URL.port property
1206 - process.memoryUsage()
1207 - Array.from(Set / Array)
1208 - Nullable Set/Date in Unions
1209 - Array.of static method
1210 - Object.fromEntries & Object.entries
1211 - new Set with Array Iterable

…ver support

vercel · 2026-08-28T02:05:15Z

@mcpe500 is attempting to deploy a commit to the Vercel Labs Team on Vercel.

A member of the Team first needs to authorize it.

vercel

Additional Suggestion:

LLVM unionNewOwned/unionExtract route date union arms through the ref-counted-pointer path, emitting a double where LLVM expects a ptr and producing invalid IR for Date | null / Date | undefined unions.

… LLVM union arms

URL.origin, os.freemem/loadavg, process.version, Function type, new Date(any), new Set(iterable), Number(any/dyn), ReadonlyArray.includes, Object.entries/values, mixed logical operators, catch property basics. 14 compiler/runtime files + 12 differential corpus tests. Fork-compatible: differential stdout/stderr/exit byte-identical vs Node. Co-authored-by: internal-model

…t base, strengthened (2721)

…lly-executed code (2718)

- os.arch maps to process.arch via surfaces.ts (same runtime string) - Promise.allSettled lowers via sequential await loop helper (%promise.allSettled) producing honest subset {status:string}[] sequential helper preserves order and always fulfills also supports dynamic island via jsOp when marshalable - corpus 2727-os-arch and 2728-promise-allsettled differential PASS (gcc) ai-core scriptc:dev blockers reduced: os.arch and allSettled now pass

… + fs shim callbacks - vendor-archives: mbedtls host-arch compile used hardcoded clang; use SCRIPTC_CC like the quickjs path (fixes spawn clang ENOENT on gcc-only hosts) - scr_island: SCRIPTC_VERBOSE=1 prints the engine exception .stack before the uncaught bridge swallows it (default output unchanged) - scr_island: node:fs shim gains ReadStream/WriteStream constructors and callback-style readFile/writeFile/appendFile/mkdir/rm/realpath/exists

vercel · 2026-08-29T08:57:17Z

+  size_t a_len = a->len * scr_bytes_elem_size(a->elem);
+  size_t b_len = b->len * scr_bytes_elem_size(b->elem);
+  if (a_len != b_len) {
+    scr_throw_error_msg(SCR_ERR_RANGE, "Input buffers must have the same byte length", 42);


Suggested change

scr_throw_error_msg(SCR_ERR_RANGE, "Input buffers must have the same byte length", 42);

scr_throw_error_msg(SCR_ERR_RANGE, "Input buffers must have the same byte length", 44);

Error message length of 42 truncates the 44-byte "Input buffers must have the same byte length" RangeError message to "Input buffers must have the same byte leng"

vercel · 2026-08-29T08:57:17Z

+    "    if (builtins.process().env.SCRIPTC_VERBOSE === '1') {\n"
+    "      host.write(2, 'scriptc: captureTrace raw=' + JSON.stringify(raw) + '\\n');\n"
+    "      host.write(2, 'scriptc: captureTrace parsed=' + frames.length + ' prep=' + (prepAtCapture === null ? 'null' : 'fn') + '\\n');\n"
+    "      for (const f of frames) host.write(2, 'scriptc:   pf ' + JSON.stringify(String(f)) + '\\n');\n"
+    "    }\n"
+    "    const prepAtCapture = typeof Error.prepareStackTrace === 'function' ? Error.prepareStackTrace : null;\n"


Suggested change

" if (builtins.process().env.SCRIPTC_VERBOSE === '1') {\n"

" host.write(2, 'scriptc: captureTrace raw=' + JSON.stringify(raw) + '\\n');\n"

" host.write(2, 'scriptc: captureTrace parsed=' + frames.length + ' prep=' + (prepAtCapture === null ? 'null' : 'fn') + '\\n');\n"

" for (const f of frames) host.write(2, 'scriptc: pf ' + JSON.stringify(String(f)) + '\\n');\n"

" }\n"

" const prepAtCapture = typeof Error.prepareStackTrace === 'function' ? Error.prepareStackTrace : null;\n"

" const prepAtCapture = typeof Error.prepareStackTrace === 'function' ? Error.prepareStackTrace : null;\n"

" if (builtins.process().env.SCRIPTC_VERBOSE === '1') {\n"

" host.write(2, 'scriptc: captureTrace raw=' + JSON.stringify(raw) + '\\n');\n"

" host.write(2, 'scriptc: captureTrace parsed=' + frames.length + ' prep=' + (prepAtCapture === null ? 'null' : 'fn') + '\\n');\n"

" for (const f of frames) host.write(2, 'scriptc: pf ' + JSON.stringify(String(f)) + '\\n');\n"

" }\n"

The injected Error.captureStackTrace shim references block-scoped const prepAtCapture in the SCRIPTC_VERBOSE diagnostic block before it is declared, hitting the temporal dead zone and throwing ReferenceError on every captureStackTrace call when verbose mode is enabled.

vercel · 2026-08-29T08:57:17Z

+    * same combinator, and a HETEROGENEOUS tuple of promises
+    * (Promise<[A, B]>) lowers as sequential in-order awaits building the
+    * tuple record. Null otherwise: non-literal arguments keep the array
+    * path and its fences. */


The heterogeneous branch of lowerPromiseAllTupleCall unconditionally emits awaitExpr IR nodes, producing invalid IR when Promise.all([...heterogeneous...] as const) appears in a non-async body, and eagerly awaits (returning a record instead of a Promise) when the result is not directly awaited.

mcpe500 added 2 commits August 28, 2026 08:48

feat: implement full standard library lowerings and gcc toolchain dri…

191c4ad

…ver support

Merge remote-tracking branch 'origin/main'

f2412f7

vercel Bot reviewed Aug 28, 2026

View reviewed changes

Comment thread packages/compiler/src/frontend/lowering/lower-calls.ts Outdated

mcpe500 added 21 commits August 28, 2026 09:29

fix: preserve Array.isArray computed side effects and support Date in…

182d402

… LLVM union arms

feat: implement catch/inspect/join phase 3 lanjutan (2713-2715)

8a63e80

feat: implement collections & type representations phase 4 (2716-2717)

921d62c

feat: optional chain over primitive receivers corpus, already green a…

a3c0220

…t base, strengthened (2721)

feat: import.meta.url lowering to file:// module URI (2722)

9b46a4c

feat: Promise.all heterogeneous/empty tuple lowerings (2723)

d407013

feat: boundary callback thunk for Error params crossing into dynamica…

06eca1a

…lly-executed code (2718)

feat: SC0004 panic guard for tuple/type-reference checker shapes (2726)

82d12ab

fix: honor configured compiler for vendor archives

194ee01

feat: lower spread over dynamic values (2724)

ca298b1

feat: cover any to socket casts (2725)

ff673d7

feat: support class interface width coercion (2719)

f8f363b

feat: cover intersection expando lowering (2720)

d1330f8

fix: restrict checker panic fence to checker panics

c79a042

fix: escape import.meta.url paths

569b945

merge: phase 6 panic guard lane

88ecf7b

merge: phase 5 boundary coercion lane

8aa5003

merge: phase 6 stretch lane

d0231cb

vercel Bot reviewed Aug 29, 2026

View reviewed changes

Navigation Menu

Uh oh!

feat: expand standard library lowerings and add GCC toolchain driver support - #249

feat: expand standard library lowerings and add GCC toolchain driver support#249
mcpe500 wants to merge 23 commits into
vercel-labs:mainfrom
mcpe500:feat/stdlib-lowerings-and-gcc-support

mcpe500 commented Aug 28, 2026

Uh oh!

vercel Bot commented Aug 28, 2026

Uh oh!

vercel Bot left a comment

Uh oh!

Uh oh!

vercel Bot Aug 29, 2026

Uh oh!

vercel Bot Aug 29, 2026

Uh oh!

vercel Bot Aug 29, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

	scr_throw_error_msg(SCR_ERR_RANGE, "Input buffers must have the same byte length", 42);
	scr_throw_error_msg(SCR_ERR_RANGE, "Input buffers must have the same byte length", 44);

Uh oh!

Conversation

mcpe500 commented Aug 28, 2026

Summary

Enhancements & Built-in Lowerings

Verification

Uh oh!

vercel Bot commented Aug 28, 2026

Uh oh!

vercel Bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

vercel Bot Aug 29, 2026

Choose a reason for hiding this comment

Uh oh!

vercel Bot Aug 29, 2026

Choose a reason for hiding this comment

Uh oh!

vercel Bot Aug 29, 2026

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant