mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-23 06:10:02 +08:00
Chris Tate
3f66c8e20b
- Remove C emission, debugging options, and automatic backend fallback. - Complete LLVM lowering and native bootstrap coverage across supported targets. - Link executables and libraries with precompiled C runtime packs, including iOS and Android.
64 lines
3.4 KiB
TypeScript
64 lines
3.4 KiB
TypeScript
import { spawnSync } from "node:child_process";
|
|
import { mkdtempSync, readFileSync, rmSync, writeFileSync } from "node:fs";
|
|
import { tmpdir } from "node:os";
|
|
import { join } from "node:path";
|
|
import { fileURLToPath } from "node:url";
|
|
import { expect, test } from "vitest";
|
|
import { compile, deserializeModule, validateModule } from "@scriptc/compiler";
|
|
import { validatorCases } from "./self-hosting-validator-cases.js";
|
|
|
|
const root = fileURLToPath(new URL("../..", import.meta.url));
|
|
const entry = join(root, "tests/fixtures/self-hosting/validate.ts");
|
|
const runOptions = { cwd: root, timeout: 30_000, maxBuffer: 16 * 1024 * 1024 };
|
|
|
|
for (const backend of ["llvm"] as const) {
|
|
test(`self-hosting full validator: ${backend} matches Node on valid and invalid IR`, async () => {
|
|
const dir = mkdtempSync(join(process.platform === "win32" ? tmpdir() : "/tmp", "scriptc-native-validator-"));
|
|
try {
|
|
const built = await compile(entry, {
|
|
outDir: dir, outPath: join(dir, process.platform === "win32" ? "validator.exe" : "validator"),
|
|
backend, dynamic: false, optimization: "dev", sanitize: process.env["SCRIPTC_SAN"] === "1",
|
|
});
|
|
if (!built.ok) throw new Error(built.diagnostics.map((d) => `${d.code}: ${d.message}`).join("\n"));
|
|
expect(built.backend).toBe(backend);
|
|
const check = (name: string, input: string, diagnostic?: string): void => {
|
|
const path = join(dir, "input.json");
|
|
writeFileSync(path, input);
|
|
const expected = validateModule(JSON.parse(input));
|
|
if (diagnostic) expect(expected.some((d) => d.message.includes(diagnostic)), name).toBe(true);
|
|
else expect(expected, name).toEqual([]);
|
|
const oracle = spawnSync(process.execPath, ["--import", "tsx", entry, path], runOptions);
|
|
const native = spawnSync(built.binaryPath, [path], runOptions);
|
|
for (const result of [oracle, native]) {
|
|
expect(result.error, name).toBeUndefined();
|
|
expect(result.signal, `${name}: ${result.stderr}`).toBeNull();
|
|
expect(result.status, `${name}: ${result.stderr}`).toBe(0);
|
|
}
|
|
expect(native.stdout, name).toEqual(oracle.stdout);
|
|
expect(native.stderr, name).toEqual(oracle.stderr);
|
|
expect(JSON.parse(native.stdout.toString()), name).toEqual(expected);
|
|
};
|
|
for (const item of validatorCases()) check(item.name, JSON.stringify(item.module), item.diagnostic);
|
|
|
|
// Exercise real emitted IR, including recursive type tables, lifted
|
|
// closures, Error subclasses, dyn conversions and container helpers.
|
|
for (const source of [
|
|
"tests/corpus/3086-error-constructor-options.ts",
|
|
"tests/corpus/3088-array-wide-callbacks.ts",
|
|
"tests/corpus/3089-array-find-narrowing.ts",
|
|
"tests/corpus/3091-json-recursive-discriminants.ts",
|
|
"tests/corpus/3109-identity-union-collections.ts",
|
|
"tests/corpus/nullish-long-chain.ts",
|
|
]) {
|
|
const irPath = join(dir, "emitted.json");
|
|
const emitted = await compile(join(root, source), { outDir: dir, outPath: irPath, outputKind: "ir", dynamic: false });
|
|
if (!emitted.ok) throw new Error(emitted.diagnostics.map((d) => `${d.code}: ${d.message}`).join("\n"));
|
|
const module = deserializeModule(readFileSync(irPath, "utf8"));
|
|
check(source, JSON.stringify(module));
|
|
}
|
|
} finally {
|
|
rmSync(dir, { recursive: true, force: true });
|
|
}
|
|
});
|
|
}
|