From 4cce4916397bcc6ce9e44692f1b31f4edc9369be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Sun, 10 Dec 2023 00:27:42 +0100 Subject: [PATCH] celledges: s/x_jump/zpad_jump/ --- kernel/celledges.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kernel/celledges.cc b/kernel/celledges.cc index c6615968f..2d8177d31 100644 --- a/kernel/celledges.cc +++ b/kernel/celledges.cc @@ -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)