JsTypedArray.cs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385
  1. using System.Runtime.CompilerServices;
  2. using Esprima;
  3. using Jint.Native.ArrayBuffer;
  4. using Jint.Native.Number;
  5. using Jint.Native.Object;
  6. using Jint.Runtime;
  7. using Jint.Runtime.Descriptors;
  8. namespace Jint.Native.TypedArray
  9. {
  10. public sealed class JsTypedArray : ObjectInstance
  11. {
  12. internal readonly TypedArrayContentType _contentType;
  13. internal readonly TypedArrayElementType _arrayElementType;
  14. internal JsArrayBuffer _viewedArrayBuffer;
  15. internal uint _byteLength;
  16. internal int _byteOffset;
  17. private readonly Intrinsics _intrinsics;
  18. internal uint _arrayLength;
  19. internal JsTypedArray(
  20. Engine engine,
  21. Intrinsics intrinsics,
  22. TypedArrayElementType type,
  23. uint length) : base(engine)
  24. {
  25. _intrinsics = intrinsics;
  26. _viewedArrayBuffer = new JsArrayBuffer(engine, 0);
  27. _arrayElementType = type;
  28. _contentType = type != TypedArrayElementType.BigInt64 && type != TypedArrayElementType.BigUint64
  29. ? TypedArrayContentType.Number
  30. : TypedArrayContentType.BigInt;
  31. _arrayLength = length;
  32. }
  33. public JsValue this[int index]
  34. {
  35. get => IntegerIndexedElementGet(index);
  36. set => IntegerIndexedElementSet(index, value);
  37. }
  38. public JsValue this[uint index]
  39. {
  40. get => IntegerIndexedElementGet(index);
  41. set => IntegerIndexedElementSet(index, value);
  42. }
  43. public override uint Length => _viewedArrayBuffer.IsDetachedBuffer ? 0 : _arrayLength;
  44. internal override bool IsIntegerIndexedArray => true;
  45. /// <summary>
  46. /// https://tc39.es/ecma262/#sec-allocatetypedarraybuffer
  47. /// </summary>
  48. internal void AllocateTypedArrayBuffer(ulong len)
  49. {
  50. var elementSize = _arrayElementType.GetElementSize();
  51. var byteLength = elementSize * len;
  52. var data = _intrinsics.ArrayBuffer.AllocateArrayBuffer(_intrinsics.ArrayBuffer, byteLength);
  53. _byteLength = (uint) byteLength;
  54. _arrayLength = (uint) len;
  55. _viewedArrayBuffer = data;
  56. }
  57. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  58. internal bool HasProperty(long numericIndex)
  59. {
  60. return IsValidIntegerIndex(numericIndex);
  61. }
  62. /// <summary>
  63. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-hasproperty-p
  64. /// </summary>
  65. public override bool HasProperty(JsValue property)
  66. {
  67. if (property.IsString())
  68. {
  69. var numericIndex = TypeConverter.CanonicalNumericIndexString(property);
  70. if (numericIndex is not null)
  71. {
  72. return IsValidIntegerIndex(numericIndex.Value);
  73. }
  74. }
  75. return base.HasProperty(property);
  76. }
  77. /// <summary>
  78. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-getownproperty-p
  79. /// </summary>
  80. public override PropertyDescriptor GetOwnProperty(JsValue property)
  81. {
  82. var numericIndex = TypeConverter.CanonicalNumericIndexString(property);
  83. if (numericIndex is not null)
  84. {
  85. var value = IntegerIndexedElementGet(numericIndex.Value);
  86. if (value.IsUndefined())
  87. {
  88. return PropertyDescriptor.Undefined;
  89. }
  90. return new PropertyDescriptor(value, PropertyFlag.ConfigurableEnumerableWritable);
  91. }
  92. return base.GetOwnProperty(property);
  93. }
  94. /// <summary>
  95. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-get-p-receiver
  96. /// </summary>
  97. public override JsValue Get(JsValue property, JsValue receiver)
  98. {
  99. var numericIndex = TypeConverter.CanonicalNumericIndexString(property);
  100. if (numericIndex is not null)
  101. {
  102. return IntegerIndexedElementGet(numericIndex.Value);
  103. }
  104. return base.Get(property, receiver);
  105. }
  106. /// <summary>
  107. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-set-p-v-receiver
  108. /// </summary>
  109. public override bool Set(JsValue property, JsValue value, JsValue receiver)
  110. {
  111. var numericIndex = TypeConverter.CanonicalNumericIndexString(property);
  112. if (numericIndex is not null)
  113. {
  114. IntegerIndexedElementSet(numericIndex.Value, value);
  115. return true;
  116. }
  117. return base.Set(property, value, receiver);
  118. }
  119. /// <summary>
  120. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-defineownproperty-p-desc
  121. /// </summary>
  122. public override bool DefineOwnProperty(JsValue property, PropertyDescriptor desc)
  123. {
  124. if (property.IsString())
  125. {
  126. var numericIndex = TypeConverter.CanonicalNumericIndexString(property);
  127. if (numericIndex is not null)
  128. {
  129. if (!IsValidIntegerIndex(numericIndex.Value))
  130. {
  131. return false;
  132. }
  133. if (desc.ConfigurableSet && !desc.Configurable)
  134. {
  135. return false;
  136. }
  137. if (desc.EnumerableSet && !desc.Enumerable)
  138. {
  139. return false;
  140. }
  141. if (desc.IsAccessorDescriptor())
  142. {
  143. return false;
  144. }
  145. if (desc.WritableSet && !desc.Writable)
  146. {
  147. return false;
  148. }
  149. IntegerIndexedElementSet(numericIndex.Value, desc.Value);
  150. return true;
  151. }
  152. }
  153. return base.DefineOwnProperty(property, desc);
  154. }
  155. /// <summary>
  156. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-ownpropertykeys
  157. /// </summary>
  158. public override List<JsValue> GetOwnPropertyKeys(Types types = Types.None | Types.String | Types.Symbol)
  159. {
  160. var keys = new List<JsValue>();
  161. if (!_viewedArrayBuffer.IsDetachedBuffer)
  162. {
  163. var length = Length;
  164. for (uint i = 0; i < length; ++i)
  165. {
  166. keys.Add(JsString.Create(i));
  167. }
  168. }
  169. if (_properties is not null)
  170. {
  171. foreach (var pair in _properties)
  172. {
  173. keys.Add(pair.Key.Name);
  174. }
  175. }
  176. if (_symbols is not null)
  177. {
  178. foreach (var pair in _symbols)
  179. {
  180. keys.Add(pair.Key);
  181. }
  182. }
  183. return keys;
  184. }
  185. /// <summary>
  186. /// https://tc39.es/ecma262/#sec-integer-indexed-exotic-objects-delete-p
  187. /// </summary>
  188. public override bool Delete(JsValue property)
  189. {
  190. var numericIndex = TypeConverter.CanonicalNumericIndexString(property);
  191. if (numericIndex is not null)
  192. {
  193. return !IsValidIntegerIndex(numericIndex.Value);
  194. }
  195. return base.Delete(property);
  196. }
  197. // helper to prevent floating points
  198. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  199. private JsValue IntegerIndexedElementGet(int index)
  200. {
  201. if (!IsValidIntegerIndex(index))
  202. {
  203. return Undefined;
  204. }
  205. return DoIntegerIndexedElementGet(index);
  206. }
  207. /// <summary>
  208. /// https://tc39.es/ecma262/#sec-integerindexedelementget
  209. /// </summary>
  210. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  211. private JsValue IntegerIndexedElementGet(double index)
  212. {
  213. if (!IsValidIntegerIndex(index))
  214. {
  215. return Undefined;
  216. }
  217. return DoIntegerIndexedElementGet((int) index);
  218. }
  219. private JsValue DoIntegerIndexedElementGet(int index)
  220. {
  221. var offset = _byteOffset;
  222. var elementType = _arrayElementType;
  223. var elementSize = elementType.GetElementSize();
  224. var indexedPosition = index * elementSize + offset;
  225. var value = _viewedArrayBuffer.GetValueFromBuffer(indexedPosition, elementType, true, ArrayBufferOrder.Unordered);
  226. if (value.Type == Types.Number)
  227. {
  228. return _arrayElementType.FitsInt32()
  229. ? JsNumber.Create((int) value.DoubleValue)
  230. : JsNumber.Create(value.DoubleValue);
  231. }
  232. return JsBigInt.Create(value.BigInteger);
  233. }
  234. // helper tot prevent floating point
  235. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  236. internal void IntegerIndexedElementSet(int index, JsValue value)
  237. {
  238. TypedArrayValue numValue = _contentType != TypedArrayContentType.BigInt
  239. ? TypeConverter.ToNumber(value)
  240. : value.ToBigInteger(_engine);
  241. if (IsValidIntegerIndex(index))
  242. {
  243. DoIntegerIndexedElementSet(index, numValue);
  244. }
  245. }
  246. /// <summary>
  247. /// https://tc39.es/ecma262/#sec-integerindexedelementset
  248. /// </summary>
  249. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  250. private void IntegerIndexedElementSet(double index, JsValue value)
  251. {
  252. if (_contentType != TypedArrayContentType.BigInt)
  253. {
  254. var numValue = TypeConverter.ToNumber(value);
  255. if (IsValidIntegerIndex(index))
  256. {
  257. DoIntegerIndexedElementSet((int) index, numValue);
  258. }
  259. }
  260. else
  261. {
  262. try
  263. {
  264. var numValue = TypeConverter.ToBigInt(value);
  265. if (IsValidIntegerIndex(index))
  266. {
  267. DoIntegerIndexedElementSet((int) index, numValue);
  268. }
  269. }
  270. catch (ParserException ex)
  271. {
  272. ExceptionHelper.ThrowSyntaxError(_engine.Realm, ex.Message);
  273. }
  274. }
  275. }
  276. internal void DoIntegerIndexedElementSet(int index, TypedArrayValue numValue)
  277. {
  278. var offset = _byteOffset;
  279. var elementType = _arrayElementType;
  280. var elementSize = elementType.GetElementSize();
  281. var indexedPosition = index * elementSize + offset;
  282. _viewedArrayBuffer.SetValueInBuffer(indexedPosition, elementType, numValue, true, ArrayBufferOrder.Unordered);
  283. }
  284. /// <summary>
  285. /// https://tc39.es/ecma262/#sec-isvalidintegerindex
  286. /// </summary>
  287. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  288. internal bool IsValidIntegerIndex(double index)
  289. {
  290. if (_viewedArrayBuffer.IsDetachedBuffer)
  291. {
  292. return false;
  293. }
  294. if (!TypeConverter.IsIntegralNumber(index))
  295. {
  296. return false;
  297. }
  298. if (NumberInstance.IsNegativeZero(index))
  299. {
  300. return false;
  301. }
  302. if (index < 0 || index >= _arrayLength)
  303. {
  304. return false;
  305. }
  306. return true;
  307. }
  308. /// <summary>
  309. /// https://tc39.es/ecma262/#sec-isvalidintegerindex
  310. /// </summary>
  311. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  312. internal bool IsValidIntegerIndex(int index)
  313. {
  314. return !_viewedArrayBuffer.IsDetachedBuffer && (uint) index < _arrayLength;
  315. }
  316. internal T[] ToNativeArray<T>()
  317. {
  318. var conversionType = typeof(T);
  319. var elementSize = _arrayElementType.GetElementSize();
  320. var byteOffset = _byteOffset;
  321. var buffer = _viewedArrayBuffer;
  322. var array = new T[Length];
  323. for (var i = 0; i < array.Length; ++i)
  324. {
  325. var indexedPosition = i * elementSize + byteOffset;
  326. var value = buffer.RawBytesToNumeric(_arrayElementType, indexedPosition, BitConverter.IsLittleEndian);
  327. array[i] = (T) Convert.ChangeType(value, conversionType);
  328. }
  329. return array;
  330. }
  331. }
  332. }