@celox-sim/celox 0.2.2 → 0.3.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@celox-sim/celox",
-  "version": "0.2.2",
+  "version": "0.3.0",
   "description": "TypeScript runtime for Celox HDL simulation",
   "type": "module",
   "main": "./dist/index.js",
@@ -29,7 +29,7 @@
   },
   "license": "MIT",
   "dependencies": {
-    "@celox-sim/celox-napi": "0.2.2"
+    "@celox-sim/celox-napi": "0.3.0"
   },
   "peerDependencies": {
     "vitest": ">=1.0.0"

package/src/e2e.test.ts

@@ -81,6 +81,76 @@ module Counter (
 }
 `;
 
+// Regression: preserve every lane when a wide SIMD store forwards an unpacked
+// output array through multiple module instances. Fourteen 64-bit elements
+// exercise the native SLP path that previously aliased its scratch XMM register
+// with a live forwarding vector.
+const NESTED_OUTPUT_ARRAY_SOURCE = `
+module Element (
+    clk:   input  clock,
+    rst:   input  reset,
+    value: output logic<64>,
+) {
+    var value_r: logic<64>;
+    assign value = value_r;
+    always_ff {
+        if_reset {
+            value_r = -1;
+        }
+    }
+}
+
+module GeneratedArray (
+    clk:   input  clock,
+    rst:   input  reset,
+    value: output logic<64> [14],
+) {
+    for i in 0..14: elements {
+        inst element: Element (
+            clk,
+            rst,
+            value: value[i],
+        );
+    }
+}
+
+module ForwardA (
+    clk:   input  clock,
+    rst:   input  reset,
+    value: output logic<64> [14],
+) {
+    inst source: GeneratedArray (
+        clk,
+        rst,
+        value,
+    );
+}
+
+module ForwardB (
+    clk:   input  clock,
+    rst:   input  reset,
+    value: output logic<64> [14],
+) {
+    inst source: ForwardA (
+        clk,
+        rst,
+        value,
+    );
+}
+
+module NestedOutputArrayMre (
+    clk:   input  clock,
+    rst:   input  reset,
+    value: output logic<64> [14],
+) {
+    inst source: ForwardB (
+        clk,
+        rst,
+        value,
+    );
+}
+`;
+
 const MULTIPLEXER_SOURCE = `
 module Mux4 (
     sel: input logic<2>,
@@ -441,6 +511,58 @@ describe("E2E: Simulator.create (backward compat)", () => {
 	});
 });
 
+describe("E2E: nested output-array forwarding", () => {
+	test("forwards every generated 64-bit output-array element", () => {
+		const addon = loadNativeAddon();
+		const sim = Simulator.create<{ rst: bigint }>(
+			{
+				__celox_module: true,
+				name: "NestedOutputArrayMre",
+				sources: [{ path: "", content: NESTED_OUTPUT_ARRAY_SOURCE }],
+				ports: {
+					clk: { direction: "input", type: "clock", width: 1 },
+					rst: { direction: "input", type: "reset", width: 1 },
+					value: {
+						direction: "output",
+						type: "logic",
+						width: 64,
+						arrayDims: [14],
+					},
+				},
+				events: ["clk"],
+			},
+			{ __nativeCreate: createSimulatorBridge(addon) },
+		);
+
+		sim.dut.rst = 0n;
+		sim.tick();
+		sim.tick();
+		sim.dut.rst = 1n;
+
+		const dut = sim.dut as any;
+		const generated = Array.from({ length: 14 }, (_, index) =>
+			dut.source.source.source.value.at(index),
+		);
+		const forwardA = Array.from({ length: 14 }, (_, index) =>
+			dut.source.source.value.at(index),
+		);
+		const forwardB = Array.from({ length: 14 }, (_, index) =>
+			dut.source.value.at(index),
+		);
+		const forwarded = Array.from({ length: 14 }, (_, index) =>
+			dut.value.at(index),
+		);
+		sim.dispose();
+
+		const allOnes = (1n << 64n) - 1n;
+		const expected = Array.from({ length: 14 }, () => allOnes);
+		expect(generated).toEqual(expected);
+		expect(forwardA).toEqual(generated);
+		expect(forwardB).toEqual(forwardA);
+		expect(forwarded).toEqual(forwardB);
+	});
+});
+
 // ---------------------------------------------------------------------------
 // 4-state simulation e2e tests
 // ---------------------------------------------------------------------------
@@ -1883,7 +2005,7 @@ describe("E2E: celox.toml test sources", () => {
 		// Both the regular source (Adder) and the test-only source (Reg) must appear
 		expect(names).toContain("Adder");
 		expect(names).toContain("Reg");
-	});
+	}, 15_000);
 
 	test("[simulation] max_steps from celox.toml is used as waitUntil default", () => {
 		// celox.toml sets [simulation] max_steps = 20; waitUntil should honour it