[llvm] [InstCombine] Canonicalize the fcmp range check idiom into `fabs + fcmp` (PR #76367)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> May I assume that you do the same combine for integer range checks, i.e. and of icmps? Could you point me please to the combine?

I don't think they are the same combine. We always convert and/or of icmps into `(add +) icmp`.
https://github.com/llvm/llvm-project/blob/76243adc4699314c7569ba3c0610ecd187228291/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp#L1260-L1329


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