Increment/decrement tests for references to BigInt values (#1261)

tc39 · Oct 4, 2017 · a88b08f · a88b08f
1 parent 6443289
commit a88b08f
Show file tree

Hide file tree

Showing 4 changed files with 252 additions and 0 deletions.
diff --git a/test/language/expressions/postfix-decrement/bigint.js b/test/language/expressions/postfix-decrement/bigint.js
@@ -0,0 +1,63 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Postfix decrement for references to BigInt values
+esid: sec-postfix-decrement-operator-runtime-semantics-evaluation
+info: |
+  1. Let expr be the result of evaluating UnaryExpression.
+  2. Let oldValue be ? ToNumeric(? GetValue(expr)).
+  3. Let newValue be ? Type(oldvalue)::subtract(oldValue, Type(oldValue)::unit).
+  4. Perform ? PutValue(expr, newValue).
+  5. Return oldValue. 
+
+features: [BigInt]
+---*/
+
+var x = 1n;
+assert.sameValue(x--, 1n, "var x = 1n; x-- === 1n");
+assert.sameValue(x, 0n, "var x = 1n; x--; x === 0n");
+
+var x = 0n;
+assert.sameValue(x--, 0n, "var x = 0n; x-- === 0n");
+assert.sameValue(x, -1n, "var x = 0n; x--; x === -1n");
+
+var x = 123457n;
+assert.sameValue(x--, 123457n, "var x = 123457n; x-- === 123457n");
+assert.sameValue(x, 123456n, "var x = 123457n; x--; x === 123456n");
+
+var x = -123456n;
+assert.sameValue(x--, -123456n, "var x = -123456n; x-- === -123456n");
+assert.sameValue(x, -123457n, "var x = -123456n; x--; x === -123457n");
+
+var x = 0x1fffffffffffff01n;
+assert.sameValue(x--, 0x1fffffffffffff01n, "var x = 0x1fffffffffffff01n; x-- === 0x1fffffffffffff01n");
+assert.sameValue(x, 0x1fffffffffffff00n, "var x = 0x1fffffffffffff01n; x--; x === 0x1fffffffffffff00n");
+
+var x = -0x1fffffffffffff00n;
+assert.sameValue(x--, -0x1fffffffffffff00n, "var x = -0x1fffffffffffff00n; x-- === -0x1fffffffffffff00n");
+assert.sameValue(x, -0x1fffffffffffff01n, "var x = -0x1fffffffffffff00n; x--; x === -0x1fffffffffffff01n");
+
+var x = {y:1n};
+assert.sameValue(x.y--, 1n, "var x = {y:1n}; x.y-- === 1n");
+assert.sameValue(x.y, 0n, "var x = {y:1n}; x.y--; x.y === 0n");
+
+var x = {y:{z:1n}};
+assert.sameValue(x.y.z--, 1n, "var x = {y:{z:1n}}; x.y.z-- === 1n");
+assert.sameValue(x.y.z, 0n, "var x = {y:{z:1n}}; x.y.z--; x.y.z === 0n");
+
+var x = [1n];
+assert.sameValue(x[0]--, 1n, "var x = [1n]; x[0]-- === 1n");
+assert.sameValue(x[0], 0n, "var x = [1n]; x[0]--; x[0] === 0n");
+
+var x = [null, [null, null, 1n]];
+assert.sameValue(x[1][2]--, 1n, "var x = [null, [null, null, 1n]]; x[1][2]-- === 1n");
+assert.sameValue(x[1][2], 0n, "var x = [null, [null, null, 1n]]; x[1][2]--; x[1][2] === 0n");
+
+var x = {y:[1n]};
+assert.sameValue(x.y[0]--, 1n, "var x = {y:[1n]}; x.y[0]-- === 1n");
+assert.sameValue(x.y[0], 0n, "var x = {y:[1n]}; x.y[0]--; x.y[0] === 0n");
+
+var x = [{z:1n}];
+assert.sameValue(x[0].z--, 1n, "var x = [{z:1n}]; x[0].z-- === 1n");
+assert.sameValue(x[0].z, 0n, "var x = [{z:1n}]; x[0].z--; x[0].z === 0n");
diff --git a/test/language/expressions/postfix-increment/bigint.js b/test/language/expressions/postfix-increment/bigint.js
@@ -0,0 +1,63 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Postfix increment for references to BigInt values
+esid: sec-postfix-increment-operator-runtime-semantics-evaluation
+info: |
+  1. Let expr be the result of evaluating UnaryExpression.
+  2. Let oldValue be ? ToNumeric(? GetValue(expr)).
+  3. Let newValue be ? Type(oldvalue)::add(oldValue, Type(oldValue)::unit).
+  4. Perform ? PutValue(expr, newValue).
+  5. Return oldValue. 
+
+features: [BigInt]
+---*/
+
+var x = 0n;
+assert.sameValue(x++, 0n, "var x = 0n; x++ === 0n");
+assert.sameValue(x, 1n, "var x = 0n; x++; x === 1n");
+
+var x = -1n;
+assert.sameValue(x++, -1n, "var x = -1n; x++ === -1n");
+assert.sameValue(x, 0n, "var x = -1n; x++; x === 0n");
+
+var x = 123456n;
+assert.sameValue(x++, 123456n, "var x = 123456n; x++ === 123456n");
+assert.sameValue(x, 123457n, "var x = 123456n; x++; x === 123457n");
+
+var x = -123457n;
+assert.sameValue(x++, -123457n, "var x = -123457n; x++ === -123457n");
+assert.sameValue(x, -123456n, "var x = -123457n; x++; x === -123456n");
+
+var x = 0x1fffffffffffff00n;
+assert.sameValue(x++, 0x1fffffffffffff00n, "var x = 0x1fffffffffffff00n; x++ === 0x1fffffffffffff00n");
+assert.sameValue(x, 0x1fffffffffffff01n, "var x = 0x1fffffffffffff00n; x++; x === 0x1fffffffffffff01n");
+
+var x = -0x1fffffffffffff01n;
+assert.sameValue(x++, -0x1fffffffffffff01n, "var x = -0x1fffffffffffff01n; x++ === -0x1fffffffffffff01n");
+assert.sameValue(x, -0x1fffffffffffff00n, "var x = -0x1fffffffffffff01n; x++; x === -0x1fffffffffffff00n");
+
+var x = {y:0n};
+assert.sameValue(x.y++, 0n, "var x = {y:0n}; x.y++ === 0n");
+assert.sameValue(x.y, 1n, "var x = {y:0n}; x.y++; x.y === 1n");
+
+var x = {y:{z:0n}};
+assert.sameValue(x.y.z++, 0n, "var x = {y:{z:0n}}; x.y.z++ === 0n");
+assert.sameValue(x.y.z, 1n, "var x = {y:{z:0n}}; x.y.z++; x.y.z === 1n");
+
+var x = [0n];
+assert.sameValue(x[0]++, 0n, "var x = [0n]; x[0]++ === 0n");
+assert.sameValue(x[0], 1n, "var x = [0n]; x[0]++; x[0] === 1n");
+
+var x = [null, [null, null, 0n]];
+assert.sameValue(x[1][2]++, 0n, "var x = [null, [null, null, 0n]]; x[1][2]++ === 0n");
+assert.sameValue(x[1][2], 1n, "var x = [null, [null, null, 0n]]; x[1][2]++; x[1][2] === 1n");
+
+var x = {y:[0n]};
+assert.sameValue(x.y[0]++, 0n, "var x = {y:[0n]}; x.y[0]++ === 0n");
+assert.sameValue(x.y[0], 1n, "var x = {y:[0n]}; x.y[0]++; x.y[0] === 1n");
+
+var x = [{z:0n}];
+assert.sameValue(x[0].z++, 0n, "var x = [{z:0n}]; x[0].z++ === 0n");
+assert.sameValue(x[0].z, 1n, "var x = [{z:0n}]; x[0].z++; x[0].z === 1n");
diff --git a/test/language/expressions/prefix-decrement/bigint.js b/test/language/expressions/prefix-decrement/bigint.js
@@ -0,0 +1,63 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Prefix decrement for references to BigInt values
+esid: sec-prefix-decrement-operator-runtime-semantics-evaluation
+info: |
+  1. Let expr be the result of evaluating UnaryExpression.
+  2. Let oldValue be ? ToNumeric(? GetValue(expr)).
+  3. Let newValue be ? Type(oldvalue)::subtract(oldValue, Type(oldValue)::unit).
+  4. Perform ? PutValue(expr, newValue).
+  5. Return newValue. 
+
+features: [BigInt]
+---*/
+
+var x = 1n;
+assert.sameValue(--x, 0n, "var x = 1n; --x === 0n");
+assert.sameValue(x, 0n, "var x = 1n; --x; x === 0n");
+
+var x = 0n;
+assert.sameValue(--x, -1n, "var x = 0n; --x === -1n");
+assert.sameValue(x, -1n, "var x = 0n; --x; x === -1n");
+
+var x = 123457n;
+assert.sameValue(--x, 123456n, "var x = 123457n; --x === 123456n");
+assert.sameValue(x, 123456n, "var x = 123457n; --x; x === 123456n");
+
+var x = -123456n;
+assert.sameValue(--x, -123457n, "var x = -123456n; --x === -123457n");
+assert.sameValue(x, -123457n, "var x = -123456n; --x; x === -123457n");
+
+var x = 0x1fffffffffffff01n;
+assert.sameValue(--x, 0x1fffffffffffff00n, "var x = 0x1fffffffffffff01n; --x === 0x1fffffffffffff00n");
+assert.sameValue(x, 0x1fffffffffffff00n, "var x = 0x1fffffffffffff01n; --x; x === 0x1fffffffffffff00n");
+
+var x = -0x1fffffffffffff00n;
+assert.sameValue(--x, -0x1fffffffffffff01n, "var x = -0x1fffffffffffff00n; --x === -0x1fffffffffffff01n");
+assert.sameValue(x, -0x1fffffffffffff01n, "var x = -0x1fffffffffffff00n; --x; x === -0x1fffffffffffff01n");
+
+var x = {y:1n};
+assert.sameValue(--x.y, 0n, "var x = {y:1n}; --x.y === 0n");
+assert.sameValue(x.y, 0n, "var x = {y:1n}; --x.y; x.y === 0n");
+
+var x = {y:{z:1n}};
+assert.sameValue(--x.y.z, 0n, "var x = {y:{z:1n}}; --x.y.z === 0n");
+assert.sameValue(x.y.z, 0n, "var x = {y:{z:1n}}; --x.y.z; x.y.z === 0n");
+
+var x = [1n];
+assert.sameValue(--x[0], 0n, "var x = [1n]; --x[0] === 0n");
+assert.sameValue(x[0], 0n, "var x = [1n]; --x[0]; x[0] === 0n");
+
+var x = [null, [null, null, 1n]];
+assert.sameValue(--x[1][2], 0n, "var x = [null, [null, null, 1n]]; --x[1][2] === 0n");
+assert.sameValue(x[1][2], 0n, "var x = [null, [null, null, 1n]]; --x[1][2]; x[1][2] === 0n");
+
+var x = {y:[1n]};
+assert.sameValue(--x.y[0], 0n, "var x = {y:[1n]}; --x.y[0] === 0n");
+assert.sameValue(x.y[0], 0n, "var x = {y:[1n]}; --x.y[0]; x.y[0] === 0n");
+
+var x = [{z:1n}];
+assert.sameValue(--x[0].z, 0n, "var x = [{z:1n}]; --x[0].z === 0n");
+assert.sameValue(x[0].z, 0n, "var x = [{z:1n}]; --x[0].z; x[0].z === 0n");
diff --git a/test/language/expressions/prefix-increment/bigint.js b/test/language/expressions/prefix-increment/bigint.js
@@ -0,0 +1,63 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Prefix increment for references to BigInt values
+esid: sec-prefix-increment-operator-runtime-semantics-evaluation
+info: |
+  1. Let expr be the result of evaluating UnaryExpression.
+  2. Let oldValue be ? ToNumeric(? GetValue(expr)).
+  3. Let newValue be ? Type(oldvalue)::add(oldValue, Type(oldValue)::unit).
+  4. Perform ? PutValue(expr, newValue).
+  5. Return newValue. 
+
+features: [BigInt]
+---*/
+
+var x = 0n;
+assert.sameValue(++x, 1n, "var x = 0n; ++x === 1n");
+assert.sameValue(x, 1n, "var x = 0n; ++x; x === 1n");
+
+var x = -1n;
+assert.sameValue(++x, 0n, "var x = -1n; ++x === 0n");
+assert.sameValue(x, 0n, "var x = -1n; ++x; x === 0n");
+
+var x = 123456n;
+assert.sameValue(++x, 123457n, "var x = 123456n; ++x === 123457n");
+assert.sameValue(x, 123457n, "var x = 123456n; ++x; x === 123457n");
+
+var x = -123457n;
+assert.sameValue(++x, -123456n, "var x = -123457n; ++x === -123456n");
+assert.sameValue(x, -123456n, "var x = -123457n; ++x; x === -123456n");
+
+var x = 0x1fffffffffffff00n;
+assert.sameValue(++x, 0x1fffffffffffff01n, "var x = 0x1fffffffffffff00n; ++x === 0x1fffffffffffff01n");
+assert.sameValue(x, 0x1fffffffffffff01n, "var x = 0x1fffffffffffff00n; ++x; x === 0x1fffffffffffff01n");
+
+var x = -0x1fffffffffffff01n;
+assert.sameValue(++x, -0x1fffffffffffff00n, "var x = -0x1fffffffffffff01n; ++x === -0x1fffffffffffff00n");
+assert.sameValue(x, -0x1fffffffffffff00n, "var x = -0x1fffffffffffff01n; ++x; x === -0x1fffffffffffff00n");
+
+var x = {y:0n};
+assert.sameValue(++x.y, 1n, "var x = {y:0n}; ++x.y === 1n");
+assert.sameValue(x.y, 1n, "var x = {y:0n}; ++x.y; x.y === 1n");
+
+var x = {y:{z:0n}};
+assert.sameValue(++x.y.z, 1n, "var x = {y:{z:0n}}; ++x.y.z === 1n");
+assert.sameValue(x.y.z, 1n, "var x = {y:{z:0n}}; ++x.y.z; x.y.z === 1n");
+
+var x = [0n];
+assert.sameValue(++x[0], 1n, "var x = [0n]; ++x[0] === 1n");
+assert.sameValue(x[0], 1n, "var x = [0n]; ++x[0]; x[0] === 1n");
+
+var x = [null, [null, null, 0n]];
+assert.sameValue(++x[1][2], 1n, "var x = [null, [null, null, 0n]]; ++x[1][2] === 1n");
+assert.sameValue(x[1][2], 1n, "var x = [null, [null, null, 0n]]; ++x[1][2]; x[1][2] === 1n");
+
+var x = {y:[0n]};
+assert.sameValue(++x.y[0], 1n, "var x = {y:[0n]}; ++x.y[0] === 1n");
+assert.sameValue(x.y[0], 1n, "var x = {y:[0n]}; ++x.y[0]; x.y[0] === 1n");
+
+var x = [{z:0n}];
+assert.sameValue(++x[0].z, 1n, "var x = [{z:0n}]; ++x[0].z === 1n");
+assert.sameValue(x[0].z, 1n, "var x = [{z:0n}]; ++x[0].z; x[0].z === 1n");