[llvm] [ConstraintElim] Drop invalid rows instead of failing the elimination (PR #76299)

[Yingwei Zheng via llvm-commits]

================
@@ -95,17 +95,19 @@ bool ConstraintSystem::eliminateUsingFM() {
           IdxUpper++;
         }
 
-        if (MulOverflow(UpperV, ((-1) * LowerLast), M1))
----------------
dtcxzyw wrote:

Another question: Does `(-1) * LowerLast` never overflow?


https://github.com/llvm/llvm-project/pull/76299