[llvm] [llvm][GVN] Propagate `trunc nuw to i1` equalities (PR #143273)

[Yash Solanki via llvm-commits]

================
@@ -2579,6 +2579,17 @@ bool GVNPass::propagateEquality(Value *LHS, Value *RHS,
 
       continue;
     }
+
+    // Propagate equality that result from truncation with no unsigned wrap
+    // like (trunc nuw i64 %v to i1) == "true" or (trunc nuw i64 %v to i1) ==
+    // "false"
+    if (auto *Trunc = dyn_cast<TruncInst>(LHS)) {
+      if (Trunc->hasNoUnsignedWrap() && Trunc->getType()->isIntegerTy(1)) {
+        Value *Input = Trunc->getOperand(0);
+        Worklist.push_back({Input,
+                            ConstantInt::get(Input->getType(), IsKnownTrue)});
+      }
+    }
----------------
yashnator wrote:

Thank you for the review. I've made the changes.

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