aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt/opt_lut.v
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2018-12-05 09:02:13 -0800
committerGitHub <noreply@github.com>2018-12-05 09:02:13 -0800
commit50a94ce4fc64ef4b95dba4119e82df01680b0617 (patch)
treec5dff0100358efc89b90995603b9b4365777e4bb /tests/opt/opt_lut.v
parent11323665aff4c4af612f12fb3dda5096ace26a7d (diff)
parent45cb6200af13469724de42656f2c1f0f61c8766a (diff)
downloadyosys-50a94ce4fc64ef4b95dba4119e82df01680b0617.tar.gz
yosys-50a94ce4fc64ef4b95dba4119e82df01680b0617.tar.bz2
yosys-50a94ce4fc64ef4b95dba4119e82df01680b0617.zip
Merge pull request #717 from whitequark/opt_lut
Add a new opt_lut pass, which combines inefficiently packed LUTs
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