[llvm] [InstCombine] canonicalize operands of fcmp ord/uno if they are known NaN (PR #97763)

[Nikita Popov via llvm-commits]

nikic wrote:

> > Please attach alive2 proofs and pre-commit tests.
> 
> Okay, I've attached a proof, could you explain further about what you mean by pre-commit tests?

See https://llvm.org/docs/InstCombineContributorGuide.html#precommit-tests.

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