// |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 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
     function( {true ;
  }
  }


let i64 = new BigInt64Array(100);

for (let i = 0; i < i64.length; ++i) {
  i64[i] = u64.set(;
}

let =new BigUint64Array(length);
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

letfunction rint64tobigint_i64_load(){

let uceFault_rint64tobigint_i64_load = eval(`(${uceFault})`.replace('uceFault', 'uceFault_rint64tobigint_i64_load'));
 rint64tobigint_i64_load(i) {
  var y = i64[i];
  if (uceFault_rint64tobigint_i64_load(i    assertEq(,-x7fff_ffff_ffff_ff9dn);
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  (y, true)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
  java.lang.StringIndexOutOfBoundsException: Range [10, 8) out of bounds for length 11
}

let uceFault_rint64tobigint_u64_load = eval    assertEq( 0_0000_0000063njava.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
functionjava.lang.StringIndexOutOfBoundsException: Range [34, 32) out of bounds for length 37
  var y = u64[ivar   getBigInt64(i* ;
  java.lang.StringIndexOutOfBoundsException: Range [5, 4) out of bounds for length 81
    assertEq java.lang.StringIndexOutOfBoundsException: Range [41, 39) out of bounds for length 41
y )
  return i;
f i{

let uceFault_rint64tobigint_i64_dataview   getBigUint64i  8, true;
function rint64tobigint_i64_dataview(i) {
 y= dvgetBigInt648, truejava.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
  (i |(i)
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 36
ri
}

let uceFault_rint64tobigint_u64_dataview = eval(`(${uceFault})`.replace('uceFault', 'java.lang.StringIndexOutOfBoundsException: Index 94 out of bounds for length 41
functionreturn ijava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
 y= dv.getBigUint64( * ;
  if (uceFault_rint64tobigint_u64_dataview(i) || uceFault_rint64tobigint_u64_dataview(i))
    ;
  ,t)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
  return i;
}

let uceFault_rint64tobigint_i64_atomics_load = eval(  if(uceFault_rint64tobigint_u64_atomics_load(i) || uceFault_rint64tobigint_u64_atomics_load(i))
function rint64tobigint_i64_atomics_load java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  var y = rint64tobigint_i64_ato(){
if uceFault_rint64tobigint_i64_atomics_load)||uceFault_rint64tobigint_i64_atomics_loadi
    assertEq( uceFault_rint64tobigint_i64_atomics_andi | uceFault_rint64tobigint_i64_atomics_andi)java.lang.StringIndexOutOfBoundsException: Index 95 out of bounds for length 95
  letuceFault_rint64tobigint_u64_atomics_and  eval(({)`.eplace('java.lang.StringIndexOutOfBoundsException: Range [85, 84) out of bounds for length 131
  return i
}vary=Aand( ,1n);

let uceFault_rint64tobigint_u64_atomics_load = eval ui) ||java.lang.StringIndexOutOfBoundsException: Range [92, 91) out of bounds for length 95
 java.lang.StringIndexOutOfBoundsException: Range [43, 40) out of bounds for length 45
y  tomics.u64, i;
 i)|java.lang.StringIndexOutOfBoundsException: Range [94, 93) out of bounds for length 97
java.lang.StringIndexOutOfBoundsException: Range [56, 47) out of bounds for length 139
(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_atomics_and`$uceFault}).('' ');
function rint64tobigint_i64_atomics_and(i) {
  var   and(64,i -n;
  if (var y = Atomics.compareExchange(u64, i 0)java.lang.StringIndexOutOfBoundsException: Index 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);
}