mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Merge pull request #4218 from kivikakk/proc_rom-actionless-switch

Browse source 
proc_rom: don't assert on big actionless switch.
This commit is contained in:
Martin Povišer 2024-02-19 16:21:40 +01:00 • committed by GitHub
commit db947e4c71
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 28 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
passes/proc/proc_rom.cc
View file

@ -66,6 +66,11 @@ struct RomWorker
} }
} }
if (lhs.empty()) {
log_debug("rejecting switch: lhs empty\n");
return;
}
int swsigbits = 0; int swsigbits = 0;
for (int i = 0; i < GetSize(sw->signal); i++) for (int i = 0; i < GetSize(sw->signal); i++)
if (sw->signal[i] != State::S0) if (sw->signal[i] != State::S0)

23
tests/proc/proc_rom.ys
View file

@ -186,4 +186,27 @@ design -stash preopt
equiv_opt -assert -run prepare: dummy equiv_opt -assert -run prepare: dummy
design -reset
read_ilang <<EOT
module \m
wire width 3 input 1 \a
process \p
switch \a
case 3'000
case 3'001
case 3'010
case 3'011
case 3'100
case 3'101
case 3'110
case 3'111
end
end
end
EOT
proc_rom