// |jit-test| test-also=--wasm-compiler=optimizing; skip-if: !wasmDebuggingEnabled()

// Tests that wasm module scripts have column and line to bytecode offset
// information when source text is generated.

load(libdir + "asserts.js");

// Checking if experimental format generates internal source map to binary file
// by querying debugger scripts getAllColumnOffsets.
function getAllOffsets(wast) {
  var sandbox = newGlobal({newCompartment: true});
  var dbg = new Debugger();
  dbg.addDebuggee(sandbox);
  dbg.allowWasmBinarySource = true;
  sandbox.eval(`
    var wasm = wasmTextToBinary('${wast}');
    var m = new WebAssembly.Instance(new WebAssembly.Module(wasm));
  `);
  var wasmScript = dbg.findScripts().filter(s => s.format == 'wasm')[0];
  return wasmScript.getAllColumnOffsets();
}

var offsets1 = getAllOffsets('(module \
  (func (nop)) \
  (func (drop (f32.sqrt (f32.add (f32.const 1.0) (f32.const 2.0))))) \
)');

// There shall be total 5 lines with single and unique offset per line.
var usedOffsets = Object.create(null),
    usedLines = Object.create(null);
assertEq(offsets1.length, 5);

offsets1.forEach(({offset, lineNumber, columnNumber}) => {
  assertEq(offset > 0, true);
  assertEq(lineNumber > 0, true);
  assertEq(columnNumber > 0, true);
  usedOffsets[offset] = true;
  usedLines[lineNumber] = true;
});
assertEq(Object.keys(usedOffsets).length, 5);
assertEq(Object.keys(usedLines).length, 5);