Finished expand accessors and lower to ground

2 files changed, 43 insertions, 0 deletions

diff --git a/test/passes/expand-whens/one-when.fir b/test/passes/expand-whens/one-when.fir
new file mode 100644
index 00000000..78c59493
--- /dev/null
+++ b/test/passes/expand-whens/one-when.fir
@@ -0,0 +1,15 @@
+circuit top :
+   module top :
+      mem m : UInt(1)[2]
+      wire i : UInt(1)
+      wire p : UInt(1)
+      when p :
+        accessor a = m[i] 
+        i := a
+        accessor b = m[i]
+        b := i
+      else :
+        accessor c = m[i]
+        i := c
+        accessor d = m[i] 
+        d := i
diff --git a/test/passes/expand-whens/two-when.fir b/test/passes/expand-whens/two-when.fir
new file mode 100644
index 00000000..16fae1e2
--- /dev/null
+++ b/test/passes/expand-whens/two-when.fir
@@ -0,0 +1,28 @@
+circuit top :
+   module top :
+      mem m : UInt(1)[2]
+      wire i : UInt(1)
+      wire p : UInt(1)
+      when p :
+        wire p2 : UInt(1)
+        when p2 :
+          accessor a = m[i] 
+          i := a
+          accessor b = m[i]
+          b := i
+        else :
+          accessor c = m[i] 
+          i := c
+          accessor d = m[i]
+          d := i
+      else :
+        when p2 :
+          accessor w = m[i] 
+          i := w
+          accessor x = m[i]
+          x := i
+        else :
+          accessor y = m[i] 
+          i := y
+          accessor z = m[i]
+          z := i