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

[Yingwei Zheng via llvm-commits]

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

`getSplatValue` ignores poison idx: https://alive2.llvm.org/ce/z/f-oZrE
Can you also add a test to ensure this case is filtered out by `canCreateUndefOrPoison`?


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