summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/language/expressions/unsigned-right-shift/bigint-non-primitive.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/tests/test262/language/expressions/unsigned-right-shift/bigint-non-primitive.js')
-rw-r--r--js/src/tests/test262/language/expressions/unsigned-right-shift/bigint-non-primitive.js105
1 files changed, 105 insertions, 0 deletions
diff --git a/js/src/tests/test262/language/expressions/unsigned-right-shift/bigint-non-primitive.js b/js/src/tests/test262/language/expressions/unsigned-right-shift/bigint-non-primitive.js
new file mode 100644
index 0000000000..ec4b7811c9
--- /dev/null
+++ b/js/src/tests/test262/language/expressions/unsigned-right-shift/bigint-non-primitive.js
@@ -0,0 +1,105 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+description: Unsigned right shift always throws for non-primitive BigInt values
+esid: sec-unsigned-right-shift-operator-runtime-semantics-evaluation
+info: |
+ ShiftExpression : ShiftExpression >>> AdditiveExpression
+
+ 1. Let lref be the result of evaluating ShiftExpression.
+ 2. Let lval be ? GetValue(lref).
+ 3. Let rref be the result of evaluating AdditiveExpression.
+ 4. Let rval be ? GetValue(rref).
+ 5. Let lnum be ? ToNumeric(lval).
+ 6. Let rnum be ? ToNumeric(rval).
+ 7. If Type(lnum) does not equal Type(rnum), throw a TypeError exception.
+ 8. Let T be Type(lnum).
+ 9. Return T::unsignedRightShift(lnum, rnum).
+
+ Note: BigInt::unsignedRightShift always throws a TypeError
+
+features: [BigInt, Symbol.toPrimitive]
+---*/
+assert.throws(TypeError, function() {
+ Object(0b101n) >>> 1n;
+}, 'Object(0b101n) >>> 1n throws TypeError');
+
+assert.throws(TypeError, function() {
+ Object(0b101n) >>> Object(1n);
+}, 'Object(0b101n) >>> Object(1n) throws TypeError');
+
+function err() {
+ throw new Test262Error();
+}
+
+assert.throws(TypeError, function() {
+ ({
+ [Symbol.toPrimitive]: function() {
+ return 0b101n;
+ },
+
+ valueOf: err,
+ toString: err
+ }) >>> 1n;
+}, '({[Symbol.toPrimitive]: function() {return 0b101n;}, valueOf: err, toString: err}) >>> 1n throws TypeError');
+
+assert.throws(TypeError, function() {
+ ({
+ valueOf: function() {
+ return 0b101n;
+ },
+
+ toString: err
+ }) >>> 1n;
+}, '({valueOf: function() {return 0b101n;}, toString: err}) >>> 1n throws TypeError');
+
+assert.throws(TypeError, function() {
+ ({
+ toString: function() {
+ return 0b101n;
+ }
+ }) >>> 1n;
+}, '({toString: function() {return 0b101n;}}) >>> 1n throws TypeError');
+
+assert.throws(TypeError, function() {
+ 0b101n >>> {
+ [Symbol.toPrimitive]: function() {
+ return 1n;
+ },
+
+ valueOf: err,
+ toString: err
+ };
+}, '0b101n >>> {[Symbol.toPrimitive]: function() {return 1n;}, valueOf: err, toString: err} throws TypeError');
+
+assert.throws(TypeError, function() {
+ 0b101n >>> {
+ valueOf: function() {
+ return 1n;
+ },
+
+ toString: err
+ };
+}, '0b101n >>> {valueOf: function() {return 1n;}, toString: err} throws TypeError');
+
+assert.throws(TypeError, function() {
+ 0b101n >>> {
+ toString: function() {
+ return 1n;
+ }
+ };
+}, '0b101n >>> {toString: function() {return 1n;}} throws TypeError');
+
+assert.throws(TypeError, function() {
+ ({
+ valueOf: function() {
+ return 0b101n;
+ }
+ }) >>> {
+ valueOf: function() {
+ return 1n;
+ }
+ };
+}, '({valueOf: function() {return 0b101n;}}) >>> {valueOf: function() {return 1n;}} throws TypeError');
+
+reportCompare(0, 0);