celledges: s/x_jump/zpad_jump/

This commit is contained in:
Martin Povišer 2023-12-10 00:27:42 +01:00
parent bdd74e61ae
commit 4cce491639
1 changed files with 3 additions and 3 deletions

View File

@ -227,11 +227,11 @@ void shift_op(AbstractCellEdgesDatabase *db, RTLIL::Cell *cell)
db->add_edge(cell, ID::B, k, ID::Y, i, -1);
} else if (cell->type.in(ID($shr), ID($sshr)) && is_signed) {
bool shift_in_bulk = i < a_width - 1;
// can we jump into the ambient x-bits by toggling B[k]?
bool x_jump = (((y_width - i) & ((1 << (k + 1)) - 1)) != 0 \
// can we jump into the zero-padding by toggling B[k]?
bool zpad_jump = (((y_width - i) & ((1 << (k + 1)) - 1)) != 0 \
&& (((y_width - i) & ~(1 << k)) < (1 << b_width)));
if (shift_in_bulk || (cell->type == ID($shr) && x_jump))
if (shift_in_bulk || (cell->type == ID($shr) && zpad_jump))
db->add_edge(cell, ID::B, k, ID::Y, i, -1);
} else {
if (i < a_width)