aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/errors/init/Output.fir10
-rw-r--r--test/passes/split-exp/primop.fir1
-rw-r--r--test/passes/split-exp/split-in-when.fir23
3 files changed, 33 insertions, 1 deletions
diff --git a/test/errors/init/Output.fir b/test/errors/init/Output.fir
new file mode 100644
index 00000000..f28d1e0b
--- /dev/null
+++ b/test/errors/init/Output.fir
@@ -0,0 +1,10 @@
+; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
+; CHECK: Reference y is not fully initialized.
+
+circuit Top :
+ module Top :
+ input clk : Clock
+ wire y : UInt<1>
+
+ when UInt(0) :
+ y := UInt(1)
diff --git a/test/passes/split-exp/primop.fir b/test/passes/split-exp/primop.fir
index 3b120217..b2f0af82 100644
--- a/test/passes/split-exp/primop.fir
+++ b/test/passes/split-exp/primop.fir
@@ -4,7 +4,6 @@
circuit Top :
module Top :
output out : UInt<1>
- output out2 : UInt<1>
wire m : UInt<1>[3]
m[0] := UInt(0)
diff --git a/test/passes/split-exp/split-in-when.fir b/test/passes/split-exp/split-in-when.fir
new file mode 100644
index 00000000..ddf6a155
--- /dev/null
+++ b/test/passes/split-exp/split-in-when.fir
@@ -0,0 +1,23 @@
+; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
+
+;CHECK: Split Expressions
+circuit Top :
+ module Top :
+ input p : UInt<1>
+ input clk : Clock
+ input a : UInt<10>
+ input b : UInt<10>
+ input c : UInt<10>
+
+ reg out : UInt<10>,clk,p
+
+ when bit(subw(a,c),3) : out := mux(eqv(bits(UInt(32),4,0),UInt(13)),addw(a,addw(b,c)),subw(c,b))
+
+;CHECK: node T = subw(a, c)
+;CHECK: node out_1 = eqv(UInt("h0"), UInt("hd"))
+;CHECK: node out_3 = addw(b, c)
+;CHECK: node out_2 = addw(a, out_3)
+;CHECK: node out_4 = subw(c, b)
+;CHECK: when bit(T, 3) : out := mux(out_1, out_2, out_4)
+
+;CHECK: Finished Split Expressions