From 6aa1690745685c5ef4daae69256b26c8bbcc2995 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Mon, 30 Mar 2026 18:43:57 -0400
Subject: [PATCH] Tests: Add t_inst_port_reverse (#5877)

---
 test_regress/t/t_inst_port_reverse.py | 18 ++++++++++++
 test_regress/t/t_inst_port_reverse.v  | 40 +++++++++++++++++++++++++++
 2 files changed, 58 insertions(+)
 create mode 100755 test_regress/t/t_inst_port_reverse.py
 create mode 100644 test_regress/t/t_inst_port_reverse.v

diff --git a/test_regress/t/t_inst_port_reverse.py b/test_regress/t/t_inst_port_reverse.py
new file mode 100755
index 000000000..a16833e52
--- /dev/null
+++ b/test_regress/t/t_inst_port_reverse.py
@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+# DESCRIPTION: Verilator: Verilog Test driver/expect definition
+#
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of either the GNU Lesser General Public License Version 3
+# or the Perl Artistic License Version 2.0.
+# SPDX-FileCopyrightText: 2026 Wilson Snyder
+# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
+
+import vltest_bootstrap
+
+test.scenarios('simulator_st')
+
+test.compile(verilator_flags2=['--binary'])
+
+test.execute()
+
+test.passes()
diff --git a/test_regress/t/t_inst_port_reverse.v b/test_regress/t/t_inst_port_reverse.v
new file mode 100644
index 000000000..0aeb4477f
--- /dev/null
+++ b/test_regress/t/t_inst_port_reverse.v
@@ -0,0 +1,40 @@
+// DESCRIPTION: Verilator: Verilog Test module
+//
+// This file ONLY is placed under the Creative Commons Public Domain.
+// SPDX-FileCopyrightText: 2026 Wilson Snyder
+// SPDX-License-Identifier: CC0-1.0
+
+// verilog_format: off
+`define stop $stop
+`define checkf(gotv,expv) do if ((gotv) != (expv)) begin $write("%%Error: %s:%0d:  got=%0f exp=%0f\n", `__FILE__,`__LINE__, (gotv), (expv)); `stop; end while(0);
+// verilog_format: on
+
+module sub_a (
+    input real i1[1:2]
+);
+endmodule
+
+module sub_b (
+    input real i2[2:1]
+);
+  sub_a sub_a (.i1(i2));
+endmodule
+
+module t;
+  real i2[2:1];
+
+  sub_b sub_b (.i2);
+
+  initial begin
+    i2[2] = 2.22;
+    i2[1] = 1.11;
+    #1;
+    `checkf(i2[2], 2.22);
+    `checkf(i2[1], 1.11);
+    `checkf(sub_b.i2[2], 2.22);
+    `checkf(sub_b.i2[1], 1.11);
+    `checkf(sub_b.sub_a.i1[2], 1.11);
+    `checkf(sub_b.sub_a.i1[1], 2.22);
+  end
+
+endmodule