// Copyright (c) 2013, 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.
// Testing Bigints.

library bit_twiddling_test;

import "package:expect/expect.dart";

bool haveBigints() {
  return 100000000000000000000 + 1 != 100000000000000000000;
}

testBitLength() {
  check(int i, width) {
    Expect.equals(width, i.bitLength, '$i.bitLength ==  $width');
    // (~i) written as (-i-1) to avoid issues with limited range of dart2js ops.
    Expect.equals(width, (-i - 1).bitLength, '(~$i).bitLength == $width');
  }

  check(0, 0);
  check(1, 1);
  check(2, 2);
  check(3, 2);
  check(4, 3);
  check(5, 3);
  check(6, 3);
  check(7, 3);
  check(8, 4);
  check(127, 7);
  check(128, 8);
  check(129, 8);
  check(2147483646, 31);
  check(2147483647, 31);
  check(2147483648, 32);
  check(2147483649, 32);
  check(4294967295, 32);
  check(4294967296, 33);
  check(0xffffffffff, 40);
  check(0xfffffffffff, 44);
  check(0xffffffffffff, 48);
  check(0x1000000000000, 49);
  check(0x1000000000001, 49);
  check(0x1ffffffffffff, 49);
  check(0x2000000000000, 50);
  check(0x2000000000001, 50);

  if (haveBigints()) {
    check(0xffffffffffffff, 56);
    check(0xffffffffffffffff, 64);
    check(0xffffffffffffffffff, 72);
    check(0x1000000000000000000, 73);
    check(0x1000000000000000001, 73);

    check(0xfffffffffffffffffffffffffffffffffffffe, 152);
    check(0xffffffffffffffffffffffffffffffffffffff, 152);
    check(0x100000000000000000000000000000000000000, 153);
    check(0x100000000000000000000000000000000000001, 153);
  }
}

testToUnsigned() {
  checkU(src, width, expected) {
    Expect.equals(expected, src.toUnsigned(width));
  }

  checkU(1, 8, 1);
  checkU(0xff, 8, 0xff);
  checkU(0xffff, 8, 0xff);
  checkU(-1, 8, 0xff);
  checkU(0xffffffff, 32, 0xffffffff);

  checkU(0x7fffffff, 30, 0x3fffffff);
  checkU(0x7fffffff, 31, 0x7fffffff);
  checkU(0x7fffffff, 32, 0x7fffffff);
  checkU(0x80000000, 30, 0);
  checkU(0x80000000, 31, 0);
  checkU(0x80000000, 32, 0x80000000);
  checkU(0xffffffff, 30, 0x3fffffff);
  checkU(0xffffffff, 31, 0x7fffffff);
  checkU(0xffffffff, 32, 0xffffffff);
  checkU(0x100000000, 30, 0);
  checkU(0x100000000, 31, 0);
  checkU(0x100000000, 32, 0);
  checkU(0x1ffffffff, 30, 0x3fffffff);
  checkU(0x1ffffffff, 31, 0x7fffffff);
  checkU(0x1ffffffff, 32, 0xffffffff);

  checkU(-1, 0, 0);
  checkU(0, 0, 0);
  checkU(1, 0, 0);
  checkU(2, 0, 0);
  checkU(3, 0, 0);

  checkU(-1, 1, 1);
  checkU(0, 1, 0);
  checkU(1, 1, 1);
  checkU(2, 1, 0);
  checkU(3, 1, 1);
  checkU(4, 1, 0);

  checkU(-1, 2, 3);
  checkU(0, 2, 0);
  checkU(1, 2, 1);
  checkU(2, 2, 2);
  checkU(3, 2, 3);
  checkU(4, 2, 0);

  checkU(-1, 3, 7);
  checkU(0, 3, 0);
  checkU(1, 3, 1);
  checkU(2, 3, 2);
  checkU(3, 3, 3);
  checkU(4, 3, 4);
}

testToSigned() {
  checkS(src, width, expected) {
    Expect.equals(
        expected, src.toSigned(width), '$src.toSigned($width) == $expected');
  }

  checkS(1, 8, 1);
  checkS(0xff, 8, -1);
  checkS(0xffff, 8, -1);
  checkS(-1, 8, -1);
  checkS(128, 8, -128);
  checkS(0xffffffff, 32, -1);

  checkS(0x7fffffff, 30, -1);
  checkS(0x7fffffff, 31, -1);
  checkS(0x7fffffff, 32, 0x7fffffff);
  checkS(0x80000000, 30, 0);
  checkS(0x80000000, 31, 0);
  checkS(0x80000000, 32, -2147483648);
  checkS(0xffffffff, 30, -1);
  checkS(0xffffffff, 31, -1);
  checkS(0xffffffff, 32, -1);

  checkS(0x100000000, 30, 0);
  checkS(0x100000000, 31, 0);
  checkS(0x100000000, 32, 0);
  checkS(0x1ffffffff, 30, -1);
  checkS(0x1ffffffff, 31, -1);
  checkS(0x1ffffffff, 32, -1);

  checkS(-1, 1, -1);
  checkS(0, 1, 0);
  checkS(1, 1, -1); // The only bit is the sign bit.
  checkS(2, 1, 0);
  checkS(3, 1, -1);
  checkS(4, 1, 0);

  checkS(-1, 2, -1);
  checkS(0, 2, 0);
  checkS(1, 2, 1);
  checkS(2, 2, -2);
  checkS(3, 2, -1);
  checkS(4, 2, 0);

  checkS(-1, 3, -1);
  checkS(0, 3, 0);
  checkS(1, 3, 1);
  checkS(2, 3, 2);
  checkS(3, 3, 3);
  checkS(4, 3, -4);
}

main() {
  testBitLength();
  testToUnsigned();
  testToSigned();
}