aboutsummaryrefslogtreecommitdiff
path: root/test/passes/infer-widths/dsh.fir
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/infer-widths/dsh.fir')
-rw-r--r--test/passes/infer-widths/dsh.fir25
1 files changed, 25 insertions, 0 deletions
diff --git a/test/passes/infer-widths/dsh.fir b/test/passes/infer-widths/dsh.fir
new file mode 100644
index 00000000..1eb23115
--- /dev/null
+++ b/test/passes/infer-widths/dsh.fir
@@ -0,0 +1,25 @@
+; RUN: firrtl -i %s -o %s.flo -x abcdefghijkl -p ctd | tee %s.out | FileCheck %s
+
+;CHECK: Infer Widths
+
+circuit top :
+ module M :
+ wire x : UInt<16>
+ wire z : SInt<16>
+ wire y : UInt<3>
+ wire a : UInt
+ wire b : SInt
+ wire c : UInt
+ wire d : SInt
+
+ a := dshl-u(x,y)
+ b := dshl-s(z,y)
+ c := dshr-u(x,y)
+ d := dshr-s(z,y)
+
+
+; CHECK: wire a : UInt<23>
+; CHECK: wire b : SInt<23>
+; CHECK: wire c : UInt<16>
+; CHECK: wire d : SInt<16>
+; CHECK: Finished Infer Widths