From 81b98f160b5d587e93b7da8f8a4375ecd30dc6f5 Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Tue, 14 Jul 2026 10:39:38 +0200
Subject: [PATCH] Test.

---
 tests/various/check_nolatches.ys     | 12 ++++++++++++
 tests/various/synth_latch_warning.ys | 17 ++++++++++++++---
 2 files changed, 26 insertions(+), 3 deletions(-)

diff --git a/tests/various/check_nolatches.ys b/tests/various/check_nolatches.ys
index 98ae07a26..f1cc124b0 100644
--- a/tests/various/check_nolatches.ys
+++ b/tests/various/check_nolatches.ys
@@ -21,6 +21,18 @@ hierarchy -top top
 proc
 check -nolatches -assert
 
+design -reset
+read_verilog -sv <<EOT
+module top(input g, d, output reg q);
+always_latch if (g) q <= d;
+endmodule
+EOT
+hierarchy -top top
+proc
+select -assert-count 1 t:$dlatch a:always_latch %i
+check -nolatches -assert
+check -latchonly -assert
+
 design -reset
 read_verilog <<EOT
 module top(input g, d, output reg q, output y);
diff --git a/tests/various/synth_latch_warning.ys b/tests/various/synth_latch_warning.ys
index 19f27fe99..da375b32a 100644
--- a/tests/various/synth_latch_warning.ys
+++ b/tests/various/synth_latch_warning.ys
@@ -14,7 +14,18 @@ design -load read
 synth_ice40 -latches info
 select -assert-count 1 t:SB_LUT4
 
-design -load read
-logger -expect warning "Latch inferred for signal" 1
-logger -expect error "Found 1 problems in 'check -assert'" 1
+# always_latch
+design -reset
+read_verilog -sv <<EOT
+module top(input d, en, output reg q);
+always_latch if (en) q = d;
+endmodule
+EOT
+logger -expect-no-warnings
+synth_ice40
+logger -check-expected
+select -assert-count 1 t:SB_LUT4
+
+design -load read
+logger -expect error "Latch inferred for signal" 1
 synth_ice40