Files
scriptc/packages/runtime/test/runtime.test.ts
Malte Ubl 70dfdbd61e Route strings, arrays and emitted records through the small-object allocator
Move the allocator into scr_alloc.c with inline fast paths in scr_runtime.h;
strings, array headers/slot buffers, and emitted acyclic records/classes
(scr_rt_calloc/scr_rt_free) now use it. Adds scr_alloc.test.{c,ts}.
2026-10-08 15:01:26 -05:00

64 lines
1.7 KiB
TypeScript

import { execFile } from "node:child_process";
import { mkdir } from "node:fs/promises";
import { join } from "node:path";
import { promisify } from "node:util";
import { expect, test } from "vitest";
const execFileAsync = promisify(execFile);
const testDir = import.meta.dirname;
const srcDir = join(testDir, "../src");
const RUNTIME_SOURCES = [
"scr_number.c",
"scr_bigint.c",
"scr_string.c",
"scr_array.c",
"scr_bytes.c",
"scr_shared.c",
"scr_bytes_io.c",
"scr_map.c",
"scr_closure.c",
"scr_ffi.c",
"scr_object.c",
"scr_union.c",
"scr_exception.c",
"scr_error.c",
"scr_console.c",
"scr_lib.c",
"scr_url.c",
"scr_url_params.c",
"scr_path.c",
"scr_json.c",
"scr_async.c",
"scr_child.c",
"scr_cycle.c",
"scr_alloc.c",
].map((f) => join(srcDir, f));
// Full runtime smoke under ASan + the RC audit: proves the API works and the
// hand-modeled ownership discipline (the same one the LLVM emitter uses) is
// leak- and double-free-clean.
test("runtime smoke.c: output exact, ASan and RC audit clean", async () => {
const buildDir = join(testDir, "build");
await mkdir(buildDir, { recursive: true });
const bin = join(buildDir, "smoke");
await execFileAsync("clang", [
"-std=c11",
"-O1",
"-Wall",
"-Wextra",
"-fsanitize=address",
"-DSCR_RC_AUDIT",
...(process.platform === "linux" ? ["-D_GNU_SOURCE"] : []),
"-o",
bin,
join(testDir, "smoke.c"),
...RUNTIME_SOURCES,
...(process.platform === "linux" ? ["-lm"] : []),
]);
const { stdout } = await execFileAsync(bin);
expect(stdout).toBe(
"hello world\n" + "n = 0.30000000000000004 flag = true\n" + "hellohello 10\n" + "true\n",
);
});