feat: expand standard library lowerings and add GCC toolchain driver support - #249
Open
mcpe500 wants to merge 48 commits into
Open
feat: expand standard library lowerings and add GCC toolchain driver support#249mcpe500 wants to merge 48 commits into
mcpe500 wants to merge 48 commits into
Conversation
Contributor
|
@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[bot]](https://avatars.githubusercontent.com/in/8329?s=60&v=4){kind=small}
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
* feat(runtime): ship precompiled macOS artifacts - Add a versioned macOS arm64 runtime pack with deterministic feature selection and artifact verification. - Link LLVM helper objects against release-built runtime and vendor inputs without compiling user-machine C. - Wire package publishing, cache validation, documentation, and full-gate coverage for the new path. * fix(runtime): harden precompiled artifact handling * fix(runtime): make precompiled artifacts reproducible * fix(runtime): reject opaque linkers from executable cache * fix(runtime): normalize precompiled archive metadata * fix(runtime): harden precompiled artifact caching * fix(runtime): close executable cache link race * fix(runtime): stage verified pack artifacts * fix(runtime): bracket helper cache inputs * fix(runtime): preserve executable link identity * fix(runtime): trace selected linker dependencies
Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com>
Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com>
Co-authored-by: monteslu <423800+monteslu@users.noreply.github.com>
Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com>
* feat: tree-shake executable runtime sections Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * test: run runtime tree-shaking checks in sandbox Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix(runtime): release lazy process caches Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * test: stabilize runtime tree-shaking size guard Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> --------- Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com>
…s#273) Co-authored-by: euxaristia <25621994+euxaristia@users.noreply.github.com>
* feat(net): support reusePort server listen options Co-authored-by: Flora90001 <163703040+Flora90001@users.noreply.github.com> * fix(net): match reusePort boolean semantics Co-authored-by: Flora90001 <163703040+Flora90001@users.noreply.github.com> * feat(net): support reusePort server listen options Co-authored-by: Flora90001 <163703040+Flora90001@users.noreply.github.com> * test(net): close listeners on successful conflict probe Co-authored-by: Flora90001 <163703040+Flora90001@users.noreply.github.com> --------- Co-authored-by: Flora90001 <163703040+Flora90001@users.noreply.github.com>
* fix: index large unicode strings sparsely Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: retain sparse anchors for long ascii prefixes Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: skip sparse index for proven ASCII strings Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: complete sparse UTF-16 string indexing Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * test: rebase static size contracts for sparse index Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * test: retain sparse checkpoints through ASCII prefix end Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: retain sparse anchors across threshold append Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: retain sparse indexes beyond cursor cache Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: bound sparse string index residency Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * fix: isolate sparse string index residency Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com> * test: restore parseInt oracle outputs * test: verify committed string oracle - Regenerate the string case oracle with the active Node executable.\n- Compare the checked-in fixture byte-for-byte before native runtime checks.\n- Keep the Linux parseInt ULP allowance scoped to native output. --------- Co-authored-by: mmamedel <23098414+mmamedel@users.noreply.github.com>
* Separate native linking from C compilation - Split the helper-object runtime-pack path into explicit link planning and platform linking. - Reserve SCRIPTC_LINKER for object-only executable links while retaining a deprecated SCRIPTC_CC compatibility path. - Add no-legacy-C coverage and document the linker/SDK boundary. * Preserve runtime pack link errors * Fix linker cache invalidation and warnings * Fix C executable cache routing - Keep explicit C builds on compiler-backed cache identities. - Cover linker-only environment changes across exact C repeats.
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
…lowlist, importStar)
- npm-static-rewrite: broaden __toESM recognizer to __importStar (tsc), __importDefault and __createRequire (babel) with per-helper shape verification and erasure; gate and ESM handling updated; JS_ONLY parity (import,node,default) documented
- npm-static: relax looksUnminified for allowlist qs/mime-db/semver (dist minified but lib readable); per-file degradedFiles map and npmStaticPerFileStatuses alongside package offenders; fs shadow now per-file island for bundler-interop degrade (with allowlist-aware package fallback for compat)
- cjs-lexer: broaden starAssign to handle __importStar/__importDefault/_interopRequireWildcard; add Object.defineProperties plural handling
- npm: broaden KNOWN_BUILTINS for Node22+ (sqlite, sea, test) and subpaths
- corpus 2730-cjs-interop.ts covering __toESM(require("express/lib/express")) broadened helpers
Owner files only: npm-static.ts, npm-static-rewrite.ts, cjs-lexer.ts, npm.ts
pnpm -r build PASS; SCRIPTC_CC=gcc corpus PASS
.gitignore 'dist/' swallowed node_modules/pg/dist so the fixture was incomplete in git; rename to minified/ and repoint package.json main.
Replace sequential awaitExpr helpers with a concurrent promise.all.tuple intrinsic that subscribes to every entry immediately. The first rejection wins, slower fulfillments still run without unhandled rejections, and the tuple record fills by input index preserving type order. Also: - Add scr_promise_all_tuple runtime combinator for C backend - Add LLVM tuple thunks (store/finish/drop) via expr-callbacks - Fix procStream scalar payload classification in C and LLVM emitters - Add promise-all-heterogeneous-rejection differential test (2736) - Update Promise.all fences diagnostics snapshot - Remove the async-lifted-fn path for heterogeneous tuples
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
This PR expands standard library lowering support across several built-in APIs and adds
SCRIPTC_CC=gcctoolchain 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.Set<T> | nullandSet<T> | undefinedunion 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.createHash(alg).update(data).digest()returning rawBuffer/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.portproperty getter extraction.Toolchain Support:
SCRIPTC_CC=gccdriver support innative-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.isArrayExtended1201-Array.splicewith Items1202-crypto.timingSafeEqual1203-cryptobaredigest()1204-net.isIP/isIPv4/isIPv61205-URL.portproperty1206-process.memoryUsage()1207-Array.from(Set / Array)1208- NullableSet/Datein Unions1209-Array.ofstatic method1210-Object.fromEntries&Object.entries1211-new Setwith Array Iterable