blob: 042f7b895c7fb507f8c49735e5ef7799c0fbd69c [file] [log] [blame]
// 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";
// See bit_twiddling_test.dart first. This file contains only the tests that
// need Bigint or would fail in dart2js compatibility mode.
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(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(0x100000100000000000001, 2, 1);
checkU(0x100000200000000000001, 60, 0x200000000000001);
checkU(0x100000200000000000001, 59, 0x200000000000001);
checkU(0x100000200000000000001, 58, 0x200000000000001);
checkU(0x100000200000000000001, 57, 1);
}
testToSigned() {
checkS(src, width, expected) {
Expect.equals(expected, src.toSigned(width),
'$src.toSigned($width) == $expected');
}
checkS(0x100000100000000000001, 2, 1);
checkS(0x100000200000000000001, 60, 0x200000000000001);
checkS(0x100000200000000000001, 59, 0x200000000000001);
checkS(0x100000200000000000001, 58, -0x200000000000000 + 1);
checkS(0x100000200000000000001, 57, 1);
}
main() {
testBitLength();
testToUnsigned();
testToSigned();
}