[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? 

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