1 files changed, 269 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/compare-select-i32-i64.js b/js/src/jit-test/tests/wasm/compare-select-i32-i64.js
new file mode 100644
index 0000000000..34657053ac
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/compare-select-i32-i64.js
@@ -0,0 +1,269 @@
+
+// Comprehensively test wasm compare-then-select, for all combinations of
+//
+//   compare     in  i32 i64
+//   select      in  i32 i64
+//   compare-op  in  eq ne lt_s lt_u gt_s gt_u le_s le_u ge_s ge_u
+//
+// and using comparison values from all 4 quadrant points of the range,
+// including at least one either side, so as to catch off-by-one comparison
+// errors.  In total 9000 tests.
+
+const cmpVals32
+      = [ 0x00000000, 0x00000001, 0x00000002,
+          0x3fffffff, 0x40000000, 0x40000001,
+          0x7fffffff, 0x80000000, 0x80000001,
+          0xbfffffff, 0xc0000000, 0xc0000001,
+          0xfffffffd, 0xfffffffe, 0xffffffff ];
+
+const cmpVals64
+      = [ 0x0000000000000000n, 0x0000000000000001n, 0x0000000000000002n,
+          0x3fffffffffffffffn, 0x4000000000000000n, 0x4000000000000001n,
+          0x7fffffffffffffffn, 0x8000000000000000n, 0x8000000000000001n,
+          0xbfffffffffffffffn, 0xc000000000000000n, 0xc000000000000001n,
+          0xfffffffffffffffdn, 0xfffffffffffffffen, 0xffffffffffffffffn ];
+
+const selVal32L = 0x55551234;
+const selVal32R = 0x55554321;
+
+const selVal64L = 0x5555555555554771n;
+const selVal64R = 0x5555555555551337n;
+
+function getCmpVals(cmpTy) {
+    if (cmpTy === 'i32') {
+        return cmpVals32;
+    } else {
+        assertEq(cmpTy, 'i64');
+        return cmpVals64;
+    }
+}
+
+function classifyResult(selTy, result) {
+    if (selTy === 'i32') {
+        if (result === selVal32L) {
+            return '0';
+        }
+        if (result === selVal32R) {
+            return '1';
+        }
+    } else {
+        assertEq(selTy, 'i64');
+        if (result === selVal64L) {
+            return '2';
+        }
+        if (result === selVal64R) {
+            return '3';
+        }
+    }
+    // Anything that is not '0', '1', '2' or '3' will cause the final
+    // summary-string comparison below to fail.
+    return 'BAD';
+}
+
+let actualSummaryString = '';
+
+for ( cmpTy of [ 'i32', 'i64' ] ) {
+    for ( selTy of [ 'i32', 'i64' ] ) {
+        for ( cmpOp of [ 'eq', 'ne',
+                         'lt_s', 'lt_u', 'gt_s', 'gt_u',
+                         'le_s', 'le_u', 'ge_s', 'ge_u' ] ) {
+            let t =
+             `(module
+                (func (export "f")
+                      (param $p1 ${cmpTy}) (param $p2 ${cmpTy})
+                      (param $p3 ${selTy}) (param $p4 ${selTy})
+                      (result ${selTy})
+                  (select (local.get $p3)
+                          (local.get $p4)
+                          (${cmpTy}.${cmpOp} (local.get $p1) (local.get $p2)))
+                )
+              )`;
+            let i = new WebAssembly.Instance(
+                    new WebAssembly.Module(wasmTextToBinary(t)));
+            let cmpVals = getCmpVals(cmpTy);
+            let selValL, selValR;
+            if (selTy === 'i32') {
+                selValL = selVal32L;
+                selValR = selVal32R;
+            } else {
+                assertEq(selTy, 'i64');
+                selValL = selVal64L;
+                selValR = selVal64R;
+            }
+            for ( cmpValL of cmpVals ) {
+                for ( cmpValR of cmpVals ) {
+                    let res = i.exports.f(cmpValL, cmpValR, selValL, selValR);
+                    // We expect res to be one of selVal<selTy>{L,R} values.
+                    // Check that and add its summary to the running string.
+                    let classified = classifyResult(selTy, res);
+                    actualSummaryString += classified;
+                }
+            }
+        }
+    }
+}
+
+// We expect to run exactly 9000 tests:
+// 2 cmp types x 2 sel types x 10 conditions  (= 40 wasm functions)
+//             x 15 cmp argLs x 15 cmp argRs   = 9000
+assertEq(actualSummaryString.length, 9000);
+
+// The expected summary string, one char for each test, encoded per
+// function classifyResult above.  150 lines of 60 chars each.
+
+let expectedSummaryString
+ =
+  '011111111111111101111111111111110111111111111111011111111111' +
+  '111101111111111111110111111111111111011111111111111101111111' +
+  '111111110111111111111111011111111111111101111111111111110111' +
+  '111111111111011111111111111101111111111111110100000000000000' +
+  '010000000000000001000000000000000100000000000000010000000000' +
+  '000001000000000000000100000000000000010000000000000001000000' +
+  '000000000100000000000000010000000000000001000000000000000100' +
+  '000000000000010000000000000001100000011111111110000011111111' +
+  '111000011111111111100011111111111110011111111111111011111111' +
+  '111111111111111000000010000000000000011000000000000011100000' +
+  '000000011110000000000011111000000000011111100000000011111110' +
+  '000000011111111100000000000000110000000000000111000000000000' +
+  '111100000000000111110000000000111111000000000111111100000000' +
+  '111111110000000111111111000000111111111100000111111111110000' +
+  '111111111111000111111111111100111111111111110111111111111111' +
+  '111111100000000011111100000000001111100000000000111100000000' +
+  '000011100000000000001100000000000000100000000111111111111111' +
+  '111111101111111111111100111111111111100011111111111100001111' +
+  '111111100000111111111100000011111111100000001111111111111111' +
+  '011111111111111001111111111111000111111111111000011111111111' +
+  '000001111111111000000111111111000000011111111000000001111111' +
+  '000000000111111000000000011111000000000001111000000000000111' +
+  '000000000000011000000000000001000000011111111100000011111111' +
+  '110000011111111111000011111111111100011111111111110011111111' +
+  '111111011111111000000000000000000000010000000000000011000000' +
+  '000000011100000000000011110000000000011111000000000011111100' +
+  '000000011111110000000000000000100000000000000110000000000000' +
+  '111000000000000111100000000000111110000000000111111000000000' +
+  '111111100000000111111110000000111111111000000111111111100000' +
+  '111111111110000111111111111000111111111111100111111111111110' +
+  '011111100000000001111100000000000111100000000000011100000000' +
+  '000001100000000000000100000000000000000000000111111101111111' +
+  '111111100111111111111100011111111111100001111111111100000111' +
+  '111111100000011111111100000001111111100000000011111111111111' +
+  '001111111111111000111111111111000011111111111000001111111111' +
+  '000000111111111000000011111111000000001111111000000000111111' +
+  '000000000011111000000000001111000000000000111000000000000011' +
+  '000000000000001000000000000000233333333333333323333333333333' +
+  '332333333333333333233333333333333323333333333333332333333333' +
+  '333333233333333333333323333333333333332333333333333333233333' +
+  '333333333323333333333333332333333333333333233333333333333323' +
+  '333333333333332322222222222222232222222222222223222222222222' +
+  '222322222222222222232222222222222223222222222222222322222222' +
+  '222222232222222222222223222222222222222322222222222222232222' +
+  '222222222223222222222222222322222222222222232222222222222223' +
+  '322222233333333332222233333333333222233333333333322233333333' +
+  '333332233333333333333233333333333333333333333222222232222222' +
+  '222222233222222222222233322222222222233332222222222233333222' +
+  '222222233333322222222233333332222222233333333322222222222222' +
+  '332222222222222333222222222222333322222222222333332222222222' +
+  '333333222222222333333322222222333333332222222333333333222222' +
+  '333333333322222333333333332222333333333333222333333333333322' +
+  '333333333333332333333333333333333333322222222233333322222222' +
+  '223333322222222222333322222222222233322222222222223322222222' +
+  '222222322222222333333333333333333333323333333333333322333333' +
+  '333333322233333333333322223333333333322222333333333322222233' +
+  '333333322222223333333333333333233333333333333223333333333333' +
+  '222333333333333222233333333333222223333333333222222333333333' +
+  '222222233333333222222223333333222222222333333222222222233333' +
+  '222222222223333222222222222333222222222222233222222222222223' +
+  '222222233333333322222233333333332222233333333333222233333333' +
+  '333322233333333333332233333333333333233333333222222222222222' +
+  '222222232222222222222233222222222222233322222222222233332222' +
+  '222222233333222222222233333322222222233333332222222222222222' +
+  '322222222222222332222222222222333222222222222333322222222222' +
+  '333332222222222333333222222222333333322222222333333332222222' +
+  '333333333222222333333333322222333333333332222333333333333222' +
+  '333333333333322333333333333332233333322222222223333322222222' +
+  '222333322222222222233322222222222223322222222222222322222222' +
+  '222222222222222333333323333333333333322333333333333322233333' +
+  '333333322223333333333322222333333333322222233333333322222223' +
+  '333333322222222233333333333333223333333333333222333333333333' +
+  '222233333333333222223333333333222222333333333222222233333333' +
+  '222222223333333222222222333333222222222233333222222222223333' +
+  '222222222222333222222222222233222222222222223222222222222222' +
+  '011111111111111101111111111111110111111111111111011111111111' +
+  '111101111111111111110111111111111111011111111111111101111111' +
+  '111111110111111111111111011111111111111101111111111111110111' +
+  '111111111111011111111111111101111111111111110100000000000000' +
+  '010000000000000001000000000000000100000000000000010000000000' +
+  '000001000000000000000100000000000000010000000000000001000000' +
+  '000000000100000000000000010000000000000001000000000000000100' +
+  '000000000000010000000000000001100000011111111110000011111111' +
+  '111000011111111111100011111111111110011111111111111011111111' +
+  '111111111111111000000010000000000000011000000000000011100000' +
+  '000000011110000000000011111000000000011111100000000011111110' +
+  '000000011111111100000000000000110000000000000111000000000000' +
+  '111100000000000111110000000000111111000000000111111100000000' +
+  '111111110000000111111111000000111111111100000111111111110000' +
+  '111111111111000111111111111100111111111111110111111111111111' +
+  '111111100000000011111100000000001111100000000000111100000000' +
+  '000011100000000000001100000000000000100000000111111111111111' +
+  '111111101111111111111100111111111111100011111111111100001111' +
+  '111111100000111111111100000011111111100000001111111111111111' +
+  '011111111111111001111111111111000111111111111000011111111111' +
+  '000001111111111000000111111111000000011111111000000001111111' +
+  '000000000111111000000000011111000000000001111000000000000111' +
+  '000000000000011000000000000001000000011111111100000011111111' +
+  '110000011111111111000011111111111100011111111111110011111111' +
+  '111111011111111000000000000000000000010000000000000011000000' +
+  '000000011100000000000011110000000000011111000000000011111100' +
+  '000000011111110000000000000000100000000000000110000000000000' +
+  '111000000000000111100000000000111110000000000111111000000000' +
+  '111111100000000111111110000000111111111000000111111111100000' +
+  '111111111110000111111111111000111111111111100111111111111110' +
+  '011111100000000001111100000000000111100000000000011100000000' +
+  '000001100000000000000100000000000000000000000111111101111111' +
+  '111111100111111111111100011111111111100001111111111100000111' +
+  '111111100000011111111100000001111111100000000011111111111111' +
+  '001111111111111000111111111111000011111111111000001111111111' +
+  '000000111111111000000011111111000000001111111000000000111111' +
+  '000000000011111000000000001111000000000000111000000000000011' +
+  '000000000000001000000000000000233333333333333323333333333333' +
+  '332333333333333333233333333333333323333333333333332333333333' +
+  '333333233333333333333323333333333333332333333333333333233333' +
+  '333333333323333333333333332333333333333333233333333333333323' +
+  '333333333333332322222222222222232222222222222223222222222222' +
+  '222322222222222222232222222222222223222222222222222322222222' +
+  '222222232222222222222223222222222222222322222222222222232222' +
+  '222222222223222222222222222322222222222222232222222222222223' +
+  '322222233333333332222233333333333222233333333333322233333333' +
+  '333332233333333333333233333333333333333333333222222232222222' +
+  '222222233222222222222233322222222222233332222222222233333222' +
+  '222222233333322222222233333332222222233333333322222222222222' +
+  '332222222222222333222222222222333322222222222333332222222222' +
+  '333333222222222333333322222222333333332222222333333333222222' +
+  '333333333322222333333333332222333333333333222333333333333322' +
+  '333333333333332333333333333333333333322222222233333322222222' +
+  '223333322222222222333322222222222233322222222222223322222222' +
+  '222222322222222333333333333333333333323333333333333322333333' +
+  '333333322233333333333322223333333333322222333333333322222233' +
+  '333333322222223333333333333333233333333333333223333333333333' +
+  '222333333333333222233333333333222223333333333222222333333333' +
+  '222222233333333222222223333333222222222333333222222222233333' +
+  '222222222223333222222222222333222222222222233222222222222223' +
+  '222222233333333322222233333333332222233333333333222233333333' +
+  '333322233333333333332233333333333333233333333222222222222222' +
+  '222222232222222222222233222222222222233322222222222233332222' +
+  '222222233333222222222233333322222222233333332222222222222222' +
+  '322222222222222332222222222222333222222222222333322222222222' +
+  '333332222222222333333222222222333333322222222333333332222222' +
+  '333333333222222333333333322222333333333332222333333333333222' +
+  '333333333333322333333333333332233333322222222223333322222222' +
+  '222333322222222222233322222222222223322222222222222322222222' +
+  '222222222222222333333323333333333333322333333333333322233333' +
+  '333333322223333333333322222333333333322222233333333322222223' +
+  '333333322222222233333333333333223333333333333222333333333333' +
+  '222233333333333222223333333333222222333333333222222233333333' +
+  '222222223333333222222222333333222222222233333222222222223333' +
+  '222222222222333222222222222233222222222222223222222222222222';
+
+assertEq(expectedSummaryString.length, 9000); // stay sane
+
+assertEq(actualSummaryString, expectedSummaryString);