Fixed bug in Remove Accesses where a WSubAccess's index was not checked for accesses.

Fixes #105

1 files changed, 27 insertions, 0 deletions

diff --git a/test/features/NestedSubAccessTester.fir b/test/features/NestedSubAccessTester.fir
new file mode 100644
index 00000000..36465012
--- /dev/null
+++ b/test/features/NestedSubAccessTester.fir
@@ -0,0 +1,27 @@
+circuit NestedSubAccessTester :
+  module NestedSubAccess :
+    input foo : UInt<1>[4]
+    input index : UInt<2>
+    output out : UInt<4>
+
+    wire vec : UInt<4>[2]
+    vec[0] <= UInt(3)
+    vec[1] <= UInt(4)
+
+    out <= vec[foo[index]]
+
+  module NestedSubAccessTester :
+    input clk : Clock
+    input reset : UInt<1>
+
+    inst dut of NestedSubAccess
+
+    dut.foo is invalid
+    dut.index <= UInt(2)
+    dut.foo[2] <= UInt(1)
+
+    when neq(dut.out, UInt(4)) :
+      printf(clk, not(reset), "Assertion failed\nTest Failed!\n")
+      stop(clk, not(reset), 1)
+    else :
+      stop(clk, not(reset), 0)