From a51ed0614c3b2f92a7b307346aabcfec00aab351 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 30 Sep 2026 12:18:54 +0200
Subject: [PATCH] abc_new: add test for &get error handling

---
 tests/abc_new/classic_map.ys | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/abc_new/classic_map.ys

diff --git a/tests/abc_new/classic_map.ys b/tests/abc_new/classic_map.ys
new file mode 100644
index 000000000..735ab0cc9
--- /dev/null
+++ b/tests/abc_new/classic_map.ys
@@ -0,0 +1,15 @@
+# https://github.com/YosysHQ/yosys/issues/6235
+# '&get' loses the mapping
+read_verilog <<EOT
+module top(input [7:0] a, b, input [2:0] s, output [7:0] y);
+	assign y = (a << s) | (b >> s);
+endmodule
+EOT
+
+hierarchy -top top
+proc
+techmap
+opt
+
+logger -expect error "ABC returned unmapped node" 1
+abc_new -liberty openroad/cm_test_cells.lib -script +&put;strash;map;&get