usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

hdl.dsl: fix handling of redundant Case branches.

Browse source 
Fixes #1024.
This commit is contained in:
Wanda 2024-01-10 06:23:43 +01:00 committed by Catherine
parent d8515807c2
commit f25bf51a92
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
amaranth/hdl/dsl.py
View file

@ -344,7 +344,9 @@ class Module(_ModuleBuilderRoot, Elaboratable):
# If none of the provided cases can possibly be true, omit this branch completely. # If none of the provided cases can possibly be true, omit this branch completely.
# This needs to be differentiated from no cases being provided in the first place, # This needs to be differentiated from no cases being provided in the first place,
# which means the branch will always match. # which means the branch will always match.
if not (patterns and not new_patterns): # Likewise, omit this branch if another branch with this exact set of patterns already
# exists (since otherwise we'd overwrite the previous branch's slot in the dict).
if not (patterns and not new_patterns) and new_patterns not in switch_data["cases"]:
switch_data["cases"][new_patterns] = self._statements switch_data["cases"][new_patterns] = self._statements
switch_data["case_src_locs"][new_patterns] = src_loc switch_data["case_src_locs"][new_patterns] = src_loc
finally: finally: