diff options
| author | whitequark <whitequark@whitequark.org> | 2019-01-02 05:04:28 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-01-02 15:45:28 +0000 |
| commit | bf8db55ef36f6839827cd8bc69f673fd3fd43cca (patch) | |
| tree | 4223f7318822ddd87ebb511a59d21d4d17de4faf /techlibs/coolrunner2/synth_coolrunner2.cc | |
| parent | 4fd458290c3da4c3f372f2e1fdd99829a9462a38 (diff) | |
| download | yosys-bf8db55ef36f6839827cd8bc69f673fd3fd43cca.tar.gz yosys-bf8db55ef36f6839827cd8bc69f673fd3fd43cca.tar.bz2 yosys-bf8db55ef36f6839827cd8bc69f673fd3fd43cca.zip | |
opt_expr: improve simplification of comparisons with large constants.
The idea behind this simplification is that a N-bit signal X being
compared with an M-bit constant where M>N and the constant has Nth
or higher bit set, it either always succeeds or always fails.
However, the existing implementation only worked with one-hot signals
for some reason. It also printed incorrect messages.
This commit adjusts the simplification to have as much power as
possible, and fixes other bugs.
Diffstat (limited to 'techlibs/coolrunner2/synth_coolrunner2.cc')
0 files changed, 0 insertions, 0 deletions