[llvm] [ValueTracking] Teach isGuaranteedNotToBeUndefOrPoison about splats (PR #163570)

Cullen Rhodes via llvm-commits llvm-commits at lists.llvm.org
Wed Oct 15 09:06:17 PDT 2025


================
@@ -7695,6 +7696,10 @@ static bool isGuaranteedNotToBeUndefOrPoison(
         }
         if (IsWellDefined)
           return true;
+      } else if (isa<ShuffleVectorInst>(Opr) && (Splat = getSplatValue(Opr))) {
----------------
c-rhodes wrote:

looks like there's already a test for this: https://github.com/llvm/llvm-project/blob/cc251197a0a12a289acf99c7ead7938d695b0905/llvm/unittests/Analysis/ValueTrackingTest.cpp#L1180-L1182

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


More information about the llvm-commits mailing list