TypedArrayInstance.cs 12 KB

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