From 6a5d74d252d0645b581089fca91d1aa3d0126b39 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 20 Jan 2026 23:07:33 +0100
Subject: [PATCH] satgen: $priority perform more x-bit horrors

---
 kernel/satgen.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/satgen.cc b/kernel/satgen.cc
index c6b4829ad..bfbf6d77e 100644
--- a/kernel/satgen.cc
+++ b/kernel/satgen.cc
@@ -465,7 +465,7 @@ bool SatGen::importCell(RTLIL::Cell *cell, int timestep)
 				int undef_because_s = ez->AND(any_previous_undef, ez->OR(is_active, undef_a[i]));
 				int undef_because_a = ez->AND(ez->OR(any_previous_undef, ez->NOT(active_so_far[i-1])), undef_a[i]);
 				int undef = ez->OR(undef_because_s, undef_because_a);
-				any_previous_undef = ez->OR(any_previous_undef, is_active);
+				any_previous_undef = ez->AND(ez->NOT(is_active), ez->OR(any_previous_undef, undef_a[i]));
 				ez->assume(ez->IFF(undef_y[i], undef));
 			}
 			undefGating(y, yy, undef_y);