Fix 23563: double unary- operator unstable for NANs

tests/language/nan_identical_test.dart

Index: tests/language/nan_identical_test.dart
diff --git a/tests/language/nan_identical_test.dart b/tests/language/nan_identical_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..ef1476e5a865392fbae96e2d1610ea64f57d5b01
--- /dev/null
+++ b/tests/language/nan_identical_test.dart
@@ -0,0 +1,48 @@
+// Copyright (c) 2015, 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.
+// Test a new statement by itself.
+// VMOptions=--optimization-counter-threshold=4 --no-use-osr
+
+import 'dart:typed_data';
+
+import "package:expect/expect.dart";
+
+double uint64toDouble(int i) {
+  var buffer = new Uint8List(8).buffer;
+  var bdata = new ByteData.view(buffer);
+  bdata.setUint64(0, i);
+  return bdata.getFloat64(0);
+}
+
+double createOtherNAN() {
+  return uint64toDouble((1 << 64) - 2);
+}
+
+main() {
+  var otherNAN = createOtherNAN();
+  for (int i = 0; i < 100; i++) {
+    Expect.isFalse(checkIdentical(double.NAN, -double.NAN));
+    Expect.isTrue(checkIdentical(double.NAN, double.NAN));
+    Expect.isTrue(checkIdentical(-double.NAN, -double.NAN));
+
+    Expect.isFalse(checkIdentical(otherNAN, -otherNAN));
+    Expect.isTrue(checkIdentical(otherNAN, otherNAN));
+    Expect.isTrue(checkIdentical(-otherNAN, -otherNAN));
+
+    var a = otherNAN;
+    var b = double.NAN;
+    Expect.isFalse(checkIdentical(a, b));
+    Expect.isFalse(checkIdentical(-a, -b));
+    Expect.isFalse(checkIdentical(-a, b));
+    Expect.isFalse(checkIdentical(a, -b));
+
+    a = -a;
+    Expect.isFalse(checkIdentical(a, b));
+    Expect.isFalse(checkIdentical(-a, -b));
+    Expect.isFalse(checkIdentical(-a, b));
+    Expect.isFalse(checkIdentical(a, -b));
+  }

[koda, 2015/06/02 23:41:02]

Please also check that -(-x) is identical to x for all x in {a,b}

[srdjan, 2015/06/03 00:02:52]

Done.

+}
+
+checkIdentical(a, b) => identical(a, b);