js/src/jit-test/lib/codegen-x86-test.js

   1 // Scaffolding for testing x86 Ion code generation patterns .  See
   2 // codegen-x64-test.js in this directory for more information.
   3
   4 load(libdir + "codegen-test-common.js");
   5
   6 // Note that Zydis disassembles x86 absolute addresses as relative, so
   7 // the binary encoding and the text encoding may not correspond precisely.
   8
   9 // Absolute address (disp32) following the instruction mnemonic.
  10 var ABS = `0x${HEXES}`;
  11
  12 // Absolute address (disp32) in the binary encoding.
  13 var ABSADDR = `${HEX}{2} ${HEX}{2} ${HEX}{2} ${HEX}{2}`;
  14
  15 // End of prologue.  The mov to eax is debug code, inserted by the register
  16 // allocator to clobber eax before a move group.
  17 var x86_prefix = `
  18 8b ec            mov %esp, %ebp
  19 b8 ef be ad de   mov \\$0xDEADBEEF, %eax
  20 `
  21
  22 // `.bp` because zydis chooses 'rbp' even on 32-bit systems
  23 var x86_loadarg0 = `
  24 f3 0f 6f 45 ${HEX}{2}            movdqux 0x${HEXES}\\(%.bp\\), %xmm0
  25 `;
  26
  27 // Start of epilogue.  `.bp` for the same reason as above.
  28 var x86_suffix = `5d      pop %.bp`;
  29
  30 // v128 OP literal -> v128
  31 // inputs: [[complete-opname, rhs-literal, expected-pattern], ...]
  32 function codegenTestX86_v128xLITERAL_v128(inputs, options = {}) {
  33     for ( let [op, literal, expected] of inputs ) {
  34         codegenTestX86_adhoc(wrap(options, `
  35     (func (export "f") (param v128) (result v128)
  36       (${op} (local.get 0) ${literal}))`),
  37                              'f',
  38                              x86_loadarg0 + expected,
  39                              options)
  40     }
  41 }
  42
  43 // For when nothing else applies: `module_text` is the complete source text of
  44 // the module, `export_name` is the name of the function to be tested,
  45 // `expected` is the non-preprocessed pattern, and options is an options bag,
  46 // described above.
  47 function codegenTestX86_adhoc(module_text, export_name, expected, options = {}) {
  48     assertEq(hasDisassembler(), true);
  49
  50     let ins = wasmEvalText(module_text);
  51     let output = wasmDis(ins.exports[export_name], {tier:"ion", asString:true});
  52     if (!options.no_prefix)
  53         expected = x86_prefix + '\n' + expected;
  54     if (!options.no_suffix)
  55         expected = expected + '\n' + x86_suffix;
  56     expected = fixlines(expected);
  57     if (options.log) {
  58         print(module_text);
  59         print(output);
  60         print(expected);
  61     }
  62     assertEq(output.match(new RegExp(expected)) != null, true);
  63 }
  64