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