// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import "package:expect/expect.dart";

// Pass expected value and then decimal literal value in a double context.
void expectDouble(double expectedValue, double actualValue) {
  if (expectedValue == null) return;
  Expect.identical(expectedValue, actualValue);
}

// Some exact powers of two as double values.
double p2_8 = 256.0;
double p2_30 = 1073741824.0;
double p2_31 = 2147483648.0;
double p2_32 = 4294967296.0;
double p2_52 = 4503599627370496.0;
double p2_53 = 9007199254740992.0;
double p2_54 = 18014398509481984.0;
double p2_62 = 4611686018427387904.0;
double p2_63 = 9223372036854775808.0;
double p2_64 = 18446744073709551616.0;
double maxValue = 1.7976931348623157e+308;

main() {
  expectDouble(0.0, 0);
  expectDouble(1.0, 1);
  expectDouble(p2_8 - 1, 255);
  expectDouble(p2_8, 256);
  expectDouble(p2_8 + 1, 257);
  expectDouble(p2_30 - 1, 1073741823);
  expectDouble(p2_30, 1073741824);
  expectDouble(p2_30 + 1, 1073741825);
  expectDouble(p2_31 - 1, 2147483647);
  expectDouble(p2_31, 2147483648);
  expectDouble(p2_31 + 1, 2147483649);
  expectDouble(p2_32 - 1, 4294967295);
  expectDouble(p2_32, 4294967296);
  expectDouble(p2_32 + 1, 4294967297);
  expectDouble(p2_52 - 1, 4503599627370495);
  expectDouble(p2_52, 4503599627370496);
  expectDouble(p2_52 + 1, 4503599627370497);
  expectDouble(p2_53 - 1, 9007199254740991);
  expectDouble(p2_53, 9007199254740992);
  expectDouble(p2_53 + 2, 9007199254740994);
  expectDouble(p2_54 - 2, 18014398509481982);
  expectDouble(p2_54, 18014398509481984);
  expectDouble(p2_54 + 4, 18014398509481988);
  expectDouble(p2_62, 4611686018427387904);
  expectDouble(p2_63, 9223372036854775808);
  expectDouble(p2_64, 18446744073709551616);
  expectDouble(maxValue,
      179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368);

  expectDouble(-0.0, -0);
  expectDouble(-1.0, -1);
  expectDouble(-(p2_8 - 1), -255);
  expectDouble(-(p2_8), -256);
  expectDouble(-(p2_8 + 1), -257);
  expectDouble(-(p2_30 - 1), -1073741823);
  expectDouble(-(p2_30), -1073741824);
  expectDouble(-(p2_30 + 1), -1073741825);
  expectDouble(-(p2_31 - 1), -2147483647);
  expectDouble(-(p2_31), -2147483648);
  expectDouble(-(p2_31 + 1), -2147483649);
  expectDouble(-(p2_32 - 1), -4294967295);
  expectDouble(-(p2_32), -4294967296);
  expectDouble(-(p2_32 + 1), -4294967297);
  expectDouble(-(p2_52 - 1), -4503599627370495);
  expectDouble(-(p2_52), -4503599627370496);
  expectDouble(-(p2_52 + 1), -4503599627370497);
  expectDouble(-(p2_53 - 1), -9007199254740991);
  expectDouble(-(p2_53), -9007199254740992);
  expectDouble(-(p2_53 + 2), -9007199254740994);
  expectDouble(-(p2_54 - 2), -18014398509481982);
  expectDouble(-(p2_54), -18014398509481984);
  expectDouble(-(p2_54 + 4), -18014398509481988);
  expectDouble(-(p2_62), -4611686018427387904);
  expectDouble(-(p2_63), -9223372036854775808);
  expectDouble(-(p2_64), -18446744073709551616);
  expectDouble(-maxValue,
      -179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368);

  expectDouble(0.0, 0x0);
  expectDouble(1.0, 0x1);
  expectDouble(p2_8 - 1, 0xff);
  expectDouble(p2_8, 0x100);
  expectDouble(p2_8 + 1, 0x101);
  expectDouble(p2_30 - 1, 0x3fffffff);
  expectDouble(p2_30, 0x40000000);
  expectDouble(p2_30 + 1, 0x40000001);
  expectDouble(p2_31 - 1, 0x7fffffff);
  expectDouble(p2_31, 0x80000000);
  expectDouble(p2_31 + 1, 0x80000001);
  expectDouble(p2_32 - 1, 0xffffffff);
  expectDouble(p2_32, 0x100000000);
  expectDouble(p2_32 + 1, 0x100000001);
  expectDouble(p2_52 - 1, 0xfffffffffffff);
  expectDouble(p2_52, 0x10000000000000);
  expectDouble(p2_52 + 1, 0x10000000000001);
  expectDouble(p2_53 - 1, 0x1fffffffffffff);
  expectDouble(p2_53, 0x20000000000000);
  expectDouble(p2_53 + 2, 0x20000000000002);
  expectDouble(p2_54 - 2, 0x3ffffffffffffe);
  expectDouble(p2_54, 0x40000000000000);
  expectDouble(p2_54 + 4, 0x40000000000004);
  expectDouble(p2_62, 0x4000000000000000);
  expectDouble(p2_63, 0x8000000000000000);
  expectDouble(p2_64, 0x10000000000000000);
  expectDouble(maxValue,
      0xfffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000);

  expectDouble(-0.0, -0x0);
  expectDouble(-1.0, -0x1);
  expectDouble(-(p2_8 - 1), -0xff);
  expectDouble(-(p2_8), -0x100);
  expectDouble(-(p2_8 + 1), -0x101);
  expectDouble(-(p2_30 - 1), -0x3fffffff);
  expectDouble(-(p2_30), -0x40000000);
  expectDouble(-(p2_30 + 1), -0x40000001);
  expectDouble(-(p2_31 - 1), -0x7fffffff);
  expectDouble(-(p2_31), -0x80000000);
  expectDouble(-(p2_31 + 1), -0x80000001);
  expectDouble(-(p2_32 - 1), -0xffffffff);
  expectDouble(-(p2_32), -0x100000000);
  expectDouble(-(p2_32 + 1), -0x100000001);
  expectDouble(-(p2_52 - 1), -0xfffffffffffff);
  expectDouble(-(p2_52), -0x10000000000000);
  expectDouble(-(p2_52 + 1), -0x10000000000001);
  expectDouble(-(p2_53 - 1), -0x1fffffffffffff);
  expectDouble(-(p2_53), -0x20000000000000);
  expectDouble(-(p2_53 + 2), -0x20000000000002);
  expectDouble(-(p2_54 - 2), -0x3ffffffffffffe);
  expectDouble(-(p2_54), -0x40000000000000);
  expectDouble(-(p2_54 + 4), -0x40000000000004);
  expectDouble(-(p2_62), -0x4000000000000000);
  expectDouble(-(p2_63), -0x8000000000000000);
  expectDouble(-(p2_64), -0x10000000000000000);
  expectDouble(-maxValue,
      -0xfffffffffffff80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000);
}