From 414dc855730ce27b1b49bc50cc97ef4240b42ad4 Mon Sep 17 00:00:00 2001
From: Kelvin Chung <king.chung@manchester.ac.uk>
Date: Thu, 10 Apr 2025 00:01:50 +0100
Subject: [PATCH] Correct and more test

---
 passes/techmap/constmap.cc |  2 +-
 tests/techmap/constmap.ys  | 23 +++++++++++++++++++++++
 2 files changed, 24 insertions(+), 1 deletion(-)

diff --git a/passes/techmap/constmap.cc b/passes/techmap/constmap.cc
index 59bffbeb6..8f3235991 100644
--- a/passes/techmap/constmap.cc
+++ b/passes/techmap/constmap.cc
@@ -77,6 +77,6 @@ struct ConstmapPass : public Pass {
 			module->rewrite_sigspecs(constmap_worker);
 		}
 	}
-} HilomapPass;
+} ConstmapPass;
 
 PRIVATE_NAMESPACE_END
diff --git a/tests/techmap/constmap.ys b/tests/techmap/constmap.ys
index 2854f2e57..fbaca7662 100644
--- a/tests/techmap/constmap.ys
+++ b/tests/techmap/constmap.ys
@@ -16,6 +16,7 @@ design -reset
 
 read_verilog -lib << EOT
 module const_cell(O);
+parameter value=0;
 output O;
 endmodule
 EOT
@@ -33,8 +34,30 @@ endmodule
 EOT
 
 constmap -cell const_cell O value
+
 select -assert-count 2 t:const_cell
 select -assert-count 1 r:value=16
 select -assert-count 1 r:value=32
 select -assert-count 1 test/out1 %ci* r:value=16 %i
 select -assert-count 1 test/out2 %ci* r:value=32 %i
+select -assert-count 1 t:const_cell r:value=16 %i
+select -assert-count 1 t:const_cell r:value=32 %i
+
+design -reset
+
+read_verilog << EOT
+
+module test();
+  wire [31:0] in;
+  wire [31:0] out1;
+  wire [31:0] out2;
+  assign out1 = in + 16;
+  assign out2 = in + 32;
+endmodule
+
+EOT
+
+constmap -cell const_cell O value
+
+select -assert-count 1 t:const_cell r:value=16 %i
+select -assert-count 1 t:const_cell r:value=32 %i