recover-unsignedtodouble.js

Enable keyboard shortcuts

// |jit-test| --ion-limit-script-size=off

setJitCompilerOption("baseline.warmup.trigger", 9);

setJitCompilerOption("ion.warmup.trigger", 20);

// Prevent GC from cancelling/discarding Ion compilations.

gczeal(0);

var max = 200;

// Check that we are able to remove the operation inside recover test functions

// (denoted by "rop..."), when we inline the first version of uceFault, and

// ensure that the bailout is correct when uceFault is replaced (which cause an

// invalidation bailout).

var uceFault = function (i) {

  if (i > 98) {

    uceFault = function (i) { return true; };

  return false;

};

let u32 = new Uint32Array(100);

for (let i = 0; i < u32.length; ++i) {

  u32[i] = 0x8000_0000 + i;

let uceFault_runsignedtodouble_atomics_and = eval(`(${uceFault})`.replace('uceFault', 'uceFault_runsignedtodouble_atomics_and'));

function runsignedtodouble_atomics_and(i) {

  var y = Atomics.and(u32, i, -1);

  if (uceFault_runsignedtodouble_atomics_and(i) || uceFault_runsignedtodouble_atomics_and(i))

    assertEq(y, 0x8000_0063);

  assertRecoveredOnBailout(y, true);

  return i;

let uceFault_runsignedtodouble_atomics_cmpxchg = eval(`(${uceFault})`.replace('uceFault', 'uceFault_runsignedtodouble_atomics_cmpxchg'));

function runsignedtodouble_atomics_cmpxchg(i) {

  var y = Atomics.compareExchange(u32, i, -1, 0);

  if (uceFault_runsignedtodouble_atomics_cmpxchg(i) || uceFault_runsignedtodouble_atomics_cmpxchg(i))

    assertEq(y, 0x8000_0063);

  assertRecoveredOnBailout(y, true);

  return i;

let uceFault_runsignedtodouble_atomics_xchg = eval(`(${uceFault})`.replace('uceFault', 'uceFault_runsignedtodouble_atomics_xchg'));

function runsignedtodouble_atomics_xchg(i) {

  var y = Atomics.exchange(u32, i, -1);

  if (uceFault_runsignedtodouble_atomics_xchg(i) || uceFault_runsignedtodouble_atomics_xchg(i))

    assertEq(y, 0x8000_0063);

  assertRecoveredOnBailout(y, true);

  return i;

for (let j = 100 - max; j < 100; j++) {

  with({}){} // Do not Ion-compile this loop.

  let i = j < 2 ? (Math.abs(j) % 50) + 2 : j;

  runsignedtodouble_atomics_and(i);

  runsignedtodouble_atomics_cmpxchg(i);

  runsignedtodouble_atomics_xchg(i);