jdk/test/java/math/BigInteger/SymmetricRangeTests.java
author darcy
Wed, 29 Apr 2015 10:25:53 -0700
changeset 30046 cf2c86e1819e
parent 29371 6f7f029a6b63
child 30048 3424bede284d
permissions -rw-r--r--
8078334: Mark regression tests using randomness Reviewed-by: xuelei, alanb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
21420
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     1
/*
29371
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
     2
 * Copyright (c) 2013, 1025, Oracle and/or its affiliates. All rights reserved.
21420
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     4
 *
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     7
 * published by the Free Software Foundation.
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     8
 *
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    13
 * accompanied this code).
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    14
 *
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    18
 *
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    21
 * questions.
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    22
 */
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    23
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    24
/*
24030
1b54fabeee2e 8027595: Enable BigInteger overflow tests in JTREG
bpb
parents: 21420
diff changeset
    25
 * @test
1b54fabeee2e 8027595: Enable BigInteger overflow tests in JTREG
bpb
parents: 21420
diff changeset
    26
 * @ignore This test has huge memory requirements
29371
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
    27
 * @library ..
21420
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    28
 * @run main/timeout=180/othervm -Xmx8g SymmetricRangeTests
29371
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
    29
 * @bug 6910473 8021204 8021203 9005933 8074460
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
    30
 * @summary Test range of BigInteger values (use -Dseed=X to set PRNG seed)
21420
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    31
 * @author Dmitry Nadezhin
30046
cf2c86e1819e 8078334: Mark regression tests using randomness
darcy
parents: 29371
diff changeset
    32
 * @key randomness
21420
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    33
 */
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    34
import java.io.ByteArrayInputStream;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    35
import java.io.ByteArrayOutputStream;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    36
import java.io.IOException;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    37
import java.io.ObjectInputStream;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    38
import java.io.ObjectOutputStream;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    39
import java.util.Arrays;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    40
import java.math.BigInteger;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    41
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    42
public class SymmetricRangeTests {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    43
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    44
    private static final BigInteger MAX_VALUE = makeMaxValue();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    45
    private static final BigInteger MIN_VALUE = MAX_VALUE.negate();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    46
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    47
    private static BigInteger makeMaxValue() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    48
        byte[] ba = new byte[1 << 28];
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    49
        Arrays.fill(ba, (byte) 0xFF);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    50
        ba[0] = (byte) 0x7F;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    51
        return new BigInteger(ba);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    52
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    53
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    54
    private static void check(String msg, BigInteger actual, BigInteger expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    55
        if (!actual.equals(expected)) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    56
            throw new RuntimeException(msg + ".bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    57
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    58
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    59
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    60
    private static void check(String msg, double actual, double expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    61
        if (actual != expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    62
            throw new RuntimeException(msg + "=" + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    63
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    64
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    65
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    66
    private static void check(String msg, float actual, float expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    67
        if (actual != expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    68
            throw new RuntimeException(msg + "=" + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    69
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    70
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    71
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    72
    private static void check(String msg, long actual, long expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    73
        if (actual != expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    74
            throw new RuntimeException(msg + "=" + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    75
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    76
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    77
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    78
    private static void check(String msg, int actual, int expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    79
        if (actual != expected) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    80
            throw new RuntimeException(msg + "=" + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    81
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    82
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    83
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    84
    private static void testOverflowInMakePositive() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    85
        System.out.println("Testing overflow in BigInteger.makePositive");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    86
        byte[] ba = new byte[Integer.MAX_VALUE - 2];
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    87
        ba[0] = (byte) 0x80;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    88
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    89
            BigInteger actual = new BigInteger(ba);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    90
            throw new RuntimeException("new BigInteger(ba).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    91
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    92
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    93
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    94
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    95
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    96
    private static void testBug8021204() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    97
        System.out.println("Testing Bug 8021204");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    98
        StringBuilder sb = new StringBuilder();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
    99
        sb.append('1');
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   100
        for (int i = 0; i < (1 << 30) - 1; i++) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   101
            sb.append('0');
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   102
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   103
        sb.append('1');
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   104
        String s = sb.toString();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   105
        sb = null;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   106
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   107
            BigInteger actual = new BigInteger(s, 16);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   108
            throw new RuntimeException("new BigInteger(\"1000...001\").bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   109
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   110
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   111
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   112
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   113
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   114
    private static void testOverflowInBitSieve() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   115
        System.out.println("Testing overflow in BitSieve.sieveSingle");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   116
        int bitLength = (5 << 27) - 1;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   117
        try {
29371
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
   118
            RandomSeed rndSeed = new RandomSeed(false);
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
   119
            System.out.println("Random number generator seed = " + rndSeed.getSeed());
6f7f029a6b63 8074460: Always print seeds used in [Splittable]Random instances in java.math tests
bpb
parents: 24030
diff changeset
   120
            BigInteger actual = new BigInteger(bitLength, 0, rndSeed.getRandom());
21420
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   121
            throw new RuntimeException("new BigInteger(bitLength, 0, null).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   122
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   123
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   124
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   125
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   126
            BigInteger bi = BigInteger.ONE.shiftLeft(bitLength - 1).subtract(BigInteger.ONE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   127
            BigInteger actual = bi.nextProbablePrime();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   128
            throw new RuntimeException("bi.nextActualPrime().bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   129
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   130
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   131
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   132
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   133
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   134
    private static void testAdd() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   135
        System.out.println("Testing BigInteger.add");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   136
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   137
            BigInteger actual = MAX_VALUE.add(BigInteger.ONE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   138
            throw new RuntimeException("BigInteger.MAX_VALUE.add(BigInteger.ONE).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   139
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   140
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   141
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   142
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   143
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   144
    private static void testSubtract() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   145
        System.out.println("Testing BigInteger.subtract");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   146
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   147
            BigInteger actual = MIN_VALUE.subtract(BigInteger.ONE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   148
            throw new RuntimeException("BigInteger.MIN_VALUE.subtract(BigInteger.ONE).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   149
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   150
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   151
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   152
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   153
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   154
    private static void testMultiply() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   155
        System.out.println("Testing BigInteger.multiply");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   156
        int py = 2000;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   157
        int px = Integer.MAX_VALUE - py;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   158
        BigInteger x = BigInteger.ONE.shiftLeft(px);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   159
        BigInteger y = BigInteger.ONE.shiftLeft(py);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   160
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   161
            BigInteger actual = x.multiply(y);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   162
            throw new RuntimeException("(1 << " + px + " ) * (1 << " + py + ").bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   163
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   164
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   165
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   166
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   167
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   168
    private static void testDivide() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   169
        System.out.println("Testing BigInteger.divide");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   170
        check("BigInteger.MIN_VALUE.divide(BigInteger.valueOf(-1))",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   171
                MIN_VALUE.divide(BigInteger.valueOf(-1)), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   172
        check("BigInteger.MIN_VALUE.divide(BigInteger.ONE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   173
                MIN_VALUE.divide(BigInteger.ONE), MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   174
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   175
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   176
    private static void testDivideAndRemainder(String msg, BigInteger dividend, BigInteger divisor,
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   177
            BigInteger expectedQuotent, BigInteger expectedRemainder) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   178
        BigInteger[] qr = dividend.divideAndRemainder(divisor);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   179
        check(msg + "[0]", qr[0], expectedQuotent);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   180
        check(msg + "[1]", qr[1], expectedRemainder);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   181
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   182
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   183
    private static void testDivideAndRemainder() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   184
        System.out.println("Testing BigInteger.divideAndRemainder");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   185
        testDivideAndRemainder("BigInteger.MIN_VALUE.divideAndRemainder(BigInteger.valueOf(-1))",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   186
                MIN_VALUE, BigInteger.valueOf(-1),
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   187
                MAX_VALUE,
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   188
                BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   189
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   190
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   191
    private static void testBug9005933() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   192
        System.out.println("Testing Bug 9005933");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   193
        int dividendPow = 2147483646;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   194
        int divisorPow = 1568;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   195
        BigInteger dividend = BigInteger.ONE.shiftLeft(dividendPow);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   196
        BigInteger divisor = BigInteger.ONE.shiftLeft(divisorPow);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   197
        testDivideAndRemainder("(1 << " + dividendPow + ").divideAndRemainder(1 << " + divisorPow + ")",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   198
                dividend, divisor,
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   199
                BigInteger.ONE.shiftLeft(dividendPow - divisorPow),
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   200
                BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   201
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   202
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   203
    private static void testRemainder() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   204
        System.out.println("Testing BigInteger.remainder");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   205
        check("BigInteger.MIN_VALUE.remainder(BigInteger.valueOf(-1))",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   206
                MIN_VALUE.remainder(BigInteger.valueOf(-1)), BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   207
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   208
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   209
    private static void testPow() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   210
        System.out.println("Testing BigInteger.pow");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   211
        check("BigInteger.MIN_VALUE.pow(1)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   212
                MIN_VALUE.pow(1), MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   213
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   214
            BigInteger actual = BigInteger.valueOf(4).pow(Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   215
            throw new RuntimeException("BigInteger.valueOf(4).pow(Integer.MAX_VALUE).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   216
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   217
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   218
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   219
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   220
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   221
    private static void testGcd() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   222
        System.out.println("Testing BigInteger.gcd");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   223
        check("BigInteger.MIN_VALUE.gcd(BigInteger.MIN_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   224
                MIN_VALUE.gcd(MIN_VALUE), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   225
        check("BigInteger.MIN_VALUE.gcd(BigInteger.ZERO)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   226
                MIN_VALUE.gcd(BigInteger.ZERO), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   227
        check("BigInteger.ZERO.gcd(MIN_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   228
                BigInteger.ZERO.gcd(MIN_VALUE), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   229
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   230
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   231
    private static void testAbs() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   232
        System.out.println("Testing BigInteger.abs");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   233
        check("BigInteger.MIN_VALUE.abs()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   234
                MIN_VALUE.abs(), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   235
        check("BigInteger.MAX_VALUE.abs()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   236
                MAX_VALUE.abs(), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   237
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   238
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   239
    private static void testNegate() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   240
        System.out.println("Testing BigInteger.negate");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   241
        check("BigInteger.MIN_VALUE.negate()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   242
                MIN_VALUE.negate(), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   243
        check("BigInteger.MAX_VALUE.negate()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   244
                MAX_VALUE.negate(), MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   245
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   246
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   247
    private static void testMod() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   248
        System.out.println("Testing BigInteger.mod");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   249
        check("BigInteger.MIN_VALUE.mod(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   250
                MIN_VALUE.mod(MAX_VALUE), BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   251
        check("BigInteger.MAX_VALUE.mod(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   252
                MIN_VALUE.mod(MAX_VALUE), BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   253
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   254
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   255
    private static void testModPow() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   256
        System.out.println("Testing BigInteger.modPow");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   257
        BigInteger x = BigInteger.valueOf(3);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   258
        BigInteger m = BigInteger.valueOf(-4).subtract(MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   259
        check("BigInteger.valueOf(3).modPow(BigInteger.ONE, m)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   260
                x.modPow(BigInteger.ONE, m), x);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   261
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   262
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   263
    // slow test
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   264
    private static void testModInverse() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   265
        System.out.println("Testing BigInteger.modInverse");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   266
        check("BigInteger.MIN_VALUE.modInverse(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   267
                MIN_VALUE.modInverse(MAX_VALUE), MAX_VALUE.subtract(BigInteger.ONE));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   268
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   269
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   270
    private static void testShiftLeft() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   271
        System.out.println("Testing BigInteger.shiftLeft");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   272
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   273
            BigInteger actual = MIN_VALUE.shiftLeft(1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   274
            throw new RuntimeException("BigInteger.MIN_VALUE.shiftLeft(1).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   275
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   276
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   277
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   278
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   279
            BigInteger actual = MAX_VALUE.shiftLeft(1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   280
            throw new RuntimeException("BigInteger.MAX_VALUE.shiftLeft(1).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   281
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   282
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   283
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   284
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   285
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   286
    private static void testShiftRight() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   287
        System.out.println("Testing BigInteger.shiftRight");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   288
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   289
            BigInteger actual = MIN_VALUE.shiftRight(-1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   290
            throw new RuntimeException("BigInteger.MIN_VALUE.shiftRight(-1).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   291
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   292
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   293
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   294
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   295
            BigInteger actual = MAX_VALUE.shiftRight(-1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   296
            throw new RuntimeException("BigInteger.MAX_VALUE.shiftRight(-1).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   297
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   298
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   299
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   300
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   301
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   302
    private static void testAnd() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   303
        System.out.println("Testing BigInteger.and");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   304
        check("BigInteger.MIN_VALUE.and(BigInteger.MIN_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   305
                MIN_VALUE.and(MIN_VALUE), MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   306
        check("BigInteger.MAX_VALUE.and(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   307
                MAX_VALUE.and(MAX_VALUE), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   308
        check("BigInteger.MIN_VALUE.and(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   309
                MIN_VALUE.and(MAX_VALUE), BigInteger.ONE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   310
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   311
            BigInteger actual = MIN_VALUE.and(BigInteger.valueOf(-2));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   312
            throw new RuntimeException("BigInteger.MIN_VALUE.and(-2)).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   313
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   314
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   315
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   316
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   317
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   318
    private static void testOr() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   319
        System.out.println("Testing BigInteger.or");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   320
        check("BigInteger.MIN_VALUE.or(BigInteger.MIN_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   321
                MIN_VALUE.or(MIN_VALUE), MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   322
        check("BigInteger.MAX_VALUE.or(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   323
                MAX_VALUE.or(MAX_VALUE), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   324
        check("BigInteger.MIN_VALUE.and(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   325
                MIN_VALUE.or(MAX_VALUE), BigInteger.valueOf(-1));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   326
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   327
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   328
    private static void testXor() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   329
        System.out.println("Testing BigInteger.xor");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   330
        check("BigInteger.MIN_VALUE.xor(BigInteger.MIN_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   331
                MIN_VALUE.xor(MIN_VALUE), BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   332
        check("BigInteger.MAX_VALUE.xor(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   333
                MAX_VALUE.xor(MAX_VALUE), BigInteger.ZERO);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   334
        check("BigInteger.MIN_VALUE.xor(BigInteger.MAX_VALUE)",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   335
                MIN_VALUE.xor(MAX_VALUE), BigInteger.valueOf(-2));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   336
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   337
            BigInteger actual = MIN_VALUE.xor(BigInteger.ONE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   338
            throw new RuntimeException("BigInteger.MIN_VALUE.xor(BigInteger.ONE)).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   339
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   340
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   341
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   342
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   343
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   344
    private static void testNot() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   345
        System.out.println("Testing BigInteger.not");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   346
        check("BigInteger.MIN_VALUE.not()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   347
                MIN_VALUE.not(), MAX_VALUE.subtract(BigInteger.ONE));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   348
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   349
            BigInteger actual = MAX_VALUE.not();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   350
            throw new RuntimeException("BigInteger.MAX_VALUE.not()).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   351
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   352
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   353
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   354
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   355
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   356
    private static void testSetBit() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   357
        System.out.println("Testing BigInteger.setBit");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   358
        check("BigInteger.MIN_VALUE.setBit(" + Integer.MAX_VALUE + ")",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   359
                MIN_VALUE.setBit(Integer.MAX_VALUE), MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   360
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   361
            BigInteger actual = MAX_VALUE.setBit(Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   362
            throw new RuntimeException("BigInteger.MAX_VALUE.setBit(" + Integer.MAX_VALUE + ").bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   363
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   364
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   365
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   366
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   367
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   368
    private static void testClearBit() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   369
        System.out.println("Testing BigInteger.clearBit");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   370
        check("BigInteger.MAX_VALUE.clearBit(" + Integer.MAX_VALUE + ")",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   371
                MAX_VALUE.clearBit(Integer.MAX_VALUE), MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   372
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   373
            BigInteger actual = MIN_VALUE.clearBit(Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   374
            throw new RuntimeException("BigInteger.MIN_VALUE.clearBit(" + Integer.MAX_VALUE + ").bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   375
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   376
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   377
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   378
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   379
            BigInteger actual = MIN_VALUE.clearBit(0);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   380
            throw new RuntimeException("BigInteger.MIN_VALUE.clearBit(0).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   381
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   382
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   383
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   384
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   385
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   386
    private static void testFlipBit() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   387
        System.out.println("Testing BigInteger.flipBit");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   388
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   389
            BigInteger actual = MIN_VALUE.flipBit(Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   390
            throw new RuntimeException("BigInteger.MIN_VALUE.flipBit(" + Integer.MAX_VALUE + ").bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   391
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   392
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   393
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   394
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   395
            BigInteger actual = MIN_VALUE.flipBit(0);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   396
            throw new RuntimeException("BigInteger.MIN_VALUE.flipBit(0).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   397
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   398
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   399
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   400
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   401
            BigInteger actual = MAX_VALUE.flipBit(Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   402
            throw new RuntimeException("BigInteger.MAX_VALUE.flipBit(" + Integer.MAX_VALUE + ").bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   403
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   404
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   405
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   406
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   407
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   408
    private static void testGetLowestSetBit() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   409
        System.out.println("Testing BigInteger.getLowestSetBit");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   410
        check("BigInteger.MIN_VALUE.getLowestSetBit()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   411
                MIN_VALUE.getLowestSetBit(), 0);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   412
        check("BigInteger.MAX_VALUE.getLowestSetBit()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   413
                MAX_VALUE.getLowestSetBit(), 0);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   414
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   415
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   416
    private static void testBitLength() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   417
        System.out.println("Testing BigInteger.bitLength");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   418
        check("BigInteger.MIN_NEXT.bitLength()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   419
                MIN_VALUE.bitLength(), Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   420
        check("BigInteger.MAX_VALUE.bitLength()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   421
                MAX_VALUE.bitLength(), Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   422
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   423
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   424
    private static void testBitCount() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   425
        System.out.println("Testing BigInteger.bitCount");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   426
        check("BigInteger.MIN_VALUE.bitCount()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   427
                MIN_VALUE.bitCount(), Integer.MAX_VALUE - 1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   428
        check("BigInteger.MAX_VALUE.bitCount()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   429
                MAX_VALUE.bitCount(), Integer.MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   430
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   431
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   432
    private static void testToString(String msg, int radix, BigInteger bi, int length, String startsWith, char c) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   433
        String s = bi.toString(radix);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   434
        if (s.length() != length) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   435
            throw new RuntimeException(msg + ".length=" + s.length());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   436
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   437
        if (!s.startsWith(startsWith)) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   438
            throw new RuntimeException(msg + "[0]=" + s.substring(0, startsWith.length()));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   439
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   440
        for (int i = startsWith.length(); i < s.length(); i++) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   441
            if (s.charAt(i) != c) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   442
                throw new RuntimeException(msg + "[" + i + "]='" + s.charAt(i) + "'");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   443
            }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   444
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   445
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   446
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   447
    private static void testToString() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   448
        System.out.println("Testing BigInteger.toString");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   449
        testToString("BigInteger.MIN_VALUE.toString(16)=", 16,
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   450
                BigInteger.valueOf(-1).shiftLeft(Integer.MAX_VALUE - 1),
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   451
                (1 << 29) + 1, "-4", '0');
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   452
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   453
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   454
    private static void testToByteArrayWithConstructor(String msg, BigInteger bi, int length, byte msb, byte b, byte lsb) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   455
        byte[] ba = bi.toByteArray();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   456
        if (ba.length != length) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   457
            throw new RuntimeException(msg + ".length=" + ba.length);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   458
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   459
        if (ba[0] != msb) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   460
            throw new RuntimeException(msg + "[0]=" + ba[0]);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   461
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   462
        for (int i = 1; i < ba.length - 1; i++) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   463
            if (ba[i] != b) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   464
                throw new RuntimeException(msg + "[" + i + "]=" + ba[i]);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   465
            }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   466
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   467
        if (ba[ba.length - 1] != lsb) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   468
            throw new RuntimeException(msg + "[" + (ba.length - 1) + "]=" + ba[ba.length - 1]);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   469
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   470
        BigInteger actual = new BigInteger(ba);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   471
        if (!actual.equals(bi)) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   472
            throw new RuntimeException(msg + ".bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   473
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   474
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   475
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   476
    private static void testToByteArrayWithConstructor() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   477
        System.out.println("Testing BigInteger.toByteArray with constructor");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   478
        testToByteArrayWithConstructor("BigInteger.MIN_VALUE.toByteArray()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   479
                MIN_VALUE, (1 << 28), (byte) 0x80, (byte) 0x00, (byte) 0x01);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   480
        testToByteArrayWithConstructor("BigInteger.MAX_VALUE.toByteArray()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   481
                MAX_VALUE, (1 << 28), (byte) 0x7f, (byte) 0xff, (byte) 0xff);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   482
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   483
        byte[] ba = new byte[1 << 28];
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   484
        ba[0] = (byte) 0x80;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   485
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   486
            BigInteger actual = new BigInteger(-1, ba);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   487
            throw new RuntimeException("new BigInteger(-1, ba).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   488
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   489
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   490
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   491
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   492
            BigInteger actual = new BigInteger(1, ba);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   493
            throw new RuntimeException("new BigInteger(1, ba).bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   494
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   495
            // expected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   496
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   497
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   498
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   499
    private static void testIntValue() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   500
        System.out.println("Testing BigInteger.intValue");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   501
        check("BigInteger.MIN_VALUE.intValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   502
                MIN_VALUE.intValue(), 1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   503
        check("BigInteger.MAX_VALUE.floatValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   504
                MAX_VALUE.intValue(), -1);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   505
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   506
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   507
    private static void testLongValue() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   508
        System.out.println("Testing BigInteger.longValue");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   509
        check("BigInteger.MIN_VALUE.longValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   510
                MIN_VALUE.longValue(), 1L);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   511
        check("BigInteger.MAX_VALUE.longValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   512
                MAX_VALUE.longValue(), -1L);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   513
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   514
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   515
    private static void testFloatValue() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   516
        System.out.println("Testing BigInteger.floatValue, Bug 8021203");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   517
        check("BigInteger.MIN_VALUE_.floatValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   518
                MIN_VALUE.floatValue(), Float.NEGATIVE_INFINITY);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   519
        check("BigInteger.MAX_VALUE.floatValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   520
                MAX_VALUE.floatValue(), Float.POSITIVE_INFINITY);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   521
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   522
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   523
    private static void testDoubleValue() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   524
        System.out.println("Testing BigInteger.doubleValue, Bug 8021203");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   525
        check("BigInteger.MIN_VALUE.doubleValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   526
                MIN_VALUE.doubleValue(), Double.NEGATIVE_INFINITY);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   527
        check("BigInteger.MAX_VALUE.doubleValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   528
                MAX_VALUE.doubleValue(), Double.POSITIVE_INFINITY);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   529
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   530
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   531
    private static void testSerialization(String msg, BigInteger bi) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   532
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   533
            ByteArrayOutputStream baOut = new ByteArrayOutputStream((1 << 28) + 1000);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   534
            ObjectOutputStream out = new ObjectOutputStream(baOut);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   535
            out.writeObject(bi);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   536
            out.close();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   537
            out = null;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   538
            byte[] ba = baOut.toByteArray();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   539
            baOut = null;
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   540
            ObjectInputStream in = new ObjectInputStream(new ByteArrayInputStream(ba));
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   541
            BigInteger actual = (BigInteger) in.readObject();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   542
            if (!actual.equals(bi)) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   543
                throw new RuntimeException(msg + ".bitLength()=" + actual.bitLength());
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   544
            }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   545
        } catch (IOException | ClassNotFoundException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   546
            throw new RuntimeException(msg + " raised exception ", e);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   547
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   548
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   549
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   550
    private static void testSerialization() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   551
        System.out.println("Testing BigInteger serialization");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   552
        testSerialization("BigInteger.MIN_VALUE.intValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   553
                MIN_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   554
        testSerialization("BigInteger.MAX_VALUE.floatValue()",
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   555
                MAX_VALUE);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   556
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   557
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   558
    private static void testLongValueExact() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   559
        System.out.println("Testing BigInteger.longValueExact");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   560
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   561
            long actual = MIN_VALUE.longValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   562
            throw new RuntimeException("BigInteger.MIN_VALUE.longValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   563
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   564
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   565
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   566
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   567
            long actual = MAX_VALUE.longValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   568
            throw new RuntimeException("BigInteger.MAX_VALUE.longValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   569
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   570
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   571
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   572
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   573
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   574
    private static void testIntValueExact() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   575
        System.out.println("Testing BigInteger.intValueExact");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   576
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   577
            long actual = MIN_VALUE.intValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   578
            throw new RuntimeException("BigInteger.MIN_VALUE.intValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   579
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   580
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   581
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   582
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   583
            long actual = MAX_VALUE.intValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   584
            throw new RuntimeException("BigInteger.MAX_VALUE.intValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   585
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   586
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   587
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   588
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   589
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   590
    private static void testShortValueExact() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   591
        System.out.println("Testing BigInteger.shortValueExact");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   592
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   593
            long actual = MIN_VALUE.shortValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   594
            throw new RuntimeException("BigInteger.MIN_VALUE.shortValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   595
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   596
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   597
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   598
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   599
            long actual = MAX_VALUE.shortValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   600
            throw new RuntimeException("BigInteger.MAX_VALUE.shortValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   601
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   602
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   603
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   604
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   605
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   606
    private static void testByteValueExact() {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   607
        System.out.println("Testing BigInteger.byteValueExact");
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   608
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   609
            long actual = MIN_VALUE.byteValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   610
            throw new RuntimeException("BigInteger.MIN_VALUE.byteValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   611
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   612
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   613
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   614
        try {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   615
            long actual = MAX_VALUE.byteValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   616
            throw new RuntimeException("BigInteger.MAX_VALUE.byteValueExact()= " + actual);
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   617
        } catch (ArithmeticException e) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   618
            // excpected
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   619
        }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   620
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   621
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   622
    public static void main(String... args) {
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   623
        testOverflowInMakePositive();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   624
        testBug8021204();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   625
        testOverflowInBitSieve();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   626
        testAdd();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   627
        testSubtract();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   628
        testMultiply();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   629
        testDivide();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   630
        testDivideAndRemainder();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   631
        testBug9005933();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   632
        testRemainder();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   633
        testPow();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   634
        testGcd();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   635
        testAbs();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   636
        testNegate();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   637
        testMod();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   638
        testModPow();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   639
//        testModInverse();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   640
        testShiftLeft();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   641
        testShiftRight();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   642
        testAnd();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   643
        testOr();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   644
        testXor();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   645
        testNot();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   646
        testSetBit();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   647
        testClearBit();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   648
        testFlipBit();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   649
        testGetLowestSetBit();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   650
        testBitLength();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   651
        testBitCount();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   652
        testToString();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   653
        testToByteArrayWithConstructor();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   654
        testIntValue();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   655
        testLongValue();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   656
        testFloatValue();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   657
        testDoubleValue();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   658
        testSerialization();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   659
        testLongValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   660
        testIntValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   661
        testShortValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   662
        testByteValueExact();
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   663
    }
a56f40ab71ce 6910473: java.math.BigInteger.bitLength() may return negative "int" on large numbers
bpb
parents:
diff changeset
   664
}