| // Copyright (c) 2016, 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. |
| |
| /** |
| * @assertion int toSigned(int width) |
| * ... |
| * If the input value fits in width bits without truncation, the result is the |
| * same as the input. The minimum width needed to avoid truncation of x is |
| * x.bitLength + 1, i.e. |
| * |
| * x == x.toSigned(x.bitLength + 1); |
| * @description Checks that x == x.toSigned(x.bitLength + 1); |
| * @author sgrekhov@unipro.ru |
| */ |
| import "../../../Utils/expect.dart"; |
| |
| test(int x) { |
| Expect.equals(x, x.toSigned(x.bitLength + 1)); |
| } |
| |
| main() { |
| test(0); |
| test(1); |
| test(17); |
| test(1024); |
| test(123456789); |
| test(-1); |
| test(-17); |
| test(-1024); |
| test(-123456789); |
| } |
