Add more systematic tests for comparisons.

test/mjsunit/compare-table-sne.js

Index: test/mjsunit/compare-table-sne.js
diff --git a/test/mjsunit/compare-table-sne.js b/test/mjsunit/compare-table-sne.js
new file mode 100644
index 0000000000000000000000000000000000000000..b9c80712132f4e50d421c033d75bc8a11d37b01e
--- /dev/null
+++ b/test/mjsunit/compare-table-sne.js
@@ -0,0 +1,105 @@
+// 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.
+
+var values = [true,false,null,void 0,0,0.0,-0,"",-1,-1.25,1,1.25,-2147483648,2147483648,Infinity,-Infinity,NaN];
+var expected = [
+  [false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,false,false,false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,false,false,false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,false,false,false,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,false,true ],
+  [true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ,true ]
+];
+var func = (function sne(a,b) { return a !== b; });
+var left_funcs = [
+  (function sne_L0(b) { return true !== b; }),
+  (function sne_L1(b) { return false !== b; }),
+  (function sne_L2(b) { return null !== b; }),
+  (function sne_L3(b) { return void 0 !== b; }),
+  (function sne_L4(b) { return 0 !== b; }),
+  (function sne_L5(b) { return 0.0 !== b; }),
+  (function sne_L6(b) { return -0 !== b; }),
+  (function sne_L7(b) { return "" !== b; }),
+  (function sne_L8(b) { return -1 !== b; }),
+  (function sne_L9(b) { return -1.25 !== b; }),
+  (function sne_L10(b) { return 1 !== b; }),
+  (function sne_L11(b) { return 1.25 !== b; }),
+  (function sne_L12(b) { return -2147483648 !== b; }),
+  (function sne_L13(b) { return 2147483648 !== b; }),
+  (function sne_L14(b) { return Infinity !== b; }),
+  (function sne_L15(b) { return -Infinity !== b; }),
+  (function sne_L16(b) { return NaN !== b; })
+];
+var right_funcs = [
+  (function sne_R0(a) { return a !== true; }),
+  (function sne_R1(a) { return a !== false; }),
+  (function sne_R2(a) { return a !== null; }),
+  (function sne_R3(a) { return a !== void 0; }),
+  (function sne_R4(a) { return a !== 0; }),
+  (function sne_R5(a) { return a !== 0.0; }),
+  (function sne_R6(a) { return a !== -0; }),
+  (function sne_R7(a) { return a !== ""; }),
+  (function sne_R8(a) { return a !== -1; }),
+  (function sne_R9(a) { return a !== -1.25; }),
+  (function sne_R10(a) { return a !== 1; }),
+  (function sne_R11(a) { return a !== 1.25; }),
+  (function sne_R12(a) { return a !== -2147483648; }),
+  (function sne_R13(a) { return a !== 2147483648; }),
+  (function sne_R14(a) { return a !== Infinity; }),
+  (function sne_R15(a) { return a !== -Infinity; }),
+  (function sne_R16(a) { return a !== NaN; })
+];
+function matrix() {
+  return [
+    [true !== true,true !== false,true !== null,true !== void 0,true !== 0,true !== 0.0,true !== -0,true !== "",true !== -1,true !== -1.25,true !== 1,true !== 1.25,true !== -2147483648,true !== 2147483648,true !== Infinity,true !== -Infinity,true !== NaN],
+    [false !== true,false !== false,false !== null,false !== void 0,false !== 0,false !== 0.0,false !== -0,false !== "",false !== -1,false !== -1.25,false !== 1,false !== 1.25,false !== -2147483648,false !== 2147483648,false !== Infinity,false !== -Infinity,false !== NaN],
+    [null !== true,null !== false,null !== null,null !== void 0,null !== 0,null !== 0.0,null !== -0,null !== "",null !== -1,null !== -1.25,null !== 1,null !== 1.25,null !== -2147483648,null !== 2147483648,null !== Infinity,null !== -Infinity,null !== NaN],
+    [void 0 !== true,void 0 !== false,void 0 !== null,void 0 !== void 0,void 0 !== 0,void 0 !== 0.0,void 0 !== -0,void 0 !== "",void 0 !== -1,void 0 !== -1.25,void 0 !== 1,void 0 !== 1.25,void 0 !== -2147483648,void 0 !== 2147483648,void 0 !== Infinity,void 0 !== -Infinity,void 0 !== NaN],
+    [0 !== true,0 !== false,0 !== null,0 !== void 0,0 !== 0,0 !== 0.0,0 !== -0,0 !== "",0 !== -1,0 !== -1.25,0 !== 1,0 !== 1.25,0 !== -2147483648,0 !== 2147483648,0 !== Infinity,0 !== -Infinity,0 !== NaN],
+    [0.0 !== true,0.0 !== false,0.0 !== null,0.0 !== void 0,0.0 !== 0,0.0 !== 0.0,0.0 !== -0,0.0 !== "",0.0 !== -1,0.0 !== -1.25,0.0 !== 1,0.0 !== 1.25,0.0 !== -2147483648,0.0 !== 2147483648,0.0 !== Infinity,0.0 !== -Infinity,0.0 !== NaN],
+    [-0 !== true,-0 !== false,-0 !== null,-0 !== void 0,-0 !== 0,-0 !== 0.0,-0 !== -0,-0 !== "",-0 !== -1,-0 !== -1.25,-0 !== 1,-0 !== 1.25,-0 !== -2147483648,-0 !== 2147483648,-0 !== Infinity,-0 !== -Infinity,-0 !== NaN],
+    ["" !== true,"" !== false,"" !== null,"" !== void 0,"" !== 0,"" !== 0.0,"" !== -0,"" !== "","" !== -1,"" !== -1.25,"" !== 1,"" !== 1.25,"" !== -2147483648,"" !== 2147483648,"" !== Infinity,"" !== -Infinity,"" !== NaN],
+    [-1 !== true,-1 !== false,-1 !== null,-1 !== void 0,-1 !== 0,-1 !== 0.0,-1 !== -0,-1 !== "",-1 !== -1,-1 !== -1.25,-1 !== 1,-1 !== 1.25,-1 !== -2147483648,-1 !== 2147483648,-1 !== Infinity,-1 !== -Infinity,-1 !== NaN],
+    [-1.25 !== true,-1.25 !== false,-1.25 !== null,-1.25 !== void 0,-1.25 !== 0,-1.25 !== 0.0,-1.25 !== -0,-1.25 !== "",-1.25 !== -1,-1.25 !== -1.25,-1.25 !== 1,-1.25 !== 1.25,-1.25 !== -2147483648,-1.25 !== 2147483648,-1.25 !== Infinity,-1.25 !== -Infinity,-1.25 !== NaN],
+    [1 !== true,1 !== false,1 !== null,1 !== void 0,1 !== 0,1 !== 0.0,1 !== -0,1 !== "",1 !== -1,1 !== -1.25,1 !== 1,1 !== 1.25,1 !== -2147483648,1 !== 2147483648,1 !== Infinity,1 !== -Infinity,1 !== NaN],
+    [1.25 !== true,1.25 !== false,1.25 !== null,1.25 !== void 0,1.25 !== 0,1.25 !== 0.0,1.25 !== -0,1.25 !== "",1.25 !== -1,1.25 !== -1.25,1.25 !== 1,1.25 !== 1.25,1.25 !== -2147483648,1.25 !== 2147483648,1.25 !== Infinity,1.25 !== -Infinity,1.25 !== NaN],
+    [-2147483648 !== true,-2147483648 !== false,-2147483648 !== null,-2147483648 !== void 0,-2147483648 !== 0,-2147483648 !== 0.0,-2147483648 !== -0,-2147483648 !== "",-2147483648 !== -1,-2147483648 !== -1.25,-2147483648 !== 1,-2147483648 !== 1.25,-2147483648 !== -2147483648,-2147483648 !== 2147483648,-2147483648 !== Infinity,-2147483648 !== -Infinity,-2147483648 !== NaN],
+    [2147483648 !== true,2147483648 !== false,2147483648 !== null,2147483648 !== void 0,2147483648 !== 0,2147483648 !== 0.0,2147483648 !== -0,2147483648 !== "",2147483648 !== -1,2147483648 !== -1.25,2147483648 !== 1,2147483648 !== 1.25,2147483648 !== -2147483648,2147483648 !== 2147483648,2147483648 !== Infinity,2147483648 !== -Infinity,2147483648 !== NaN],
+    [Infinity !== true,Infinity !== false,Infinity !== null,Infinity !== void 0,Infinity !== 0,Infinity !== 0.0,Infinity !== -0,Infinity !== "",Infinity !== -1,Infinity !== -1.25,Infinity !== 1,Infinity !== 1.25,Infinity !== -2147483648,Infinity !== 2147483648,Infinity !== Infinity,Infinity !== -Infinity,Infinity !== NaN],
+    [-Infinity !== true,-Infinity !== false,-Infinity !== null,-Infinity !== void 0,-Infinity !== 0,-Infinity !== 0.0,-Infinity !== -0,-Infinity !== "",-Infinity !== -1,-Infinity !== -1.25,-Infinity !== 1,-Infinity !== 1.25,-Infinity !== -2147483648,-Infinity !== 2147483648,-Infinity !== Infinity,-Infinity !== -Infinity,-Infinity !== NaN],
+    [NaN !== true,NaN !== false,NaN !== null,NaN !== void 0,NaN !== 0,NaN !== 0.0,NaN !== -0,NaN !== "",NaN !== -1,NaN !== -1.25,NaN !== 1,NaN !== 1.25,NaN !== -2147483648,NaN !== 2147483648,NaN !== Infinity,NaN !== -Infinity,NaN !== NaN]
+  ];
+}
+function test() {
+  for (var i = 0; i < values.length; i++) {
+    for (var j = 0; j < values.length; j++) {
+      var a = values[i];
+      var b = values[j];
+      var x = expected[i][j];
+      assertEquals(x, func(a,b));
+      assertEquals(x, left_funcs[i](b));
+      assertEquals(x, right_funcs[j](a));
+    }
+  }
+
+  var result = matrix();
+  for (var i = 0; i < values.length; i++) {
+    for (var j = 0; j < values.length; j++) {
+      assertEquals(expected[i][j], result[i][j]);
+    }
+  }
+}
+test();
+test();