Rewrote the initialize-register pass, now correctly implemented

with a new IR construct - Null. LetRec is not implemented, but is
marked with a TODO.

Test cases for this pass are now located in
test/passes/initialize-register

1 files changed, 27 insertions, 0 deletions

diff --git a/test/passes/make-explicit-reset/abc.fir b/test/passes/make-explicit-reset/abc.fir
new file mode 100644
index 00000000..caed07ab
--- /dev/null
+++ b/test/passes/make-explicit-reset/abc.fir
@@ -0,0 +1,27 @@
+; RUN: firrtl %s abc | tee %s.out | FileCheck %s
+
+circuit top :
+   module A :
+      ;CHECK: input reset : UInt(1)
+      input x : UInt(16)
+      output y : UInt(16)
+      inst b of B
+      ;CHECK: inst:b.reset := port:reset
+   module B :
+      input reset : UInt(1)
+      ;CHECK: input reset : UInt(1)
+      input x : UInt(16)
+      output y : UInt(16)
+      inst c of C
+      ;CHECK: inst:c.reset := port:reset
+   module C :
+      ;CHECK: input reset : UInt(1)
+      input a : UInt(16)
+      input b : UInt(16)
+   module top :
+      ;CHECK: input reset : UInt(1)
+      input a : UInt(16)
+      input b : UInt(16)
+      output z : UInt
+      inst a of A
+      ;CHECK: inst:a.reset := port:reset