diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-08 18:08:15 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-08 18:08:15 +0200 |
| commit | 3ceba145d54f725c90436c7322a67320d4308ce8 (patch) | |
| tree | dc7e07d7d61e35c1f424541eeb250929cc39dd4c /backends/smt2/smt2.cc | |
| parent | 2c0d818296eda10f763287784b749a712bfeda98 (diff) | |
| download | yosys-3ceba145d54f725c90436c7322a67320d4308ce8.tar.gz yosys-3ceba145d54f725c90436c7322a67320d4308ce8.tar.bz2 yosys-3ceba145d54f725c90436c7322a67320d4308ce8.zip | |
smt2 mem init bugfix
Diffstat (limited to 'backends/smt2/smt2.cc')
| -rw-r--r-- | backends/smt2/smt2.cc | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc index 000240a73..8d82d1baa 100644 --- a/backends/smt2/smt2.cc +++ b/backends/smt2/smt2.cc @@ -742,7 +742,7 @@ struct Smt2Worker for (int i = 0; i < memsize; i++) { - if (GetSize(init_data) < i*width) + if (i*width >= GetSize(init_data)) break; Const initword = init_data.extract(i*width, width, State::Sx); @@ -752,9 +752,11 @@ struct Smt2Worker if (bit == State::S0 || bit == State::S1) gen_init_constr = true; - init_list.push_back(stringf("(= (select (|%s#%d#0| state) #b%s) #b%s) ; %s[%d]", - get_id(module), arrayid, Const(i, abits).as_string().c_str(), - initword.as_string().c_str(), get_id(cell), i)); + if (gen_init_constr) { + init_list.push_back(stringf("(= (select (|%s#%d#0| state) #b%s) #b%s) ; %s[%d]", + get_id(module), arrayid, Const(i, abits).as_string().c_str(), + initword.as_string().c_str(), get_id(cell), i)); + } } } } |