1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
// |jit-test| skip-if: !this.SharedArrayBuffer
// SharedArrayBuffer.prototype.slice
load(libdir + "asserts.js");
let buf = new SharedArrayBuffer(1024);
let bufAsI8 = new Int8Array(buf);
for ( let i=0 ; i < buf.length ; i++ )
bufAsI8[i] = i;
let base = 10;
let len = 10;
let buf2 = buf.slice(base, base+len);
// Smells right?
assertEq(buf2 instanceof SharedArrayBuffer, true);
assertEq(buf2.byteLength, len);
// Data got copied correctly?
let buf2AsI8 = new Int8Array(buf2);
for ( let i=0 ; i < buf2AsI8.length ; i++ )
assertEq(buf2AsI8[i], bufAsI8[base+i]);
// Storage not shared?
let correct = bufAsI8[base];
bufAsI8[base]++;
assertEq(buf2AsI8[0], correct);
// Start beyond end
let notail = buf.slice(buf.byteLength+1);
assertEq(notail.byteLength, 0);
// Negative start
let tail = buf.slice(-5, buf.byteLength);
assertEq(tail.byteLength, 5);
let tailAsI8 = new Int8Array(tail);
for ( let i=0 ; i < tailAsI8.length ; i++ )
assertEq(tailAsI8[i], bufAsI8[buf.byteLength-5+i]);
// Negative end
let head = buf.slice(0, -5);
assertEq(head.byteLength, buf.byteLength-5);
let headAsI8 = new Int8Array(head);
for ( let i=0 ; i < headAsI8.length ; i++ )
assertEq(headAsI8[i], bufAsI8[i]);
// Subtyping
class MySharedArrayBuffer1 extends SharedArrayBuffer {
constructor(n) { super(n) }
}
let myBuf = new MySharedArrayBuffer1(1024);
let myBufAsI8 = new Int8Array(myBuf);
for ( let i=0 ; i < myBuf.length ; i++ )
myBufAsI8[i] = i;
let myBufSlice = myBuf.slice(0, 20);
assertEq(myBufSlice instanceof MySharedArrayBuffer1, true);
assertEq(myBufSlice.byteLength, 20);
let myBufSliceAsI8 = new Int8Array(myBufSlice);
for ( let i=0 ; i < myBufSlice.length ; i++ )
assertEq(myBufAsI8[i], myBufSliceAsI8[i]);
// Error mode: the method requires an object
assertThrowsInstanceOf(() => buf.slice.call(false, 0, 1), TypeError);
// Error mode: the method is not generic.
assertThrowsInstanceOf(() => buf.slice.call([1,2,3], 0, 1), TypeError);
// Error mode (step 15): the buffer constructed on behalf of slice
// is too short.
class MySharedArrayBuffer2 extends SharedArrayBuffer {
constructor(n) { super(n-1) }
}
let myBuf2 = new MySharedArrayBuffer2(10);
assertThrowsInstanceOf(() => myBuf2.slice(0, 5), TypeError);
// Error mode (step 13): the buffer constructed on behalf of slice
// is not a SharedArrayBuffer.
let subvert = false;
class MySharedArrayBuffer3 extends SharedArrayBuffer {
constructor(n) {
super(n);
if (subvert)
return new Array(n);
}
}
let myBuf3 = new MySharedArrayBuffer3(10);
subvert = true;
assertThrowsInstanceOf(() => myBuf3.slice(0, 5), TypeError);
// Error mode (step 14): the buffer constructed on behalf of slice
// is the same as the input buffer.
let sneaky = null;
class MySharedArrayBuffer4 extends SharedArrayBuffer {
constructor(n) {
super(n);
if (sneaky)
return sneaky;
}
}
let myBuf4 = new MySharedArrayBuffer4(10);
sneaky = myBuf4;
assertThrowsInstanceOf(() => myBuf4.slice(0, 5), TypeError);
|
