[llvm] [ValueTracking] Handle trunc to i1 as condition in dominating condition. (PR #126414)

[Andreas Jonson via llvm-commits]

================
@@ -801,6 +801,22 @@ static void computeKnownBitsFromCond(const Value *V, Value *Cond,
 
   if (auto *Cmp = dyn_cast<ICmpInst>(Cond))
     computeKnownBitsFromICmpCond(V, Cmp, Known, SQ, Invert);
+
+  if (match(Cond, m_Not(m_Value(Cond))))
+    Invert = !Invert;
+
+  if (match(Cond, m_Trunc(m_Specific(V)))) {
+    KnownBits DstKnown(1);
+    if (Invert) {
+      DstKnown.setAllZero();
+    } else {
+      DstKnown.setAllOnes();
+    }
+    if (cast<TruncInst>(Cond)->hasNoUnsignedWrap())
+      Known = Known.unionWith(DstKnown.zext(Known.getBitWidth()));
----------------
andjo403 wrote:

avoided sext as it was not handled i https://github.com/llvm/llvm-project/pull/125414 seems like it is uncommon to have sext for `trunc to i1`  only found 3 in llvm-opt-benchmark

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