@scriptc/cli-darwin-arm64 0.2.3 → 0.2.5

package/dist/lib/runtime-sources/src/scr_numeric.test.c

@@ -0,0 +1,37 @@
+#include "scr_numeric.h"
+#include <assert.h>
+#include <math.h>
+#include <stdio.h>
+
+/* Independent arithmetic oracle: do not derive expectations from bit fields. */
+static uint32_t reference(double value) {
+  if (!isfinite(value)) return 0;
+  double residue = fmod(trunc(value), 4294967296.0);
+  if (residue < 0) residue += 4294967296.0;
+  return (uint32_t)residue;
+}
+
+static void check(uint64_t bits) {
+  double value;
+  memcpy(&value, &bits, sizeof value);
+  assert(scr_numeric_to_u32(value) == reference(value));
+}
+
+int main(void) {
+  uint64_t bits = UINT64_C(0x0123456789abcdef);
+  for (unsigned i = 0; i < 2000000; i++) {
+    bits ^= bits << 13;
+    bits ^= bits >> 7;
+    bits ^= bits << 17;
+    check(bits);
+  }
+  /* Both signs at every exponent, including non-finite and subnormal values. */
+  for (unsigned exponent = 0; exponent < 2048; exponent++) {
+    for (unsigned sign = 0; sign < 2; sign++) {
+      for (unsigned low = 0; low < 64; low++) {
+        check(((uint64_t)sign << 63) | ((uint64_t)exponent << 52) | low);
+      }
+    }
+  }
+  puts("numeric coercions passed");
+}

package/dist/lib/runtime-sources/src/scr_numeric.test.ts

@@ -0,0 +1,33 @@
+import { execFile } from "node:child_process";
+import { mkdtemp, rm } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { promisify } from "node:util";
+import { expect, test } from "vitest";
+
+const exec = promisify(execFile);
+
+test("integer coercion matches modular truncation across binary64 encodings", async () => {
+  const scratch = await mkdtemp(join(tmpdir(), "scriptc-numeric-"));
+  try {
+    const binary = join(scratch, "numeric");
+    await exec("clang", [
+      "-std=c11",
+      "-O2",
+      "-Wall",
+      "-Wextra",
+      "-fsanitize=address,undefined",
+      join(import.meta.dirname, "scr_numeric.test.c"),
+      "-o",
+      binary,
+      ...(process.platform === "linux" ? ["-lm"] : []),
+    ]);
+    const result = await exec(binary, [], {
+      env: { ...process.env, UBSAN_OPTIONS: "halt_on_error=1" },
+    });
+    expect(result.stdout).toBe("numeric coercions passed\n");
+    expect(result.stderr).toBe("");
+  } finally {
+    await rm(scratch, { recursive: true, force: true });
+  }
+});