================
@@ -95,17 +95,19 @@ bool ConstraintSystem::eliminateUsingFM() {
IdxUpper++;
}
- if (MulOverflow(UpperV, ((-1) * LowerLast), M1))
----------------
dtcxzyw wrote:
Ping.
https://github.com/llvm/llvm-project/pull/76299