[llvm] [InstCombine] Fold redundant FP clamp selects; relax min-max-pattern bailout in visitFCmp (PR #173452)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Or alternatively, if we have to match the full pattern anyway, wouldn't it make more sense to make this an explicit pattern in visitSelect (or even simplifySelectInst)?

I'd prefer this approach after the ConstantFPRange support for uitofp/sitofp is ready. Then we can handle other variants in https://github.com/dtcxzyw/llvm-opt-benchmark/pull/3210/files as well. But for now, relaxing the bailout is the cheapest way to achieve the goal (at least I don't need to care about FMF propagations/+-0/...).


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