summaryrefslogtreecommitdiff
path: root/test/built-ins/TypedArray/prototype/subarray/BigInt
diff options
context:
space:
mode:
Diffstat (limited to 'test/built-ins/TypedArray/prototype/subarray/BigInt')
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/detached-buffer.js65
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/infinity.js31
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-func.js24
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-method.js24
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/length.js30
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/minus-zero.js31
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/name.js27
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/prop-desc.js19
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/result-does-not-copy-ordinary-properties.js27
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-from-same-ctor.js31
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-with-shared-buffer.js35
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-different-length.js58
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-empty-length.js57
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-same-length.js37
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin-symbol.js24
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin.js38
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end-symbol.js25
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end.js39
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-abrupt.js40
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-inherited.js61
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-returns-throws.js62
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor.js53
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-abrupt.js44
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-invocation.js61
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-returns-another-instance.js52
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-throws.js46
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor.js53
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-returns-throws.js65
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-use-default-ctor.js53
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species.js45
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-object.js47
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-typedarray-instance.js39
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-begin.js48
-rw-r--r--test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-end.js48
34 files changed, 1439 insertions, 0 deletions
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/detached-buffer.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/detached-buffer.js
new file mode 100644
index 000000000..b8e4087e5
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/detached-buffer.js
@@ -0,0 +1,65 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Throws a TypeError creating a new instance with a detached buffer
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 7. Let relativeBegin be ? ToInteger(begin).
+ ...
+ 9. If end is undefined, let relativeEnd be srcLength; else, let relativeEnd be
+ ? ToInteger(end).
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ 4. Return ? TypedArrayCreate(constructor, argumentList).
+
+ 22.2.4.6 TypedArrayCreate ( constructor, argumentList )
+
+ 1. Let newTypedArray be ? Construct(constructor, argumentList).
+ ...
+
+ 22.2.4.5 TypedArray ( buffer [ , byteOffset [ , length ] ] )
+
+ ...
+ 11. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
+ ...
+includes: [testBigIntTypedArray.js, detachArrayBuffer.js]
+features: [BigInt, TypedArray]
+---*/
+
+var begin, end;
+
+var o1 = {
+ valueOf: function() {
+ begin = true;
+ return 0;
+ }
+};
+
+var o2 = {
+ valueOf: function() {
+ end = true;
+ return 2;
+ }
+};
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA(2);
+ begin = false;
+ end = false;
+
+ $DETACHBUFFER(sample.buffer);
+ assert.throws(TypeError, function() {
+ sample.subarray(o1, o2);
+ });
+
+ assert(begin, "observable ToInteger(begin)");
+ assert(end, "observable ToInteger(end)");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/infinity.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/infinity.js
new file mode 100644
index 000000000..fc6786978
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/infinity.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Infinity values on begin and end
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ assert(
+ compareArray(sample.subarray(-Infinity), [40n, 41n, 42n, 43n]),
+ "begin == -Infinity"
+ );
+ assert(
+ compareArray(sample.subarray(Infinity), []),
+ "being == Infinity"
+ );
+ assert(
+ compareArray(sample.subarray(0, -Infinity), []),
+ "end == -Infinity"
+ );
+ assert(
+ compareArray(sample.subarray(0, Infinity), [40n, 41n, 42n, 43n]),
+ "end == Infinity"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-func.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-func.js
new file mode 100644
index 000000000..dc28bbf0e
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-func.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Throws a TypeError exception when invoked as a function
+info: |
+ 22.2.3.26 %TypedArray%.prototype.subarray( [ begin [ , end ] ] )
+
+ 1. Let O be the this value.
+ 2. If Type(O) is not Object, throw a TypeError exception.
+ 3. If O does not have a [[TypedArrayName]] internal slot, throw a TypeError
+ exception.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var subarray = TypedArray.prototype.subarray;
+
+assert.sameValue(typeof subarray, 'function');
+
+assert.throws(TypeError, function() {
+ subarray();
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-method.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-method.js
new file mode 100644
index 000000000..887e139bc
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/invoked-as-method.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Requires a [[TypedArrayName]] internal slot.
+info: |
+ 22.2.3.26 %TypedArray%.prototype.subarray( [ begin [ , end ] ] )
+
+ 1. Let O be the this value.
+ 2. If Type(O) is not Object, throw a TypeError exception.
+ 3. If O does not have a [[TypedArrayName]] internal slot, throw a TypeError
+ exception.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var TypedArrayPrototype = TypedArray.prototype;
+
+assert.sameValue(typeof TypedArrayPrototype.subarray, 'function');
+
+assert.throws(TypeError, function() {
+ TypedArrayPrototype.subarray();
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/length.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/length.js
new file mode 100644
index 000000000..818891a63
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/length.js
@@ -0,0 +1,30 @@
+// Copyright (C) 2015 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ %TypedArray%.prototype.subarray.length is 2.
+info: |
+ %TypedArray%.prototype.subarray( [ begin [ , end ] ] )
+
+ 17 ECMAScript Standard Built-in Objects:
+ Every built-in Function object, including constructors, has a length
+ property whose value is an integer. Unless otherwise specified, this
+ value is equal to the largest number of named arguments shown in the
+ subclause headings for the function description, including optional
+ parameters. However, rest parameters shown using the form “...name”
+ are not included in the default argument count.
+
+ Unless otherwise specified, the length property of a built-in Function
+ object has the attributes { [[Writable]]: false, [[Enumerable]]: false,
+ [[Configurable]]: true }.
+includes: [propertyHelper.js, testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+assert.sameValue(TypedArray.prototype.subarray.length, 2);
+
+verifyNotEnumerable(TypedArray.prototype.subarray, "length");
+verifyNotWritable(TypedArray.prototype.subarray, "length");
+verifyConfigurable(TypedArray.prototype.subarray, "length");
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/minus-zero.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/minus-zero.js
new file mode 100644
index 000000000..b71e445c7
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/minus-zero.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: -0 values on begin and end
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ assert(
+ compareArray(sample.subarray(-0), [40n, 41n, 42n, 43n]),
+ "begin == -0"
+ );
+ assert(
+ compareArray(sample.subarray(-0, 4), [40n, 41n, 42n, 43n]),
+ "being == -0, end == length"
+ );
+ assert(
+ compareArray(sample.subarray(0, -0), []),
+ "being == 0, end == -0"
+ );
+ assert(
+ compareArray(sample.subarray(-0, -0), []),
+ "being == -0, end == -0"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/name.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/name.js
new file mode 100644
index 000000000..30c47e577
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/name.js
@@ -0,0 +1,27 @@
+// Copyright (C) 2015 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ %TypedArray%.prototype.subarray.name is "subarray".
+info: |
+ %TypedArray%.prototype.subarray( [ begin [ , end ] ] )
+
+ 17 ECMAScript Standard Built-in Objects:
+ Every built-in Function object, including constructors, that is not
+ identified as an anonymous function has a name property whose value
+ is a String.
+
+ Unless otherwise specified, the name property of a built-in Function
+ object, if it exists, has the attributes { [[Writable]]: false,
+ [[Enumerable]]: false, [[Configurable]]: true }.
+includes: [propertyHelper.js, testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+assert.sameValue(TypedArray.prototype.subarray.name, "subarray");
+
+verifyNotEnumerable(TypedArray.prototype.subarray, "name");
+verifyNotWritable(TypedArray.prototype.subarray, "name");
+verifyConfigurable(TypedArray.prototype.subarray, "name");
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/prop-desc.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/prop-desc.js
new file mode 100644
index 000000000..218949025
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/prop-desc.js
@@ -0,0 +1,19 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ "subarray" property of TypedArrayPrototype
+info: |
+ ES6 section 17: Every other data property described in clauses 18 through 26
+ and in Annex B.2 has the attributes { [[Writable]]: true,
+ [[Enumerable]]: false, [[Configurable]]: true } unless otherwise specified.
+includes: [propertyHelper.js, testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var TypedArrayPrototype = TypedArray.prototype;
+
+verifyNotEnumerable(TypedArrayPrototype, 'subarray');
+verifyWritable(TypedArrayPrototype, 'subarray');
+verifyConfigurable(TypedArrayPrototype, 'subarray');
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/result-does-not-copy-ordinary-properties.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/result-does-not-copy-ordinary-properties.js
new file mode 100644
index 000000000..af87b3756
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/result-does-not-copy-ordinary-properties.js
@@ -0,0 +1,27 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Subarray result does not import own property
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([41n, 42n, 43n, 44n]);
+ var result;
+
+ sample.foo = 42;
+
+ result = sample.subarray(0);
+ assert.sameValue(
+ result.hasOwnProperty("foo"),
+ false,
+ "does not import own property"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-from-same-ctor.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-from-same-ctor.js
new file mode 100644
index 000000000..0d0362394
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-from-same-ctor.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Returns a new instance from the same constructor
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+ var result = sample.subarray(1);
+
+ assert.sameValue(
+ Object.getPrototypeOf(result),
+ Object.getPrototypeOf(sample),
+ "prototype"
+ );
+ assert.sameValue(result.constructor, sample.constructor, "constructor");
+ assert(result instanceof TA, "instanceof");
+
+ assert(
+ compareArray(sample, [40n, 41n, 42n, 43n]),
+ "original sample remains the same"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-with-shared-buffer.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-with-shared-buffer.js
new file mode 100644
index 000000000..ee1198833
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/result-is-new-instance-with-shared-buffer.js
@@ -0,0 +1,35 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Returns a new instance sharing the same buffer
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+ var buffer = sample.buffer;
+ var result = sample.subarray(1);
+
+ assert.notSameValue(result, sample, "returns a new instance");
+ assert.sameValue(result.buffer, sample.buffer, "shared buffer");
+ assert.sameValue(sample.buffer, buffer, "original buffer is preserved");
+
+ sample[1] = 100n;
+ assert(
+ compareArray(result, [100n, 42n, 43n]),
+ "changes on the original sample values affect the new instance"
+ );
+
+ result[1] = 111n;
+ assert(
+ compareArray(sample, [40n, 100n, 111n, 43n]),
+ "changes on the new instance values affect the original sample"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-different-length.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-different-length.js
new file mode 100644
index 000000000..ff0787469
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-different-length.js
@@ -0,0 +1,58 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Subarray may return a new instance with a smaller length
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ function testRes(result, expected, msg) {
+ assert(compareArray(result, expected), msg + ", result: [" + result + "]");
+ }
+
+ testRes(sample.subarray(1), [41n, 42n, 43n], "begin == 1");
+ testRes(sample.subarray(2), [42n, 43n], "begin == 2");
+ testRes(sample.subarray(3), [43n], "begin == 3");
+
+ testRes(sample.subarray(1, 4), [41n, 42n, 43n], "begin == 1, end == length");
+ testRes(sample.subarray(2, 4), [42n, 43n], "begin == 2, end == length");
+ testRes(sample.subarray(3, 4), [43n], "begin == 3, end == length");
+
+ testRes(sample.subarray(0, 1), [40n], "begin == 0, end == 1");
+ testRes(sample.subarray(0, 2), [40n, 41n], "begin == 0, end == 2");
+ testRes(sample.subarray(0, 3), [40n, 41n, 42n], "begin == 0, end == 3");
+
+ testRes(sample.subarray(-1), [43n], "begin == -1");
+ testRes(sample.subarray(-2), [42n, 43n], "begin == -2");
+ testRes(sample.subarray(-3), [41n, 42n, 43n], "begin == -3");
+
+ testRes(sample.subarray(-1, 4), [43n], "begin == -1, end == length");
+ testRes(sample.subarray(-2, 4), [42n, 43n], "begin == -2, end == length");
+ testRes(sample.subarray(-3, 4), [41n, 42n, 43n], "begin == -3, end == length");
+
+ testRes(sample.subarray(0, -1), [40n, 41n, 42n], "begin == 0, end == -1");
+ testRes(sample.subarray(0, -2), [40n, 41n], "begin == 0, end == -2");
+ testRes(sample.subarray(0, -3), [40n], "begin == 0, end == -3");
+
+ testRes(sample.subarray(-0, -1), [40n, 41n, 42n], "begin == -0, end == -1");
+ testRes(sample.subarray(-0, -2), [40n, 41n], "begin == -0, end == -2");
+ testRes(sample.subarray(-0, -3), [40n], "begin == -0, end == -3");
+
+ testRes(sample.subarray(-2, -1), [42n], "length == 4, begin == -2, end == -1");
+ testRes(sample.subarray(1, -1), [41n, 42n], "length == 4, begin == 1, end == -1");
+ testRes(sample.subarray(1, -2), [41n], "length == 4, begin == 1, end == -2");
+ testRes(sample.subarray(2, -1), [42n], "length == 4, begin == 2, end == -1");
+
+ testRes(sample.subarray(-1, 5), [43n], "begin == -1, end > length");
+ testRes(sample.subarray(-2, 4), [42n, 43n], "begin == -2, end > length");
+ testRes(sample.subarray(-3, 4), [41n, 42n, 43n], "begin == -3, end > length");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-empty-length.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-empty-length.js
new file mode 100644
index 000000000..310d1bc6d
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-empty-length.js
@@ -0,0 +1,57 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Subarray may return a new empty instance
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ function testRes(result, msg) {
+ assert.sameValue(result.length, 0, msg);
+ assert.sameValue(
+ result.hasOwnProperty(0),
+ false,
+ msg + " & result.hasOwnProperty(0) === false"
+ );
+ }
+
+ testRes(sample.subarray(4), "begin == length");
+ testRes(sample.subarray(5), "begin > length");
+
+ testRes(sample.subarray(4, 4), "begin == length, end == length");
+ testRes(sample.subarray(5, 4), "begin > length, end == length");
+
+ testRes(sample.subarray(4, 4), "begin == length, end > length");
+ testRes(sample.subarray(5, 4), "begin > length, end > length");
+
+ testRes(sample.subarray(0, 0), "begin == 0, end == 0");
+ testRes(sample.subarray(-0, -0), "begin == -0, end == -0");
+ testRes(sample.subarray(1, 0), "begin > 0, end == 0");
+ testRes(sample.subarray(-1, 0), "being < 0, end == 0");
+
+ testRes(sample.subarray(2, 1), "begin > 0, begin < length, begin > end, end > 0");
+ testRes(sample.subarray(2, 2), "begin > 0, begin < length, begin == end");
+
+ testRes(sample.subarray(2, -2), "begin > 0, begin < length, end == -2");
+
+ testRes(sample.subarray(-1, -1), "length = 4, begin == -1, end == -1");
+ testRes(sample.subarray(-1, -2), "length = 4, begin == -1, end == -2");
+ testRes(sample.subarray(-2, -2), "length = 4, begin == -2, end == -2");
+
+ testRes(sample.subarray(0, -4), "begin == 0, end == -length");
+ testRes(sample.subarray(-4, -4), "begin == -length, end == -length");
+ testRes(sample.subarray(-5, -4), "begin < -length, end == -length");
+
+ testRes(sample.subarray(0, -5), "begin == 0, end < -length");
+ testRes(sample.subarray(-4, -5), "begin == -length, end < -length");
+ testRes(sample.subarray(-5, -5), "begin < -length, end < -length");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-same-length.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-same-length.js
new file mode 100644
index 000000000..79e579374
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/results-with-same-length.js
@@ -0,0 +1,37 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Subarray may return a new instance with the same length
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ function testRes(result, msg) {
+ assert.sameValue(result.length, 4, msg);
+ assert.sameValue(result[0], 40n, msg + " & result[0] === 40");
+ assert.sameValue(result[1], 41n, msg + " & result[1] === 41");
+ assert.sameValue(result[2], 42n, msg + " & result[2] === 42");
+ assert.sameValue(result[3], 43n, msg + " & result[3] === 43");
+ }
+
+ testRes(sample.subarray(0), "begin == 0");
+ testRes(sample.subarray(-4), "begin == -srcLength");
+ testRes(sample.subarray(-5), "begin < -srcLength");
+
+ testRes(sample.subarray(0, 4), "begin == 0, end == srcLength");
+ testRes(sample.subarray(-4, 4), "begin == -srcLength, end == srcLength");
+ testRes(sample.subarray(-5, 4), "begin < -srcLength, end == srcLength");
+
+ testRes(sample.subarray(0, 5), "begin == 0, end > srcLength");
+ testRes(sample.subarray(-4, 5), "begin == -srcLength, end > srcLength");
+ testRes(sample.subarray(-5, 5), "begin < -srcLength, end > srcLength");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin-symbol.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin-symbol.js
new file mode 100644
index 000000000..a05ad6261
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin-symbol.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Return abrupt from ToInteger(begin), begin is symbol
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 7. Let relativeBegin be ? ToInteger(begin).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol, TypedArray]
+---*/
+
+var s = Symbol("1");
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA();
+
+ assert.throws(TypeError, function() {
+ sample.subarray(s);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin.js
new file mode 100644
index 000000000..edff4831f
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-begin.js
@@ -0,0 +1,38 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Return abrupt from ToInteger(begin)
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 7. Let relativeBegin be ? ToInteger(begin).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var o1 = {
+ valueOf: function() {
+ throw new Test262Error();
+ }
+};
+
+var o2 = {
+ toString: function() {
+ throw new Test262Error();
+ }
+};
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA();
+
+ assert.throws(Test262Error, function() {
+ sample.subarray(o1);
+ });
+
+ assert.throws(Test262Error, function() {
+ sample.subarray(o2);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end-symbol.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end-symbol.js
new file mode 100644
index 000000000..29f517746
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end-symbol.js
@@ -0,0 +1,25 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Return abrupt from ToInteger(end), end is symbol
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 9. If end is undefined, let relativeEnd be srcLength; else, let relativeEnd
+ be ? ToInteger(end).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol, TypedArray]
+---*/
+
+var s = Symbol("1");
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA();
+
+ assert.throws(TypeError, function() {
+ sample.subarray(0, s);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end.js
new file mode 100644
index 000000000..d9f1bf3b5
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/return-abrupt-from-end.js
@@ -0,0 +1,39 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Return abrupt from ToInteger(end)
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 9. If end is undefined, let relativeEnd be srcLength; else, let relativeEnd
+ be ? ToInteger(end).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var o1 = {
+ valueOf: function() {
+ throw new Test262Error();
+ }
+};
+
+var o2 = {
+ toString: function() {
+ throw new Test262Error();
+ }
+};
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA();
+
+ assert.throws(Test262Error, function() {
+ sample.subarray(0, o1);
+ });
+
+ assert.throws(Test262Error, function() {
+ sample.subarray(0, o2);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-abrupt.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-abrupt.js
new file mode 100644
index 000000000..9ed4e0900
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-abrupt.js
@@ -0,0 +1,40 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Return abrupt from SpeciesConstructor's get Constructor
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ 1. Assert: Type(O) is Object.
+ 2. Let C be ? Get(O, "constructor").
+ 3. If C is undefined, return defaultConstructor.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ Object.defineProperty(sample, "constructor", {
+ get: function() {
+ throw new Test262Error();
+ }
+ });
+
+ assert.throws(Test262Error, function() {
+ sample.subarray(0);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-inherited.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-inherited.js
new file mode 100644
index 000000000..67841f442
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-inherited.js
@@ -0,0 +1,61 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: get inherited constructor on SpeciesConstructor
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ 1. Assert: Type(O) is Object.
+ 2. Let C be ? Get(O, "constructor").
+ 3. If C is undefined, return defaultConstructor.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+ var calls = 0;
+ var result;
+
+ Object.defineProperty(TA.prototype, "constructor", {
+ get: function() {
+ calls++;
+ }
+ });
+
+ result = sample.subarray(0);
+
+ assert.sameValue(calls, 1, "called custom ctor get accessor once");
+
+ assert.sameValue(
+ Object.getPrototypeOf(result),
+ Object.getPrototypeOf(sample),
+ "use defaultCtor on an undefined return - getPrototypeOf check"
+ );
+ assert.sameValue(
+ result.constructor,
+ undefined,
+ "used defaultCtor but still checks the inherited .constructor"
+ );
+
+ calls = 6;
+ result.constructor;
+ assert.sameValue(
+ calls,
+ 7,
+ "result.constructor triggers the inherited accessor property"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-returns-throws.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-returns-throws.js
new file mode 100644
index 000000000..696732371
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor-returns-throws.js
@@ -0,0 +1,62 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Throws if O.constructor returns a non-Object and non-undefined value
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ 1. Assert: Type(O) is Object.
+ 2. Let C be ? Get(O, "constructor").
+ 3. If C is undefined, return defaultConstructor.
+ 4. If Type(C) is not Object, throw a TypeError exception.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ sample.constructor = 42;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "42");
+
+ sample.constructor = "1";
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "string");
+
+ sample.constructor = null;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "null");
+
+ sample.constructor = NaN;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "NaN");
+
+ sample.constructor = false;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "false");
+
+ sample.constructor = Symbol("1");
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "symbol");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor.js
new file mode 100644
index 000000000..a05460004
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-ctor.js
@@ -0,0 +1,53 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: get constructor on SpeciesConstructor
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ 1. Assert: Type(O) is Object.
+ 2. Let C be ? Get(O, "constructor").
+ 3. If C is undefined, return defaultConstructor.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+ var calls = 0;
+ var result;
+
+ Object.defineProperty(sample, "constructor", {
+ get: function() {
+ calls++;
+ }
+ });
+
+ result = sample.subarray(0);
+
+ assert.sameValue(calls, 1, "called custom ctor get accessor once");
+
+ assert.sameValue(
+ Object.getPrototypeOf(result),
+ Object.getPrototypeOf(sample),
+ "use defaultCtor on an undefined return - getPrototypeOf check"
+ );
+ assert.sameValue(
+ result.constructor,
+ TA,
+ "use defaultCtor on an undefined return - .constructor check"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-abrupt.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-abrupt.js
new file mode 100644
index 000000000..c1b64586d
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-abrupt.js
@@ -0,0 +1,44 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Returns abrupt from get @@species on found constructor
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ 1. Assert: Type(O) is Object.
+ 2. Let C be ? Get(O, "constructor").
+ ...
+ 5. Let S be ? Get(C, @@species).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA(2);
+
+ sample.constructor = {};
+
+ Object.defineProperty(sample.constructor, Symbol.species, {
+ get: function() {
+ throw new Test262Error();
+ }
+ });
+
+ assert.throws(Test262Error, function() {
+ sample.subarray(0);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-invocation.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-invocation.js
new file mode 100644
index 000000000..ebde38088
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-invocation.js
@@ -0,0 +1,61 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Verify arguments on custom @@species construct call
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ 4. Return ? TypedArrayCreate(constructor, argumentList).
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ ...
+ 5. Let S be ? Get(C, @@species).
+ ...
+ 7. If IsConstructor(S) is true, return S.
+ ...
+
+ 22.2.4.6 TypedArrayCreate ( constructor, argumentList )
+
+ 1. Let newTypedArray be ? Construct(constructor, argumentList).
+ 2. Perform ? ValidateTypedArray(newTypedArray).
+ 3. If argumentList is a List of a single Number, then
+ ...
+ 4. Return newTypedArray.
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n]);
+ var expectedOffset = TA.BYTES_PER_ELEMENT;
+ var result, ctorThis;
+
+ sample.constructor = {};
+ sample.constructor[Symbol.species] = function(buffer, offset, length) {
+ result = arguments;
+ ctorThis = this;
+ return new TA(buffer, offset, length);
+ };
+
+ sample.subarray(1);
+
+ assert.sameValue(result.length, 3, "called with 3 arguments");
+ assert.sameValue(result[0], sample.buffer, "[0] is sample.buffer");
+ assert.sameValue(result[1], expectedOffset, "[1] is the byte offset pos");
+ assert.sameValue(result[2], 2, "[2] is expected length");
+
+ assert(
+ ctorThis instanceof sample.constructor[Symbol.species],
+ "`this` value in the @@species fn is an instance of the function itself"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-returns-another-instance.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-returns-another-instance.js
new file mode 100644
index 000000000..ee537263a
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-returns-another-instance.js
@@ -0,0 +1,52 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Custom @@species constructor may return a totally different TypedArray
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ 4. Return ? TypedArrayCreate(constructor, argumentList).
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ ...
+ 5. Let S be ? Get(C, @@species).
+ ...
+ 7. If IsConstructor(S) is true, return S.
+ ...
+
+ 22.2.4.6 TypedArrayCreate ( constructor, argumentList )
+
+ 1. Let newTypedArray be ? Construct(constructor, argumentList).
+ 2. Perform ? ValidateTypedArray(newTypedArray).
+ 3. If argumentList is a List of a single Number, then
+ ...
+ 4. Return newTypedArray.
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n]);
+ var other = new Int8Array([1, 0, 1]);
+ var result;
+
+ sample.constructor = {};
+ sample.constructor[Symbol.species] = function() {
+ return other;
+ };
+
+ result = sample.subarray(0, 0);
+
+ assert.sameValue(result, other, "returned another typedarray");
+ assert(compareArray(result, [1, 0, 1]), "the returned object is preserved");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-throws.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-throws.js
new file mode 100644
index 000000000..958378556
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor-throws.js
@@ -0,0 +1,46 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Custom @@species constructor throws if it does not return a compatible object
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ 4. Return ? TypedArrayCreate(constructor, argumentList).
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ ...
+ 5. Let S be ? Get(C, @@species).
+ ...
+ 7. If IsConstructor(S) is true, return S.
+ ...
+
+ 22.2.4.6 TypedArrayCreate ( constructor, argumentList )
+
+ 1. Let newTypedArray be ? Construct(constructor, argumentList).
+ 2. Perform ? ValidateTypedArray(newTypedArray).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA(2);
+ var ctor = function() {};
+
+ sample.constructor = {};
+ sample.constructor[Symbol.species] = ctor;
+
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ });
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor.js
new file mode 100644
index 000000000..01b0dbd9b
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-custom-ctor.js
@@ -0,0 +1,53 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Use custom @@species constructor if available
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ 4. Return ? TypedArrayCreate(constructor, argumentList).
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ ...
+ 5. Let S be ? Get(C, @@species).
+ ...
+ 7. If IsConstructor(S) is true, return S.
+ ...
+
+ 22.2.4.6 TypedArrayCreate ( constructor, argumentList )
+
+ 1. Let newTypedArray be ? Construct(constructor, argumentList).
+ 2. Perform ? ValidateTypedArray(newTypedArray).
+ 3. If argumentList is a List of a single Number, then
+ ...
+ 4. Return newTypedArray.
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n]);
+ var calls = 0;
+ var result;
+
+ sample.constructor = {};
+ sample.constructor[Symbol.species] = function(buffer, offset, length) {
+ calls++;
+ return new TA(buffer, offset, length);
+ };
+
+ result = sample.subarray(1);
+
+ assert.sameValue(calls, 1, "ctor called once");
+ assert(compareArray(result, [41n, 42n]), "expected subarray");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-returns-throws.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-returns-throws.js
new file mode 100644
index 000000000..1a01c0460
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-returns-throws.js
@@ -0,0 +1,65 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Throws if returned @@species is not a constructor, null or undefined.
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ ...
+ 5. Let S be ? Get(C, @@species).
+ 6. If S is either undefined or null, return defaultConstructor.
+ 7. If IsConstructor(S) is true, return S.
+ 8. Throw a TypeError exception.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA(2);
+
+ sample.constructor = {};
+
+ sample.constructor[Symbol.species] = 0;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "0");
+
+ sample.constructor[Symbol.species] = "string";
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "string");
+
+ sample.constructor[Symbol.species] = {};
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "{}");
+
+ sample.constructor[Symbol.species] = NaN;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "NaN");
+
+ sample.constructor[Symbol.species] = false;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "false");
+
+ sample.constructor[Symbol.species] = true;
+ assert.throws(TypeError, function() {
+ sample.subarray(0);
+ }, "true");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-use-default-ctor.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-use-default-ctor.js
new file mode 100644
index 000000000..1b1a4e46f
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species-use-default-ctor.js
@@ -0,0 +1,53 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Use defaultConstructor if @@species is either undefined or null
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ ...
+ 5. Let S be ? Get(C, @@species).
+ 6. If S is either undefined or null, return defaultConstructor.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA(2);
+ var result;
+
+ sample.constructor = {};
+
+ result = sample.subarray(0);
+
+ assert.sameValue(
+ Object.getPrototypeOf(result),
+ Object.getPrototypeOf(sample),
+ "undefined @@species - prototype check "
+ );
+ assert.sameValue(result.constructor, TA, "undefined @@species - ctor check");
+
+ sample.constructor[Symbol.species] = null;
+ result = sample.subarray(0);
+
+ assert.sameValue(
+ Object.getPrototypeOf(result),
+ Object.getPrototypeOf(sample),
+ "null @@species - prototype check "
+ );
+ assert.sameValue(result.constructor, TA, "null @@species - ctor check");
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species.js
new file mode 100644
index 000000000..01f3427bf
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/speciesctor-get-species.js
@@ -0,0 +1,45 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ get @@species from found constructor
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 17. Return ? TypedArraySpeciesCreate(O, argumentsList).
+
+ 22.2.4.7 TypedArraySpeciesCreate ( exemplar, argumentList )
+
+ ...
+ 3. Let constructor be ? SpeciesConstructor(exemplar, defaultConstructor).
+ ...
+
+ 7.3.20 SpeciesConstructor ( O, defaultConstructor )
+
+ 1. Assert: Type(O) is Object.
+ 2. Let C be ? Get(O, "constructor").
+ ...
+ 5. Let S be ? Get(C, @@species).
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol.species, TypedArray]
+---*/
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA(2);
+ var calls = 0;
+
+ sample.constructor = {};
+
+ Object.defineProperty(sample.constructor, Symbol.species, {
+ get: function() {
+ calls++;
+ }
+ });
+
+ sample.subarray(0);
+
+ assert.sameValue(calls, 1);
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-object.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-object.js
new file mode 100644
index 000000000..976731c66
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-object.js
@@ -0,0 +1,47 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: Throws a TypeError exception when `this` is not Object
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ The following steps are taken:
+
+ 1. Let O be the this value.
+ 2. If Type(O) is not Object, throw a TypeError exception.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, Symbol, TypedArray]
+---*/
+
+var subarray = TypedArray.prototype.subarray;
+
+assert.throws(TypeError, function() {
+ subarray.call(undefined, 0, 0);
+}, "this is undefined");
+
+assert.throws(TypeError, function() {
+ subarray.call(null, 0, 0);
+}, "this is null");
+
+assert.throws(TypeError, function() {
+ subarray.call(42, 0, 0);
+}, "this is 42");
+
+assert.throws(TypeError, function() {
+ subarray.call("1", 0, 0);
+}, "this is a string");
+
+assert.throws(TypeError, function() {
+ subarray.call(true, 0, 0);
+}, "this is true");
+
+assert.throws(TypeError, function() {
+ subarray.call(false, 0, 0);
+}, "this is false");
+
+var s = Symbol("s");
+assert.throws(TypeError, function() {
+ subarray.call(s, 0, 0);
+}, "this is a Symbol");
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-typedarray-instance.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-typedarray-instance.js
new file mode 100644
index 000000000..275f5e2bd
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/this-is-not-typedarray-instance.js
@@ -0,0 +1,39 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: >
+ Throws a TypeError exception when `this` is not a TypedArray instance
+info: |
+ 22.2.3.9 %TypedArray%.prototype.subarray( begin , end )
+
+ The following steps are taken:
+
+ 1. Let O be the this value.
+ 2. If Type(O) is not Object, throw a TypeError exception.
+ 3. If O does not have a [[TypedArrayName]] internal slot, throw a TypeError
+ exception.
+ ...
+includes: [testBigIntTypedArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var subarray = TypedArray.prototype.subarray;
+
+assert.throws(TypeError, function() {
+ subarray.call({}, 0, 0);
+}, "this is an Object");
+
+assert.throws(TypeError, function() {
+ subarray.call([], 0, 0);
+}, "this is an Array");
+
+var ab = new ArrayBuffer(8);
+assert.throws(TypeError, function() {
+ subarray.call(ab, 0, 0);
+}, "this is an ArrayBuffer instance");
+
+var dv = new DataView(new ArrayBuffer(8), 0, 1);
+assert.throws(TypeError, function() {
+ subarray.call(dv, 0, 0);
+}, "this is a DataView instance");
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-begin.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-begin.js
new file mode 100644
index 000000000..3d9ff3c0f
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-begin.js
@@ -0,0 +1,48 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: ToInteger(begin)
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 7. Let relativeBegin be ? ToInteger(begin).
+ ...
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var obj = {
+ valueOf: function() {
+ return 2;
+ }
+};
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ assert(compareArray(sample.subarray(false), [40n, 41n, 42n, 43n]), "false");
+ assert(compareArray(sample.subarray(true), [41n, 42n, 43n]), "true");
+
+ assert(compareArray(sample.subarray(NaN), [40n, 41n, 42n, 43n]), "NaN");
+ assert(compareArray(sample.subarray(null), [40n, 41n, 42n, 43n]), "null");
+ assert(compareArray(sample.subarray(undefined), [40n, 41n, 42n, 43n]), "undefined");
+
+ assert(compareArray(sample.subarray(1.1), [41n, 42n, 43n]), "1.1");
+ assert(compareArray(sample.subarray(1.5), [41n, 42n, 43n]), "1.5");
+ assert(compareArray(sample.subarray(0.6), [40n, 41n, 42n, 43n]), "0.6");
+
+ assert(compareArray(sample.subarray(-1.5), [43n]), "-1.5");
+ assert(compareArray(sample.subarray(-1.1), [43n]), "-1.1");
+ assert(compareArray(sample.subarray(-0.6), [40n, 41n, 42n, 43n]), "-0.6");
+
+ assert(compareArray(sample.subarray("3"), [43n]), "string");
+ assert(
+ compareArray(
+ sample.subarray(obj),
+ [42n, 43n]
+ ),
+ "object"
+ );
+});
diff --git a/test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-end.js b/test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-end.js
new file mode 100644
index 000000000..8885220a3
--- /dev/null
+++ b/test/built-ins/TypedArray/prototype/subarray/BigInt/tointeger-end.js
@@ -0,0 +1,48 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-%typedarray%.prototype.subarray
+description: ToInteger(end)
+info: |
+ 22.2.3.27 %TypedArray%.prototype.subarray( begin , end )
+
+ ...
+ 9. If end is undefined, let relativeEnd be srcLength; else, let relativeEnd be
+ ? ToInteger(end).
+ ...
+includes: [testBigIntTypedArray.js, compareArray.js]
+features: [BigInt, TypedArray]
+---*/
+
+var obj = {
+ valueOf: function() {
+ return 2;
+ }
+};
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ var sample = new TA([40n, 41n, 42n, 43n]);
+
+ assert(compareArray(sample.subarray(0, false), []), "false");
+ assert(compareArray(sample.subarray(0, true), [40n]), "true");
+
+ assert(compareArray(sample.subarray(0, NaN), []), "NaN");
+ assert(compareArray(sample.subarray(0, null), []), "null");
+ assert(compareArray(sample.subarray(0, undefined), [40n, 41n, 42n, 43n]), "undefined");
+
+ assert(compareArray(sample.subarray(0, 0.6), []), "0.6");
+ assert(compareArray(sample.subarray(0, 1.1), [40n]), "1.1");
+ assert(compareArray(sample.subarray(0, 1.5), [40n]), "1.5");
+ assert(compareArray(sample.subarray(0, -0.6), []), "-0.6");
+ assert(compareArray(sample.subarray(0, -1.1), [40n, 41n, 42n]), "-1.1");
+ assert(compareArray(sample.subarray(0, -1.5), [40n, 41n, 42n]), "-1.5");
+
+ assert(compareArray(sample.subarray(0, "3"), [40n, 41n, 42n]), "string");
+ assert(
+ compareArray(
+ sample.subarray(0, obj),
+ [40n, 41n]
+ ),
+ "object"
+ );
+});