Undo optimization in cases where NaN might be involved.

frog/tests/leg_only/nan_negate_test.dart

Index: frog/tests/leg_only/nan_negate_test.dart
diff --git a/frog/tests/leg_only/nan_negate_test.dart b/frog/tests/leg_only/nan_negate_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..47042b694c2fca1b8fab151f5b4375c43c8d82f7
--- /dev/null
+++ b/frog/tests/leg_only/nan_negate_test.dart
@@ -0,0 +1,54 @@
+// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// Don't convert !(a op b) til (a neg-op b) when a or b might be NaN.
+main() {
+  Expect.isFalse(double.NAN >= 0);
+  Expect.isTrue(!(double.NAN < 0));
+
+  Expect.isFalse(double.NAN <= 0);
+  Expect.isTrue(!(double.NAN > 0));
+
+  Expect.isFalse(double.NAN < 0);
+  Expect.isTrue(!(double.NAN >= 0));
+
+  Expect.isFalse(double.NAN > 0);
+  Expect.isTrue(!(double.NAN <= 0));
+
+  Expect.isFalse(double.NAN == 0);
+  Expect.isTrue(!(double.NAN != 0));
+
+  Expect.isFalse(double.NAN != 0);
+  Expect.isTrue(!(double.NAN == 0));
+
+  Expect.isFalse(double.NAN === 0);
+  Expect.isFalse(!(double.NAN !== 0));
+
+  Expect.isFalse(double.NAN !== 0);
+  Expect.isFalse(!(double.NAN === 0));
+
+  Expect.isFalse(0 >= double.NAN);
+  Expect.isTrue(!(0 < double.NAN));
+
+  Expect.isFalse(0 <= double.NAN);
+  Expect.isTrue(!(0 > double.NAN));
+
+  Expect.isFalse(0 < double.NAN);
+  Expect.isTrue(!(0 >= double.NAN));
+
+  Expect.isFalse(0 > double.NAN);
+  Expect.isTrue(!(0 <= double.NAN));
+
+  Expect.isFalse(0 == double.NAN);
+  Expect.isTrue(!(0 != double.NAN));
+
+  Expect.isFalse(0 != double.NAN);
+  Expect.isTrue(!(0 == double.NAN));
+
+  Expect.isFalse(0 === double.NAN);
+  Expect.isFalse(!(0 !== double.NAN));
+
+  Expect.isFalse(0 !== double.NAN);
+  Expect.isFalse(!(0 === double.NAN));
+}