From 11b829ba70f61a5c59abae8e4b6feec34000b74f Mon Sep 17 00:00:00 2001
From: rhanqtl <my@rhanqtl.com>
Date: Thu, 4 Sep 2025 23:19:11 +0800
Subject: [PATCH] fix(parse): #5234 adjust width of rhs according to lhs

---
 kernel/rtlil.cc               |  6 +++++-
 tests/sat/fminit_noexpand.ys  | 10 ++++++++++
 tests/sat/fminit_seq_width.ys | 17 +++++++++++++++++
 3 files changed, 32 insertions(+), 1 deletion(-)
 create mode 100644 tests/sat/fminit_noexpand.ys
 create mode 100644 tests/sat/fminit_seq_width.ys

diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index 035701cb9..586262f97 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -5974,7 +5974,11 @@ bool RTLIL::SigSpec::parse_rhs(const RTLIL::SigSpec &lhs, RTLIL::SigSpec &sig, R
 		}
 	}
 
-	return parse(sig, module, str);
+	if (!parse(sig, module, str))
+		return false;
+	if (sig.width_ > lhs.width_)
+		sig.remove(lhs.width_, sig.width_ - lhs.width_);
+	return true;
 }
 
 RTLIL::CaseRule::~CaseRule()
diff --git a/tests/sat/fminit_noexpand.ys b/tests/sat/fminit_noexpand.ys
new file mode 100644
index 000000000..a271c3c59
--- /dev/null
+++ b/tests/sat/fminit_noexpand.ys
@@ -0,0 +1,10 @@
+read_verilog -sv <<EOF
+module thing(input [2:0] in, output reg [2:0] out);
+    assign out = in;
+endmodule
+EOF
+
+select -assert-count 0 t:$eq
+fminit -set out 1'b1
+select -assert-count 1 t:$eq
+select -assert-count 1 t:$eq r:A_WIDTH=1 %i
diff --git a/tests/sat/fminit_seq_width.ys b/tests/sat/fminit_seq_width.ys
new file mode 100644
index 000000000..ea19a94e3
--- /dev/null
+++ b/tests/sat/fminit_seq_width.ys
@@ -0,0 +1,17 @@
+read_verilog -sv -formal <<EOF
+module counter(input clk, input [2:0] rst, input [0:3] rst_val, output logic is_full);
+    logic [1:0] ctr;
+
+    always @(posedge clk)
+        if (rst)
+            ctr <= 0;
+        else
+            ctr <= ctr+1;
+
+    assign is_full = (ctr == 2'b11);
+endmodule
+EOF
+
+hierarchy -check -top counter
+prep -top counter
+fminit -seq rst 0,1,2'b11,2'sb11,rst_val