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

Andreas Jonson via llvm-commits llvm-commits at lists.llvm.org
Thu Jul 16 04:41:47 PDT 2026


================
@@ -1698,10 +1697,13 @@ static bool checkOrAndOpImpliedByOther(
   if (OldSize == DFSInStack.size())
     return false;
 
+  Value *A, *B;
+  CmpPredicate Pred;
+  bool Matched = match(CmpToCheck, m_ICmpLike(Pred, m_Value(A), m_Value(B)));
+  (void)Matched;
+  assert(Matched && "expected icmp-like match");
----------------
andjo403 wrote:

there was 44 test files that failed when the match was in the assert for a release build

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


More information about the llvm-commits mailing list