From cbdf9b2f9c2953255bee05aa1a8ddc1cf80a4b13 Mon Sep 17 00:00:00 2001 From: Philippe Sauter Date: Wed, 31 Jan 2024 13:06:35 +0100 Subject: [PATCH] peepopt: handle empty src-attribute in shiftadd --- passes/pmgen/peepopt_shiftadd.pmg | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/passes/pmgen/peepopt_shiftadd.pmg b/passes/pmgen/peepopt_shiftadd.pmg index d17fcbb0d22..e690ff65113 100644 --- a/passes/pmgen/peepopt_shiftadd.pmg +++ b/passes/pmgen/peepopt_shiftadd.pmg @@ -103,15 +103,19 @@ code new_a.append(old_a); } else { // data >> (...+c) transformed to data[MAX:c] >> (...) - if(offset < GetSize(old_a)) // some signal bits left? + if(offset < GetSize(old_a)) { // some signal bits left? new_a.append(old_a.extract_end(offset)); - else { + } else { + // warn user in case data is empty (no bits left) + std::string location = shift->get_src_attribute(); + if (location.empty()) + location = shift->name.str(); if(shift->type.in($shiftx)) log_warning("at %s: result of indexed part-selection is always constant (selecting from '%s' with index '%s + %d')\n", \ - shift->get_src_attribute().c_str(), log_signal(old_a), log_signal(var_signal), offset); + location.c_str(), log_signal(old_a), log_signal(var_signal), offset); else log_warning("at %s: result of shift operation is always constant (shifting '%s' by '%s + %d'-bits)\n", \ - shift->get_src_attribute().c_str(), log_signal(old_a), log_signal(var_signal), offset); + location.c_str(), log_signal(old_a), log_signal(var_signal), offset); } }