aboutsummaryrefslogtreecommitdiff
path: root/test/passes/jacktest/VendingMachine.fir
diff options
context:
space:
mode:
authorazidar2015-05-19 20:16:53 -0700
committerazidar2015-05-19 20:16:53 -0700
commit0faab2b1efb266bc8000b11a474438401ff5af83 (patch)
tree495f90290e9602535fc8e57f04dc620b0c6864ed /test/passes/jacktest/VendingMachine.fir
parent8feaa0a5ae0479b4063771202d7ad0e93d39c247 (diff)
Updated tests
Diffstat (limited to 'test/passes/jacktest/VendingMachine.fir')
-rw-r--r--test/passes/jacktest/VendingMachine.fir30
1 files changed, 30 insertions, 0 deletions
diff --git a/test/passes/jacktest/VendingMachine.fir b/test/passes/jacktest/VendingMachine.fir
new file mode 100644
index 00000000..10784964
--- /dev/null
+++ b/test/passes/jacktest/VendingMachine.fir
@@ -0,0 +1,30 @@
+; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
+;CHECK: Done!
+circuit VendingMachine :
+ module VendingMachine :
+ output valid : UInt<1>
+ input nickel : UInt<1>
+ input dime : UInt<1>
+
+ reg state : UInt<3>
+ on-reset state := UInt<3>(0)
+ node T_22 = eq(state, UInt<3>(0))
+ when T_22 :
+ when nickel : state := UInt<3>(1)
+ when dime : state := UInt<3>(2)
+ node T_23 = eq(state, UInt<3>(1))
+ when T_23 :
+ when nickel : state := UInt<3>(2)
+ when dime : state := UInt<3>(3)
+ node T_24 = eq(state, UInt<3>(2))
+ when T_24 :
+ when nickel : state := UInt<3>(3)
+ when dime : state := UInt<3>(4)
+ node T_25 = eq(state, UInt<3>(3))
+ when T_25 :
+ when nickel : state := UInt<3>(4)
+ when dime : state := UInt<3>(4)
+ node T_26 = eq(state, UInt<3>(4))
+ when T_26 : state := UInt<3>(0)
+ node T_27 = eq(state, UInt<3>(4))
+ valid := T_27