[llvm] f0c2c71 - PeepholeOpt: Remove dead checks for subregister def mismatch (#130084)

[via llvm-commits]

Author: Matt Arsenault
Date: 2025-03-07T07:31:33+07:00
New Revision: f0c2c71d2c4094fe64d6c765330ee72c14deda20

URL: https://github.com/llvm/llvm-project/commit/f0c2c71d2c4094fe64d6c765330ee72c14deda20
DIFF: https://github.com/llvm/llvm-project/commit/f0c2c71d2c4094fe64d6c765330ee72c14deda20.diff

LOG: PeepholeOpt: Remove dead checks for subregister def mismatch (#130084)

Added: 
    

Modified: 
    llvm/lib/CodeGen/PeepholeOptimizer.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/CodeGen/PeepholeOptimizer.cpp b/llvm/lib/CodeGen/PeepholeOptimizer.cpp
index cced54fa72819..2a328039c3032 100644
--- a/llvm/lib/CodeGen/PeepholeOptimizer.cpp
+++ b/llvm/lib/CodeGen/PeepholeOptimizer.cpp
@@ -1904,11 +1904,8 @@ ValueTrackerResult ValueTracker::getNextSourceFromCopy() {
   assert(Def->getNumOperands() - Def->getNumImplicitOperands() == 2 &&
          "Invalid number of operands");
   assert(!Def->hasImplicitDef() && "Only implicit uses are allowed");
+  assert(!Def->getOperand(DefIdx).getSubReg() && "no subregister defs in SSA");
 
-  if (Def->getOperand(DefIdx).getSubReg() != DefSubReg)
-    // If we look for a 
diff erent subreg, it means we want a subreg of src.
-    // Bails as we do not support composing subregs yet.
-    return ValueTrackerResult();
   // Otherwise, we want the whole source.
   const MachineOperand &Src = Def->getOperand(1);
   if (Src.isUndef())