[llvm] [ConstraintElim] Add trunc nuw support to condition checks (PR #209844)

[Andreas Jonson via llvm-commits]

================
@@ -1698,10 +1697,11 @@ static bool checkOrAndOpImpliedByOther(
   if (OldSize == DFSInStack.size())
     return false;
 
+  Value *A, *B;
+  CmpPredicate Pred;
+  assert(match(CmpToCheck, m_ICmpLike(Pred, m_Value(A), m_Value(B))));
----------------
andjo403 wrote:

i'm stupid the match is removed as it is in the assert when built without asserts

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