mirror of https://github.com/tc39/test262.git
[BigInt] arithmetic tests
This commit is contained in:
Robin Templeton
parent
5d4c667b27
commit
609869638f
test/language/expressions
addition
division
exponentiation
modulus
multiplication
subtraction
|
|
@ -0,0 +1,167 @@
|
|||
// Copyright (C) 2017 Robin Templeton. All rights reserved.
|
||||
// This code is governed by the BSD license found in the LICENSE file.
|
||||
|
||||
/*---
|
||||
esid: sec-addition-operator-plus-runtime-semantics-evaluation
|
||||
description: BigInt addition arithmetic
|
||||
features: [BigInt]
|
||||
---*/
|
||||
|
||||
function testAdd(x, y, z) {
|
||||
assert.sameValue(x + y, z, x + " + " + y + " = " + z);
|
||||
assert.sameValue(y + x, z, y + " + " + x + " = " + z);
|
||||
}
|
||||
|
||||
testAdd(0xFEDCBA9876543210n, 0xFEDCBA9876543210n, 0x1FDB97530ECA86420n);
|
||||
testAdd(0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, 0x1FDB97530ECA8641Fn);
|
||||
testAdd(0xFEDCBA9876543210n, 0xFEDCBA98n, 0xFEDCBA997530ECA8n);
|
||||
testAdd(0xFEDCBA9876543210n, 0xFEDCBA97n, 0xFEDCBA997530ECA7n);
|
||||
testAdd(0xFEDCBA9876543210n, 0x1234n, 0xFEDCBA9876544444n);
|
||||
testAdd(0xFEDCBA9876543210n, 0x3n, 0xFEDCBA9876543213n);
|
||||
testAdd(0xFEDCBA9876543210n, 0x2n, 0xFEDCBA9876543212n);
|
||||
testAdd(0xFEDCBA9876543210n, 0x1n, 0xFEDCBA9876543211n);
|
||||
testAdd(0xFEDCBA9876543210n, 0x0n, 0xFEDCBA9876543210n);
|
||||
testAdd(0xFEDCBA9876543210n, -0x1n, 0xFEDCBA987654320Fn);
|
||||
testAdd(0xFEDCBA9876543210n, -0x2n, 0xFEDCBA987654320En);
|
||||
testAdd(0xFEDCBA9876543210n, -0x3n, 0xFEDCBA987654320Dn);
|
||||
testAdd(0xFEDCBA9876543210n, -0x1234n, 0xFEDCBA9876541FDCn);
|
||||
testAdd(0xFEDCBA9876543210n, -0xFEDCBA97n, 0xFEDCBA9777777779n);
|
||||
testAdd(0xFEDCBA9876543210n, -0xFEDCBA98n, 0xFEDCBA9777777778n);
|
||||
testAdd(0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, 0x1n);
|
||||
testAdd(0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, 0x1FDB97530ECA8641En);
|
||||
testAdd(0xFEDCBA987654320Fn, 0xFEDCBA98n, 0xFEDCBA997530ECA7n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0xFEDCBA97n, 0xFEDCBA997530ECA6n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0x1234n, 0xFEDCBA9876544443n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0x3n, 0xFEDCBA9876543212n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0x2n, 0xFEDCBA9876543211n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0x1n, 0xFEDCBA9876543210n);
|
||||
testAdd(0xFEDCBA987654320Fn, 0x0n, 0xFEDCBA987654320Fn);
|
||||
testAdd(0xFEDCBA987654320Fn, -0x1n, 0xFEDCBA987654320En);
|
||||
testAdd(0xFEDCBA987654320Fn, -0x2n, 0xFEDCBA987654320Dn);
|
||||
testAdd(0xFEDCBA987654320Fn, -0x3n, 0xFEDCBA987654320Cn);
|
||||
testAdd(0xFEDCBA987654320Fn, -0x1234n, 0xFEDCBA9876541FDBn);
|
||||
testAdd(0xFEDCBA987654320Fn, -0xFEDCBA97n, 0xFEDCBA9777777778n);
|
||||
testAdd(0xFEDCBA987654320Fn, -0xFEDCBA98n, 0xFEDCBA9777777777n);
|
||||
testAdd(0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testAdd(0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, -0x1n);
|
||||
testAdd(0xFEDCBA98n, 0xFEDCBA98n, 0x1FDB97530n);
|
||||
testAdd(0xFEDCBA98n, 0xFEDCBA97n, 0x1FDB9752Fn);
|
||||
testAdd(0xFEDCBA98n, 0x1234n, 0xFEDCCCCCn);
|
||||
testAdd(0xFEDCBA98n, 0x3n, 0xFEDCBA9Bn);
|
||||
testAdd(0xFEDCBA98n, 0x2n, 0xFEDCBA9An);
|
||||
testAdd(0xFEDCBA98n, 0x1n, 0xFEDCBA99n);
|
||||
testAdd(0xFEDCBA98n, 0x0n, 0xFEDCBA98n);
|
||||
testAdd(0xFEDCBA98n, -0x1n, 0xFEDCBA97n);
|
||||
testAdd(0xFEDCBA98n, -0x2n, 0xFEDCBA96n);
|
||||
testAdd(0xFEDCBA98n, -0x3n, 0xFEDCBA95n);
|
||||
testAdd(0xFEDCBA98n, -0x1234n, 0xFEDCA864n);
|
||||
testAdd(0xFEDCBA98n, -0xFEDCBA97n, 0x1n);
|
||||
testAdd(0xFEDCBA98n, -0xFEDCBA98n, 0x0n);
|
||||
testAdd(0xFEDCBA98n, -0xFEDCBA987654320Fn, -0xFEDCBA9777777777n);
|
||||
testAdd(0xFEDCBA98n, -0xFEDCBA9876543210n, -0xFEDCBA9777777778n);
|
||||
testAdd(0xFEDCBA97n, 0xFEDCBA97n, 0x1FDB9752En);
|
||||
testAdd(0xFEDCBA97n, 0x1234n, 0xFEDCCCCBn);
|
||||
testAdd(0xFEDCBA97n, 0x3n, 0xFEDCBA9An);
|
||||
testAdd(0xFEDCBA97n, 0x2n, 0xFEDCBA99n);
|
||||
testAdd(0xFEDCBA97n, 0x1n, 0xFEDCBA98n);
|
||||
testAdd(0xFEDCBA97n, 0x0n, 0xFEDCBA97n);
|
||||
testAdd(0xFEDCBA97n, -0x1n, 0xFEDCBA96n);
|
||||
testAdd(0xFEDCBA97n, -0x2n, 0xFEDCBA95n);
|
||||
testAdd(0xFEDCBA97n, -0x3n, 0xFEDCBA94n);
|
||||
testAdd(0xFEDCBA97n, -0x1234n, 0xFEDCA863n);
|
||||
testAdd(0xFEDCBA97n, -0xFEDCBA97n, 0x0n);
|
||||
testAdd(0xFEDCBA97n, -0xFEDCBA98n, -0x1n);
|
||||
testAdd(0xFEDCBA97n, -0xFEDCBA987654320Fn, -0xFEDCBA9777777778n);
|
||||
testAdd(0xFEDCBA97n, -0xFEDCBA9876543210n, -0xFEDCBA9777777779n);
|
||||
testAdd(0x1234n, 0x1234n, 0x2468n);
|
||||
testAdd(0x1234n, 0x3n, 0x1237n);
|
||||
testAdd(0x1234n, 0x2n, 0x1236n);
|
||||
testAdd(0x1234n, 0x1n, 0x1235n);
|
||||
testAdd(0x1234n, 0x0n, 0x1234n);
|
||||
testAdd(0x1234n, -0x1n, 0x1233n);
|
||||
testAdd(0x1234n, -0x2n, 0x1232n);
|
||||
testAdd(0x1234n, -0x3n, 0x1231n);
|
||||
testAdd(0x1234n, -0x1234n, 0x0n);
|
||||
testAdd(0x1234n, -0xFEDCBA97n, -0xFEDCA863n);
|
||||
testAdd(0x1234n, -0xFEDCBA98n, -0xFEDCA864n);
|
||||
testAdd(0x1234n, -0xFEDCBA987654320Fn, -0xFEDCBA9876541FDBn);
|
||||
testAdd(0x1234n, -0xFEDCBA9876543210n, -0xFEDCBA9876541FDCn);
|
||||
testAdd(0x3n, 0x3n, 0x6n);
|
||||
testAdd(0x3n, 0x2n, 0x5n);
|
||||
testAdd(0x3n, 0x1n, 0x4n);
|
||||
testAdd(0x3n, 0x0n, 0x3n);
|
||||
testAdd(0x3n, -0x1n, 0x2n);
|
||||
testAdd(0x3n, -0x2n, 0x1n);
|
||||
testAdd(0x3n, -0x3n, 0x0n);
|
||||
testAdd(0x3n, -0x1234n, -0x1231n);
|
||||
testAdd(0x3n, -0xFEDCBA97n, -0xFEDCBA94n);
|
||||
testAdd(0x3n, -0xFEDCBA98n, -0xFEDCBA95n);
|
||||
testAdd(0x3n, -0xFEDCBA987654320Fn, -0xFEDCBA987654320Cn);
|
||||
testAdd(0x3n, -0xFEDCBA9876543210n, -0xFEDCBA987654320Dn);
|
||||
testAdd(0x2n, 0x2n, 0x4n);
|
||||
testAdd(0x2n, 0x1n, 0x3n);
|
||||
testAdd(0x2n, 0x0n, 0x2n);
|
||||
testAdd(0x2n, -0x1n, 0x1n);
|
||||
testAdd(0x2n, -0x2n, 0x0n);
|
||||
testAdd(0x2n, -0x3n, -0x1n);
|
||||
testAdd(0x2n, -0x1234n, -0x1232n);
|
||||
testAdd(0x2n, -0xFEDCBA97n, -0xFEDCBA95n);
|
||||
testAdd(0x2n, -0xFEDCBA98n, -0xFEDCBA96n);
|
||||
testAdd(0x2n, -0xFEDCBA987654320Fn, -0xFEDCBA987654320Dn);
|
||||
testAdd(0x2n, -0xFEDCBA9876543210n, -0xFEDCBA987654320En);
|
||||
testAdd(0x1n, 0x1n, 0x2n);
|
||||
testAdd(0x1n, 0x0n, 0x1n);
|
||||
testAdd(0x1n, -0x1n, 0x0n);
|
||||
testAdd(0x1n, -0x2n, -0x1n);
|
||||
testAdd(0x1n, -0x3n, -0x2n);
|
||||
testAdd(0x1n, -0x1234n, -0x1233n);
|
||||
testAdd(0x1n, -0xFEDCBA97n, -0xFEDCBA96n);
|
||||
testAdd(0x1n, -0xFEDCBA98n, -0xFEDCBA97n);
|
||||
testAdd(0x1n, -0xFEDCBA987654320Fn, -0xFEDCBA987654320En);
|
||||
testAdd(0x1n, -0xFEDCBA9876543210n, -0xFEDCBA987654320Fn);
|
||||
testAdd(0x0n, 0x0n, 0x0n);
|
||||
testAdd(0x0n, -0x1n, -0x1n);
|
||||
testAdd(0x0n, -0x2n, -0x2n);
|
||||
testAdd(0x0n, -0x3n, -0x3n);
|
||||
testAdd(0x0n, -0x1234n, -0x1234n);
|
||||
testAdd(0x0n, -0xFEDCBA97n, -0xFEDCBA97n);
|
||||
testAdd(0x0n, -0xFEDCBA98n, -0xFEDCBA98n);
|
||||
testAdd(0x0n, -0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn);
|
||||
testAdd(0x0n, -0xFEDCBA9876543210n, -0xFEDCBA9876543210n);
|
||||
testAdd(-0x1n, -0x1n, -0x2n);
|
||||
testAdd(-0x1n, -0x2n, -0x3n);
|
||||
testAdd(-0x1n, -0x3n, -0x4n);
|
||||
testAdd(-0x1n, -0x1234n, -0x1235n);
|
||||
testAdd(-0x1n, -0xFEDCBA97n, -0xFEDCBA98n);
|
||||
testAdd(-0x1n, -0xFEDCBA98n, -0xFEDCBA99n);
|
||||
testAdd(-0x1n, -0xFEDCBA987654320Fn, -0xFEDCBA9876543210n);
|
||||
testAdd(-0x1n, -0xFEDCBA9876543210n, -0xFEDCBA9876543211n);
|
||||
testAdd(-0x2n, -0x2n, -0x4n);
|
||||
testAdd(-0x2n, -0x3n, -0x5n);
|
||||
testAdd(-0x2n, -0x1234n, -0x1236n);
|
||||
testAdd(-0x2n, -0xFEDCBA97n, -0xFEDCBA99n);
|
||||
testAdd(-0x2n, -0xFEDCBA98n, -0xFEDCBA9An);
|
||||
testAdd(-0x2n, -0xFEDCBA987654320Fn, -0xFEDCBA9876543211n);
|
||||
testAdd(-0x2n, -0xFEDCBA9876543210n, -0xFEDCBA9876543212n);
|
||||
testAdd(-0x3n, -0x3n, -0x6n);
|
||||
testAdd(-0x3n, -0x1234n, -0x1237n);
|
||||
testAdd(-0x3n, -0xFEDCBA97n, -0xFEDCBA9An);
|
||||
testAdd(-0x3n, -0xFEDCBA98n, -0xFEDCBA9Bn);
|
||||
testAdd(-0x3n, -0xFEDCBA987654320Fn, -0xFEDCBA9876543212n);
|
||||
testAdd(-0x3n, -0xFEDCBA9876543210n, -0xFEDCBA9876543213n);
|
||||
testAdd(-0x1234n, -0x1234n, -0x2468n);
|
||||
testAdd(-0x1234n, -0xFEDCBA97n, -0xFEDCCCCBn);
|
||||
testAdd(-0x1234n, -0xFEDCBA98n, -0xFEDCCCCCn);
|
||||
testAdd(-0x1234n, -0xFEDCBA987654320Fn, -0xFEDCBA9876544443n);
|
||||
testAdd(-0x1234n, -0xFEDCBA9876543210n, -0xFEDCBA9876544444n);
|
||||
testAdd(-0xFEDCBA97n, -0xFEDCBA97n, -0x1FDB9752En);
|
||||
testAdd(-0xFEDCBA97n, -0xFEDCBA98n, -0x1FDB9752Fn);
|
||||
testAdd(-0xFEDCBA97n, -0xFEDCBA987654320Fn, -0xFEDCBA997530ECA6n);
|
||||
testAdd(-0xFEDCBA97n, -0xFEDCBA9876543210n, -0xFEDCBA997530ECA7n);
|
||||
testAdd(-0xFEDCBA98n, -0xFEDCBA98n, -0x1FDB97530n);
|
||||
testAdd(-0xFEDCBA98n, -0xFEDCBA987654320Fn, -0xFEDCBA997530ECA7n);
|
||||
testAdd(-0xFEDCBA98n, -0xFEDCBA9876543210n, -0xFEDCBA997530ECA8n);
|
||||
testAdd(-0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, -0x1FDB97530ECA8641En);
|
||||
testAdd(-0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, -0x1FDB97530ECA8641Fn);
|
||||
testAdd(-0xFEDCBA9876543210n, -0xFEDCBA9876543210n, -0x1FDB97530ECA86420n);
|
||||
|
|
@ -0,0 +1,269 @@
|
|||
// Copyright (C) 2017 Robin Templeton. All rights reserved.
|
||||
// This code is governed by the BSD license found in the LICENSE file.
|
||||
|
||||
/*---
|
||||
esid: sec-multiplicative-operators-runtime-semantics-evaluation
|
||||
description: BigInt division arithmetic
|
||||
features: [BigInt]
|
||||
---*/
|
||||
|
||||
function testDiv(x, y, z) {
|
||||
assert.sameValue(x / y, z, x + " / " + y + " = " + z);
|
||||
}
|
||||
|
||||
testDiv(0xFEDCBA9876543210n, 0xFEDCBA9876543210n, 0x1n);
|
||||
testDiv(0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, 0x1n);
|
||||
testDiv(0xFEDCBA9876543210n, 0xFEDCBA98n, 0x100000000n);
|
||||
testDiv(0xFEDCBA9876543210n, 0xFEDCBA97n, 0x100000001n);
|
||||
testDiv(0xFEDCBA9876543210n, 0x1234n, 0xE0042813BE5DCn);
|
||||
testDiv(0xFEDCBA9876543210n, 0x3n, 0x54F43E32D21C10B0n);
|
||||
testDiv(0xFEDCBA9876543210n, 0x2n, 0x7F6E5D4C3B2A1908n);
|
||||
testDiv(0xFEDCBA9876543210n, 0x1n, 0xFEDCBA9876543210n);
|
||||
testDiv(0xFEDCBA9876543210n, -0x1n, -0xFEDCBA9876543210n);
|
||||
testDiv(0xFEDCBA9876543210n, -0x2n, -0x7F6E5D4C3B2A1908n);
|
||||
testDiv(0xFEDCBA9876543210n, -0x3n, -0x54F43E32D21C10B0n);
|
||||
testDiv(0xFEDCBA9876543210n, -0x1234n, -0xE0042813BE5DCn);
|
||||
testDiv(0xFEDCBA9876543210n, -0xFEDCBA97n, -0x100000001n);
|
||||
testDiv(0xFEDCBA9876543210n, -0xFEDCBA98n, -0x100000000n);
|
||||
testDiv(0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, -0x1n);
|
||||
testDiv(0xFEDCBA9876543210n, -0xFEDCBA9876543210n, -0x1n);
|
||||
testDiv(0xFEDCBA987654320Fn, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, 0x1n);
|
||||
testDiv(0xFEDCBA987654320Fn, 0xFEDCBA98n, 0x100000000n);
|
||||
testDiv(0xFEDCBA987654320Fn, 0xFEDCBA97n, 0x100000001n);
|
||||
testDiv(0xFEDCBA987654320Fn, 0x1234n, 0xE0042813BE5DCn);
|
||||
testDiv(0xFEDCBA987654320Fn, 0x3n, 0x54F43E32D21C10AFn);
|
||||
testDiv(0xFEDCBA987654320Fn, 0x2n, 0x7F6E5D4C3B2A1907n);
|
||||
testDiv(0xFEDCBA987654320Fn, 0x1n, 0xFEDCBA987654320Fn);
|
||||
testDiv(0xFEDCBA987654320Fn, -0x1n, -0xFEDCBA987654320Fn);
|
||||
testDiv(0xFEDCBA987654320Fn, -0x2n, -0x7F6E5D4C3B2A1907n);
|
||||
testDiv(0xFEDCBA987654320Fn, -0x3n, -0x54F43E32D21C10AFn);
|
||||
testDiv(0xFEDCBA987654320Fn, -0x1234n, -0xE0042813BE5DCn);
|
||||
testDiv(0xFEDCBA987654320Fn, -0xFEDCBA97n, -0x100000001n);
|
||||
testDiv(0xFEDCBA987654320Fn, -0xFEDCBA98n, -0x100000000n);
|
||||
testDiv(0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, -0x1n);
|
||||
testDiv(0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0xFEDCBA98n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0xFEDCBA98n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0xFEDCBA98n, 0xFEDCBA98n, 0x1n);
|
||||
testDiv(0xFEDCBA98n, 0xFEDCBA97n, 0x1n);
|
||||
testDiv(0xFEDCBA98n, 0x1234n, 0xE0042n);
|
||||
testDiv(0xFEDCBA98n, 0x3n, 0x54F43E32n);
|
||||
testDiv(0xFEDCBA98n, 0x2n, 0x7F6E5D4Cn);
|
||||
testDiv(0xFEDCBA98n, 0x1n, 0xFEDCBA98n);
|
||||
testDiv(0xFEDCBA98n, -0x1n, -0xFEDCBA98n);
|
||||
testDiv(0xFEDCBA98n, -0x2n, -0x7F6E5D4Cn);
|
||||
testDiv(0xFEDCBA98n, -0x3n, -0x54F43E32n);
|
||||
testDiv(0xFEDCBA98n, -0x1234n, -0xE0042n);
|
||||
testDiv(0xFEDCBA98n, -0xFEDCBA97n, -0x1n);
|
||||
testDiv(0xFEDCBA98n, -0xFEDCBA98n, -0x1n);
|
||||
testDiv(0xFEDCBA98n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0xFEDCBA98n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0xFEDCBA97n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0xFEDCBA97n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0xFEDCBA97n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(0xFEDCBA97n, 0xFEDCBA97n, 0x1n);
|
||||
testDiv(0xFEDCBA97n, 0x1234n, 0xE0042n);
|
||||
testDiv(0xFEDCBA97n, 0x3n, 0x54F43E32n);
|
||||
testDiv(0xFEDCBA97n, 0x2n, 0x7F6E5D4Bn);
|
||||
testDiv(0xFEDCBA97n, 0x1n, 0xFEDCBA97n);
|
||||
testDiv(0xFEDCBA97n, -0x1n, -0xFEDCBA97n);
|
||||
testDiv(0xFEDCBA97n, -0x2n, -0x7F6E5D4Bn);
|
||||
testDiv(0xFEDCBA97n, -0x3n, -0x54F43E32n);
|
||||
testDiv(0xFEDCBA97n, -0x1234n, -0xE0042n);
|
||||
testDiv(0xFEDCBA97n, -0xFEDCBA97n, -0x1n);
|
||||
testDiv(0xFEDCBA97n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(0xFEDCBA97n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0xFEDCBA97n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x1234n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x1234n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x1234n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x1234n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x1234n, 0x1234n, 0x1n);
|
||||
testDiv(0x1234n, 0x3n, 0x611n);
|
||||
testDiv(0x1234n, 0x2n, 0x91An);
|
||||
testDiv(0x1234n, 0x1n, 0x1234n);
|
||||
testDiv(0x1234n, -0x1n, -0x1234n);
|
||||
testDiv(0x1234n, -0x2n, -0x91An);
|
||||
testDiv(0x1234n, -0x3n, -0x611n);
|
||||
testDiv(0x1234n, -0x1234n, -0x1n);
|
||||
testDiv(0x1234n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x1234n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x1234n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x1234n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x3n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x3n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x3n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x3n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x3n, 0x1234n, 0x0n);
|
||||
testDiv(0x3n, 0x3n, 0x1n);
|
||||
testDiv(0x3n, 0x2n, 0x1n);
|
||||
testDiv(0x3n, 0x1n, 0x3n);
|
||||
testDiv(0x3n, -0x1n, -0x3n);
|
||||
testDiv(0x3n, -0x2n, -0x1n);
|
||||
testDiv(0x3n, -0x3n, -0x1n);
|
||||
testDiv(0x3n, -0x1234n, 0x0n);
|
||||
testDiv(0x3n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x3n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x3n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x3n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x2n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x2n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x2n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x2n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x2n, 0x1234n, 0x0n);
|
||||
testDiv(0x2n, 0x3n, 0x0n);
|
||||
testDiv(0x2n, 0x2n, 0x1n);
|
||||
testDiv(0x2n, 0x1n, 0x2n);
|
||||
testDiv(0x2n, -0x1n, -0x2n);
|
||||
testDiv(0x2n, -0x2n, -0x1n);
|
||||
testDiv(0x2n, -0x3n, 0x0n);
|
||||
testDiv(0x2n, -0x1234n, 0x0n);
|
||||
testDiv(0x2n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x2n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x2n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x2n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x1n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(0x1n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x1n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x1n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x1n, 0x1234n, 0x0n);
|
||||
testDiv(0x1n, 0x3n, 0x0n);
|
||||
testDiv(0x1n, 0x2n, 0x0n);
|
||||
testDiv(0x1n, 0x1n, 0x1n);
|
||||
testDiv(0x1n, -0x1n, -0x1n);
|
||||
testDiv(0x1n, -0x2n, 0x0n);
|
||||
testDiv(0x1n, -0x3n, 0x0n);
|
||||
testDiv(0x1n, -0x1234n, 0x0n);
|
||||
testDiv(0x1n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(0x1n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(0x1n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(0x1n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x1n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x1n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x1n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x1n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x1n, 0x1234n, 0x0n);
|
||||
testDiv(-0x1n, 0x3n, 0x0n);
|
||||
testDiv(-0x1n, 0x2n, 0x0n);
|
||||
testDiv(-0x1n, 0x1n, -0x1n);
|
||||
testDiv(-0x1n, -0x1n, 0x1n);
|
||||
testDiv(-0x1n, -0x2n, 0x0n);
|
||||
testDiv(-0x1n, -0x3n, 0x0n);
|
||||
testDiv(-0x1n, -0x1234n, 0x0n);
|
||||
testDiv(-0x1n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x1n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x1n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x1n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x2n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x2n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x2n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x2n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x2n, 0x1234n, 0x0n);
|
||||
testDiv(-0x2n, 0x3n, 0x0n);
|
||||
testDiv(-0x2n, 0x2n, -0x1n);
|
||||
testDiv(-0x2n, 0x1n, -0x2n);
|
||||
testDiv(-0x2n, -0x1n, 0x2n);
|
||||
testDiv(-0x2n, -0x2n, 0x1n);
|
||||
testDiv(-0x2n, -0x3n, 0x0n);
|
||||
testDiv(-0x2n, -0x1234n, 0x0n);
|
||||
testDiv(-0x2n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x2n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x2n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x2n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x3n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x3n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x3n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x3n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x3n, 0x1234n, 0x0n);
|
||||
testDiv(-0x3n, 0x3n, -0x1n);
|
||||
testDiv(-0x3n, 0x2n, -0x1n);
|
||||
testDiv(-0x3n, 0x1n, -0x3n);
|
||||
testDiv(-0x3n, -0x1n, 0x3n);
|
||||
testDiv(-0x3n, -0x2n, 0x1n);
|
||||
testDiv(-0x3n, -0x3n, 0x1n);
|
||||
testDiv(-0x3n, -0x1234n, 0x0n);
|
||||
testDiv(-0x3n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x3n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x3n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x3n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x1234n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0x1234n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x1234n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x1234n, 0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x1234n, 0x1234n, -0x1n);
|
||||
testDiv(-0x1234n, 0x3n, -0x611n);
|
||||
testDiv(-0x1234n, 0x2n, -0x91An);
|
||||
testDiv(-0x1234n, 0x1n, -0x1234n);
|
||||
testDiv(-0x1234n, -0x1n, 0x1234n);
|
||||
testDiv(-0x1234n, -0x2n, 0x91An);
|
||||
testDiv(-0x1234n, -0x3n, 0x611n);
|
||||
testDiv(-0x1234n, -0x1234n, 0x1n);
|
||||
testDiv(-0x1234n, -0xFEDCBA97n, 0x0n);
|
||||
testDiv(-0x1234n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0x1234n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0x1234n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA97n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA97n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0xFEDCBA97n, 0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0xFEDCBA97n, 0xFEDCBA97n, -0x1n);
|
||||
testDiv(-0xFEDCBA97n, 0x1234n, -0xE0042n);
|
||||
testDiv(-0xFEDCBA97n, 0x3n, -0x54F43E32n);
|
||||
testDiv(-0xFEDCBA97n, 0x2n, -0x7F6E5D4Bn);
|
||||
testDiv(-0xFEDCBA97n, 0x1n, -0xFEDCBA97n);
|
||||
testDiv(-0xFEDCBA97n, -0x1n, 0xFEDCBA97n);
|
||||
testDiv(-0xFEDCBA97n, -0x2n, 0x7F6E5D4Bn);
|
||||
testDiv(-0xFEDCBA97n, -0x3n, 0x54F43E32n);
|
||||
testDiv(-0xFEDCBA97n, -0x1234n, 0xE0042n);
|
||||
testDiv(-0xFEDCBA97n, -0xFEDCBA97n, 0x1n);
|
||||
testDiv(-0xFEDCBA97n, -0xFEDCBA98n, 0x0n);
|
||||
testDiv(-0xFEDCBA97n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0xFEDCBA97n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA98n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA98n, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0xFEDCBA98n, 0xFEDCBA98n, -0x1n);
|
||||
testDiv(-0xFEDCBA98n, 0xFEDCBA97n, -0x1n);
|
||||
testDiv(-0xFEDCBA98n, 0x1234n, -0xE0042n);
|
||||
testDiv(-0xFEDCBA98n, 0x3n, -0x54F43E32n);
|
||||
testDiv(-0xFEDCBA98n, 0x2n, -0x7F6E5D4Cn);
|
||||
testDiv(-0xFEDCBA98n, 0x1n, -0xFEDCBA98n);
|
||||
testDiv(-0xFEDCBA98n, -0x1n, 0xFEDCBA98n);
|
||||
testDiv(-0xFEDCBA98n, -0x2n, 0x7F6E5D4Cn);
|
||||
testDiv(-0xFEDCBA98n, -0x3n, 0x54F43E32n);
|
||||
testDiv(-0xFEDCBA98n, -0x1234n, 0xE0042n);
|
||||
testDiv(-0xFEDCBA98n, -0xFEDCBA97n, 0x1n);
|
||||
testDiv(-0xFEDCBA98n, -0xFEDCBA98n, 0x1n);
|
||||
testDiv(-0xFEDCBA98n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testDiv(-0xFEDCBA98n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, -0x1n);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0xFEDCBA98n, -0x100000000n);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0xFEDCBA97n, -0x100000001n);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0x1234n, -0xE0042813BE5DCn);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0x3n, -0x54F43E32D21C10AFn);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0x2n, -0x7F6E5D4C3B2A1907n);
|
||||
testDiv(-0xFEDCBA987654320Fn, 0x1n, -0xFEDCBA987654320Fn);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0x1n, 0xFEDCBA987654320Fn);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0x2n, 0x7F6E5D4C3B2A1907n);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0x3n, 0x54F43E32D21C10AFn);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0x1234n, 0xE0042813BE5DCn);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0xFEDCBA97n, 0x100000001n);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0xFEDCBA98n, 0x100000000n);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0x1n);
|
||||
testDiv(-0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, 0x0n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0xFEDCBA9876543210n, -0x1n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, -0x1n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0xFEDCBA98n, -0x100000000n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0xFEDCBA97n, -0x100000001n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0x1234n, -0xE0042813BE5DCn);
|
||||
testDiv(-0xFEDCBA9876543210n, 0x3n, -0x54F43E32D21C10B0n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0x2n, -0x7F6E5D4C3B2A1908n);
|
||||
testDiv(-0xFEDCBA9876543210n, 0x1n, -0xFEDCBA9876543210n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0x1n, 0xFEDCBA9876543210n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0x2n, 0x7F6E5D4C3B2A1908n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0x3n, 0x54F43E32D21C10B0n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0x1234n, 0xE0042813BE5DCn);
|
||||
testDiv(-0xFEDCBA9876543210n, -0xFEDCBA97n, 0x100000001n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0xFEDCBA98n, 0x100000000n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, 0x1n);
|
||||
testDiv(-0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0x1n);
|
||||
|
|
@ -0,0 +1,38 @@
|
|||
// Copyright (C) 2017 Robin Templeton. All rights reserved.
|
||||
// This code is governed by the BSD license found in the LICENSE file.
|
||||
|
||||
/*---
|
||||
esid: sec-exp-operator-runtime-semantics-evaluation
|
||||
description: BigInt exponentiation arithmetic
|
||||
features: [BigInt]
|
||||
---*/
|
||||
|
||||
function testExpt(x, y, z) {
|
||||
assert.sameValue(x ** y, z, x + " ** " + y + " = " + z);
|
||||
}
|
||||
|
||||
testExpt(0x123n, 0x123n, 0x37AA7FAA38F2F6026AABEFE979EA730BA9EA4CB99E2E3F645D515D3BBE2D84BCD89F8A034BADF3E3DC0CF417258371B31F4555DC0883DA96760AB157DB7DFFF5E3E97A3EAAB8328B2B178060B5A5E4C4DD8BC8D66B7F4D9F0E0B1AC3A566FDE0A15EBF8DBDBD0565C5FBDB7C123CF250E271DF5C38BC6746A1327F09C7FB4B96E0EDA45C429799CA80B1DB039692C70DFFE4E66F1D9CAB4270863B09A7918F774D686F685F560FEDC6B7B85CB45DE5EEEF6A5FE2FC8B5037FB421204641909347C91F2DC252F49B8F310E867E56D1CA2E81EE9A3AA568682C7B8B41D709A2E7F8D9A8D8C56D6BE78B6CA8365E362B81A64974C315FB8FA50CED4F7944F28FA3ECA77B8BCB56DC69814328F891E6065D108EEE7B8E695038090CCA10C0E68DD7A36CFAA1C26CDFEC369FBn);
|
||||
testExpt(0x123n, 0xFFn, 0x8D5BB75861377EC967BF78FDF39CE51696FBD34722999943F8865938772B517167CD5ED775A78987F5106831F4978E0709032B26ED8F13F814699DB8AB3ACD5CF631F2D8B8B706FCF5EF441AAEE745A795EC5CB86A5E8D87D09F648EFC557B98F73E750FEC9AED061D47806F269CCCDFB6D513912A82AE79B171D76AF6D926BC4F4C4DA43A6EFB4D9D1672E356CC1F74A29AF80D53A8F27592F6191AB9B3D57FA2C435CB2CE8F18A3B3448F88F4BAD3606A9878DA9528B569BADAC0C1EC0B1A2B06CD4C64DEEC940807DFD05C56E3E17ADB1A88EDAF0D67C87C1F871BFB5C47CAE8365FE33538317EE2DF4EE52636CE1BDA9E41C7DA72826E4C097A53BD73D8D697E10D28Bn);
|
||||
testExpt(0x123n, 0x3n, 0x178027Bn);
|
||||
testExpt(0x123n, 0x2n, 0x14AC9n);
|
||||
testExpt(0x123n, 0x1n, 0x123n);
|
||||
testExpt(0xFFn, 0x123n, 0x51F5CA2E1A36F5FF1ED3D393D76FBC3612B38EB64E00EDAC5E95ADE0D16D0B044C8E9F2B77B3F31AF9159F482205541E9D3BE9D248FF39CE6524874EBCA60E06302E8B505D11EEEEE869C7F801A82B9739C197E6D63A1EB2D29B5AD5EED4773C762106E9F66BFCB6C11450218973C69DED3FE51FF881AD0430675BF54320513EA766117C50C554E86E22A5ACFD8047D5470B4FCBCB9EFC86196CA77C58F1BEB09F76160D641B82E2481BEDAE089207D49FE0FB7DE14B6C4BC82E9C58140746AC8E74C3353AAF5F9CF47ED1F87C52F463C053DB63CD08CC9866EBA274D39B6B357ADADAD4D210167EF7363453D42BC225D90070336861F2D259489D78B7F04B05FE65E29151ADD2B8F4D318011988550CE590DBA4C868AC65AA325051DF613D6C2E22FFn);
|
||||
testExpt(0xFFn, 0xFFn, 0x5E5C8B0EB95AB08F9D37EF127FC01BD0E33DE52647528396D78D5F8DA31989E67814F6BBA1FB0F0207010FF5F2347B19D5F6598FC91BF5A88F77DAA3D7B382FEC484F3D205C06A34445384C0E7AB0D883788C68C012CB433055EDDA746A48409444EA91147273B79FC3EABB70ECA552AF650C234BB01ED404427F17CDDDD71D08E39EF9C3982E3CE44E670456AA8154C1FDBD9C35947F494636A425C69BF89E9C75AD3B7A0A559AF0F5DA9947C8DEBA64417310713B23E7EF4DE50BB2A3E90BC2AC3DA5201CCA8D6E5DFEA887C4F7A4E92175D9F88BD2779B57F9EB35BE7528F965A06DA0AC41DCB3A34F1D8AB7D8FEE620A94FAA42C395997756B007FFEFFn);
|
||||
testExpt(0xFFn, 0x3n, 0xFD02FFn);
|
||||
testExpt(0xFFn, 0x2n, 0xFE01n);
|
||||
testExpt(0xFFn, 0x1n, 0xFFn);
|
||||
testExpt(0x3n, 0x123n, 0x25609213623D7D6219085CF49D306450BF6519835586C19D3A4F3A2C5F35B44A300C8A76E11708B5495B9C3EE756BBF19E3FD15CE625D3C0539Bn);
|
||||
testExpt(0x3n, 0xFFn, 0x11F1B08E87EC42C5D83C3218FC83C41DCFD9F4428F4F92AF1AAA80AA46162B1F71E981273601F4AD1DD4709B5ACA650265A6ABn);
|
||||
testExpt(0x3n, 0x3n, 0x1Bn);
|
||||
testExpt(0x3n, 0x2n, 0x9n);
|
||||
testExpt(0x3n, 0x1n, 0x3n);
|
||||
testExpt(0x2n, 0x123n, 0x8000000000000000000000000000000000000000000000000000000000000000000000000n);
|
||||
testExpt(0x2n, 0xFFn, 0x8000000000000000000000000000000000000000000000000000000000000000n);
|
||||
testExpt(0x2n, 0x3n, 0x8n);
|
||||
testExpt(0x2n, 0x2n, 0x4n);
|
||||
testExpt(0x2n, 0x1n, 0x2n);
|
||||
testExpt(0x1n, 0x123n, 0x1n);
|
||||
testExpt(0x1n, 0xFFn, 0x1n);
|
||||
testExpt(0x1n, 0x3n, 0x1n);
|
||||
testExpt(0x1n, 0x2n, 0x1n);
|
||||
testExpt(0x1n, 0x1n, 0x1n);
|
||||
|
|
@ -0,0 +1,269 @@
|
|||
// Copyright (C) 2017 Robin Templeton. All rights reserved.
|
||||
// This code is governed by the BSD license found in the LICENSE file.
|
||||
|
||||
/*---
|
||||
esid: sec-multiplicative-operators-runtime-semantics-evaluation
|
||||
description: BigInt remainder arithmetic
|
||||
features: [BigInt]
|
||||
---*/
|
||||
|
||||
function testMod(x, y, z) {
|
||||
assert.sameValue(x % y, z, x + " % " + y + " = " + z);
|
||||
}
|
||||
|
||||
testMod(0xFEDCBA9876543210n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, 0x1n);
|
||||
testMod(0xFEDCBA9876543210n, 0xFEDCBA98n, 0x76543210n);
|
||||
testMod(0xFEDCBA9876543210n, 0xFEDCBA97n, 0x77777779n);
|
||||
testMod(0xFEDCBA9876543210n, 0x1234n, 0x960n);
|
||||
testMod(0xFEDCBA9876543210n, 0x3n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, 0x2n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, 0x1n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, -0x1n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, -0x2n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, -0x3n, 0x0n);
|
||||
testMod(0xFEDCBA9876543210n, -0x1234n, 0x960n);
|
||||
testMod(0xFEDCBA9876543210n, -0xFEDCBA97n, 0x77777779n);
|
||||
testMod(0xFEDCBA9876543210n, -0xFEDCBA98n, 0x76543210n);
|
||||
testMod(0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, 0x1n);
|
||||
testMod(0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testMod(0xFEDCBA987654320Fn, 0xFEDCBA9876543210n, 0xFEDCBA987654320Fn);
|
||||
testMod(0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testMod(0xFEDCBA987654320Fn, 0xFEDCBA98n, 0x7654320Fn);
|
||||
testMod(0xFEDCBA987654320Fn, 0xFEDCBA97n, 0x77777778n);
|
||||
testMod(0xFEDCBA987654320Fn, 0x1234n, 0x95Fn);
|
||||
testMod(0xFEDCBA987654320Fn, 0x3n, 0x2n);
|
||||
testMod(0xFEDCBA987654320Fn, 0x2n, 0x1n);
|
||||
testMod(0xFEDCBA987654320Fn, 0x1n, 0x0n);
|
||||
testMod(0xFEDCBA987654320Fn, -0x1n, 0x0n);
|
||||
testMod(0xFEDCBA987654320Fn, -0x2n, 0x1n);
|
||||
testMod(0xFEDCBA987654320Fn, -0x3n, 0x2n);
|
||||
testMod(0xFEDCBA987654320Fn, -0x1234n, 0x95Fn);
|
||||
testMod(0xFEDCBA987654320Fn, -0xFEDCBA97n, 0x77777778n);
|
||||
testMod(0xFEDCBA987654320Fn, -0xFEDCBA98n, 0x7654320Fn);
|
||||
testMod(0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testMod(0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, 0xFEDCBA987654320Fn);
|
||||
testMod(0xFEDCBA98n, 0xFEDCBA9876543210n, 0xFEDCBA98n);
|
||||
testMod(0xFEDCBA98n, 0xFEDCBA987654320Fn, 0xFEDCBA98n);
|
||||
testMod(0xFEDCBA98n, 0xFEDCBA98n, 0x0n);
|
||||
testMod(0xFEDCBA98n, 0xFEDCBA97n, 0x1n);
|
||||
testMod(0xFEDCBA98n, 0x1234n, 0x930n);
|
||||
testMod(0xFEDCBA98n, 0x3n, 0x2n);
|
||||
testMod(0xFEDCBA98n, 0x2n, 0x0n);
|
||||
testMod(0xFEDCBA98n, 0x1n, 0x0n);
|
||||
testMod(0xFEDCBA98n, -0x1n, 0x0n);
|
||||
testMod(0xFEDCBA98n, -0x2n, 0x0n);
|
||||
testMod(0xFEDCBA98n, -0x3n, 0x2n);
|
||||
testMod(0xFEDCBA98n, -0x1234n, 0x930n);
|
||||
testMod(0xFEDCBA98n, -0xFEDCBA97n, 0x1n);
|
||||
testMod(0xFEDCBA98n, -0xFEDCBA98n, 0x0n);
|
||||
testMod(0xFEDCBA98n, -0xFEDCBA987654320Fn, 0xFEDCBA98n);
|
||||
testMod(0xFEDCBA98n, -0xFEDCBA9876543210n, 0xFEDCBA98n);
|
||||
testMod(0xFEDCBA97n, 0xFEDCBA9876543210n, 0xFEDCBA97n);
|
||||
testMod(0xFEDCBA97n, 0xFEDCBA987654320Fn, 0xFEDCBA97n);
|
||||
testMod(0xFEDCBA97n, 0xFEDCBA98n, 0xFEDCBA97n);
|
||||
testMod(0xFEDCBA97n, 0xFEDCBA97n, 0x0n);
|
||||
testMod(0xFEDCBA97n, 0x1234n, 0x92Fn);
|
||||
testMod(0xFEDCBA97n, 0x3n, 0x1n);
|
||||
testMod(0xFEDCBA97n, 0x2n, 0x1n);
|
||||
testMod(0xFEDCBA97n, 0x1n, 0x0n);
|
||||
testMod(0xFEDCBA97n, -0x1n, 0x0n);
|
||||
testMod(0xFEDCBA97n, -0x2n, 0x1n);
|
||||
testMod(0xFEDCBA97n, -0x3n, 0x1n);
|
||||
testMod(0xFEDCBA97n, -0x1234n, 0x92Fn);
|
||||
testMod(0xFEDCBA97n, -0xFEDCBA97n, 0x0n);
|
||||
testMod(0xFEDCBA97n, -0xFEDCBA98n, 0xFEDCBA97n);
|
||||
testMod(0xFEDCBA97n, -0xFEDCBA987654320Fn, 0xFEDCBA97n);
|
||||
testMod(0xFEDCBA97n, -0xFEDCBA9876543210n, 0xFEDCBA97n);
|
||||
testMod(0x1234n, 0xFEDCBA9876543210n, 0x1234n);
|
||||
testMod(0x1234n, 0xFEDCBA987654320Fn, 0x1234n);
|
||||
testMod(0x1234n, 0xFEDCBA98n, 0x1234n);
|
||||
testMod(0x1234n, 0xFEDCBA97n, 0x1234n);
|
||||
testMod(0x1234n, 0x1234n, 0x0n);
|
||||
testMod(0x1234n, 0x3n, 0x1n);
|
||||
testMod(0x1234n, 0x2n, 0x0n);
|
||||
testMod(0x1234n, 0x1n, 0x0n);
|
||||
testMod(0x1234n, -0x1n, 0x0n);
|
||||
testMod(0x1234n, -0x2n, 0x0n);
|
||||
testMod(0x1234n, -0x3n, 0x1n);
|
||||
testMod(0x1234n, -0x1234n, 0x0n);
|
||||
testMod(0x1234n, -0xFEDCBA97n, 0x1234n);
|
||||
testMod(0x1234n, -0xFEDCBA98n, 0x1234n);
|
||||
testMod(0x1234n, -0xFEDCBA987654320Fn, 0x1234n);
|
||||
testMod(0x1234n, -0xFEDCBA9876543210n, 0x1234n);
|
||||
testMod(0x3n, 0xFEDCBA9876543210n, 0x3n);
|
||||
testMod(0x3n, 0xFEDCBA987654320Fn, 0x3n);
|
||||
testMod(0x3n, 0xFEDCBA98n, 0x3n);
|
||||
testMod(0x3n, 0xFEDCBA97n, 0x3n);
|
||||
testMod(0x3n, 0x1234n, 0x3n);
|
||||
testMod(0x3n, 0x3n, 0x0n);
|
||||
testMod(0x3n, 0x2n, 0x1n);
|
||||
testMod(0x3n, 0x1n, 0x0n);
|
||||
testMod(0x3n, -0x1n, 0x0n);
|
||||
testMod(0x3n, -0x2n, 0x1n);
|
||||
testMod(0x3n, -0x3n, 0x0n);
|
||||
testMod(0x3n, -0x1234n, 0x3n);
|
||||
testMod(0x3n, -0xFEDCBA97n, 0x3n);
|
||||
testMod(0x3n, -0xFEDCBA98n, 0x3n);
|
||||
testMod(0x3n, -0xFEDCBA987654320Fn, 0x3n);
|
||||
testMod(0x3n, -0xFEDCBA9876543210n, 0x3n);
|
||||
testMod(0x2n, 0xFEDCBA9876543210n, 0x2n);
|
||||
testMod(0x2n, 0xFEDCBA987654320Fn, 0x2n);
|
||||
testMod(0x2n, 0xFEDCBA98n, 0x2n);
|
||||
testMod(0x2n, 0xFEDCBA97n, 0x2n);
|
||||
testMod(0x2n, 0x1234n, 0x2n);
|
||||
testMod(0x2n, 0x3n, 0x2n);
|
||||
testMod(0x2n, 0x2n, 0x0n);
|
||||
testMod(0x2n, 0x1n, 0x0n);
|
||||
testMod(0x2n, -0x1n, 0x0n);
|
||||
testMod(0x2n, -0x2n, 0x0n);
|
||||
testMod(0x2n, -0x3n, 0x2n);
|
||||
testMod(0x2n, -0x1234n, 0x2n);
|
||||
testMod(0x2n, -0xFEDCBA97n, 0x2n);
|
||||
testMod(0x2n, -0xFEDCBA98n, 0x2n);
|
||||
testMod(0x2n, -0xFEDCBA987654320Fn, 0x2n);
|
||||
testMod(0x2n, -0xFEDCBA9876543210n, 0x2n);
|
||||
testMod(0x1n, 0xFEDCBA9876543210n, 0x1n);
|
||||
testMod(0x1n, 0xFEDCBA987654320Fn, 0x1n);
|
||||
testMod(0x1n, 0xFEDCBA98n, 0x1n);
|
||||
testMod(0x1n, 0xFEDCBA97n, 0x1n);
|
||||
testMod(0x1n, 0x1234n, 0x1n);
|
||||
testMod(0x1n, 0x3n, 0x1n);
|
||||
testMod(0x1n, 0x2n, 0x1n);
|
||||
testMod(0x1n, 0x1n, 0x0n);
|
||||
testMod(0x1n, -0x1n, 0x0n);
|
||||
testMod(0x1n, -0x2n, 0x1n);
|
||||
testMod(0x1n, -0x3n, 0x1n);
|
||||
testMod(0x1n, -0x1234n, 0x1n);
|
||||
testMod(0x1n, -0xFEDCBA97n, 0x1n);
|
||||
testMod(0x1n, -0xFEDCBA98n, 0x1n);
|
||||
testMod(0x1n, -0xFEDCBA987654320Fn, 0x1n);
|
||||
testMod(0x1n, -0xFEDCBA9876543210n, 0x1n);
|
||||
testMod(-0x1n, 0xFEDCBA9876543210n, -0x1n);
|
||||
testMod(-0x1n, 0xFEDCBA987654320Fn, -0x1n);
|
||||
testMod(-0x1n, 0xFEDCBA98n, -0x1n);
|
||||
testMod(-0x1n, 0xFEDCBA97n, -0x1n);
|
||||
testMod(-0x1n, 0x1234n, -0x1n);
|
||||
testMod(-0x1n, 0x3n, -0x1n);
|
||||
testMod(-0x1n, 0x2n, -0x1n);
|
||||
testMod(-0x1n, 0x1n, 0x0n);
|
||||
testMod(-0x1n, -0x1n, 0x0n);
|
||||
testMod(-0x1n, -0x2n, -0x1n);
|
||||
testMod(-0x1n, -0x3n, -0x1n);
|
||||
testMod(-0x1n, -0x1234n, -0x1n);
|
||||
testMod(-0x1n, -0xFEDCBA97n, -0x1n);
|
||||
testMod(-0x1n, -0xFEDCBA98n, -0x1n);
|
||||
testMod(-0x1n, -0xFEDCBA987654320Fn, -0x1n);
|
||||
testMod(-0x1n, -0xFEDCBA9876543210n, -0x1n);
|
||||
testMod(-0x2n, 0xFEDCBA9876543210n, -0x2n);
|
||||
testMod(-0x2n, 0xFEDCBA987654320Fn, -0x2n);
|
||||
testMod(-0x2n, 0xFEDCBA98n, -0x2n);
|
||||
testMod(-0x2n, 0xFEDCBA97n, -0x2n);
|
||||
testMod(-0x2n, 0x1234n, -0x2n);
|
||||
testMod(-0x2n, 0x3n, -0x2n);
|
||||
testMod(-0x2n, 0x2n, 0x0n);
|
||||
testMod(-0x2n, 0x1n, 0x0n);
|
||||
testMod(-0x2n, -0x1n, 0x0n);
|
||||
testMod(-0x2n, -0x2n, 0x0n);
|
||||
testMod(-0x2n, -0x3n, -0x2n);
|
||||
testMod(-0x2n, -0x1234n, -0x2n);
|
||||
testMod(-0x2n, -0xFEDCBA97n, -0x2n);
|
||||
testMod(-0x2n, -0xFEDCBA98n, -0x2n);
|
||||
testMod(-0x2n, -0xFEDCBA987654320Fn, -0x2n);
|
||||
testMod(-0x2n, -0xFEDCBA9876543210n, -0x2n);
|
||||
testMod(-0x3n, 0xFEDCBA9876543210n, -0x3n);
|
||||
testMod(-0x3n, 0xFEDCBA987654320Fn, -0x3n);
|
||||
testMod(-0x3n, 0xFEDCBA98n, -0x3n);
|
||||
testMod(-0x3n, 0xFEDCBA97n, -0x3n);
|
||||
testMod(-0x3n, 0x1234n, -0x3n);
|
||||
testMod(-0x3n, 0x3n, 0x0n);
|
||||
testMod(-0x3n, 0x2n, -0x1n);
|
||||
testMod(-0x3n, 0x1n, 0x0n);
|
||||
testMod(-0x3n, -0x1n, 0x0n);
|
||||
testMod(-0x3n, -0x2n, -0x1n);
|
||||
testMod(-0x3n, -0x3n, 0x0n);
|
||||
testMod(-0x3n, -0x1234n, -0x3n);
|
||||
testMod(-0x3n, -0xFEDCBA97n, -0x3n);
|
||||
testMod(-0x3n, -0xFEDCBA98n, -0x3n);
|
||||
testMod(-0x3n, -0xFEDCBA987654320Fn, -0x3n);
|
||||
testMod(-0x3n, -0xFEDCBA9876543210n, -0x3n);
|
||||
testMod(-0x1234n, 0xFEDCBA9876543210n, -0x1234n);
|
||||
testMod(-0x1234n, 0xFEDCBA987654320Fn, -0x1234n);
|
||||
testMod(-0x1234n, 0xFEDCBA98n, -0x1234n);
|
||||
testMod(-0x1234n, 0xFEDCBA97n, -0x1234n);
|
||||
testMod(-0x1234n, 0x1234n, 0x0n);
|
||||
testMod(-0x1234n, 0x3n, -0x1n);
|
||||
testMod(-0x1234n, 0x2n, 0x0n);
|
||||
testMod(-0x1234n, 0x1n, 0x0n);
|
||||
testMod(-0x1234n, -0x1n, 0x0n);
|
||||
testMod(-0x1234n, -0x2n, 0x0n);
|
||||
testMod(-0x1234n, -0x3n, -0x1n);
|
||||
testMod(-0x1234n, -0x1234n, 0x0n);
|
||||
testMod(-0x1234n, -0xFEDCBA97n, -0x1234n);
|
||||
testMod(-0x1234n, -0xFEDCBA98n, -0x1234n);
|
||||
testMod(-0x1234n, -0xFEDCBA987654320Fn, -0x1234n);
|
||||
testMod(-0x1234n, -0xFEDCBA9876543210n, -0x1234n);
|
||||
testMod(-0xFEDCBA97n, 0xFEDCBA9876543210n, -0xFEDCBA97n);
|
||||
testMod(-0xFEDCBA97n, 0xFEDCBA987654320Fn, -0xFEDCBA97n);
|
||||
testMod(-0xFEDCBA97n, 0xFEDCBA98n, -0xFEDCBA97n);
|
||||
testMod(-0xFEDCBA97n, 0xFEDCBA97n, 0x0n);
|
||||
testMod(-0xFEDCBA97n, 0x1234n, -0x92Fn);
|
||||
testMod(-0xFEDCBA97n, 0x3n, -0x1n);
|
||||
testMod(-0xFEDCBA97n, 0x2n, -0x1n);
|
||||
testMod(-0xFEDCBA97n, 0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA97n, -0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA97n, -0x2n, -0x1n);
|
||||
testMod(-0xFEDCBA97n, -0x3n, -0x1n);
|
||||
testMod(-0xFEDCBA97n, -0x1234n, -0x92Fn);
|
||||
testMod(-0xFEDCBA97n, -0xFEDCBA97n, 0x0n);
|
||||
testMod(-0xFEDCBA97n, -0xFEDCBA98n, -0xFEDCBA97n);
|
||||
testMod(-0xFEDCBA97n, -0xFEDCBA987654320Fn, -0xFEDCBA97n);
|
||||
testMod(-0xFEDCBA97n, -0xFEDCBA9876543210n, -0xFEDCBA97n);
|
||||
testMod(-0xFEDCBA98n, 0xFEDCBA9876543210n, -0xFEDCBA98n);
|
||||
testMod(-0xFEDCBA98n, 0xFEDCBA987654320Fn, -0xFEDCBA98n);
|
||||
testMod(-0xFEDCBA98n, 0xFEDCBA98n, 0x0n);
|
||||
testMod(-0xFEDCBA98n, 0xFEDCBA97n, -0x1n);
|
||||
testMod(-0xFEDCBA98n, 0x1234n, -0x930n);
|
||||
testMod(-0xFEDCBA98n, 0x3n, -0x2n);
|
||||
testMod(-0xFEDCBA98n, 0x2n, 0x0n);
|
||||
testMod(-0xFEDCBA98n, 0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA98n, -0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA98n, -0x2n, 0x0n);
|
||||
testMod(-0xFEDCBA98n, -0x3n, -0x2n);
|
||||
testMod(-0xFEDCBA98n, -0x1234n, -0x930n);
|
||||
testMod(-0xFEDCBA98n, -0xFEDCBA97n, -0x1n);
|
||||
testMod(-0xFEDCBA98n, -0xFEDCBA98n, 0x0n);
|
||||
testMod(-0xFEDCBA98n, -0xFEDCBA987654320Fn, -0xFEDCBA98n);
|
||||
testMod(-0xFEDCBA98n, -0xFEDCBA9876543210n, -0xFEDCBA98n);
|
||||
testMod(-0xFEDCBA987654320Fn, 0xFEDCBA9876543210n, -0xFEDCBA987654320Fn);
|
||||
testMod(-0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testMod(-0xFEDCBA987654320Fn, 0xFEDCBA98n, -0x7654320Fn);
|
||||
testMod(-0xFEDCBA987654320Fn, 0xFEDCBA97n, -0x77777778n);
|
||||
testMod(-0xFEDCBA987654320Fn, 0x1234n, -0x95Fn);
|
||||
testMod(-0xFEDCBA987654320Fn, 0x3n, -0x2n);
|
||||
testMod(-0xFEDCBA987654320Fn, 0x2n, -0x1n);
|
||||
testMod(-0xFEDCBA987654320Fn, 0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA987654320Fn, -0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA987654320Fn, -0x2n, -0x1n);
|
||||
testMod(-0xFEDCBA987654320Fn, -0x3n, -0x2n);
|
||||
testMod(-0xFEDCBA987654320Fn, -0x1234n, -0x95Fn);
|
||||
testMod(-0xFEDCBA987654320Fn, -0xFEDCBA97n, -0x77777778n);
|
||||
testMod(-0xFEDCBA987654320Fn, -0xFEDCBA98n, -0x7654320Fn);
|
||||
testMod(-0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testMod(-0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, -0xFEDCBA987654320Fn);
|
||||
testMod(-0xFEDCBA9876543210n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, -0x1n);
|
||||
testMod(-0xFEDCBA9876543210n, 0xFEDCBA98n, -0x76543210n);
|
||||
testMod(-0xFEDCBA9876543210n, 0xFEDCBA97n, -0x77777779n);
|
||||
testMod(-0xFEDCBA9876543210n, 0x1234n, -0x960n);
|
||||
testMod(-0xFEDCBA9876543210n, 0x3n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, 0x2n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, 0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, -0x1n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, -0x2n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, -0x3n, 0x0n);
|
||||
testMod(-0xFEDCBA9876543210n, -0x1234n, -0x960n);
|
||||
testMod(-0xFEDCBA9876543210n, -0xFEDCBA97n, -0x77777779n);
|
||||
testMod(-0xFEDCBA9876543210n, -0xFEDCBA98n, -0x76543210n);
|
||||
testMod(-0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, -0x1n);
|
||||
testMod(-0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0x0n);
|
||||
|
|
@ -0,0 +1,167 @@
|
|||
// Copyright (C) 2017 Robin Templeton. All rights reserved.
|
||||
// This code is governed by the BSD license found in the LICENSE file.
|
||||
|
||||
/*---
|
||||
esid: sec-multiplicative-operators-runtime-semantics-evaluation
|
||||
description: BigInt multiplication arithmetic
|
||||
features: [BigInt]
|
||||
---*/
|
||||
|
||||
function testMul(x, y, z) {
|
||||
assert.sameValue(x * y, z, x + " * " + y + " = " + z);
|
||||
assert.sameValue(y * x, z, y + " * " + x + " = " + z);
|
||||
}
|
||||
|
||||
testMul(0xFEDCBA9876543210n, 0xFEDCBA9876543210n, 0xFDBAC097C8DC5ACCDEEC6CD7A44A4100n);
|
||||
testMul(0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, 0xFDBAC097C8DC5ACBE00FB23F2DF60EF0n);
|
||||
testMul(0xFEDCBA9876543210n, 0xFEDCBA98n, 0xFDBAC097530ECA86541D5980n);
|
||||
testMul(0xFEDCBA9876543210n, 0xFEDCBA97n, 0xFDBAC09654320FEDDDC92770n);
|
||||
testMul(0xFEDCBA9876543210n, 0x1234n, 0x121F49F49F49F49F4B40n);
|
||||
testMul(0xFEDCBA9876543210n, 0x3n, 0x2FC962FC962FC9630n);
|
||||
testMul(0xFEDCBA9876543210n, 0x2n, 0x1FDB97530ECA86420n);
|
||||
testMul(0xFEDCBA9876543210n, 0x1n, 0xFEDCBA9876543210n);
|
||||
testMul(0xFEDCBA9876543210n, 0x0n, 0x0n);
|
||||
testMul(0xFEDCBA9876543210n, -0x1n, -0xFEDCBA9876543210n);
|
||||
testMul(0xFEDCBA9876543210n, -0x2n, -0x1FDB97530ECA86420n);
|
||||
testMul(0xFEDCBA9876543210n, -0x3n, -0x2FC962FC962FC9630n);
|
||||
testMul(0xFEDCBA9876543210n, -0x1234n, -0x121F49F49F49F49F4B40n);
|
||||
testMul(0xFEDCBA9876543210n, -0xFEDCBA97n, -0xFDBAC09654320FEDDDC92770n);
|
||||
testMul(0xFEDCBA9876543210n, -0xFEDCBA98n, -0xFDBAC097530ECA86541D5980n);
|
||||
testMul(0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, -0xFDBAC097C8DC5ACBE00FB23F2DF60EF0n);
|
||||
testMul(0xFEDCBA9876543210n, -0xFEDCBA9876543210n, -0xFDBAC097C8DC5ACCDEEC6CD7A44A4100n);
|
||||
testMul(0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, 0xFDBAC097C8DC5ACAE132F7A6B7A1DCE1n);
|
||||
testMul(0xFEDCBA987654320Fn, 0xFEDCBA98n, 0xFDBAC097530ECA8555409EE8n);
|
||||
testMul(0xFEDCBA987654320Fn, 0xFEDCBA97n, 0xFDBAC09654320FECDEEC6CD9n);
|
||||
testMul(0xFEDCBA987654320Fn, 0x1234n, 0x121F49F49F49F49F390Cn);
|
||||
testMul(0xFEDCBA987654320Fn, 0x3n, 0x2FC962FC962FC962Dn);
|
||||
testMul(0xFEDCBA987654320Fn, 0x2n, 0x1FDB97530ECA8641En);
|
||||
testMul(0xFEDCBA987654320Fn, 0x1n, 0xFEDCBA987654320Fn);
|
||||
testMul(0xFEDCBA987654320Fn, 0x0n, 0x0n);
|
||||
testMul(0xFEDCBA987654320Fn, -0x1n, -0xFEDCBA987654320Fn);
|
||||
testMul(0xFEDCBA987654320Fn, -0x2n, -0x1FDB97530ECA8641En);
|
||||
testMul(0xFEDCBA987654320Fn, -0x3n, -0x2FC962FC962FC962Dn);
|
||||
testMul(0xFEDCBA987654320Fn, -0x1234n, -0x121F49F49F49F49F390Cn);
|
||||
testMul(0xFEDCBA987654320Fn, -0xFEDCBA97n, -0xFDBAC09654320FECDEEC6CD9n);
|
||||
testMul(0xFEDCBA987654320Fn, -0xFEDCBA98n, -0xFDBAC097530ECA8555409EE8n);
|
||||
testMul(0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, -0xFDBAC097C8DC5ACAE132F7A6B7A1DCE1n);
|
||||
testMul(0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, -0xFDBAC097C8DC5ACBE00FB23F2DF60EF0n);
|
||||
testMul(0xFEDCBA98n, 0xFEDCBA98n, 0xFDBAC096DD413A40n);
|
||||
testMul(0xFEDCBA98n, 0xFEDCBA97n, 0xFDBAC095DE647FA8n);
|
||||
testMul(0xFEDCBA98n, 0x1234n, 0x121F49F496E0n);
|
||||
testMul(0xFEDCBA98n, 0x3n, 0x2FC962FC8n);
|
||||
testMul(0xFEDCBA98n, 0x2n, 0x1FDB97530n);
|
||||
testMul(0xFEDCBA98n, 0x1n, 0xFEDCBA98n);
|
||||
testMul(0xFEDCBA98n, 0x0n, 0x0n);
|
||||
testMul(0xFEDCBA98n, -0x1n, -0xFEDCBA98n);
|
||||
testMul(0xFEDCBA98n, -0x2n, -0x1FDB97530n);
|
||||
testMul(0xFEDCBA98n, -0x3n, -0x2FC962FC8n);
|
||||
testMul(0xFEDCBA98n, -0x1234n, -0x121F49F496E0n);
|
||||
testMul(0xFEDCBA98n, -0xFEDCBA97n, -0xFDBAC095DE647FA8n);
|
||||
testMul(0xFEDCBA98n, -0xFEDCBA98n, -0xFDBAC096DD413A40n);
|
||||
testMul(0xFEDCBA98n, -0xFEDCBA987654320Fn, -0xFDBAC097530ECA8555409EE8n);
|
||||
testMul(0xFEDCBA98n, -0xFEDCBA9876543210n, -0xFDBAC097530ECA86541D5980n);
|
||||
testMul(0xFEDCBA97n, 0xFEDCBA97n, 0xFDBAC094DF87C511n);
|
||||
testMul(0xFEDCBA97n, 0x1234n, 0x121F49F484ACn);
|
||||
testMul(0xFEDCBA97n, 0x3n, 0x2FC962FC5n);
|
||||
testMul(0xFEDCBA97n, 0x2n, 0x1FDB9752En);
|
||||
testMul(0xFEDCBA97n, 0x1n, 0xFEDCBA97n);
|
||||
testMul(0xFEDCBA97n, 0x0n, 0x0n);
|
||||
testMul(0xFEDCBA97n, -0x1n, -0xFEDCBA97n);
|
||||
testMul(0xFEDCBA97n, -0x2n, -0x1FDB9752En);
|
||||
testMul(0xFEDCBA97n, -0x3n, -0x2FC962FC5n);
|
||||
testMul(0xFEDCBA97n, -0x1234n, -0x121F49F484ACn);
|
||||
testMul(0xFEDCBA97n, -0xFEDCBA97n, -0xFDBAC094DF87C511n);
|
||||
testMul(0xFEDCBA97n, -0xFEDCBA98n, -0xFDBAC095DE647FA8n);
|
||||
testMul(0xFEDCBA97n, -0xFEDCBA987654320Fn, -0xFDBAC09654320FECDEEC6CD9n);
|
||||
testMul(0xFEDCBA97n, -0xFEDCBA9876543210n, -0xFDBAC09654320FEDDDC92770n);
|
||||
testMul(0x1234n, 0x1234n, 0x14B5A90n);
|
||||
testMul(0x1234n, 0x3n, 0x369Cn);
|
||||
testMul(0x1234n, 0x2n, 0x2468n);
|
||||
testMul(0x1234n, 0x1n, 0x1234n);
|
||||
testMul(0x1234n, 0x0n, 0x0n);
|
||||
testMul(0x1234n, -0x1n, -0x1234n);
|
||||
testMul(0x1234n, -0x2n, -0x2468n);
|
||||
testMul(0x1234n, -0x3n, -0x369Cn);
|
||||
testMul(0x1234n, -0x1234n, -0x14B5A90n);
|
||||
testMul(0x1234n, -0xFEDCBA97n, -0x121F49F484ACn);
|
||||
testMul(0x1234n, -0xFEDCBA98n, -0x121F49F496E0n);
|
||||
testMul(0x1234n, -0xFEDCBA987654320Fn, -0x121F49F49F49F49F390Cn);
|
||||
testMul(0x1234n, -0xFEDCBA9876543210n, -0x121F49F49F49F49F4B40n);
|
||||
testMul(0x3n, 0x3n, 0x9n);
|
||||
testMul(0x3n, 0x2n, 0x6n);
|
||||
testMul(0x3n, 0x1n, 0x3n);
|
||||
testMul(0x3n, 0x0n, 0x0n);
|
||||
testMul(0x3n, -0x1n, -0x3n);
|
||||
testMul(0x3n, -0x2n, -0x6n);
|
||||
testMul(0x3n, -0x3n, -0x9n);
|
||||
testMul(0x3n, -0x1234n, -0x369Cn);
|
||||
testMul(0x3n, -0xFEDCBA97n, -0x2FC962FC5n);
|
||||
testMul(0x3n, -0xFEDCBA98n, -0x2FC962FC8n);
|
||||
testMul(0x3n, -0xFEDCBA987654320Fn, -0x2FC962FC962FC962Dn);
|
||||
testMul(0x3n, -0xFEDCBA9876543210n, -0x2FC962FC962FC9630n);
|
||||
testMul(0x2n, 0x2n, 0x4n);
|
||||
testMul(0x2n, 0x1n, 0x2n);
|
||||
testMul(0x2n, 0x0n, 0x0n);
|
||||
testMul(0x2n, -0x1n, -0x2n);
|
||||
testMul(0x2n, -0x2n, -0x4n);
|
||||
testMul(0x2n, -0x3n, -0x6n);
|
||||
testMul(0x2n, -0x1234n, -0x2468n);
|
||||
testMul(0x2n, -0xFEDCBA97n, -0x1FDB9752En);
|
||||
testMul(0x2n, -0xFEDCBA98n, -0x1FDB97530n);
|
||||
testMul(0x2n, -0xFEDCBA987654320Fn, -0x1FDB97530ECA8641En);
|
||||
testMul(0x2n, -0xFEDCBA9876543210n, -0x1FDB97530ECA86420n);
|
||||
testMul(0x1n, 0x1n, 0x1n);
|
||||
testMul(0x1n, 0x0n, 0x0n);
|
||||
testMul(0x1n, -0x1n, -0x1n);
|
||||
testMul(0x1n, -0x2n, -0x2n);
|
||||
testMul(0x1n, -0x3n, -0x3n);
|
||||
testMul(0x1n, -0x1234n, -0x1234n);
|
||||
testMul(0x1n, -0xFEDCBA97n, -0xFEDCBA97n);
|
||||
testMul(0x1n, -0xFEDCBA98n, -0xFEDCBA98n);
|
||||
testMul(0x1n, -0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn);
|
||||
testMul(0x1n, -0xFEDCBA9876543210n, -0xFEDCBA9876543210n);
|
||||
testMul(0x0n, 0x0n, 0x0n);
|
||||
testMul(0x0n, -0x1n, 0x0n);
|
||||
testMul(0x0n, -0x2n, 0x0n);
|
||||
testMul(0x0n, -0x3n, 0x0n);
|
||||
testMul(0x0n, -0x1234n, 0x0n);
|
||||
testMul(0x0n, -0xFEDCBA97n, 0x0n);
|
||||
testMul(0x0n, -0xFEDCBA98n, 0x0n);
|
||||
testMul(0x0n, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testMul(0x0n, -0xFEDCBA9876543210n, 0x0n);
|
||||
testMul(-0x1n, -0x1n, 0x1n);
|
||||
testMul(-0x1n, -0x2n, 0x2n);
|
||||
testMul(-0x1n, -0x3n, 0x3n);
|
||||
testMul(-0x1n, -0x1234n, 0x1234n);
|
||||
testMul(-0x1n, -0xFEDCBA97n, 0xFEDCBA97n);
|
||||
testMul(-0x1n, -0xFEDCBA98n, 0xFEDCBA98n);
|
||||
testMul(-0x1n, -0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn);
|
||||
testMul(-0x1n, -0xFEDCBA9876543210n, 0xFEDCBA9876543210n);
|
||||
testMul(-0x2n, -0x2n, 0x4n);
|
||||
testMul(-0x2n, -0x3n, 0x6n);
|
||||
testMul(-0x2n, -0x1234n, 0x2468n);
|
||||
testMul(-0x2n, -0xFEDCBA97n, 0x1FDB9752En);
|
||||
testMul(-0x2n, -0xFEDCBA98n, 0x1FDB97530n);
|
||||
testMul(-0x2n, -0xFEDCBA987654320Fn, 0x1FDB97530ECA8641En);
|
||||
testMul(-0x2n, -0xFEDCBA9876543210n, 0x1FDB97530ECA86420n);
|
||||
testMul(-0x3n, -0x3n, 0x9n);
|
||||
testMul(-0x3n, -0x1234n, 0x369Cn);
|
||||
testMul(-0x3n, -0xFEDCBA97n, 0x2FC962FC5n);
|
||||
testMul(-0x3n, -0xFEDCBA98n, 0x2FC962FC8n);
|
||||
testMul(-0x3n, -0xFEDCBA987654320Fn, 0x2FC962FC962FC962Dn);
|
||||
testMul(-0x3n, -0xFEDCBA9876543210n, 0x2FC962FC962FC9630n);
|
||||
testMul(-0x1234n, -0x1234n, 0x14B5A90n);
|
||||
testMul(-0x1234n, -0xFEDCBA97n, 0x121F49F484ACn);
|
||||
testMul(-0x1234n, -0xFEDCBA98n, 0x121F49F496E0n);
|
||||
testMul(-0x1234n, -0xFEDCBA987654320Fn, 0x121F49F49F49F49F390Cn);
|
||||
testMul(-0x1234n, -0xFEDCBA9876543210n, 0x121F49F49F49F49F4B40n);
|
||||
testMul(-0xFEDCBA97n, -0xFEDCBA97n, 0xFDBAC094DF87C511n);
|
||||
testMul(-0xFEDCBA97n, -0xFEDCBA98n, 0xFDBAC095DE647FA8n);
|
||||
testMul(-0xFEDCBA97n, -0xFEDCBA987654320Fn, 0xFDBAC09654320FECDEEC6CD9n);
|
||||
testMul(-0xFEDCBA97n, -0xFEDCBA9876543210n, 0xFDBAC09654320FEDDDC92770n);
|
||||
testMul(-0xFEDCBA98n, -0xFEDCBA98n, 0xFDBAC096DD413A40n);
|
||||
testMul(-0xFEDCBA98n, -0xFEDCBA987654320Fn, 0xFDBAC097530ECA8555409EE8n);
|
||||
testMul(-0xFEDCBA98n, -0xFEDCBA9876543210n, 0xFDBAC097530ECA86541D5980n);
|
||||
testMul(-0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0xFDBAC097C8DC5ACAE132F7A6B7A1DCE1n);
|
||||
testMul(-0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, 0xFDBAC097C8DC5ACBE00FB23F2DF60EF0n);
|
||||
testMul(-0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0xFDBAC097C8DC5ACCDEEC6CD7A44A4100n);
|
||||
|
|
@ -0,0 +1,302 @@
|
|||
// Copyright (C) 2017 Robin Templeton. All rights reserved.
|
||||
// This code is governed by the BSD license found in the LICENSE file.
|
||||
|
||||
/*---
|
||||
esid: sec-subtraction-operator-minus-runtime-semantics-evaluation
|
||||
description: BigInt subtraction arithmetic
|
||||
features: [BigInt]
|
||||
---*/
|
||||
|
||||
function testSub(x, y, z) {
|
||||
assert.sameValue(x - y, z, x + " - " + y + " = " + z);
|
||||
}
|
||||
|
||||
testSub(0xFEDCBA9876543210n, 0xFEDCBA9876543210n, 0x0n);
|
||||
testSub(0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, 0x1n);
|
||||
testSub(0xFEDCBA9876543210n, 0xFEDCBA98n, 0xFEDCBA9777777778n);
|
||||
testSub(0xFEDCBA9876543210n, 0xFEDCBA97n, 0xFEDCBA9777777779n);
|
||||
testSub(0xFEDCBA9876543210n, 0x1234n, 0xFEDCBA9876541FDCn);
|
||||
testSub(0xFEDCBA9876543210n, 0x3n, 0xFEDCBA987654320Dn);
|
||||
testSub(0xFEDCBA9876543210n, 0x2n, 0xFEDCBA987654320En);
|
||||
testSub(0xFEDCBA9876543210n, 0x1n, 0xFEDCBA987654320Fn);
|
||||
testSub(0xFEDCBA9876543210n, 0x0n, 0xFEDCBA9876543210n);
|
||||
testSub(0xFEDCBA9876543210n, -0x1n, 0xFEDCBA9876543211n);
|
||||
testSub(0xFEDCBA9876543210n, -0x2n, 0xFEDCBA9876543212n);
|
||||
testSub(0xFEDCBA9876543210n, -0x3n, 0xFEDCBA9876543213n);
|
||||
testSub(0xFEDCBA9876543210n, -0x1234n, 0xFEDCBA9876544444n);
|
||||
testSub(0xFEDCBA9876543210n, -0xFEDCBA97n, 0xFEDCBA997530ECA7n);
|
||||
testSub(0xFEDCBA9876543210n, -0xFEDCBA98n, 0xFEDCBA997530ECA8n);
|
||||
testSub(0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, 0x1FDB97530ECA8641Fn);
|
||||
testSub(0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0x1FDB97530ECA86420n);
|
||||
testSub(0xFEDCBA987654320Fn, 0xFEDCBA9876543210n, -0x1n);
|
||||
testSub(0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, 0x0n);
|
||||
testSub(0xFEDCBA987654320Fn, 0xFEDCBA98n, 0xFEDCBA9777777777n);
|
||||
testSub(0xFEDCBA987654320Fn, 0xFEDCBA97n, 0xFEDCBA9777777778n);
|
||||
testSub(0xFEDCBA987654320Fn, 0x1234n, 0xFEDCBA9876541FDBn);
|
||||
testSub(0xFEDCBA987654320Fn, 0x3n, 0xFEDCBA987654320Cn);
|
||||
testSub(0xFEDCBA987654320Fn, 0x2n, 0xFEDCBA987654320Dn);
|
||||
testSub(0xFEDCBA987654320Fn, 0x1n, 0xFEDCBA987654320En);
|
||||
testSub(0xFEDCBA987654320Fn, 0x0n, 0xFEDCBA987654320Fn);
|
||||
testSub(0xFEDCBA987654320Fn, -0x1n, 0xFEDCBA9876543210n);
|
||||
testSub(0xFEDCBA987654320Fn, -0x2n, 0xFEDCBA9876543211n);
|
||||
testSub(0xFEDCBA987654320Fn, -0x3n, 0xFEDCBA9876543212n);
|
||||
testSub(0xFEDCBA987654320Fn, -0x1234n, 0xFEDCBA9876544443n);
|
||||
testSub(0xFEDCBA987654320Fn, -0xFEDCBA97n, 0xFEDCBA997530ECA6n);
|
||||
testSub(0xFEDCBA987654320Fn, -0xFEDCBA98n, 0xFEDCBA997530ECA7n);
|
||||
testSub(0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0x1FDB97530ECA8641En);
|
||||
testSub(0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, 0x1FDB97530ECA8641Fn);
|
||||
testSub(0xFEDCBA98n, 0xFEDCBA9876543210n, -0xFEDCBA9777777778n);
|
||||
testSub(0xFEDCBA98n, 0xFEDCBA987654320Fn, -0xFEDCBA9777777777n);
|
||||
testSub(0xFEDCBA98n, 0xFEDCBA98n, 0x0n);
|
||||
testSub(0xFEDCBA98n, 0xFEDCBA97n, 0x1n);
|
||||
testSub(0xFEDCBA98n, 0x1234n, 0xFEDCA864n);
|
||||
testSub(0xFEDCBA98n, 0x3n, 0xFEDCBA95n);
|
||||
testSub(0xFEDCBA98n, 0x2n, 0xFEDCBA96n);
|
||||
testSub(0xFEDCBA98n, 0x1n, 0xFEDCBA97n);
|
||||
testSub(0xFEDCBA98n, 0x0n, 0xFEDCBA98n);
|
||||
testSub(0xFEDCBA98n, -0x1n, 0xFEDCBA99n);
|
||||
testSub(0xFEDCBA98n, -0x2n, 0xFEDCBA9An);
|
||||
testSub(0xFEDCBA98n, -0x3n, 0xFEDCBA9Bn);
|
||||
testSub(0xFEDCBA98n, -0x1234n, 0xFEDCCCCCn);
|
||||
testSub(0xFEDCBA98n, -0xFEDCBA97n, 0x1FDB9752Fn);
|
||||
testSub(0xFEDCBA98n, -0xFEDCBA98n, 0x1FDB97530n);
|
||||
testSub(0xFEDCBA98n, -0xFEDCBA987654320Fn, 0xFEDCBA997530ECA7n);
|
||||
testSub(0xFEDCBA98n, -0xFEDCBA9876543210n, 0xFEDCBA997530ECA8n);
|
||||
testSub(0xFEDCBA97n, 0xFEDCBA9876543210n, -0xFEDCBA9777777779n);
|
||||
testSub(0xFEDCBA97n, 0xFEDCBA987654320Fn, -0xFEDCBA9777777778n);
|
||||
testSub(0xFEDCBA97n, 0xFEDCBA98n, -0x1n);
|
||||
testSub(0xFEDCBA97n, 0xFEDCBA97n, 0x0n);
|
||||
testSub(0xFEDCBA97n, 0x1234n, 0xFEDCA863n);
|
||||
testSub(0xFEDCBA97n, 0x3n, 0xFEDCBA94n);
|
||||
testSub(0xFEDCBA97n, 0x2n, 0xFEDCBA95n);
|
||||
testSub(0xFEDCBA97n, 0x1n, 0xFEDCBA96n);
|
||||
testSub(0xFEDCBA97n, 0x0n, 0xFEDCBA97n);
|
||||
testSub(0xFEDCBA97n, -0x1n, 0xFEDCBA98n);
|
||||
testSub(0xFEDCBA97n, -0x2n, 0xFEDCBA99n);
|
||||
testSub(0xFEDCBA97n, -0x3n, 0xFEDCBA9An);
|
||||
testSub(0xFEDCBA97n, -0x1234n, 0xFEDCCCCBn);
|
||||
testSub(0xFEDCBA97n, -0xFEDCBA97n, 0x1FDB9752En);
|
||||
testSub(0xFEDCBA97n, -0xFEDCBA98n, 0x1FDB9752Fn);
|
||||
testSub(0xFEDCBA97n, -0xFEDCBA987654320Fn, 0xFEDCBA997530ECA6n);
|
||||
testSub(0xFEDCBA97n, -0xFEDCBA9876543210n, 0xFEDCBA997530ECA7n);
|
||||
testSub(0x1234n, 0xFEDCBA9876543210n, -0xFEDCBA9876541FDCn);
|
||||
testSub(0x1234n, 0xFEDCBA987654320Fn, -0xFEDCBA9876541FDBn);
|
||||
testSub(0x1234n, 0xFEDCBA98n, -0xFEDCA864n);
|
||||
testSub(0x1234n, 0xFEDCBA97n, -0xFEDCA863n);
|
||||
testSub(0x1234n, 0x1234n, 0x0n);
|
||||
testSub(0x1234n, 0x3n, 0x1231n);
|
||||
testSub(0x1234n, 0x2n, 0x1232n);
|
||||
testSub(0x1234n, 0x1n, 0x1233n);
|
||||
testSub(0x1234n, 0x0n, 0x1234n);
|
||||
testSub(0x1234n, -0x1n, 0x1235n);
|
||||
testSub(0x1234n, -0x2n, 0x1236n);
|
||||
testSub(0x1234n, -0x3n, 0x1237n);
|
||||
testSub(0x1234n, -0x1234n, 0x2468n);
|
||||
testSub(0x1234n, -0xFEDCBA97n, 0xFEDCCCCBn);
|
||||
testSub(0x1234n, -0xFEDCBA98n, 0xFEDCCCCCn);
|
||||
testSub(0x1234n, -0xFEDCBA987654320Fn, 0xFEDCBA9876544443n);
|
||||
testSub(0x1234n, -0xFEDCBA9876543210n, 0xFEDCBA9876544444n);
|
||||
testSub(0x3n, 0xFEDCBA9876543210n, -0xFEDCBA987654320Dn);
|
||||
testSub(0x3n, 0xFEDCBA987654320Fn, -0xFEDCBA987654320Cn);
|
||||
testSub(0x3n, 0xFEDCBA98n, -0xFEDCBA95n);
|
||||
testSub(0x3n, 0xFEDCBA97n, -0xFEDCBA94n);
|
||||
testSub(0x3n, 0x1234n, -0x1231n);
|
||||
testSub(0x3n, 0x3n, 0x0n);
|
||||
testSub(0x3n, 0x2n, 0x1n);
|
||||
testSub(0x3n, 0x1n, 0x2n);
|
||||
testSub(0x3n, 0x0n, 0x3n);
|
||||
testSub(0x3n, -0x1n, 0x4n);
|
||||
testSub(0x3n, -0x2n, 0x5n);
|
||||
testSub(0x3n, -0x3n, 0x6n);
|
||||
testSub(0x3n, -0x1234n, 0x1237n);
|
||||
testSub(0x3n, -0xFEDCBA97n, 0xFEDCBA9An);
|
||||
testSub(0x3n, -0xFEDCBA98n, 0xFEDCBA9Bn);
|
||||
testSub(0x3n, -0xFEDCBA987654320Fn, 0xFEDCBA9876543212n);
|
||||
testSub(0x3n, -0xFEDCBA9876543210n, 0xFEDCBA9876543213n);
|
||||
testSub(0x2n, 0xFEDCBA9876543210n, -0xFEDCBA987654320En);
|
||||
testSub(0x2n, 0xFEDCBA987654320Fn, -0xFEDCBA987654320Dn);
|
||||
testSub(0x2n, 0xFEDCBA98n, -0xFEDCBA96n);
|
||||
testSub(0x2n, 0xFEDCBA97n, -0xFEDCBA95n);
|
||||
testSub(0x2n, 0x1234n, -0x1232n);
|
||||
testSub(0x2n, 0x3n, -0x1n);
|
||||
testSub(0x2n, 0x2n, 0x0n);
|
||||
testSub(0x2n, 0x1n, 0x1n);
|
||||
testSub(0x2n, 0x0n, 0x2n);
|
||||
testSub(0x2n, -0x1n, 0x3n);
|
||||
testSub(0x2n, -0x2n, 0x4n);
|
||||
testSub(0x2n, -0x3n, 0x5n);
|
||||
testSub(0x2n, -0x1234n, 0x1236n);
|
||||
testSub(0x2n, -0xFEDCBA97n, 0xFEDCBA99n);
|
||||
testSub(0x2n, -0xFEDCBA98n, 0xFEDCBA9An);
|
||||
testSub(0x2n, -0xFEDCBA987654320Fn, 0xFEDCBA9876543211n);
|
||||
testSub(0x2n, -0xFEDCBA9876543210n, 0xFEDCBA9876543212n);
|
||||
testSub(0x1n, 0xFEDCBA9876543210n, -0xFEDCBA987654320Fn);
|
||||
testSub(0x1n, 0xFEDCBA987654320Fn, -0xFEDCBA987654320En);
|
||||
testSub(0x1n, 0xFEDCBA98n, -0xFEDCBA97n);
|
||||
testSub(0x1n, 0xFEDCBA97n, -0xFEDCBA96n);
|
||||
testSub(0x1n, 0x1234n, -0x1233n);
|
||||
testSub(0x1n, 0x3n, -0x2n);
|
||||
testSub(0x1n, 0x2n, -0x1n);
|
||||
testSub(0x1n, 0x1n, 0x0n);
|
||||
testSub(0x1n, 0x0n, 0x1n);
|
||||
testSub(0x1n, -0x1n, 0x2n);
|
||||
testSub(0x1n, -0x2n, 0x3n);
|
||||
testSub(0x1n, -0x3n, 0x4n);
|
||||
testSub(0x1n, -0x1234n, 0x1235n);
|
||||
testSub(0x1n, -0xFEDCBA97n, 0xFEDCBA98n);
|
||||
testSub(0x1n, -0xFEDCBA98n, 0xFEDCBA99n);
|
||||
testSub(0x1n, -0xFEDCBA987654320Fn, 0xFEDCBA9876543210n);
|
||||
testSub(0x1n, -0xFEDCBA9876543210n, 0xFEDCBA9876543211n);
|
||||
testSub(0x0n, 0xFEDCBA9876543210n, -0xFEDCBA9876543210n);
|
||||
testSub(0x0n, 0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn);
|
||||
testSub(0x0n, 0xFEDCBA98n, -0xFEDCBA98n);
|
||||
testSub(0x0n, 0xFEDCBA97n, -0xFEDCBA97n);
|
||||
testSub(0x0n, 0x1234n, -0x1234n);
|
||||
testSub(0x0n, 0x3n, -0x3n);
|
||||
testSub(0x0n, 0x2n, -0x2n);
|
||||
testSub(0x0n, 0x1n, -0x1n);
|
||||
testSub(0x0n, 0x0n, 0x0n);
|
||||
testSub(0x0n, -0x1n, 0x1n);
|
||||
testSub(0x0n, -0x2n, 0x2n);
|
||||
testSub(0x0n, -0x3n, 0x3n);
|
||||
testSub(0x0n, -0x1234n, 0x1234n);
|
||||
testSub(0x0n, -0xFEDCBA97n, 0xFEDCBA97n);
|
||||
testSub(0x0n, -0xFEDCBA98n, 0xFEDCBA98n);
|
||||
testSub(0x0n, -0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn);
|
||||
testSub(0x0n, -0xFEDCBA9876543210n, 0xFEDCBA9876543210n);
|
||||
testSub(-0x1n, 0xFEDCBA9876543210n, -0xFEDCBA9876543211n);
|
||||
testSub(-0x1n, 0xFEDCBA987654320Fn, -0xFEDCBA9876543210n);
|
||||
testSub(-0x1n, 0xFEDCBA98n, -0xFEDCBA99n);
|
||||
testSub(-0x1n, 0xFEDCBA97n, -0xFEDCBA98n);
|
||||
testSub(-0x1n, 0x1234n, -0x1235n);
|
||||
testSub(-0x1n, 0x3n, -0x4n);
|
||||
testSub(-0x1n, 0x2n, -0x3n);
|
||||
testSub(-0x1n, 0x1n, -0x2n);
|
||||
testSub(-0x1n, 0x0n, -0x1n);
|
||||
testSub(-0x1n, -0x1n, 0x0n);
|
||||
testSub(-0x1n, -0x2n, 0x1n);
|
||||
testSub(-0x1n, -0x3n, 0x2n);
|
||||
testSub(-0x1n, -0x1234n, 0x1233n);
|
||||
testSub(-0x1n, -0xFEDCBA97n, 0xFEDCBA96n);
|
||||
testSub(-0x1n, -0xFEDCBA98n, 0xFEDCBA97n);
|
||||
testSub(-0x1n, -0xFEDCBA987654320Fn, 0xFEDCBA987654320En);
|
||||
testSub(-0x1n, -0xFEDCBA9876543210n, 0xFEDCBA987654320Fn);
|
||||
testSub(-0x2n, 0xFEDCBA9876543210n, -0xFEDCBA9876543212n);
|
||||
testSub(-0x2n, 0xFEDCBA987654320Fn, -0xFEDCBA9876543211n);
|
||||
testSub(-0x2n, 0xFEDCBA98n, -0xFEDCBA9An);
|
||||
testSub(-0x2n, 0xFEDCBA97n, -0xFEDCBA99n);
|
||||
testSub(-0x2n, 0x1234n, -0x1236n);
|
||||
testSub(-0x2n, 0x3n, -0x5n);
|
||||
testSub(-0x2n, 0x2n, -0x4n);
|
||||
testSub(-0x2n, 0x1n, -0x3n);
|
||||
testSub(-0x2n, 0x0n, -0x2n);
|
||||
testSub(-0x2n, -0x1n, -0x1n);
|
||||
testSub(-0x2n, -0x2n, 0x0n);
|
||||
testSub(-0x2n, -0x3n, 0x1n);
|
||||
testSub(-0x2n, -0x1234n, 0x1232n);
|
||||
testSub(-0x2n, -0xFEDCBA97n, 0xFEDCBA95n);
|
||||
testSub(-0x2n, -0xFEDCBA98n, 0xFEDCBA96n);
|
||||
testSub(-0x2n, -0xFEDCBA987654320Fn, 0xFEDCBA987654320Dn);
|
||||
testSub(-0x2n, -0xFEDCBA9876543210n, 0xFEDCBA987654320En);
|
||||
testSub(-0x3n, 0xFEDCBA9876543210n, -0xFEDCBA9876543213n);
|
||||
testSub(-0x3n, 0xFEDCBA987654320Fn, -0xFEDCBA9876543212n);
|
||||
testSub(-0x3n, 0xFEDCBA98n, -0xFEDCBA9Bn);
|
||||
testSub(-0x3n, 0xFEDCBA97n, -0xFEDCBA9An);
|
||||
testSub(-0x3n, 0x1234n, -0x1237n);
|
||||
testSub(-0x3n, 0x3n, -0x6n);
|
||||
testSub(-0x3n, 0x2n, -0x5n);
|
||||
testSub(-0x3n, 0x1n, -0x4n);
|
||||
testSub(-0x3n, 0x0n, -0x3n);
|
||||
testSub(-0x3n, -0x1n, -0x2n);
|
||||
testSub(-0x3n, -0x2n, -0x1n);
|
||||
testSub(-0x3n, -0x3n, 0x0n);
|
||||
testSub(-0x3n, -0x1234n, 0x1231n);
|
||||
testSub(-0x3n, -0xFEDCBA97n, 0xFEDCBA94n);
|
||||
testSub(-0x3n, -0xFEDCBA98n, 0xFEDCBA95n);
|
||||
testSub(-0x3n, -0xFEDCBA987654320Fn, 0xFEDCBA987654320Cn);
|
||||
testSub(-0x3n, -0xFEDCBA9876543210n, 0xFEDCBA987654320Dn);
|
||||
testSub(-0x1234n, 0xFEDCBA9876543210n, -0xFEDCBA9876544444n);
|
||||
testSub(-0x1234n, 0xFEDCBA987654320Fn, -0xFEDCBA9876544443n);
|
||||
testSub(-0x1234n, 0xFEDCBA98n, -0xFEDCCCCCn);
|
||||
testSub(-0x1234n, 0xFEDCBA97n, -0xFEDCCCCBn);
|
||||
testSub(-0x1234n, 0x1234n, -0x2468n);
|
||||
testSub(-0x1234n, 0x3n, -0x1237n);
|
||||
testSub(-0x1234n, 0x2n, -0x1236n);
|
||||
testSub(-0x1234n, 0x1n, -0x1235n);
|
||||
testSub(-0x1234n, 0x0n, -0x1234n);
|
||||
testSub(-0x1234n, -0x1n, -0x1233n);
|
||||
testSub(-0x1234n, -0x2n, -0x1232n);
|
||||
testSub(-0x1234n, -0x3n, -0x1231n);
|
||||
testSub(-0x1234n, -0x1234n, 0x0n);
|
||||
testSub(-0x1234n, -0xFEDCBA97n, 0xFEDCA863n);
|
||||
testSub(-0x1234n, -0xFEDCBA98n, 0xFEDCA864n);
|
||||
testSub(-0x1234n, -0xFEDCBA987654320Fn, 0xFEDCBA9876541FDBn);
|
||||
testSub(-0x1234n, -0xFEDCBA9876543210n, 0xFEDCBA9876541FDCn);
|
||||
testSub(-0xFEDCBA97n, 0xFEDCBA9876543210n, -0xFEDCBA997530ECA7n);
|
||||
testSub(-0xFEDCBA97n, 0xFEDCBA987654320Fn, -0xFEDCBA997530ECA6n);
|
||||
testSub(-0xFEDCBA97n, 0xFEDCBA98n, -0x1FDB9752Fn);
|
||||
testSub(-0xFEDCBA97n, 0xFEDCBA97n, -0x1FDB9752En);
|
||||
testSub(-0xFEDCBA97n, 0x1234n, -0xFEDCCCCBn);
|
||||
testSub(-0xFEDCBA97n, 0x3n, -0xFEDCBA9An);
|
||||
testSub(-0xFEDCBA97n, 0x2n, -0xFEDCBA99n);
|
||||
testSub(-0xFEDCBA97n, 0x1n, -0xFEDCBA98n);
|
||||
testSub(-0xFEDCBA97n, 0x0n, -0xFEDCBA97n);
|
||||
testSub(-0xFEDCBA97n, -0x1n, -0xFEDCBA96n);
|
||||
testSub(-0xFEDCBA97n, -0x2n, -0xFEDCBA95n);
|
||||
testSub(-0xFEDCBA97n, -0x3n, -0xFEDCBA94n);
|
||||
testSub(-0xFEDCBA97n, -0x1234n, -0xFEDCA863n);
|
||||
testSub(-0xFEDCBA97n, -0xFEDCBA97n, 0x0n);
|
||||
testSub(-0xFEDCBA97n, -0xFEDCBA98n, 0x1n);
|
||||
testSub(-0xFEDCBA97n, -0xFEDCBA987654320Fn, 0xFEDCBA9777777778n);
|
||||
testSub(-0xFEDCBA97n, -0xFEDCBA9876543210n, 0xFEDCBA9777777779n);
|
||||
testSub(-0xFEDCBA98n, 0xFEDCBA9876543210n, -0xFEDCBA997530ECA8n);
|
||||
testSub(-0xFEDCBA98n, 0xFEDCBA987654320Fn, -0xFEDCBA997530ECA7n);
|
||||
testSub(-0xFEDCBA98n, 0xFEDCBA98n, -0x1FDB97530n);
|
||||
testSub(-0xFEDCBA98n, 0xFEDCBA97n, -0x1FDB9752Fn);
|
||||
testSub(-0xFEDCBA98n, 0x1234n, -0xFEDCCCCCn);
|
||||
testSub(-0xFEDCBA98n, 0x3n, -0xFEDCBA9Bn);
|
||||
testSub(-0xFEDCBA98n, 0x2n, -0xFEDCBA9An);
|
||||
testSub(-0xFEDCBA98n, 0x1n, -0xFEDCBA99n);
|
||||
testSub(-0xFEDCBA98n, 0x0n, -0xFEDCBA98n);
|
||||
testSub(-0xFEDCBA98n, -0x1n, -0xFEDCBA97n);
|
||||
testSub(-0xFEDCBA98n, -0x2n, -0xFEDCBA96n);
|
||||
testSub(-0xFEDCBA98n, -0x3n, -0xFEDCBA95n);
|
||||
testSub(-0xFEDCBA98n, -0x1234n, -0xFEDCA864n);
|
||||
testSub(-0xFEDCBA98n, -0xFEDCBA97n, -0x1n);
|
||||
testSub(-0xFEDCBA98n, -0xFEDCBA98n, 0x0n);
|
||||
testSub(-0xFEDCBA98n, -0xFEDCBA987654320Fn, 0xFEDCBA9777777777n);
|
||||
testSub(-0xFEDCBA98n, -0xFEDCBA9876543210n, 0xFEDCBA9777777778n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0xFEDCBA9876543210n, -0x1FDB97530ECA8641Fn);
|
||||
testSub(-0xFEDCBA987654320Fn, 0xFEDCBA987654320Fn, -0x1FDB97530ECA8641En);
|
||||
testSub(-0xFEDCBA987654320Fn, 0xFEDCBA98n, -0xFEDCBA997530ECA7n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0xFEDCBA97n, -0xFEDCBA997530ECA6n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0x1234n, -0xFEDCBA9876544443n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0x3n, -0xFEDCBA9876543212n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0x2n, -0xFEDCBA9876543211n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0x1n, -0xFEDCBA9876543210n);
|
||||
testSub(-0xFEDCBA987654320Fn, 0x0n, -0xFEDCBA987654320Fn);
|
||||
testSub(-0xFEDCBA987654320Fn, -0x1n, -0xFEDCBA987654320En);
|
||||
testSub(-0xFEDCBA987654320Fn, -0x2n, -0xFEDCBA987654320Dn);
|
||||
testSub(-0xFEDCBA987654320Fn, -0x3n, -0xFEDCBA987654320Cn);
|
||||
testSub(-0xFEDCBA987654320Fn, -0x1234n, -0xFEDCBA9876541FDBn);
|
||||
testSub(-0xFEDCBA987654320Fn, -0xFEDCBA97n, -0xFEDCBA9777777778n);
|
||||
testSub(-0xFEDCBA987654320Fn, -0xFEDCBA98n, -0xFEDCBA9777777777n);
|
||||
testSub(-0xFEDCBA987654320Fn, -0xFEDCBA987654320Fn, 0x0n);
|
||||
testSub(-0xFEDCBA987654320Fn, -0xFEDCBA9876543210n, 0x1n);
|
||||
testSub(-0xFEDCBA9876543210n, 0xFEDCBA9876543210n, -0x1FDB97530ECA86420n);
|
||||
testSub(-0xFEDCBA9876543210n, 0xFEDCBA987654320Fn, -0x1FDB97530ECA8641Fn);
|
||||
testSub(-0xFEDCBA9876543210n, 0xFEDCBA98n, -0xFEDCBA997530ECA8n);
|
||||
testSub(-0xFEDCBA9876543210n, 0xFEDCBA97n, -0xFEDCBA997530ECA7n);
|
||||
testSub(-0xFEDCBA9876543210n, 0x1234n, -0xFEDCBA9876544444n);
|
||||
testSub(-0xFEDCBA9876543210n, 0x3n, -0xFEDCBA9876543213n);
|
||||
testSub(-0xFEDCBA9876543210n, 0x2n, -0xFEDCBA9876543212n);
|
||||
testSub(-0xFEDCBA9876543210n, 0x1n, -0xFEDCBA9876543211n);
|
||||
testSub(-0xFEDCBA9876543210n, 0x0n, -0xFEDCBA9876543210n);
|
||||
testSub(-0xFEDCBA9876543210n, -0x1n, -0xFEDCBA987654320Fn);
|
||||
testSub(-0xFEDCBA9876543210n, -0x2n, -0xFEDCBA987654320En);
|
||||
testSub(-0xFEDCBA9876543210n, -0x3n, -0xFEDCBA987654320Dn);
|
||||
testSub(-0xFEDCBA9876543210n, -0x1234n, -0xFEDCBA9876541FDCn);
|
||||
testSub(-0xFEDCBA9876543210n, -0xFEDCBA97n, -0xFEDCBA9777777779n);
|
||||
testSub(-0xFEDCBA9876543210n, -0xFEDCBA98n, -0xFEDCBA9777777778n);
|
||||
testSub(-0xFEDCBA9876543210n, -0xFEDCBA987654320Fn, -0x1n);
|
||||
testSub(-0xFEDCBA9876543210n, -0xFEDCBA9876543210n, 0x0n);
|
||||
Loading…
Reference in New Issue