Source code
Revision control
Copy as Markdown
Other Tools
// |jit-test| skip-if: !wasmSimdEnabled() || !hasDisassembler() || wasmCompileMode() != "ion" || !getBuildConfiguration("x64") || getBuildConfiguration("simulator"); include:codegen-x64-test.js
// Test that there are no extraneous moves or fixups for sundry SIMD binary
// operations. See README-codegen.md for general information about this type of
// test case.
// Inputs (xmm0, xmm1)
codegenTestX64_v128xPTYPE_v128(
[['f32x4.replace_lane 0', 'f32', `movss %xmm1, %xmm0`],
['f32x4.replace_lane 1', 'f32', `insertps \\$0x10, %xmm1, %xmm0`],
['f32x4.replace_lane 3', 'f32', `insertps \\$0x30, %xmm1, %xmm0`],
['f64x2.replace_lane 0', 'f64', `movsd %xmm1, %xmm0`],
['f64x2.replace_lane 1', 'f64', `shufpd \\$0x00, %xmm1, %xmm0`]] );
// Inputs (xmm1, xmm0)
codegenTestX64_v128xv128_v128_reversed(
[['f32x4.pmin', `minps %xmm1, %xmm0`],
['f32x4.pmax', `maxps %xmm1, %xmm0`],
['f64x2.pmin', `minpd %xmm1, %xmm0`],
['f64x2.pmax', `maxpd %xmm1, %xmm0`]] );
// Constant arguments that are folded into the instruction
codegenTestX64_v128xLITERAL_v128(
[['i8x16.add', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`paddbx ${RIPR}, %xmm0`],
['i8x16.sub', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`psubbx ${RIPR}, %xmm0`],
['i8x16.add_sat_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`paddsbx ${RIPR}, %xmm0`],
['i8x16.add_sat_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`paddusbx ${RIPR}, %xmm0`],
['i8x16.sub_sat_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`psubsbx ${RIPR}, %xmm0`],
['i8x16.sub_sat_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`psubusbx ${RIPR}, %xmm0`],
['i8x16.min_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pminsbx ${RIPR}, %xmm0`],
['i8x16.min_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pminubx ${RIPR}, %xmm0`],
['i8x16.max_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pmaxsbx ${RIPR}, %xmm0`],
['i8x16.max_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pmaxubx ${RIPR}, %xmm0`],
['i8x16.eq', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pcmpeqbx ${RIPR}, %xmm0`],
['i8x16.ne', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)', `
pcmpeqbx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i8x16.gt_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pcmpgtbx ${RIPR}, %xmm0`],
['i8x16.le_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)', `
pcmpgtbx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i8x16.narrow_i16x8_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`packsswbx ${RIPR}, %xmm0`],
['i8x16.narrow_i16x8_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`packuswbx ${RIPR}, %xmm0`],
['i16x8.add', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`paddwx ${RIPR}, %xmm0`],
['i16x8.sub', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`psubwx ${RIPR}, %xmm0`],
['i16x8.mul', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pmullwx ${RIPR}, %xmm0`],
['i16x8.add_sat_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`paddswx ${RIPR}, %xmm0`],
['i16x8.add_sat_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`padduswx ${RIPR}, %xmm0`],
['i16x8.sub_sat_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`psubswx ${RIPR}, %xmm0`],
['i16x8.sub_sat_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`psubuswx ${RIPR}, %xmm0`],
['i16x8.min_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pminswx ${RIPR}, %xmm0`],
['i16x8.min_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pminuwx ${RIPR}, %xmm0`],
['i16x8.max_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pmaxswx ${RIPR}, %xmm0`],
['i16x8.max_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pmaxuwx ${RIPR}, %xmm0`],
['i16x8.eq', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pcmpeqwx ${RIPR}, %xmm0`],
['i16x8.ne', '(v128.const i16x8 1 2 1 2 1 2 1 2)', `
pcmpeqwx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i16x8.gt_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pcmpgtwx ${RIPR}, %xmm0`],
['i16x8.le_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)', `
pcmpgtwx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i16x8.narrow_i32x4_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`packssdwx ${RIPR}, %xmm0`],
['i16x8.narrow_i32x4_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`packusdwx ${RIPR}, %xmm0`],
['i32x4.add', '(v128.const i32x4 1 2 1 2)',
`padddx ${RIPR}, %xmm0`],
['i32x4.sub', '(v128.const i32x4 1 2 1 2)',
`psubdx ${RIPR}, %xmm0`],
['i32x4.mul', '(v128.const i32x4 1 2 1 2)',
`pmulldx ${RIPR}, %xmm0`],
['i32x4.min_s', '(v128.const i32x4 1 2 1 2)',
`pminsdx ${RIPR}, %xmm0`],
['i32x4.min_u', '(v128.const i32x4 1 2 1 2)',
`pminudx ${RIPR}, %xmm0`],
['i32x4.max_s', '(v128.const i32x4 1 2 1 2)',
`pmaxsdx ${RIPR}, %xmm0`],
['i32x4.max_u', '(v128.const i32x4 1 2 1 2)',
`pmaxudx ${RIPR}, %xmm0`],
['i32x4.eq', '(v128.const i32x4 1 2 1 2)',
`pcmpeqdx ${RIPR}, %xmm0`],
['i32x4.ne', '(v128.const i32x4 1 2 1 2)', `
pcmpeqdx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i32x4.gt_s', '(v128.const i32x4 1 2 1 2)',
`pcmpgtdx ${RIPR}, %xmm0`],
['i32x4.le_s', '(v128.const i32x4 1 2 1 2)', `
pcmpgtdx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i32x4.dot_i16x8_s', '(v128.const i32x4 1 2 1 2)',
`pmaddwdx ${RIPR}, %xmm0`],
['i64x2.add', '(v128.const i64x2 1 2)',
`paddqx ${RIPR}, %xmm0`],
['i64x2.sub', '(v128.const i64x2 1 2)',
`psubqx ${RIPR}, %xmm0`],
['v128.and', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pandx ${RIPR}, %xmm0`],
['v128.or', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`porx ${RIPR}, %xmm0`],
['v128.xor', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pxorx ${RIPR}, %xmm0`],
['f32x4.add', '(v128.const f32x4 1 2 3 4)',
`addpsx ${RIPR}, %xmm0`],
['f32x4.sub', '(v128.const f32x4 1 2 3 4)',
`subpsx ${RIPR}, %xmm0`],
['f32x4.mul', '(v128.const f32x4 1 2 3 4)',
`mulpsx ${RIPR}, %xmm0`],
['f32x4.div', '(v128.const f32x4 1 2 3 4)',
`divpsx ${RIPR}, %xmm0`],
['f32x4.eq', '(v128.const f32x4 1 2 3 4)',
`cmppsx \\$0x00, ${RIPR}, %xmm0`],
['f32x4.ne', '(v128.const f32x4 1 2 3 4)',
`cmppsx \\$0x04, ${RIPR}, %xmm0`],
['f32x4.lt', '(v128.const f32x4 1 2 3 4)',
`cmppsx \\$0x01, ${RIPR}, %xmm0`],
['f32x4.le', '(v128.const f32x4 1 2 3 4)',
`cmppsx \\$0x02, ${RIPR}, %xmm0`],
['f64x2.add', '(v128.const f64x2 1 2)',
`addpdx ${RIPR}, %xmm0`],
['f64x2.sub', '(v128.const f64x2 1 2)',
`subpdx ${RIPR}, %xmm0`],
['f64x2.mul', '(v128.const f64x2 1 2)',
`mulpdx ${RIPR}, %xmm0`],
['f64x2.div', '(v128.const f64x2 1 2)',
`divpdx ${RIPR}, %xmm0`],
['f64x2.eq', '(v128.const f64x2 1 2)',
`cmppdx \\$0x00, ${RIPR}, %xmm0`],
['f64x2.ne', '(v128.const f64x2 1 2)',
`cmppdx \\$0x04, ${RIPR}, %xmm0`],
['f64x2.lt', '(v128.const f64x2 1 2)',
`cmppdx \\$0x01, ${RIPR}, %xmm0`],
['f64x2.le', '(v128.const f64x2 1 2)',
`cmppdx \\$0x02, ${RIPR}, %xmm0`]]);
// Commutative operations with constants on the lhs should generate the same
// code as with the constant on the rhs.
codegenTestX64_LITERALxv128_v128(
[['i8x16.add', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`paddbx ${RIPR}, %xmm0`],
['i8x16.add_sat_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`paddsbx ${RIPR}, %xmm0`],
['i8x16.add_sat_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`paddusbx ${RIPR}, %xmm0`],
['i8x16.min_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pminsbx ${RIPR}, %xmm0`],
['i8x16.min_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pminubx ${RIPR}, %xmm0`],
['i8x16.max_s', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pmaxsbx ${RIPR}, %xmm0`],
['i8x16.max_u', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pmaxubx ${RIPR}, %xmm0`],
['i8x16.eq', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pcmpeqbx ${RIPR}, %xmm0`],
['i8x16.ne', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)', `
pcmpeqbx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i16x8.add', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`paddwx ${RIPR}, %xmm0`],
['i16x8.mul', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pmullwx ${RIPR}, %xmm0`],
['i16x8.add_sat_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`paddswx ${RIPR}, %xmm0`],
['i16x8.add_sat_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`padduswx ${RIPR}, %xmm0`],
['i16x8.min_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pminswx ${RIPR}, %xmm0`],
['i16x8.min_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pminuwx ${RIPR}, %xmm0`],
['i16x8.max_s', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pmaxswx ${RIPR}, %xmm0`],
['i16x8.max_u', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pmaxuwx ${RIPR}, %xmm0`],
['i16x8.eq', '(v128.const i16x8 1 2 1 2 1 2 1 2)',
`pcmpeqwx ${RIPR}, %xmm0`],
['i16x8.ne', '(v128.const i16x8 1 2 1 2 1 2 1 2)', `
pcmpeqwx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i32x4.add', '(v128.const i32x4 1 2 1 2)',
`padddx ${RIPR}, %xmm0`],
['i32x4.mul', '(v128.const i32x4 1 2 1 2)',
`pmulldx ${RIPR}, %xmm0`],
['i32x4.min_s', '(v128.const i32x4 1 2 1 2)',
`pminsdx ${RIPR}, %xmm0`],
['i32x4.min_u', '(v128.const i32x4 1 2 1 2)',
`pminudx ${RIPR}, %xmm0`],
['i32x4.max_s', '(v128.const i32x4 1 2 1 2)',
`pmaxsdx ${RIPR}, %xmm0`],
['i32x4.max_u', '(v128.const i32x4 1 2 1 2)',
`pmaxudx ${RIPR}, %xmm0`],
['i32x4.eq', '(v128.const i32x4 1 2 1 2)',
`pcmpeqdx ${RIPR}, %xmm0`],
['i32x4.ne', '(v128.const i32x4 1 2 1 2)', `
pcmpeqdx ${RIPR}, %xmm0
pcmpeqw %xmm15, %xmm15
pxor %xmm15, %xmm0`],
['i32x4.dot_i16x8_s', '(v128.const i32x4 1 2 1 2)',
`pmaddwdx ${RIPR}, %xmm0`],
['i64x2.add', '(v128.const i64x2 1 2)',
`paddqx ${RIPR}, %xmm0`],
['v128.and', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pandx ${RIPR}, %xmm0`],
['v128.or', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`porx ${RIPR}, %xmm0`],
['v128.xor', '(v128.const i8x16 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2)',
`pxorx ${RIPR}, %xmm0`]]);