[llvm] [InstCombine] Fold fcmp ogt (x - y), 0 into fcmp ogt x, y #85245 (PR #85506)

[via llvm-commits]

SahilPatidar wrote:

> @SahilPatidar Could you please update alive2 link in the PR description?

Apologies for the delay; please take a look at the link.

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