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

[Yash Solanki via llvm-commits]

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

>From 5c2188d77f94b67396d54304350f8f69a7b99052 Mon Sep 17 00:00:00 2001
From: Yash Solanki <252yash at gmail.com>
Date: Sat, 7 Jun 2025 20:26:56 +0530
Subject: [PATCH] [GVN] Propagate equality from trunc nuw iN to i1

If the result of `trunc nuw iN` is known to be true/false,
the original value of the truncated integer can be
inferred.

This is folded under GVN's propagateEquality.

Fixes missed optimization noted in #142744
---
 llvm/lib/Transforms/Scalar/GVN.cpp            | 10 ++++++++
 .../test/Transforms/GVN/trunc-nuw-equality.ll | 23 +++++++++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 llvm/test/Transforms/GVN/trunc-nuw-equality.ll

diff --git a/llvm/lib/Transforms/Scalar/GVN.cpp b/llvm/lib/Transforms/Scalar/GVN.cpp
index 77ca14f88a834..9b7a4e7366ae6 100644
--- a/llvm/lib/Transforms/Scalar/GVN.cpp
+++ b/llvm/lib/Transforms/Scalar/GVN.cpp
@@ -2579,6 +2579,16 @@ 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({Trunc->getOperand(0), ConstantInt::get(Input->getType(), IsKnownTrue)});
+      }
+    }
   }
 
   return Changed;
diff --git a/llvm/test/Transforms/GVN/trunc-nuw-equality.ll b/llvm/test/Transforms/GVN/trunc-nuw-equality.ll
new file mode 100644
index 0000000000000..03d4a16aeaf20
--- /dev/null
+++ b/llvm/test/Transforms/GVN/trunc-nuw-equality.ll
@@ -0,0 +1,23 @@
+; RUN: opt -passes=gvn -S < %s | FileCheck %s
+
+define void @test(ptr %p, i64 %v) {
+; CHECK-LABEL: @test(
+; CHECK: %tr = trunc nuw i64 %v to i1
+; CHECK-NEXT: br i1 %tr, label %ret, label %store
+
+entry:
+  %tr = trunc nuw i64 %v to i1
+  br i1 %tr, label %ret, label %store
+
+store:
+  ; CHECK-LABEL: store:
+  ; CHECK: store i64 0, ptr %p
+  store i64 %v, ptr %p
+  ret void
+
+ret:
+  ; CHECK-LABEL: ret:
+  ; CHECK: store i64 1, ptr %p
+  store i64 %v, ptr %p
+  ret void
+}