blob: a5801450ba13e2809450e459b3b03148b71a9f5e [file] [log] [blame]
/*
* Copyright 2008 Google Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not
* use this file except in compliance with the License. You may obtain a copy of
* the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
* License for the specific language governing permissions and limitations under
* the License.
*/
package com.google.gwt.lang;
/**
* Implements a Java <code>long</code> in a way that can be translated to
* JavaScript and could handle numbers needs more than 44 bits.
*/
class BigLongLib extends BigLongLibBase {
static class Const {
static final BigLong MAX_VALUE = create(MASK, MASK, MASK_2 >> 1);
static final BigLong MIN_VALUE = create(0, 0, SIGN_BIT_VALUE);
static final BigLong ONE = fromInt(1);
static final BigLong TWO = fromInt(2);
static final BigLong ZERO = fromInt(0);
}
public static BigLong add(BigLong a, BigLong b) {
int sum0 = getL(a) + getL(b);
int sum1 = getM(a) + getM(b) + (sum0 >> BITS);
int sum2 = getH(a) + getH(b) + (sum1 >> BITS);
return create(sum0 & MASK, sum1 & MASK, sum2 & MASK_2);
}
public static BigLong and(BigLong a, BigLong b) {
return create(getL(a) & getL(b), getM(a) & getM(b), getH(a) & getH(b));
}
public static double compare(BigLong a, BigLong b) {
int signA = sign(a);
int signB = sign(b);
if (signA != signB) {
return signB - signA;
}
int a2 = getH(a);
int b2 = getH(b);
if (a2 != b2) {
return a2 - b2;
}
int a1 = getM(a);
int b1 = getM(b);
if (a1 != b1) {
return a1 - b1;
}
int a0 = getL(a);
int b0 = getL(b);
return a0 - b0;
}
public static BigLong div(BigLong a, BigLong b) {
return divMod(a, b, false);
}
public static BigLong fromDouble(double value) {
if (Double.isNaN(value)) {
return Const.ZERO;
}
if (value < -TWO_PWR_63_DBL) {
return Const.MIN_VALUE;
}
if (value >= TWO_PWR_63_DBL) {
return Const.MAX_VALUE;
}
boolean negative = false;
if (value < 0) {
negative = true;
value = -value;
}
int a2 = 0;
if (value >= TWO_PWR_44_DBL) {
a2 = (int) (value / TWO_PWR_44_DBL);
value -= a2 * TWO_PWR_44_DBL;
}
int a1 = 0;
if (value >= TWO_PWR_22_DBL) {
a1 = (int) (value / TWO_PWR_22_DBL);
value -= a1 * TWO_PWR_22_DBL;
}
int a0 = (int) value;
BigLong result = create(a0, a1, a2);
if (negative) {
negate(result);
}
return result;
}
public static BigLong fromInt(int value) {
return create(value);
}
public static long[] getAsLongArray(long l) {
long[] a = new long[3];
a[0] = (int) (l & MASK);
a[1] = (int) ((l >> BITS) & MASK);
a[2] = (int) ((l >> BITS01) & MASK_2);
return a;
}
public static BigLong mod(BigLong a, BigLong b) {
divMod(a, b, true);
return remainder;
}
// Assumes BITS == 22
public static BigLong mul(BigLong a, BigLong b) {
// Grab 13-bit chunks
int a0 = getL(a) & 0x1fff;
int a1 = (getL(a) >> 13) | ((getM(a) & 0xf) << 9);
int a2 = (getM(a) >> 4) & 0x1fff;
int a3 = (getM(a) >> 17) | ((getH(a) & 0xff) << 5);
int a4 = (getH(a) & 0xfff00) >> 8;
int b0 = getL(b) & 0x1fff;
int b1 = (getL(b) >> 13) | ((getM(b) & 0xf) << 9);
int b2 = (getM(b) >> 4) & 0x1fff;
int b3 = (getM(b) >> 17) | ((getH(b) & 0xff) << 5);
int b4 = (getH(b) & 0xfff00) >> 8;
// Compute partial products
// Optimization: if b is small, avoid multiplying by parts that are 0
int p0 = a0 * b0; // << 0
int p1 = a1 * b0; // << 13
int p2 = a2 * b0; // << 26
int p3 = a3 * b0; // << 39
int p4 = a4 * b0; // << 52
if (b1 != 0) {
p1 += a0 * b1;
p2 += a1 * b1;
p3 += a2 * b1;
p4 += a3 * b1;
}
if (b2 != 0) {
p2 += a0 * b2;
p3 += a1 * b2;
p4 += a2 * b2;
}
if (b3 != 0) {
p3 += a0 * b3;
p4 += a1 * b3;
}
if (b4 != 0) {
p4 += a0 * b4;
}
// Accumulate into 22-bit chunks:
// .........................................c10|...................c00|
// |....................|..................xxxx|xxxxxxxxxxxxxxxxxxxxxx| p0
// |....................|......................|......................|
// |....................|...................c11|......c01.............|
// |....................|....xxxxxxxxxxxxxxxxxx|xxxxxxxxx.............| p1
// |....................|......................|......................|
// |.................c22|...............c12....|......................|
// |..........xxxxxxxxxx|xxxxxxxxxxxxxxxxxx....|......................| p2
// |....................|......................|......................|
// |.................c23|..c13.................|......................|
// |xxxxxxxxxxxxxxxxxxxx|xxxxx.................|......................| p3
// |....................|......................|......................|
// |.........c24........|......................|......................|
// |xxxxxxxxxxxx........|......................|......................| p4
int c00 = p0 & 0x3fffff;
int c01 = (p1 & 0x1ff) << 13;
int c0 = c00 + c01;
int c10 = p0 >> 22;
int c11 = p1 >> 9;
int c12 = (p2 & 0x3ffff) << 4;
int c13 = (p3 & 0x1f) << 17;
int c1 = c10 + c11 + c12 + c13;
int c22 = p2 >> 18;
int c23 = p3 >> 5;
int c24 = (p4 & 0xfff) << 8;
int c2 = c22 + c23 + c24;
// Propagate high bits from c0 -> c1, c1 -> c2
c1 += c0 >> BITS;
c0 &= MASK;
c2 += c1 >> BITS;
c1 &= MASK;
c2 &= MASK_2;
return create(c0, c1, c2);
}
public static BigLong neg(BigLong a) {
int neg0 = (~getL(a) + 1) & MASK;
int neg1 = (~getM(a) + (neg0 == 0 ? 1 : 0)) & MASK;
int neg2 = (~getH(a) + ((neg0 == 0 && neg1 == 0) ? 1 : 0)) & MASK_2;
return create(neg0, neg1, neg2);
}
public static BigLong not(BigLong a) {
return create((~getL(a)) & MASK, (~getM(a)) & MASK, (~getH(a)) & MASK_2);
}
public static BigLong or(BigLong a, BigLong b) {
return create(getL(a) | getL(b), getM(a) | getM(b), getH(a) | getH(b));
}
public static BigLong shl(BigLong a, int n) {
n &= 63;
int res0, res1, res2;
if (n < BITS) {
res0 = getL(a) << n;
res1 = (getM(a) << n) | (getL(a) >> (BITS - n));
res2 = (getH(a) << n) | (getM(a) >> (BITS - n));
} else if (n < BITS01) {
res0 = 0;
res1 = getL(a) << (n - BITS);
res2 = (getM(a) << (n - BITS)) | (getL(a) >> (BITS01 - n));
} else {
res0 = 0;
res1 = 0;
res2 = getL(a) << (n - BITS01);
}
return create(res0 & MASK, res1 & MASK, res2 & MASK_2);
}
public static BigLong shr(BigLong a, int n) {
n &= 63;
int res0, res1, res2;
// Sign extend h(a)
int a2 = getH(a);
boolean negative = (a2 & SIGN_BIT_VALUE) != 0;
if (negative) {
a2 |= ~MASK_2;
}
if (n < BITS) {
res2 = a2 >> n;
res1 = (getM(a) >> n) | (a2 << (BITS - n));
res0 = (getL(a) >> n) | (getM(a) << (BITS - n));
} else if (n < BITS01) {
res2 = negative ? MASK_2 : 0;
res1 = a2 >> (n - BITS);
res0 = (getM(a) >> (n - BITS)) | (a2 << (BITS01 - n));
} else {
res2 = negative ? MASK_2 : 0;
res1 = negative ? MASK : 0;
res0 = a2 >> (n - BITS01);
}
return create(res0 & MASK, res1 & MASK, res2 & MASK_2);
}
/**
* Logical right shift. It does not preserve the sign of the input.
*/
public static BigLong shru(BigLong a, int n) {
n &= 63;
int res0, res1, res2;
int a2 = getH(a) & MASK_2;
if (n < BITS) {
res2 = a2 >>> n;
res1 = (getM(a) >> n) | (a2 << (BITS - n));
res0 = (getL(a) >> n) | (getM(a) << (BITS - n));
} else if (n < BITS01) {
res2 = 0;
res1 = a2 >>> (n - BITS);
res0 = (getM(a) >> (n - BITS)) | (getH(a) << (BITS01 - n));
} else {
res2 = 0;
res1 = 0;
res0 = a2 >>> (n - BITS01);
}
return create(res0 & MASK, res1 & MASK, res2 & MASK_2);
}
public static BigLong sub(BigLong a, BigLong b) {
int sum0 = getL(a) - getL(b);
int sum1 = getM(a) - getM(b) + (sum0 >> BITS);
int sum2 = getH(a) - getH(b) + (sum1 >> BITS);
return create(sum0 & MASK, sum1 & MASK, sum2 & MASK_2);
}
public static double toDouble(BigLong a) {
if (BigLongLib.compare(a, Const.ZERO) < 0) {
return -toDoubleHelper(BigLongLib.neg(a));
}
return toDoubleHelper(a);
}
// Assumes Integer.MIN_VALUE <= a <= Integer.MAX_VALUE
public static int toInt(BigLong a) {
return getL(a) | (getM(a) << BITS);
}
public static String toString(BigLong a) {
if (BigLongLibBase.isZero(a)) {
return "0";
}
if (BigLongLibBase.isMinValue(a)) {
// Special-case MIN_VALUE because neg(MIN_VALUE) == MIN_VALUE
return "-9223372036854775808";
}
if (BigLongLibBase.isNegative(a)) {
return "-" + toString(neg(a));
}
BigLong rem = a;
String res = "";
while (!BigLongLibBase.isZero(rem)) {
// Do several digits each time through the loop, so as to
// minimize the calls to the very expensive emulated div.
final int tenPowerZeroes = 9;
final int tenPower = 1000000000;
BigLong tenPowerLong = fromInt(tenPower);
rem = divMod(rem, tenPowerLong, true);
String digits = "" + toInt(BigLongLibBase.remainder);
if (!BigLongLibBase.isZero(rem)) {
int zeroesNeeded = tenPowerZeroes - digits.length();
for (; zeroesNeeded > 0; zeroesNeeded--) {
digits = "0" + digits;
}
}
res = digits + res;
}
return res;
}
public static BigLong xor(BigLong a, BigLong b) {
return create(getL(a) ^ getL(b), getM(a) ^ getM(b), getH(a) ^ getH(b));
}
/**
* Not instantiable.
*/
private BigLongLib() {
}
}