1 files changed, 153 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/warp/min-max-foldsTo-2.js b/js/src/jit-test/tests/warp/min-max-foldsTo-2.js
new file mode 100644
index 0000000000..f848ba824c
--- /dev/null
+++ b/js/src/jit-test/tests/warp/min-max-foldsTo-2.js
@@ -0,0 +1,153 @@
+with ({}); // Don't inline anything into the top-level script.
+
+// Fold min(x, min(y, z)) to min(min(x, y), z) with constant min(x, y).
+for (let x of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+  for (let y of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+    for (let z of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+      let fn = Function("z", `return Math.min(${x}, Math.min(${y}, z))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(x, Math.min(y, z)));
+        assertEq(r, Math.min(Math.min(x, y), z));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.min(${x}, Math.min(z, ${y}))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(x, Math.min(z, y)));
+        assertEq(r, Math.min(Math.min(x, y), z));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.min(Math.min(${y}, z), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(Math.min(y, z), x));
+        assertEq(r, Math.min(Math.min(x, y), z));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.min(Math.min(z, ${y}), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(Math.min(z,  y), x));
+        assertEq(r, Math.min(Math.min(x, y), z));
+      }
+    }
+  }
+}
+
+// Fold max(x, max(y, z)) to max(max(x, y), z) with constant max(x, y).
+for (let x of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+  for (let y of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+    for (let z of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+      let fn = Function("z", `return Math.max(${x}, Math.max(${y}, z))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(x, Math.max(y, z)));
+        assertEq(r, Math.max(Math.max(x, y), z));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.max(${x}, Math.max(z, ${y}))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(x, Math.max(z, y)));
+        assertEq(r, Math.max(Math.max(x, y), z));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.max(Math.max(${y}, z), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(Math.max(y, z), x));
+        assertEq(r, Math.max(Math.max(x, y), z));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.max(Math.max(z, ${y}), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(Math.max(z, y), x));
+        assertEq(r, Math.max(Math.max(x, y), z));
+      }
+    }
+  }
+}
+
+// Fold min(x, max(y, z)) to max(min(x, y), min(x, z)).
+for (let x of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+  for (let y of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+    for (let z of ["", "asdf", [], [1,2,3], new Int32Array(0), new Int32Array(10)]) {
+      let fn = Function("z", `return Math.min(${x}, Math.max(${y}, z.length))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(x, Math.max(y, z.length)));
+        assertEq(r, Math.max(Math.min(x, y), Math.min(x, z.length)));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.min(${x}, Math.max(z.length, ${y}))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(x, Math.max(z.length, y)));
+        assertEq(r, Math.max(Math.min(x, y), Math.min(x, z.length)));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.min(Math.max(${y}, z.length), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(Math.max(y, z.length), x));
+        assertEq(r, Math.max(Math.min(x, y), Math.min(x, z.length)));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.min(Math.max(z.length, ${y}), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.min(Math.max(z.length, y), x));
+        assertEq(r, Math.max(Math.min(x, y), Math.min(x, z.length)));
+      }
+    }
+  }
+}
+
+// Fold max(x, min(y, z)) to min(max(x, y), max(x, z)).
+for (let x of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+  for (let y of [-Infinity, -10, 0, 10, Infinity, NaN]) {
+    for (let z of ["", "asdf", [], [1,2,3], new Int32Array(0), new Int32Array(10)]) {
+      let fn = Function("z", `return Math.max(${x}, Math.min(${y}, z.length))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(x, Math.min(y, z.length)));
+        assertEq(r, Math.min(Math.max(x, y), Math.max(x, z.length)));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.max(${x}, Math.min(z.length, ${y}))`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(x, Math.min(z.length, y)));
+        assertEq(r, Math.min(Math.max(x, y), Math.max(x, z.length)));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.max(Math.min(${y}, z.length), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(Math.min(y, z.length), x));
+        assertEq(r, Math.min(Math.max(x, y), Math.max(x, z.length)));
+      }
+
+      // Reverse operands.
+      fn = Function("z", `return Math.max(Math.min(z.length, ${y}), ${x})`);
+      for (let i = 0; i < 100; ++i) {
+        let r = fn(z);
+        assertEq(r, Math.max(Math.min(z.length, y), x));
+        assertEq(r, Math.min(Math.max(x, y), Math.max(x, z.length)));
+      }
+    }
+  }
+}