aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2019-08-15 23:02:37 +0200
committerClifford Wolf <clifford@clifford.at>2019-08-15 23:02:37 +0200
commit016036f247f9538016f4e8cbdb889ac631f4a5c0 (patch)
tree8920f798df8b3c115847cba11ba1702bd42b3911
parent969ab9027a8c4ee831e39f193f7ecb68457152c3 (diff)
downloadyosys-016036f247f9538016f4e8cbdb889ac631f4a5c0.tar.gz
yosys-016036f247f9538016f4e8cbdb889ac631f4a5c0.tar.bz2
yosys-016036f247f9538016f4e8cbdb889ac631f4a5c0.zip
Add doc for pmgen semioptional statement, Add pmgen changes to CHANGELOG
Signed-off-by: Clifford Wolf <clifford@clifford.at>
-rw-r--r--CHANGELOG1
-rw-r--r--passes/pmgen/README.md3
2 files changed, 4 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 638c36121..cceb9fc9f 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -19,6 +19,7 @@ Yosys 0.9 .. Yosys 0.9-dev
- Added automatic gzip compression (based on filename extension) for backends
- Improve attribute and parameter encoding in JSON to avoid ambiguities between
bit vectors and strings containing [01xz]*
+ - Improvements in pmgen: subpattern and recursive matches
Yosys 0.8 .. Yosys 0.8-dev
--------------------------
diff --git a/passes/pmgen/README.md b/passes/pmgen/README.md
index 4aa7de162..f92445a86 100644
--- a/passes/pmgen/README.md
+++ b/passes/pmgen/README.md
@@ -175,6 +175,9 @@ explore the case where `mul` is set to `nullptr`. Without the `optional`
statement a match may only be assigned nullptr when one of the `if` expressions
evaluates to `false`.
+The `semioptional` statement marks matches that must match if at least one
+matching cell exists, but if no matching cell exists it is set to `nullptr`.
+
Additional code
---------------