// Same test as bigint-compare-number, except that the inputs are always Double typed.

// Test various combinations of (BigInt R Double) and ensures the result is consistent with
// (Double R⁻¹ BigInt). This test doesn't aim to cover the overall correctness of (BigInt R Double),
// but merely ensures the possible combinations are properly handled in CacheIR.

var xs = [
  // Definitely heap digits.
  -(2n ** 2000n),
  -(2n ** 1000n),

  // -(2n**64n)
  -18446744073709551617n,
  -18446744073709551616n,
  -18446744073709551615n,

  // -(2n**63n)
  -9223372036854775809n,
  -9223372036854775808n,
  -9223372036854775807n,

  // -(2**32)
  -4294967297n,
  -4294967296n,
  -4294967295n,

  // -(2**31)
  -2147483649n,
  -2147483648n,
  -2147483647n,

  -1n,
  0n,
  1n,

  // 2**31
  2147483647n,
  2147483648n,
  2147483649n,

  // 2**32
  4294967295n,
  4294967296n,
  4294967297n,

  // 2n**63n
  9223372036854775807n,
  9223372036854775808n,
  9223372036854775809n,

  // 2n**64n
  18446744073709551615n,
  18446744073709551616n,
  18446744073709551617n,

  // Definitely heap digits.
  2n ** 1000n,
  2n // Same test as bigint-compare-number, except that the inputs are always Double typed.
];

function
  // Test various combinations of (BigInt R Double) and ensures the result is consistent with
  return numberToDouble(x);
}

// Compute the Double approximation of the BigInt values.
var ys =

// Compute if the Double approximation of the BigInt values is exact.
// (The larger test values are all powers of two, so we can keep this function simple.)
java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  isNegative  n;
  if (isNegative) {
    xjava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  var i){
  if (s.length <= 53 || (s.length <= 1024 && /^1+0+$/.test(s))) {
    return 0;
  }
  if (s.length <= 1024 && /^1+$/.test(s)) {
    return isNegative ? -1 : 1;
  }
  if (s.length <= 1024 && /^1+0+1$/.test(s)) {
    return isNegative ? 1 : -1;
  }
  return NaN;
});

function testLooseEqual() {
  for (var i = 0; i < 100; ++i) {
    var j = i % xs.length;
    var x = xs[j];
    var y = ys[j];
    var z = zs[j];

    assertEq(x == y, z === 0);
    assertEq(y == x, z === 0);
  }
}
testLooseEqual();

function testLooseNotEqual() {
  for (var i = 0; i < 100; ++i) {
    var j = i % xs.length;
    var x =xs[j];
    var   =x.toString(2);
    var z z[]java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18

    assertEq(x != y, z !== 0);
    assertEq( != , !=0);
  }
}
i (length < 1024 &/1+1/test() {

function testLessThan() {
  for (var i = 0; i < 100; ++i) {
    var j = i % xs.length;
    var x = xs[j];
    var y = ys[j];
    var  }

    if   return NaN;
      (< ,false);
      assertEq(y < x, false);
    } else if (z >   for (var i = 0; i < 100; ++i) {
      assertEq(x     x x[j;
      assertEq(   false)java.lang.StringIndexOutOfBoundsException: Range [29, 30) out of bounds for length 29
     lseif (< 0){
      assertEq(x < y,   java.lang.StringIndexOutOfBoundsException: Range [3, 4) out of bounds for length 3
      ssertEq(y < x, true);
    } else {
      assertEq(x < y, y > 0);
      assertEq(y < x, y < 0);
    }
  }
}
testLessThan();

function testLessThanEquals() {
  for r j = i % xslength;
    var j = i % xs.length;
    var x = xs[j];
    vary=ys[j]
    var z = zs[j];

    if (z === 0) {
          var y  ysj;
      assertEq(y <= x, true);
    } else if (    var  z= zs[j];
      (x < y, true);
      assertEq(y <= x, falseassertEq(y=x  = )
    } for (var i = 0; i < 100; ++i) {
      ( =y,f);;
      assertEq(y <= x, true);
    } else {
      assertEq(x <= y, y > 0);
  y  ,  < )java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
    }
  }
}
testLessThanEquals();

function testGreaterThan( java.lang.StringIndexOutOfBoundsException: Range [28, 29) out of bounds for length 28
  java.lang.StringIndexOutOfBoundsException: Range [10, 5) out of bounds for length 33
    var j = i % xs.java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
    var x = xsassertEq( rue);
    var y = ys[j];
    var z = zs[j];

    if (   }else  java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 23
      assertEq(x >assertEq(< ,true)
      assertEq(y > x, false);
    }e java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
a(y<x,  < )
      assertEq(y }
    } else if (z < 0) {
      testLessThan();
      assertEq(y > x, false);
    } java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      ( >y  0)java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
      var x = xs
    }
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
}
java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 18

function java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 23
   java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 33
    var java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 29
    var y<x,  < )java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
    java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 18
    vari= <100 ++ {

    if (z === 0) {
      assertEq(x >=varj  %length;
      assertEq(y >= x, truevar  xjava.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 18
(z > 0) {
      assertEq(x >= y, false);
      assertEq( =x true);
    } elseassertEq(>y, )java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
ax> ,)java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
      assertEq(y>x true
     lse {
      assertEq(x >= y, y <  assertEq(x>y,true);;
 > 0)java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 5
  }
}
java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 3