From 4ebc6e2d874b2a936efd262aedb87acb2abcd854 Mon Sep 17 00:00:00 2001
From: Adam Izraelevitz
Date: Fri, 8 Apr 2016 15:14:57 -0700
Subject: Fixed bug in Remove Accesses where a WSubAccess's index was not
 checked for accesses.

Fixes #105
---
 test/features/NestedSubAccessTester.fir | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 test/features/NestedSubAccessTester.fir

(limited to 'test/features/NestedSubAccessTester.fir')

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)
-- 
cgit v1.2.3