From b04948a8cdd2f13838f2472b7af4afa1ad516f6f Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Mon, 9 Feb 2026 09:38:45 -0800
Subject: [PATCH] Simplify test

---
 tests/arch/xilinx/dsp_preadder_sub.ys | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

diff --git a/tests/arch/xilinx/dsp_preadder_sub.ys b/tests/arch/xilinx/dsp_preadder_sub.ys
index 04e5e9da0..0e23ac373 100644
--- a/tests/arch/xilinx/dsp_preadder_sub.ys
+++ b/tests/arch/xilinx/dsp_preadder_sub.ys
@@ -1,23 +1,11 @@
 read_verilog <<EOT
 module top(
-	// NOTE: This test is intentionally "bitwidth-shaped" to match the current
-	// pre-subtractor matcher in `techlibs/xilinx/xilinx_dsp.pmg`.
-	//
-	// The `preSub` pattern requires `port(preSub, \\Y) === sigA` (SigSpec identity),
-	// where `sigA` is the (typically 25-bit) signal feeding the DSP multiplier
-	// A-side after sign-extension into the DSP input port width.
-	//
-	// If the `$sub` result is narrower (e.g. 9-bit for 8-bit operands) and only
-	// later sign-extended up to 25 bits, that identity check fails even though the
-	// values are equivalent. Therefore we explicitly compute a 25-bit signed
-	// subtraction here so the `$sub` output is already the same SigSpec that the
-	// DSP mapping uses for the A-side input.
 	input  signed [7:0] A,
 	input  signed [7:0] D,
 	input  signed [7:0] B,
 	output signed [16:0] P
 );
-	assign P = ($signed({{17{A[7]}}, A}) - $signed({{17{D[7]}}, D})) * B;
+	assign P = (A - D) * B;
 endmodule
 EOT