diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-29 14:42:33 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-29 16:35:13 +0200 |
| commit | 397b00252dc0c4af725614bd12fc299147ba8efa (patch) | |
| tree | e7a1dfdd61f165a517036c4efdde2c53ef9076e7 /backends/btor/btor.cc | |
| parent | 48822e79a34880c5f0b07e9889e463e7b6d7111b (diff) | |
Added $shift and $shiftx cell types (needed for correct part select behavior)
Diffstat (limited to 'backends/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index f721fdc9..43c03669 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -111,6 +111,8 @@ struct BtorDumper cell_type_translation["$shl"] = "sll"; cell_type_translation["$sshr"] = "sra"; cell_type_translation["$sshl"] = "sll"; + cell_type_translation["$shift"] = "srl"; + cell_type_translation["$shiftx"] = "srl"; cell_type_translation["$lt"] = "ult"; cell_type_translation["$le"] = "ulte"; cell_type_translation["$gt"] = "ugt"; @@ -540,7 +542,7 @@ struct BtorDumper } line_ref[cell->name]=line_num; } - else if(cell->type == "$shr" || cell->type == "$shl" || cell->type == "$sshr" || cell->type == "$sshl") + else if(cell->type == "$shr" || cell->type == "$shl" || cell->type == "$sshr" || cell->type == "$sshl" || cell->type == "$shift" || cell->type == "$shiftx") { log("writing binary cell - %s\n", cstr(cell->type)); int output_width = cell->parameters.at(RTLIL::IdString("\\Y_WIDTH")).as_int(); |