From 66654d278d02a72f8888077f422cc4d3e9e106fd Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 24 Jul 2026 17:37:03 +1200
Subject: [PATCH] tests/opt: Add extra alumacc test

Checks equivalence when folding an `$lt` (or equivalently a `$gt`) into a `$sub`.
Currently failing, fix incoming.
---
 tests/opt/alumacc.ys | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/tests/opt/alumacc.ys b/tests/opt/alumacc.ys
index 043bdaaee..bdb96321b 100644
--- a/tests/opt/alumacc.ys
+++ b/tests/opt/alumacc.ys
@@ -31,3 +31,15 @@ proc
 equiv_opt -assert alumacc
 alumacc
 select -assert-count 1 t:$alu
+
+design -reset
+read_verilog << EOT
+module top(input signed a, b, output x, output [1:0] y);
+assign y = $unsigned(a) - $unsigned(b);
+assign x = a > b;
+endmodule
+EOT
+hierarchy
+wreduce
+equiv_opt -assert alumacc
+