Add mjsunit tests for optimization of float min/max.

R=mstarzinger@chromium.org
BUG=

Review URL: https://codereview.chromium.org/1199053011

Cr-Commit-Position: refs/heads/master@{#29239}

diff --git a/test/mjsunit/compiler/optimize_max.js b/test/mjsunit/compiler/optimize_max.js
new file mode 100644 (file)
index 0000000..6baefe4
--- /dev/null
+++ b/test/mjsunit/compiler/optimize_max.js
@@ -0,0 +1,69 @@
+// Copyright 2015 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+var DOUBLE_ZERO = %AllocateHeapNumber();
+var SMI_ZERO = 0;
+var MINUS_ZERO = -0.0;
+
+function max1(a, b) {
+  a = +a;
+  b = +b;
+  return +(a < b ? b : a);
+}
+
+function max2(a, b) {
+  a = +a;
+  b = +b;
+  return a < b ? b : a;
+}
+
+for (f of [max1, max2]) {
+  for (var i = 0; i < 5; i++) {
+    assertEquals(4, f(3, 4));
+    assertEquals(4, f(4, 3));
+    assertEquals(4.3, f(3.3, 4.3));
+    assertEquals(4.4, f(4.4, 3.4));
+
+    assertEquals(Infinity, 1 / f(SMI_ZERO, MINUS_ZERO));
+    assertEquals(Infinity, 1 / f(DOUBLE_ZERO, MINUS_ZERO));
+    assertEquals(-Infinity, 1 / f(MINUS_ZERO, SMI_ZERO));
+    assertEquals(-Infinity, 1 / f(MINUS_ZERO, DOUBLE_ZERO));
+
+    assertEquals(NaN, f(NaN, NaN));
+    assertEquals(3, f(3, NaN));
+    assertEquals(NaN, f(NaN, 3));
+  }
+}
+
+function max3(a, b) {
+  a = +a;
+  b = +b;
+  return +(a > b ? a : b);
+}
+
+function max4(a, b) {
+  a = +a;
+  b = +b;
+  return a > b ? a : b;
+}
+
+for (f of [max3, max4]) {
+  for (var i = 0; i < 5; i++) {
+    assertEquals(4, f(3, 4));
+    assertEquals(4, f(4, 3));
+    assertEquals(4.3, f(3.3, 4.3));
+    assertEquals(4.4, f(4.4, 3.4));
+
+    assertEquals(-Infinity, 1 / f(SMI_ZERO, MINUS_ZERO));
+    assertEquals(-Infinity, 1 / f(DOUBLE_ZERO, MINUS_ZERO));
+    assertEquals(Infinity, 1 / f(MINUS_ZERO, SMI_ZERO));
+    assertEquals(Infinity, 1 / f(MINUS_ZERO, DOUBLE_ZERO));
+
+    assertEquals(NaN, f(NaN, NaN));
+    assertEquals(NaN, f(3, NaN));
+    assertEquals(3, f(NaN, 3));
+  }
+}

diff --git a/test/mjsunit/compiler/optimize_min.js b/test/mjsunit/compiler/optimize_min.js
new file mode 100644 (file)
index 0000000..906b999
--- /dev/null
+++ b/test/mjsunit/compiler/optimize_min.js
@@ -0,0 +1,69 @@
+// Copyright 2015 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+var DOUBLE_ZERO = %AllocateHeapNumber();
+var SMI_ZERO = 0;
+var MINUS_ZERO = -0.0;
+
+function min1(a, b) {
+  a = +a;
+  b = +b;
+  return +(a < b ? a : b);
+}
+
+function min2(a, b) {
+  a = +a;
+  b = +b;
+  return a < b ? a : b;
+}
+
+for (f of [min1, min2]) {
+  for (var i = 0; i < 5; i++) {
+    assertEquals(3, f(3, 4));
+    assertEquals(3, f(4, 3));
+    assertEquals(3.3, f(3.3, 4));
+    assertEquals(3.4, f(4, 3.4));
+
+    assertEquals(-Infinity, 1 / f(SMI_ZERO, MINUS_ZERO));
+    assertEquals(-Infinity, 1 / f(DOUBLE_ZERO, MINUS_ZERO));
+    assertEquals(Infinity, 1 / f(MINUS_ZERO, SMI_ZERO));
+    assertEquals(Infinity, 1 / f(MINUS_ZERO, DOUBLE_ZERO));
+
+    assertEquals(NaN, f(NaN, NaN));
+    assertEquals(NaN, f(3, NaN));
+    assertEquals(3, f(NaN, 3));
+  }
+}
+
+function min3(a, b) {
+  a = +a;
+  b = +b;
+  return +(a > b ? b : a);
+}
+
+function min4(a, b) {
+  a = +a;
+  b = +b;
+  return a > b ? b : a;
+}
+
+for (f of [min3, min4]) {
+  for (var i = 0; i < 5; i++) {
+    assertEquals(3, f(3, 4));
+    assertEquals(3, f(4, 3));
+    assertEquals(3.3, f(3.3, 4));
+    assertEquals(3.4, f(4, 3.4));
+
+    assertEquals(Infinity, 1 / f(SMI_ZERO, MINUS_ZERO));
+    assertEquals(Infinity, 1 / f(DOUBLE_ZERO, MINUS_ZERO));
+    assertEquals(-Infinity, 1 / f(MINUS_ZERO, SMI_ZERO));
+    assertEquals(-Infinity, 1 / f(MINUS_ZERO, DOUBLE_ZERO));
+
+    assertEquals(NaN, f(NaN, NaN));
+    assertEquals(3, f(3, NaN));
+    assertEquals(NaN, f(NaN, 3));
+  }
+}