1 files changed, 45 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/simd/bitselect-x64-ion-codegen.js b/js/src/jit-test/tests/wasm/simd/bitselect-x64-ion-codegen.js
new file mode 100644
index 0000000000..62951bce62
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/simd/bitselect-x64-ion-codegen.js
@@ -0,0 +1,45 @@
+// |jit-test| skip-if: !wasmSimdEnabled() || !hasDisassembler() || wasmCompileMode() != "ion" || !getBuildConfiguration().x64 || getBuildConfiguration().simulator || isAvxPresent(); include:codegen-x64-test.js
+
+// Test that there are no extraneous moves or fixups for SIMD bitselect
+// operations.  See README-codegen.md for general information about this type of
+// test case.
+
+// The codegen enforces onTrue == output so we avoid a move to set that up.
+//
+// The remaining movdqa is currently unavoidable, it moves the control mask into a temp.
+// The temp should be identical to the mask but the regalloc does not currently
+// allow this constraint to be enforced.
+
+// Inputs (xmm0, xmm1, xmm2)
+
+codegenTestX64_adhoc(
+`(module
+    (func (export "f") (param v128) (param v128) (param v128) (param v128) (result v128)
+      (v128.bitselect (local.get 0) (local.get 1) (local.get 2))))`,
+    'f',
+`66 0f 6f da               movdqa %xmm2, %xmm3
+66 0f db c3               pand %xmm3, %xmm0
+66 0f df d9               pandn %xmm1, %xmm3
+66 0f eb c3               por %xmm3, %xmm0`);
+
+// Blend constant optimizations
+
+codegenTestX64_adhoc(
+  `(module
+      (func (export "f") (param v128) (param v128) (param v128) (result v128)
+        (v128.bitselect (local.get 0) (local.get 1) (v128.const i32x4 -1 0 0 -1))))`,
+      'f',
+  `66 0f 3a 0e c1 c3         pblendw \\$0xC3, %xmm1, %xmm0`);
+  
+// vpblendvp optimization when bitselect follows comparison.
+// Non-AVX pblendvb uses xmm0 as an implicit read-only operand.
+codegenTestX64_adhoc(
+  `(module
+      (func (export "f") (param v128) (param v128) (param v128) (param v128) (result v128)
+        (v128.bitselect (local.get 2) (local.get 3)
+           (i32x4.eq (local.get 0) (local.get 1)))))`,
+      'f', `
+66 0f 76 c1               pcmpeqd %xmm1, %xmm0
+66 0f 6f cb               movdqa %xmm3, %xmm1
+66 0f 38 10 ca            pblendvb %xmm2, %xmm1
+66 0f 6f c1               movdqa %xmm1, %xmm0`);