[llvm] [InstCombine] Enable select freeze poison folding when storing value (PR #129776)

[John McIver via llvm-commits]

================
@@ -4812,7 +4812,14 @@ Instruction *InstCombinerImpl::visitFreeze(FreezeInst &I) {
   //
   // TODO: This could use getBinopAbsorber() / getBinopIdentity() to avoid
   //       duplicating logic for binops at least.
-  auto getUndefReplacement = [&I](Type *Ty) {
+  auto getUndefReplacement = [&I, &AC = this->AC,
+                              &DT = this->DT](Type *Ty) -> Value * {
+    Value *SelectArgument = nullptr;
+    if (match(&I, m_OneUse(m_Freeze(m_Poison()))) &&
+        match(I.user_back(),
+              m_c_Select(m_Specific(&I), m_Value(SelectArgument))) &&
+        isGuaranteedNotToBeUndefOrPoison(SelectArgument, &AC, &I, &DT))
+      return SelectArgument;
----------------
jmciver wrote:

@nikic I moved the select testing back into the analysis loop. It does develop the best replacement for the Alive2 test case based on the previous post: https://alive2.llvm.org/ce/z/pyGVuw.

Does this match what you are suggesting?

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