[llvm] [llvm][instcombine] Add Missed Optimization for Folding Min Max intrinsic into PHI instruction (PR #84619)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw requested changes to this pull request.

Could you please provide the alive2 proof for general cases?


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