github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-25 03:46:21 +00:00
Code Issues Releases Wiki Activity

Merge pull request #3797 from charlottia/one-length-memories

Browse Source
This commit is contained in:
Jannis Harder
2023-06-19 16:21:06 +02:00
committed by GitHub
parent 3fa83ca195 c9d31c3c87
commit d3ee4eba5b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
backends/smt2/smt2.cc
View File

@@ -773,7 +773,7 @@ struct Smt2Worker
int arrayid = idcounter++;
memarrays[mem] = arrayid;
int abits = ceil_log2(mem->size);
int abits = max(1, ceil_log2(mem->size));
bool has_sync_wr = false;
bool has_async_wr = false;
@@ -1220,7 +1220,7 @@ struct Smt2Worker
{
int arrayid = memarrays.at(mem);
int abits = ceil_log2(mem->size);;
int abits = max(1, ceil_log2(mem->size));
bool has_sync_wr = false;
bool has_async_wr = false;