@fraczak/k 7.0.1 → 7.0.2

package/scripts/perf-ieee.mjs

@@ -11,21 +11,19 @@ import {
   evaluateInput,
   executeKVM,
   exportPatternGraph,
-  parseFloat64,
   patternToPropertyList,
   propertyListToPattern,
   run,
   run_converged,
-  valueForCode,
   Value
 } from "@fraczak/k/backend-api.mjs";
+import { parse as parseFloatValue } from "@fraczak/k/codecs/ieee.mjs";
+import { inputPatternForObjectRelation } from "../backends/llvm/src/executable.mjs";
 
 import {
   csvEnv,
   formatTiming,
   createLLVMRunner,
-  createARM64Runner,
-  arm64LaneName,
   llvmLaneName,
   makeCacheDir,
   parseNonNegativeIntEnv,
@@ -50,14 +48,13 @@ import {
 } from "../backends/wasm/tests/perf-support.mjs";
 
 import { compileWasmArtifactFromObject } from "../backends/wasm/src/wasm.mjs";
-import { compileARM64ArtifactFromObject } from "../backends/arm64/src/arm64.mjs";
 
 function printHelp() {
   console.log(`Usage: node scripts/perf-ieee.mjs [options]
 
 IEEE 754 Floating-Point Arithmetic Benchmark Harness.
 Benchmarks add, sub, mul, and div on Examples/ieee.k across
-Native JS, kVM interpreter, LLVM, Wasm, and ARM64 backends.
+Native JS, kVM interpreter, LLVM, and Wasm backends.
 
 Options:
   --opt=<levels>, --opts=<levels>
@@ -73,13 +70,11 @@ Options:
 
 Environment Variables:
   BACKENDS
-      Target backend to run: 'llvm', 'wasm', or 'arm64'.
+      Target backend to run: 'llvm' or 'wasm'.
   LLVM_ONLY
       Run only LLVM backend ('1' to enable).
   WASM_ONLY
       Run only WebAssembly backend ('1' to enable).
-  ARM64_ONLY
-      Run only ARM64 backend ('1' to enable).
   BACKENDS_ONLY
       Skip JS and kVM interpreter baselines ('1' to enable).
   VALUES
@@ -87,14 +82,6 @@ Environment Variables:
       (default: 0.5,-4,0,Infinity,-Infinity,NaN).
   ITERATIONS
       Measured iterations per benchmark (default: 3).
-  ARM64_WARMUP_ITERATIONS
-      Warmup iterations for ARM64 backend (default: 1).
-  ARM64_OPT
-      ARM64 backend optimization flags (default: -O2).
-  ARM64_SPAWN_PER_CALL
-      Spawn process per ARM64 call instead of persistent ('1' or '0').
-  ARM64_PIPELINE
-      Use persistent pipelined runner for ARM64 ('1' or '0').
   LLVM_WARMUP_ITERATIONS
       Warmup iterations for LLVM backend (default: 1).
   LLVM_SPAWN_PER_CALL
@@ -131,22 +118,14 @@ if (process.argv.includes("-h") || process.argv.includes("--help")) {
 const backendsEnv = process.env.BACKENDS?.toLowerCase();
 const llvmOnly = process.env.LLVM_ONLY === "1" || backendsEnv === "llvm";
 const wasmOnly = process.env.WASM_ONLY === "1" || backendsEnv === "wasm";
-const arm64Only = process.env.ARM64_ONLY === "1" || backendsEnv === "arm64";
-
-const isArm64Host = process.arch === "arm64" && process.platform === "linux";
-const runARM64 = !wasmOnly && !llvmOnly && (isArm64Host || arm64Only);
-const runLLVM = !wasmOnly && !arm64Only;
-const runWasm = !llvmOnly && !arm64Only;
-const runBaselines = !process.env.BACKENDS_ONLY && (process.env.LLVM_ONLY !== "1") && (process.env.WASM_ONLY !== "1") && (process.env.ARM64_ONLY !== "1");
+const runLLVM = !wasmOnly;
+const runWasm = !llvmOnly;
+const runBaselines = !process.env.BACKENDS_ONLY && (process.env.LLVM_ONLY !== "1") && (process.env.WASM_ONLY !== "1");
 
 const ops = ["add", "sub", "mul", "div"];
 const values = csvEnv("VALUES", "0.5,-4,0,Infinity,-Infinity,NaN");
 const iterations = parsePositiveIntEnv("ITERATIONS", 3);
 
-// ARM64 options
-const arm64WarmupIterations = parseNonNegativeIntEnv("ARM64_WARMUP_ITERATIONS", 1);
-const arm64OptLevel = process.env.ARM64_OPT || "-O2";
-
 // LLVM options
 const llvmWarmupIterations = parseNonNegativeIntEnv("LLVM_WARMUP_ITERATIONS", 1);
 const llvmRuntimeMode = process.env.K_LLVM_IEEE_RUNTIME_MODE || "fast";
@@ -200,10 +179,7 @@ const ieeePath = fileURLToPath(import.meta.resolve("@fraczak/k/Examples/ieee.k")
 await evaluateInput(`:load ${ieeePath}`, state);
 
 function generatePerfK(values) {
-  const paramFields = values.map((_, i) => `  float64 p${i}`).join(",\n");
-  const lines = [
-    `$params = {\n${paramFields}\n};`
-  ];
+  const lines = [];
   for (const op of ops) {
     lines.push(`perf_${op} =`);
     lines.push("  {");
@@ -216,7 +192,7 @@ function generatePerfK(values) {
     lines.push(cases.join(",\n"));
     lines.push("  };");
   }
-  lines.push("perf_ieee = ?params");
+  lines.push("perf_ieee =");
   lines.push("  {");
   lines.push("    perf_add add,");
   lines.push("    perf_sub sub,");
@@ -242,18 +218,16 @@ const relation = prepareRelation(state, "perf_ieee", {
 });
 codes.load(state.codes);
 
-const float64Hash = state.typeAliases.float64;
-function float64(text) {
-  return valueForCode(parseFloat64(text), float64Hash, codes.find);
-}
-
 const paramsObj = {};
 for (let i = 0; i < values.length; i++) {
-  paramsObj[`p${i}`] = float64(values[i]);
+  paramsObj[`p${i}`] = parseFloatValue(values[i]);
 }
-const rawProduct = Value.product(paramsObj);
-const inputVal = valueForCode(rawProduct, state.typeAliases.params, codes.find);
-const { inputWire, inputPattern } = wireInput(inputVal);
+const inputVal = Value.product(paramsObj);
+const inferredPattern = inputPatternForObjectRelation(
+  relation.object,
+  relation.relationName
+);
+const { inputWire, inputPattern } = wireInput(inputVal, inferredPattern);
 
 console.log("==> Computing expected results via Native JS");
 run_converged.defs = state;
@@ -327,39 +301,15 @@ if (runWasm) {
     const relDef = relation.relDef;
     const graph = relDef.typePatternGraph;
 
-    const inputPatternNodeId = graph.find(relDef.def.patterns[0]);
-    const inputPat = propertyListToPattern(patternToPropertyList(exportPatternGraph(graph, inputPatternNodeId)));
-
     const outputPatternNodeId = graph.find(relDef.def.patterns[1]);
     wasmOutputPatternPropertyList = patternToPropertyList(exportPatternGraph(graph, outputPatternNodeId));
     wasmOutputPattern = propertyListToPattern(wasmOutputPatternPropertyList);
 
-    wasmPtrIn = writeValueToArena(wasmExports, inputVal, inputPat, 0);
+    wasmPtrIn = writeValueToArena(wasmExports, inputVal, propertyListToPattern(inputPattern), 0);
     wasmFuncName = cleanName(state.relAliases.perf_ieee);
   }
 }
 
-// Setup ARM64
-let arm64ExePath = null;
-let arm64CompileError = null;
-
-if (runARM64) {
-  console.log(`==> Compiling Linux ARM64 executable (${arm64OptLevel})...`);
-  try {
-    arm64ExePath = path.join(cacheDir, "perf_ieee_arm64");
-    compileARM64ArtifactFromObject(relation.object, {
-      entry: "__main__",
-      inputPattern,
-      outputPath: arm64ExePath,
-      optLevel: arm64OptLevel
-    });
-  } catch (error) {
-    arm64CompileError = error.stack || error.message || String(error);
-    console.log("Linux ARM64 compilation failed:");
-    console.log(arm64CompileError.split("\n").slice(0, 8).join("\n"));
-  }
-}
-
 function printBenchmarkDescription() {
   const lanes = [];
   if (runBaselines) {
@@ -374,7 +324,6 @@ function printBenchmarkDescription() {
     }
   }
   if (runWasm) lanes.push(wasmLaneName());
-  if (runARM64) lanes.push(arm64LaneName(arm64OptLevel));
 
   console.log("==> Benchmark description");
   console.log("    source: @fraczak/k/Examples/ieee.k#perf_ieee (single program)");
@@ -394,11 +343,6 @@ function printBenchmarkDescription() {
       console.log(`    wasm arena reset: ${wasmReset ? "yes" : "no"}`);
     }
   }
-  if (runARM64) {
-    console.log(`    arm64 warmup iterations: ${arm64WarmupIterations}`);
-    console.log(`    arm64 opt level: ${arm64OptLevel}`);
-    console.log(`    arm64 runner mode: ${process.env.ARM64_SPAWN_PER_CALL === "1" ? "spawn per call" : "persistent"}`);
-  }
   console.log(`    iterations: ${iterations}`);
   console.log(`    benchmark lanes: ${lanes.join("; ")}`);
   console.log("    conformance: all outputs are compared to native expected values");
@@ -501,27 +445,6 @@ if (runWasm) {
   }
 }
 
-// 4. Linux ARM64 lane
-let arm64Result = null;
-if (runARM64 && arm64ExePath) {
-  const arm64Runner = createARM64Runner([{
-    op: "perf_ieee",
-    inputWire,
-    arm64: { status: "ok", exePath: arm64ExePath }
-  }]);
-  try {
-    if (arm64WarmupIterations > 0) {
-      console.log(`==> Warming Linux ARM64 (${arm64WarmupIterations} iterations)...`);
-      await arm64Runner.run(arm64WarmupIterations);
-    }
-
-    console.log(`==> Running Linux ARM64 (${iterations} iterations)...`);
-    arm64Result = await arm64Runner.run(iterations);
-  } finally {
-    arm64Runner.close();
-  }
-}
-
 console.log("\n=================== IEEE BENCHMARK RESULTS ===================");
 console.log(`Program calls per iteration: 1 (${totalOps} IEEE operations evaluated inside)`);
 console.log(`Total requested program calls: ${iterations} (${iterations * totalOps} equivalent IEEE operations)`);
@@ -544,10 +467,6 @@ if (runWasm) {
   const timingStr = wasmResult ? formatTiming(wasmResult) : "compile failed";
   console.log(`${laneIndex++}. ${wasmLaneName().padEnd(29)} ${timingStr}`);
 }
-if (runARM64) {
-  const timingStr = arm64Result ? formatTiming(arm64Result) : "compile failed";
-  console.log(`${laneIndex++}. ${arm64LaneName(arm64OptLevel).padEnd(29)} ${timingStr}`);
-}
 console.log("==============================================================\n");
 
 // Conformance Validation
@@ -621,22 +540,6 @@ if (runWasm) {
   }
 }
 
-let arm64Ok = false;
-if (runARM64) {
-  if (!arm64ExePath) {
-    console.log("Linux ARM64 conformance failure: executable was not compiled");
-  } else {
-    try {
-      const outputWire = await runExecutable(arm64ExePath, inputWire);
-      const actual = decodeWire(outputWire).value;
-      assert.deepEqual(toPlainObject(actual), toPlainObject(expected));
-      arm64Ok = true;
-    } catch (error) {
-      console.log("Linux ARM64 conformance failure:", error.message || error);
-    }
-  }
-}
-
 const validationSummary = [];
 if (runBaselines && kvmOk) validationSummary.push(`kVM (all ${totalOps} ops)`);
 if (runLLVM) {
@@ -649,9 +552,6 @@ if (runLLVM) {
 if (runWasm) {
   validationSummary.push(`Wasm (${wasmOk ? `all ${totalOps} ops` : "failed"})`);
 }
-if (runARM64) {
-  validationSummary.push(`Linux ARM64 (${arm64Ok ? `all ${totalOps} ops` : "failed"})`);
-}
 
 console.log(`Conformance validation: ${validationSummary.join(", ")} match expected values.`);
 if (runLLVM) {
@@ -661,4 +561,3 @@ if (runLLVM) {
   }
 }
 if (runWasm && !wasmOk) process.exitCode = 1;
-if (runARM64 && !arm64Ok) process.exitCode = 1;