delta/ocaml.git/testsuite/tests/basic-float/float_compare.reference, branch trunk github.com: ocaml/ocaml Treat negated float comparisons more directly (#1487) 2018-02-28T13:19:46+00:00 Leo White leo@lpw25.net 2018-02-28T13:19:46+00:00 1671e5a3af40def5726f46edbb6138dc09505645 * Add float comparison test * Treat negated float comparisons more directly * Add Changes entry 
* Add float comparison test

* Treat negated float comparisons more directly

* Add Changes entry
Don't commute negation with float comparison (#1470) 2017-11-21T17:38:18+00:00 Leo White leo@lpw25.net 2017-11-21T17:38:18+00:00 c6f3a00b3105a5496783ac89d9213a5d866d5063 Floating-point comparisons such as `<` and `>=` are always false when one of their arguments is NaN. For this reason, it is incorrect to simplify `not (x < y)` as `x >= y` if this is a FP comparison. This wrong optimization was introduced in 4.06.0 and is being reverted by this commit. 
Floating-point comparisons such as `<` and `>=` are always false when one of their arguments is NaN.  For this reason, it is incorrect to simplify `not (x < y)` as `x >= y` if this is a FP comparison.
This wrong optimization was introduced in 4.06.0 and is being reverted by this commit.