[llvm] [JumpThreading] Fix bugs of simplifying BB with unreachable predecessor (PR #68576)

[via llvm-commits]

https://github.com/XChy updated https://github.com/llvm/llvm-project/pull/68576

>From f25200487eb4a9b2e91429412db3ef8ea6c70ee5 Mon Sep 17 00:00:00 2001
From: XChy <xxs_chy at outlook.com>
Date: Mon, 9 Oct 2023 22:09:53 +0800
Subject: [PATCH] [Sink] Fix bugs of sink unreachable BB from phi

---
 llvm/lib/Transforms/Scalar/Sink.cpp    |  7 ++--
 llvm/test/Transforms/Sink/dead-user.ll | 49 ++++++++++++++++++++++++++
 2 files changed, 53 insertions(+), 3 deletions(-)

diff --git a/llvm/lib/Transforms/Scalar/Sink.cpp b/llvm/lib/Transforms/Scalar/Sink.cpp
index ed768deacd069b9..46bcfd6b41ce4f4 100644
--- a/llvm/lib/Transforms/Scalar/Sink.cpp
+++ b/llvm/lib/Transforms/Scalar/Sink.cpp
@@ -130,15 +130,16 @@ static bool SinkInstruction(Instruction *Inst,
   for (Use &U : Inst->uses()) {
     Instruction *UseInst = cast<Instruction>(U.getUser());
     BasicBlock *UseBlock = UseInst->getParent();
-    // Don't worry about dead users.
-    if (!DT.isReachableFromEntry(UseBlock))
-      continue;
     if (PHINode *PN = dyn_cast<PHINode>(UseInst)) {
       // PHI nodes use the operand in the predecessor block, not the block with
       // the PHI.
       unsigned Num = PHINode::getIncomingValueNumForOperand(U.getOperandNo());
       UseBlock = PN->getIncomingBlock(Num);
     }
+    // Don't worry about dead users.
+    if (!DT.isReachableFromEntry(UseBlock))
+      continue;
+
     if (SuccToSinkTo)
       SuccToSinkTo = DT.findNearestCommonDominator(SuccToSinkTo, UseBlock);
     else
diff --git a/llvm/test/Transforms/Sink/dead-user.ll b/llvm/test/Transforms/Sink/dead-user.ll
index 9478e29cc12ef98..408c5defad36cde 100644
--- a/llvm/test/Transforms/Sink/dead-user.ll
+++ b/llvm/test/Transforms/Sink/dead-user.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
 ; Compiler should not be broken with a dead user.
 ; RUN: opt -passes=sink -S < %s | FileCheck %s
 
@@ -21,6 +22,23 @@
 ; CHECK-NEXT:    %and.dead = and i32 undef, %conv
 ; CHECK-NEXT:    br label %dead
 define void @test(i16 %p1) {
+; CHECK-LABEL: define void @test(
+; CHECK-SAME: i16 [[P1:%.*]]) {
+; CHECK-NEXT:  bb.0:
+; CHECK-NEXT:    [[CONV:%.*]] = sext i16 [[P1]] to i32
+; CHECK-NEXT:    br i1 undef, label [[BB_1:%.*]], label [[BB_3:%.*]]
+; CHECK:       bb.1:
+; CHECK-NEXT:    br label [[BB_2:%.*]]
+; CHECK:       bb.2:
+; CHECK-NEXT:    [[AND_2:%.*]] = and i32 undef, [[CONV]]
+; CHECK-NEXT:    br label [[BB_2]]
+; CHECK:       bb.3:
+; CHECK-NEXT:    [[AND_3:%.*]] = and i32 undef, [[CONV]]
+; CHECK-NEXT:    br label [[BB_3]]
+; CHECK:       dead:
+; CHECK-NEXT:    [[AND_DEAD:%.*]] = and i32 undef, [[CONV]]
+; CHECK-NEXT:    br label [[DEAD:%.*]]
+;
 bb.0:
   %conv = sext i16 %p1 to i32
   br i1 undef, label %bb.1, label %bb.3
@@ -40,3 +58,34 @@ dead:                                             ; preds = %dead
   %and.dead = and i32 undef, %conv
   br label %dead
 }
+
+define i32 @dead_from_phi(i32 noundef %a) #0 {
+; CHECK-LABEL: define i32 @dead_from_phi(
+; CHECK-SAME: i32 noundef [[A:%.*]]) {
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[DOTNOT:%.*]] = icmp eq i32 [[A]], 0
+; CHECK-NEXT:    br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]]
+; CHECK:       if.then:
+; CHECK-NEXT:    [[B:%.*]] = and i32 undef, 65535
+; CHECK-NEXT:    br label [[IF_END]]
+; CHECK:       dead:
+; CHECK-NEXT:    br label [[IF_END]]
+; CHECK:       if.end:
+; CHECK-NEXT:    [[DOT0:%.*]] = phi i32 [ [[A]], [[ENTRY:%.*]] ], [ [[B]], [[IF_THEN]] ], [ [[B]], [[DEAD:%.*]] ]
+; CHECK-NEXT:    ret i32 [[DOT0]]
+;
+entry:
+  %.not = icmp eq i32 %a, 0
+  br i1 %.not, label %if.end, label %if.then
+
+if.then:                                                ; preds = %1
+  %b = and i32 undef, 65535
+  br label %if.end
+
+dead:                                                ; No predecessors!
+  br label %if.end
+
+if.end:                                                ; preds = %4, %if.then, %1
+  %.0 = phi i32 [ %a, %entry ], [ %b, %if.then ], [ %b, %dead ]
+  ret i32 %.0
+}