| Index: test/codegen/corelib/bit_twiddling_test.dart
|
| diff --git a/test/codegen/corelib/bit_twiddling_test.dart b/test/codegen/corelib/bit_twiddling_test.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..92dafac1cbaf70fb3fdd299d5e28014381115dbd
|
| --- /dev/null
|
| +++ b/test/codegen/corelib/bit_twiddling_test.dart
|
| @@ -0,0 +1,175 @@
|
| +// 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();
|
| +}
|
|
|