aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt/opt_lut.v
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2018-12-05 00:23:22 +0000
committerwhitequark <whitequark@whitequark.org>2018-12-05 16:30:37 +0000
commit9e072ec21f9985126e1cfeb04fa7f2bc963790b3 (patch)
tree3c5ce9b8c789c460deea4759d69b065726714430 /tests/opt/opt_lut.v
parent1719aa88acf9f6d52caa81384bc50237605157e3 (diff)
downloadyosys-9e072ec21f9985126e1cfeb04fa7f2bc963790b3.tar.gz
yosys-9e072ec21f9985126e1cfeb04fa7f2bc963790b3.tar.bz2
yosys-9e072ec21f9985126e1cfeb04fa7f2bc963790b3.zip
opt_lut: new pass, to combine LUTs for tighter packing.
Diffstat (limited to 'tests/opt/opt_lut.v')
-rw-r--r--tests/opt/opt_lut.v18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/opt/opt_lut.v b/tests/opt/opt_lut.v
new file mode 100644
index 000000000..b13db367d
--- /dev/null
+++ b/tests/opt/opt_lut.v
@@ -0,0 +1,18 @@
+module top(
+ input [8:0] a,
+ input [8:0] b,
+ output [8:0] o1,
+ output [2:0] o2,
+ input [2:0] c,
+ input [2:0] d,
+ output [2:0] o3,
+ output [2:0] o4,
+ input s
+);
+
+assign o1 = (s ? 0 : a + b);
+assign o2 = (s ? a : a - b);
+assign o3 = (s ? 4'b1111 : d + c);
+assign o4 = (s ? d : c - d);
+
+endmodule