Restore optimisation for sigM.empty()

This commit is contained in:
Eddie Hung 2019-10-04 21:42:46 -07:00
parent 77d7a5c14a
commit 8027ebf05b
1 changed files with 4 additions and 1 deletions

View File

@ -100,7 +100,10 @@ code sigA sigB sigC sigD sigM clock
sigM.append(P[i]);
}
log_assert(nusers(P.extract_end(i)) <= 1);
log_assert(!sigM.empty());
// This sigM could have no users if downstream sinks (e.g. $add) is
// narrower than $mul result, for example
if (sigM.empty())
reject;
}
else
sigM = P;