From d405203944b3a4c7b58a313c78268efc55899268 Mon Sep 17 00:00:00 2001
From: jackkoenig
Date: Wed, 20 Apr 2016 22:52:05 -0700
Subject: Add tests for CHIRRTL mem port definitions.

Including using different clocks and ports defined in when scope.
---
 src/test/resources/features/CHIRRTLMems.fir | 34 +++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 src/test/resources/features/CHIRRTLMems.fir

(limited to 'src/test/resources/features')

diff --git a/src/test/resources/features/CHIRRTLMems.fir b/src/test/resources/features/CHIRRTLMems.fir
new file mode 100644
index 00000000..bd92c872
--- /dev/null
+++ b/src/test/resources/features/CHIRRTLMems.fir
@@ -0,0 +1,34 @@
+
+circuit ChirrtlMems :
+  module ChirrtlMems :
+    input clk : Clock
+    input reset : UInt<1>
+
+    cmem ram : UInt<32>[16]
+    node newClock = clk
+
+    wire wen : UInt<1>
+    wen <= not(reset) ; Don't const prop me!
+
+    reg raddr : UInt<4>, clk with : (reset => (reset, UInt(0)))
+    raddr <= add(raddr, UInt(1))
+    infer mport r = ram[raddr], newClock
+
+    when wen :
+      node newerClock = clk
+      reg waddr : UInt<4>, clk with : (reset => (reset, UInt(0)))
+      waddr <= add(waddr, UInt(1))
+      infer mport w = ram[waddr], newerClock
+      w <= waddr
+
+      when eq(waddr, UInt(0)) :
+        raddr <= UInt(0)
+
+    when not(reset) :
+      when gt(waddr, UInt(1)) :
+        when neq(r, raddr) :
+          printf(clk, UInt(1), "Assertion failed! r =/= raddr\n")
+          stop(clk, UInt(1), 1) ; Failure!
+      when eq(raddr, UInt(15)) :
+        stop(clk, UInt(1), 0) ; Success!
+    
-- 
cgit v1.2.3