mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 09:05:32 +00:00
Code Activity

Fixed shift ops with large right hand side

Browse source
This commit is contained in:
Clifford Wolf 2013-07-09 18:59:59 +02:00
parent e8da3ea7b6
commit 7daeee340a
3 changed files with 50 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kernel/satgen.h
View file

@ -241,7 +241,7 @@ struct SatGen
{
std::vector<int> tmp_shifted(tmp.size());
for (size_t j = 0; j < tmp.size(); j++) {
int idx = j + (1 << i) * (shift_left ? -1 : +1);
int idx = j + (1 << (i > 30 ? 30 : i)) * (shift_left ? -1 : +1);
tmp_shifted.at(j) = (0 <= idx && idx < int(tmp.size())) ? tmp.at(idx) : sign_extend ? tmp.back() : ez->FALSE;
}
tmp = ez->vec_ite(b.at(i), tmp_shifted, tmp);