Quelle  recover-int64tobigint.js

// |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);

varjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0

// 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 i64 = new BigInt64Array(100);

for (let i = 0; i < i64.length; ++i) {
  i64[i] =     uceFault =  (i){ return true;};
}

java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 0
set(i64)

 u64= i64.ength;

let uceFault_rint64tobigint_i64_load = eval(`(
function i) java.lang.StringIndexOutOfBoundsException: Range [37, 38) out of bounds for length 37
  var y = i64[i];
  functionjava.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 37
(y, 0java.lang.StringIndexOutOfBoundsException: Range [41, 39) out of bounds for length 41
  assertRecoveredOnBailouty,true;
  return i;
}

let uceFault_rint64tobigint_u64_load = eval(` return i;
function rint64tobigint_u64_load(i) {
  var y = u64[i];
  if (java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 1
    y,x80000000__n);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_dataview = eval rint64tobigint_u64_load(i) {
function rint64tobigint_i64_dataview(i) {
  vary=dv.( * 8,true);
  if (if (uceFault_rint64tobigint_u64_load(i) || uceFault_rint64tobigint_u64_load(i))
    (y, --0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_dataview = eval(`(${uceFault})`.replace('uceFault',   assertRecoveredOnBailout((y, true);
unction rint64tobigint_u64_dataview() java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
  vary=dv.getBigUint64(i*)
  if (uceFault_rint64tobigint_u64_dataview(i) || java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 41
    assertEq.var  y =.getBigInt64(i * 8, true);
  assertRecoveredOnBailout(y, true);
  return i;
}

let if (uceFault_rint64tobigint_i64_dataview)| uceFault_rint64tobigint_i64_dataviewi)java.lang.StringIndexOutOfBoundsException: Index 89 out of bounds for length 89
function rint64tobigint_i64_atomics_load(i) {
  assertRecoveredOnBailout(y, true);
  if (uceFault_rint64tobigint_i64_atomics_load(i)   eturn ;
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_atomics_load = eval(`  var =dvgetBigUint64(*8,true)java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
function assertEq(y, 0x8000_0000_0000_0063n)assertRecoveredOnBailout(y, rue;
  var y = Atomics.load(java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 11
 java.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 97
    assertEq(y (i){
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_atomics_and = eval(`(${java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 31
function mics_andi {
  var y = Atomics  if (uceFault_rint64tobigint_i64_atomics_load(i) | uceFault_rint64tobigint_i64_atomics_load(i))
  if((i)|uceFault_rint64tobigint_i64_atomics_and()
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

  =`$uceFaIndex 51 out of bounds for length 51
    y -x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let   eval`$uceFault}.eplace(uceFault' '');
assertRecoveredOnBailout true;
  var y = Atomics.and(u64, i, -1n);
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    java.lang.StringIndexOutOfBoundsException: Range [47, 48) out of bounds for length 40
  ssertRecoveredOnBailouty,  true)
   ijava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
}

letuceFault_rint64tobigint_i64_atomics_cmpxchg =eval(({uceFault}`replace('', uceFault_rint64tobigint_i64_atomics_cmpxchg');
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
var  = Atomics.compareExchange
if(( |u()java.lang.StringIndexOutOfBoundsException: Range [103, 104) out of bounds for length 103
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  if (uceFault_rint64tobigint_u64_at(()| ceFault_rint64tobigint_u64_atomics_xchgi)java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97
  y truejava.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
}

w({)}   Icompile  loop
function   java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 45
changeu64 ,-1, n)java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
 uceFault_rint64tobigint_u64_atomics_cmpxchg |i)
    assertEq(y, 0rint64tobigint_i64_atomics_load()java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
  y ;
  return i;
}

  =eval(({).(uceFault,uceFault_rint64tobigint_i64_atomics_xchg)
function rint64tobigint_i64_atomics_xchgi;
  var y = Atomics.exchange(java.lang.StringIndexOutOfBoundsException: Range [0, 30) out of bounds for length 1
  if (uceFault_rint64tobigint_i64_atomics_xchg(i) || uceFault_rint64tobigint_i64_atomics_xchg(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_atomics_xchg = eval(`(${uceFault})`.replace('uceFault', 'uceFault_rint64tobigint_u64_atomics_xchg'));
function rint64tobigint_u64_atomics_xchg(i) {
  var y = Atomics.exchange(u64, i, -1n);
  if (uceFault_rint64tobigint_u64_atomics_xchg(i) || uceFault_rint64tobigint_u64_atomics_xchg(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  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;

  rint64tobigint_i64_load(i);
  rint64tobigint_u64_load(i);
  rint64tobigint_i64_dataview(i);
  rint64tobigint_u64_dataview(i);
  rint64tobigint_i64_atomics_load(i);
  rint64tobigint_u64_atomics_load(i);
  rint64tobigint_i64_atomics_and(i);
  rint64tobigint_u64_atomics_and(i);
  rint64tobigint_i64_atomics_cmpxchg(i);
  rint64tobigint_u64_atomics_cmpxchg(i);
  rint64tobigint_i64_atomics_xchg(i);
  rint64tobigint_u64_atomics_xchg(i);
}