| // 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); |
| } |
