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

[Alex MacLean via llvm-commits]

AlexMaclean 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.

Thanks, I've split the tests out into a separate commit as described, please let me know if I've made any mistake. 

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