JavascriptOperators.h 64 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785
  1. //-------------------------------------------------------------------------------------------------------
  2. // Copyright (C) Microsoft. All rights reserved.
  3. // Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
  4. //-------------------------------------------------------------------------------------------------------
  5. #pragma once
  6. namespace IR
  7. {
  8. class LabelInstr;
  9. }
  10. enum JsNativeValueType: int;
  11. class ScriptContextInfo;
  12. namespace Js
  13. {
  14. struct ResumeYieldData;
  15. #define DeclareExceptionPointer(ep) \
  16. EXCEPTION_RECORD ep##er; \
  17. CONTEXT ep##c; \
  18. EXCEPTION_POINTERS ep = {&ep##er, &ep##c};
  19. // Typeof operator should return 'undefined' for undeclared or hoisted vars
  20. // and propagate all other exceptions.
  21. //
  22. // NB: Re-throw from catch unwinds the active frame but doesn't clear the stack
  23. // (catch clauses keep accumulating at the top of the stack until a catch
  24. // that doesn't re-throw). This is problematic if we've detected potential
  25. // stack overflow and report it via exceptions: the handling of throw
  26. // might actually overflow the stack and cause system SO exception.
  27. // Thus, use catch to cache the exception, and re-throw it outside of the catch.
  28. #define TYPEOF_ERROR_HANDLER_CATCH(scriptContext, var) \
  29. } \
  30. catch (const JavascriptException& err) \
  31. { \
  32. exceptionObject = err.GetAndClear(); \
  33. var = scriptContext->GetLibrary()->GetUndefined(); \
  34. #define TYPEOF_ERROR_HANDLER_THROW(scriptContext, var) \
  35. } \
  36. if (exceptionObject != nullptr) \
  37. { \
  38. Js::Var errorObject = exceptionObject->GetThrownObject(nullptr); \
  39. if (JavascriptError::ShouldTypeofErrorBeReThrown(errorObject)) \
  40. { \
  41. if (scriptContext->IsScriptContextInDebugMode()) \
  42. { \
  43. JavascriptExceptionOperators::ThrowExceptionObject(exceptionObject, scriptContext, true); \
  44. } \
  45. else \
  46. { \
  47. JavascriptExceptionOperators::DoThrowCheckClone(exceptionObject, scriptContext); \
  48. } \
  49. } \
  50. } \
  51. if (scriptContext->IsUndeclBlockVar(var)) \
  52. { \
  53. JavascriptError::ThrowReferenceError(scriptContext, JSERR_UseBeforeDeclaration); \
  54. } \
  55. }
  56. #ifdef ENABLE_SCRIPT_DEBUGGING
  57. #define BEGIN_TYPEOF_ERROR_HANDLER_DEBUGGER_THROW_IS_INTERNAL \
  58. class AutoCleanup \
  59. { \
  60. private: \
  61. ScriptContext *const scriptContext; \
  62. public: \
  63. AutoCleanup(ScriptContext *const scriptContext) : scriptContext(scriptContext) \
  64. { \
  65. if (scriptContext->IsScriptContextInDebugMode()) \
  66. { \
  67. scriptContext->GetDebugContext()->GetProbeContainer()->SetThrowIsInternal(true); \
  68. } \
  69. } \
  70. ~AutoCleanup() \
  71. { \
  72. if (scriptContext->IsScriptContextInDebugMode()) \
  73. { \
  74. scriptContext->GetDebugContext()->GetProbeContainer()->SetThrowIsInternal(false); \
  75. } \
  76. } \
  77. } autoCleanup(scriptContext);
  78. #else
  79. #define BEGIN_TYPEOF_ERROR_HANDLER_DEBUGGER_THROW_IS_INTERNAL
  80. #endif
  81. #define BEGIN_TYPEOF_ERROR_HANDLER(scriptContext) \
  82. { \
  83. JavascriptExceptionObject* exceptionObject = nullptr; \
  84. try { \
  85. Js::JavascriptExceptionOperators::AutoCatchHandlerExists autoCatchHandlerExists(scriptContext); \
  86. BEGIN_TYPEOF_ERROR_HANDLER_DEBUGGER_THROW_IS_INTERNAL
  87. #define END_TYPEOF_ERROR_HANDLER(scriptContext, var) \
  88. TYPEOF_ERROR_HANDLER_CATCH(scriptContext, var) \
  89. TYPEOF_ERROR_HANDLER_THROW(scriptContext, var)
  90. #define BEGIN_PROFILED_TYPEOF_ERROR_HANDLER(scriptContext) \
  91. BEGIN_TYPEOF_ERROR_HANDLER(scriptContext)
  92. #define END_PROFILED_TYPEOF_ERROR_HANDLER(scriptContext, var, functionBody, inlineCacheIndex) \
  93. TYPEOF_ERROR_HANDLER_CATCH(scriptContext, var) \
  94. functionBody->GetDynamicProfileInfo()->RecordFieldAccess(functionBody, inlineCacheIndex, var, FldInfo_NoInfo); \
  95. TYPEOF_ERROR_HANDLER_THROW(scriptContext, var)
  96. class JavascriptOperators /* All static */
  97. {
  98. // Methods
  99. public:
  100. static bool IsArray(_In_ RecyclableObject* instanceObj);
  101. static bool IsArray(_In_ Var instanceVar);
  102. static bool IsArray(_In_ JavascriptProxy * proxy);
  103. static bool IsConstructor(_In_ RecyclableObject* instanceObj);
  104. static bool IsConstructor(_In_ Var instanceVar);
  105. static bool IsConstructor(_In_ JavascriptProxy * proxy);
  106. static BOOL IsConcatSpreadable(Var instanceVar);
  107. static bool IsConstructorSuperCall(Arguments args);
  108. static bool GetAndAssertIsConstructorSuperCall(Arguments args);
  109. static RecyclableObject* ToObject(Var aRight,ScriptContext* scriptContext);
  110. static Var ToUnscopablesWrapperObject(Var aRight, ScriptContext* scriptContext);
  111. static Var OP_LdCustomSpreadIteratorList(Var aRight, ScriptContext* scriptContext);
  112. static Var ToNumber(Var aRight,ScriptContext* scriptContext);
  113. static Var ToNumberInPlace(Var aRight,ScriptContext* scriptContext, JavascriptNumber* result);
  114. static Var ToNumeric(Var aRight, ScriptContext* scriptContext);
  115. static Var ToNumericInPlace(Var aRight, ScriptContext* scriptContext, JavascriptNumber* result);
  116. #ifdef _M_IX86
  117. static Var Int32ToVar(int32 value, ScriptContext* scriptContext);
  118. static Var Int32ToVarInPlace(int32 value, ScriptContext* scriptContext, JavascriptNumber *result);
  119. static Var UInt32ToVar(uint32 value, ScriptContext* scriptContext);
  120. static Var UInt32ToVarInPlace(uint32 value, ScriptContext* scriptContext, JavascriptNumber *result);
  121. #endif
  122. static Var OP_FinishOddDivBy2(uint32 value, ScriptContext *scriptContext);
  123. static Var OP_ApplyArgs(Var func,Var instance,__in_xcount(8)void** stackPtr,CallInfo callInfo,ScriptContext* scriptContext);
  124. static Var Typeof(Var var, ScriptContext* scriptContext);
  125. static Var TypeofFld(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  126. static Var TypeofRootFld(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  127. static Var TypeofElem(Var instance, Var index, ScriptContext* scriptContext);
  128. static Var TypeofElem_UInt32(Var instance, uint32 index, ScriptContext* scriptContext);
  129. static Var TypeofElem_Int32(Var instance, int32 index, ScriptContext* scriptContext);
  130. static Var Delete(Var var, ScriptContext* scriptContext);
  131. static JavascriptString * Concat3(Var aLeft, Var aCenter, Var aRight, ScriptContext * scriptContext);
  132. static JavascriptString * NewConcatStrMulti(Var a1, Var a2, uint count, ScriptContext * scriptContext);
  133. static void SetConcatStrMultiItem(Var concatStr, Var str, uint index, ScriptContext * scriptContext);
  134. static void SetConcatStrMultiItem2(Var concatStr, Var str1, Var str2, uint index, ScriptContext * scriptContext);
  135. static BOOL Equal(Var aLeft, Var aRight,ScriptContext* scriptContext);
  136. static BOOL Equal_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  137. static BOOL Greater(Var aLeft, Var aRight,ScriptContext* scriptContext);
  138. static BOOL Greater_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  139. static BOOL GreaterEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  140. static BOOL Less(Var aLeft, Var aRight,ScriptContext* scriptContext);
  141. static BOOL Less_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  142. static BOOL LessEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  143. static BOOL NotEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  144. static BOOL StrictEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  145. static BOOL StrictEqualString(Var aLeft, JavascriptString* aRight);
  146. static BOOL StrictEqualEmptyString(Var aLeft);
  147. static BOOL NotStrictEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  148. static BOOL HasOwnProperty(Var instance, PropertyId propertyId, _In_ ScriptContext * requestContext, _In_opt_ PropertyString * propString);
  149. static BOOL GetOwnProperty(Var instance, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo * propertyValueInfo);
  150. static BOOL GetOwnAccessors(Var instance, PropertyId propertyId, Var* getter, Var* setter, ScriptContext * requestContext);
  151. static BOOL EnsureProperty(Var instance, PropertyId propertyId);
  152. static void OP_EnsureNoRootProperty(Var instance, PropertyId propertyId);
  153. static void OP_EnsureNoRootRedeclProperty(Var instance, PropertyId propertyId);
  154. static void OP_EnsureCanDeclGloFunc(Var instance, PropertyId propertyId);
  155. static void OP_ScopedEnsureNoRedeclProperty(FrameDisplay *pDisplay, PropertyId propertyId, Var instanceDefault);
  156. static JavascriptArray* GetOwnPropertyNames(Var instance, ScriptContext *scriptContext);
  157. static JavascriptArray* GetOwnPropertySymbols(Var instance, ScriptContext *scriptContext);
  158. static JavascriptArray* GetOwnPropertyKeys(Var instance, ScriptContext *scriptContext);
  159. static JavascriptArray* GetOwnEnumerablePropertyNames(RecyclableObject* instance, ScriptContext *scriptContext);
  160. static JavascriptArray* GetOwnEnumerablePropertyNamesSymbols(RecyclableObject* instance, ScriptContext *scriptContext);
  161. static BOOL GetOwnPropertyDescriptor(RecyclableObject* obj, PropertyId propertyId, ScriptContext* scriptContext, PropertyDescriptor* propertyDescriptor);
  162. static BOOL GetOwnPropertyDescriptor(RecyclableObject* obj, JavascriptString* propertyKey, ScriptContext* scriptContext, PropertyDescriptor* propertyDescriptor);
  163. static BOOL IsPropertyUnscopable (Var instanceVar, PropertyId propertyId);
  164. static BOOL IsPropertyUnscopable (Var instanceVar, JavascriptString *propertyString);
  165. static BOOL HasPropertyUnscopables(RecyclableObject* instance, PropertyId propertyId);
  166. static BOOL HasProperty(RecyclableObject* instance, PropertyId propertyId);
  167. static BOOL HasRootProperty(RecyclableObject* instance, PropertyId propertyId);
  168. static BOOL HasProxyOrPrototypeInlineCacheProperty(RecyclableObject* instance, PropertyId propertyId);
  169. template<bool OutputExistence, typename PropertyKeyType>
  170. static BOOL GetPropertyWPCache(Var instance, RecyclableObject* propertyObject, PropertyKeyType propertyKey, Var* value, ScriptContext* requestContext, _Inout_ PropertyValueInfo * info);
  171. static BOOL GetPropertyUnscopable(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info=NULL);
  172. static Var GetProperty(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  173. static BOOL GetProperty(RecyclableObject* instance, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  174. static Var GetProperty(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  175. static Var GetPropertyNoCache(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, ScriptContext* requestContext);
  176. static Var GetPropertyNoCache(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext);
  177. static BOOL GetPropertyNoCache(RecyclableObject* instance, PropertyId propertyId, Var* value, ScriptContext* requestContext);
  178. static BOOL GetPropertyNoCache(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value, ScriptContext* requestContext);
  179. static BOOL GetProperty(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  180. static BOOL GetPropertyObject(Var instance, ScriptContext * scriptContext, RecyclableObject** propertyObject);
  181. static bool GetPropertyObjectForElementAccess(
  182. _In_ Var instance,
  183. _In_ Var index,
  184. _In_ ScriptContext* scriptContext,
  185. _Out_ RecyclableObject** propertyObject,
  186. _In_ rtErrors error);
  187. static bool GetPropertyObjectForSetElementI(
  188. _In_ Var instance,
  189. _In_ Var index,
  190. _In_ ScriptContext* scriptContext,
  191. _Out_ RecyclableObject** propertyObject);
  192. static bool GetPropertyObjectForGetElementI(
  193. _In_ Var instance,
  194. _In_ Var index,
  195. _In_ ScriptContext* scriptContext,
  196. _Out_ RecyclableObject** propertyObject);
  197. static BOOL GetRootProperty(Var instance, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  198. static Var GetRootProperty(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  199. static Var GetPropertyReference(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext);
  200. static BOOL GetPropertyReference(RecyclableObject* instance, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  201. static BOOL GetPropertyReference(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  202. static BOOL GetRootPropertyReference(RecyclableObject* instance, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  203. template<typename PropertyKeyType>
  204. static BOOL SetPropertyWPCache(Var instance, RecyclableObject* object, PropertyKeyType propertyKey, Var newValue, ScriptContext* requestContext, PropertyOperationFlags flags, _Inout_ PropertyValueInfo * info);
  205. static BOOL SetPropertyUnscopable(Var instance, RecyclableObject* receiver, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  206. static BOOL SetProperty(Var instance, RecyclableObject* object, PropertyId propertyId, Var newValue, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  207. static BOOL SetProperty(Var instance, RecyclableObject* receiver, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  208. static BOOL SetRootProperty(RecyclableObject* instance, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  209. static _Check_return_ _Success_(return) BOOL GetAccessors(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext, _Out_ Var* getter, _Out_ Var* setter);
  210. static BOOL SetAccessors(RecyclableObject* instance, PropertyId propertyId, Var getter, Var setter, PropertyOperationFlags flags = PropertyOperation_None);
  211. static BOOL InitProperty(RecyclableObject* instance, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  212. static BOOL DeleteProperty(RecyclableObject* instance, PropertyId propertyId, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  213. static BOOL DeleteProperty(RecyclableObject* instance, JavascriptString *propertyNameString, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  214. static bool ShouldTryDeleteProperty(RecyclableObject* instance, JavascriptString *propertyNameString, PropertyRecord const **pPropertyRecord);
  215. static BOOL DeletePropertyUnscopables(RecyclableObject* instance, PropertyId propertyId, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  216. template<bool unscopables>
  217. static BOOL DeleteProperty_Impl(RecyclableObject* instance, PropertyId propertyId, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  218. static TypeId GetTypeId(_In_ const Var instance);
  219. static TypeId GetTypeId(_In_ RecyclableObject* instance);
  220. static TypeId GetTypeIdNoCheck(Var instance);
  221. template <typename T, typename U>
  222. __forceinline static T* TryFromVar(_In_ U* value)
  223. {
  224. return VarIs<T>(value) ? UnsafeVarTo<T>(value) : nullptr;
  225. }
  226. template <typename T, typename U>
  227. __forceinline static T* TryFromVar(WriteBarrierPtr<U> value)
  228. {
  229. return VarIs<T>(value) ? UnsafeVarTo<T>(value) : nullptr;
  230. }
  231. static BOOL IsObject(_In_ Var instance);
  232. static BOOL IsObject(_In_ RecyclableObject* instance);
  233. static BOOL IsExposedType(TypeId typeId);
  234. static BOOL IsObjectType(TypeId typeId);
  235. static BOOL IsObjectOrNull(Var instance);
  236. static BOOL IsUndefined(_In_ RecyclableObject* instance);
  237. static BOOL IsUndefined(Var instance);
  238. static BOOL IsUndefinedObject(RecyclableObject* instance);
  239. static BOOL IsUndefinedOrNullType(TypeId);
  240. static BOOL IsUndefinedOrNull(Var instance);
  241. static BOOL IsUndefinedOrNull(RecyclableObject* instance);
  242. static BOOL IsNull(Var instance);
  243. static BOOL IsNull(RecyclableObject* instance);
  244. static BOOL IsSpecialObjectType(TypeId typeId);
  245. static BOOL IsJsNativeType(TypeId typeId);
  246. static BOOL IsJsNativeObject(Var instance);
  247. static BOOL IsJsNativeObject(_In_ RecyclableObject* instance);
  248. static BOOL IsUndefinedObject(Var instance);
  249. static BOOL IsAnyNumberValue(Var instance);
  250. static BOOL IsClassConstructor(Var instance);
  251. static BOOL IsClassMethod(Var instance);
  252. static BOOL IsBaseConstructorKind(Var instance);
  253. // careful using the versions below. (instance's scriptContext better be === scriptContext)
  254. static BOOL IsUndefinedOrNull(Var instance, JavascriptLibrary* library);
  255. static BOOL IsUndefinedOrNull(Var instance, ScriptContext* scriptContext);
  256. static BOOL IsNull(Var instance, ScriptContext* scriptContext);
  257. static BOOL IsNull(Var instance, JavascriptLibrary* library);
  258. static BOOL IsUndefinedObject(Var instance, ScriptContext* scriptContext);
  259. static BOOL IsUndefinedObject(Var instance, RecyclableObject* libraryUndefined);
  260. static BOOL IsUndefinedObject(Var instance, JavascriptLibrary* library);
  261. static bool CanShortcutOnUnknownPropertyName(RecyclableObject * instance);
  262. static bool CanShortcutInstanceOnUnknownPropertyName(RecyclableObject *instance);
  263. static bool CanShortcutPrototypeChainOnUnknownPropertyName(RecyclableObject *instance);
  264. static BOOL HasOwnItem(RecyclableObject* instance, uint32 index);
  265. static BOOL HasItem(RecyclableObject* instance, uint32 index);
  266. static BOOL HasItem(RecyclableObject* instance, uint64 index);
  267. static BOOL GetOwnItem(RecyclableObject* instance, uint32 index, Var* value, ScriptContext* requestContext);
  268. static Var GetItem(RecyclableObject* instance, uint64 index, ScriptContext* requestContext);
  269. static Var GetItem(RecyclableObject* instance, uint32 index, ScriptContext* requestContext);
  270. static BOOL GetItem(RecyclableObject* instance, uint64 index, Var* value, ScriptContext* requestContext);
  271. static BOOL GetItem(RecyclableObject* instance, uint32 index, Var* value, ScriptContext* requestContext);
  272. static BOOL GetItem(Var instance, RecyclableObject* propertyObject, uint32 index, Var* value, ScriptContext* requestContext);
  273. static BOOL GetItemReference(RecyclableObject* instance, uint32 index, Var* value, ScriptContext* requestContext);
  274. static BOOL GetItemReference(Var instance, RecyclableObject* propertyObject, uint32 index, Var* value, ScriptContext* requestContext);
  275. static BOOL SetItem(Var instance, RecyclableObject* object, uint64 index, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  276. static BOOL SetItem(Var instance, RecyclableObject* object, uint32 index, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None, BOOL skipPrototypeCheck = FALSE);
  277. static BOOL DeleteItem(RecyclableObject* instance, uint32 index, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  278. static BOOL DeleteItem(RecyclableObject* instance, uint64 index, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  279. static RecyclableObject* CreateFromConstructor(RecyclableObject* constructor, ScriptContext* scriptContext);
  280. static RecyclableObject* OrdinaryCreateFromConstructor(RecyclableObject* constructor, RecyclableObject* obj, DynamicObject* intrinsicProto, ScriptContext* scriptContext);
  281. template<typename PropertyKeyType>
  282. static BOOL CheckPrototypesForAccessorOrNonWritablePropertySlow(RecyclableObject* instance, PropertyKeyType propertyKey, Var* setterValueOrProxy, DescriptorFlags* flags, bool isRoot, ScriptContext* scriptContext);
  283. static BOOL CheckPrototypesForAccessorOrNonWritableProperty(RecyclableObject* instance, PropertyId propertyId, Var* setterValueOrProxy, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  284. static BOOL CheckPrototypesForAccessorOrNonWritableProperty(RecyclableObject* instance, JavascriptString* propertyNameString, Var* setterValueOrProxy, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  285. static BOOL CheckPrototypesForAccessorOrNonWritableRootProperty(RecyclableObject* instance, PropertyId propertyId, Var* setterValueOrProxy, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  286. static BOOL CheckPrototypesForAccessorOrNonWritableItem(RecyclableObject* instance, uint32 index, Var* setterValueOrProxy, DescriptorFlags* flags, ScriptContext* scriptContext, BOOL skipPrototypeCheck = FALSE);
  287. template <typename PropertyKeyType, bool unscopable>
  288. static DescriptorFlags GetterSetter_Impl(RecyclableObject* instance, PropertyKeyType propertyKey, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  289. static DescriptorFlags GetterSetterUnscopable(RecyclableObject* instance, PropertyId propertyId, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  290. static DescriptorFlags GetterSetter(RecyclableObject* instance, PropertyId propertyId, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  291. static DescriptorFlags GetterSetter(RecyclableObject* instance, JavascriptString * propertyName, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  292. static void OP_InvalidateProtoCaches(PropertyId propertyId, ScriptContext *scriptContext);
  293. static BOOL SetGlobalPropertyNoHost(char16 const * propertyName, charcount_t propertyLength, Var value, ScriptContext * scriptContext);
  294. static RecyclableObject* GetPrototype(RecyclableObject* instance);
  295. static RecyclableObject* OP_GetPrototype(Var instance, ScriptContext* scriptContext);
  296. static BOOL OP_HasProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  297. static BOOL OP_HasOwnProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  298. static BOOL HasOwnPropertyNoHostObject(Var instance, PropertyId propertyId);
  299. static BOOL HasOwnPropertyNoHostObjectForHeapEnum(Var instance, PropertyId propertyId, ScriptContext* scriptContext, Var& getter, Var& setter);
  300. static Var GetOwnPropertyNoHostObjectForHeapEnum(Var instance, PropertyId propertyId, ScriptContext* scriptContext, Var& getter, Var &setter);
  301. static BOOL OP_HasOwnPropScoped(Var instance, PropertyId propertyId, Var defaultInstance, ScriptContext* scriptContext);
  302. static Var OP_GetProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  303. static Var OP_GetRootProperty(Var instance, PropertyId propertyId, PropertyValueInfo * info, ScriptContext* scriptContext);
  304. static BOOL OP_SetProperty(Var instance, PropertyId propertyId, Var newValue, ScriptContext* scriptContext, PropertyValueInfo * info = nullptr, PropertyOperationFlags flags = PropertyOperation_None, Var thisInstance = nullptr);
  305. static bool SetElementIOnTaggedNumber(
  306. _In_ Var receiver,
  307. _In_ RecyclableObject* object,
  308. _In_ Var index,
  309. _In_ Var value,
  310. _In_ ScriptContext* requestContext,
  311. _In_ PropertyOperationFlags propertyOperationFlags);
  312. static BOOL SetPropertyOnTaggedNumber(Var instance, RecyclableObject* object, PropertyId propertyId, Var newValue, ScriptContext* requestContext, PropertyOperationFlags flags);
  313. static BOOL SetItemOnTaggedNumber(Var instance, RecyclableObject* object, uint32 index, Var newValue, ScriptContext* requestContext, PropertyOperationFlags propertyOperationFlags);
  314. static BOOL OP_StFunctionExpression(Var instance, PropertyId propertyId, Var newValue);
  315. static BOOL OP_InitProperty(Var instance, PropertyId propertyId, Var newValue);
  316. static Var OP_DeleteProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  317. static Var OP_DeleteRootProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  318. static BOOL OP_InitLetProperty(Var instance, PropertyId propertyId, Var newValue);
  319. static BOOL OP_InitConstProperty(Var instance, PropertyId propertyId, Var newValue);
  320. static BOOL OP_InitUndeclRootLetProperty(Var instance, PropertyId propertyId);
  321. static BOOL OP_InitUndeclRootConstProperty(Var instance, PropertyId propertyId);
  322. static BOOL OP_InitUndeclConsoleLetProperty(Var instance, PropertyId propertyId);
  323. static BOOL OP_InitUndeclConsoleConstProperty(Var instance, PropertyId propertyId);
  324. static BOOL OP_InitClassMember(Var instance, PropertyId propertyId, Var newValue);
  325. static void OP_InitClassMemberComputedName(Var object, Var elementName, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  326. static void OP_InitClassMemberGet(Var object, PropertyId propertyId, Var getter);
  327. static void OP_InitClassMemberGetComputedName(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  328. static void OP_InitClassMemberSet(Var object, PropertyId propertyId, Var setter);
  329. static void OP_InitClassMemberSetComputedName(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  330. static Field(Var)* OP_GetModuleExportSlotArrayAddress(uint moduleIndex, uint slotIndex, ScriptContextInfo* scriptContext);
  331. static Field(Var)* OP_GetModuleExportSlotAddress(uint moduleIndex, uint slotIndex, ScriptContext* scriptContext);
  332. static Var OP_LdModuleSlot(uint moduleIndex, uint slotIndex, ScriptContext* scriptContext);
  333. static void OP_StModuleSlot(uint moduleIndex, uint slotIndex, Var value, ScriptContext* scriptContext);
  334. static Js::PropertyId GetPropertyId(Var propertyName, ScriptContext* scriptContext);
  335. static BOOL OP_HasItem(Var instance, Var aElementIndex, ScriptContext* scriptContext);
  336. static Var OP_GetElementI(Var instance, Var aElementIndex, ScriptContext* scriptContext);
  337. static Var OP_GetElementI_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext);
  338. static Var OP_GetElementI_Int32(Var instance, int32 aElementIndex, ScriptContext* scriptContext);
  339. static Var OP_GetElementI_JIT(Var instance, Var index, ScriptContext *scriptContext);
  340. static Var GetElementIHelper(Var instance, Var index, Var receiver, ScriptContext* scriptContext);
  341. static int32 OP_GetNativeIntElementI(Var instance, Var index);
  342. static int32 OP_GetNativeIntElementI_Int32(Var instance, int32 index, ScriptContext *scriptContext);
  343. static int32 OP_GetNativeIntElementI_UInt32(Var instance, uint32 index, ScriptContext *scriptContext);
  344. static double OP_GetNativeFloatElementI(Var instance, Var index);
  345. static double OP_GetNativeFloatElementI_Int32(Var instance, int32 index, ScriptContext *scriptContext);
  346. static double OP_GetNativeFloatElementI_UInt32(Var instance, uint32 index, ScriptContext *scriptContext);
  347. static Var OP_GetMethodElement(Var instance, Var aElementIndex, ScriptContext* scriptContext);
  348. static Var OP_GetMethodElement_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext);
  349. static Var OP_GetMethodElement_Int32(Var instance, int32 aElementIndex, ScriptContext* scriptContext);
  350. static BOOL OP_SetElementI(Var instance, Var aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  351. static BOOL OP_SetElementI_JIT(Var instance, Var aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  352. static BOOL OP_SetElementI_UInt32(Var instance, uint32 aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  353. static BOOL OP_SetElementI_Int32(Var instance, int32 aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  354. static BOOL SetElementIHelper(Var receiver, RecyclableObject* object, Var index, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags);
  355. static BOOL OP_SetNativeIntElementI(Var instance, Var aElementIndex, int32 aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  356. static BOOL OP_SetNativeIntElementI_UInt32(Var instance, uint32 aElementIndex, int32 aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  357. static BOOL OP_SetNativeIntElementI_Int32(Var instance, int aElementIndex, int32 aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  358. static BOOL OP_SetNativeFloatElementI(Var instance, Var aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags flags, double value);
  359. static BOOL OP_SetNativeFloatElementI_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags flags, double value);
  360. static BOOL OP_SetNativeFloatElementI_Int32(Var instance, int aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags flags, double value);
  361. static Var OP_DeleteElementI(Var instance, Var aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  362. static Var OP_DeleteElementI_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  363. static Var OP_DeleteElementI_Int32(Var instance, int32 aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  364. static BOOL OP_Memset(Var instance, int32 start, Var value, int32 length, ScriptContext* scriptContext);
  365. static BOOL OP_Memcopy(Var dstInstance, int32 dstStart, Var srcInstance, int32 srcStart, int32 length, ScriptContext* scriptContext);
  366. static Var OP_GetLength(Var instance, ScriptContext* scriptContext);
  367. static Var OP_GetThis(Var thisVar, int moduleID, ScriptContextInfo* scriptContext);
  368. static Var OP_GetThisNoFastPath(Var thisVar, int moduleID, ScriptContext* scriptContext);
  369. static Var OP_StrictGetThis(Var thisVar, ScriptContext* scriptContext);
  370. static bool IsThisSelf(TypeId typeId);
  371. static Var GetThisHelper(Var thisVar, TypeId typeId, int moduleID, ScriptContextInfo *scriptContext);
  372. static Var GetThisFromModuleRoot(Var thisVar);
  373. static Var OP_GetThisScoped(FrameDisplay *pScope, Var defaultInstance, ScriptContext* scriptContext);
  374. static Var OP_UnwrapWithObj(Var aValue);
  375. static Var OP_GetInstanceScoped(FrameDisplay *pScope, PropertyId propertyId, Var rootObject, Var* result2, ScriptContext* scriptContext);
  376. static BOOL OP_InitPropertyScoped(FrameDisplay *pScope, PropertyId propertyId, Var newValue, Var defaultInstance, ScriptContext* scriptContext);
  377. static BOOL OP_InitFuncScoped(FrameDisplay *pScope, PropertyId propertyId, Var newValue, Var defaultInstance, ScriptContext* scriptContext);
  378. static Var OP_DeletePropertyScoped(
  379. FrameDisplay *pScope,
  380. PropertyId propertyId,
  381. Var defaultInstance,
  382. ScriptContext* scriptContext,
  383. PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  384. static Var OP_TypeofPropertyScoped(FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance, ScriptContext* scriptContext);
  385. static void OP_InitGetter(Var object, PropertyId propertyId, Var getter);
  386. static Js::PropertyId OP_InitElemGetter(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  387. static void OP_InitSetter(Var object, PropertyId propertyId, Var setter);
  388. static Js::PropertyId OP_InitElemSetter(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  389. static void OP_InitComputedProperty(Var object, Var elementName, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  390. static void OP_InitProto(Var object, PropertyId propertyId, Var value);
  391. static void OP_InitForInEnumerator(Var enumerable, ForInObjectEnumerator * enumerator, ScriptContext* scriptContext, EnumeratorCache * forInCache = nullptr);
  392. static Var OP_BrOnEmpty(ForInObjectEnumerator * enumerator);
  393. static BOOL OP_BrHasSideEffects(int se,ScriptContext* scriptContext);
  394. static BOOL OP_BrNotHasSideEffects(int se,ScriptContext* scriptContext);
  395. static BOOL OP_BrFncEqApply(Var instance,ScriptContext* scriptContext);
  396. static BOOL OP_BrFncNeqApply(Var instance,ScriptContext* scriptContext);
  397. static Var OP_CmEq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  398. static Var OP_CmNeq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  399. static Var OP_CmSrEq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  400. static Var OP_CmSrEq_String(Var a, JavascriptString* b, ScriptContext *scriptContext);
  401. static Var OP_CmSrEq_EmptyString(Var a, ScriptContext *scriptContext);
  402. static Var OP_CmSrNeq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  403. static Var OP_CmLt_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  404. static Var OP_CmLe_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  405. static Var OP_CmGt_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  406. static Var OP_CmGe_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  407. static FunctionInfo * GetConstructorFunctionInfo(Var instance, ScriptContext * scriptContext);
  408. // Detach the type array buffer, if possible, and returns the state of the object which can be used to initialize another object
  409. static DetachedStateBase* DetachVarAndGetState(Var var, bool queueForDelayFree = true);
  410. static bool IsObjectDetached(Var var);
  411. // This will return a new object from the state returned by the above operation
  412. static Var NewVarFromDetachedState(DetachedStateBase* state, JavascriptLibrary *library);
  413. static Var NewScObjectLiteral(ScriptContext* scriptContext, const Js::PropertyIdArray *propIds, Field(DynamicType*)* literalType);
  414. static DynamicType * EnsureObjectLiteralType(ScriptContext* scriptContext, const Js::PropertyIdArray *propIds, Field(DynamicType*)* literalType);
  415. static uint GetLiteralSlotCapacity(Js::PropertyIdArray const * propIds);
  416. static uint GetLiteralInlineSlotCapacity(Js::PropertyIdArray const * propIds);
  417. static Var NewJavascriptObjectNoArg(ScriptContext* requestContext);
  418. static Var NewJavascriptArrayNoArg(ScriptContext* requestContext);
  419. static Var NewScObjectNoCtorCommon(Var instance, ScriptContext* requestContext, bool isBaseClassConstructorNewScObject = false);
  420. static Var NewScObjectNoCtor(Var instance, ScriptContext* requestContext);
  421. static Var NewScObjectNoCtorFull(Var instance, ScriptContext* requestContext);
  422. static Var NewScObjectNoArgNoCtorCommon(Var instance, ScriptContext* requestContext, bool isBaseClassConstructorNewScObject = false);
  423. static Var NewScObjectNoArgNoCtor(Var instance, ScriptContext* requestContext);
  424. static Var NewScObjectNoArgNoCtorFull(Var instance, ScriptContext* requestContext);
  425. static Var NewScObjectNoArg(Var instance, ScriptContext* requestContext);
  426. static Var NewScObject(const Var callee, const Arguments args, ScriptContext *const scriptContext, const Js::AuxArray<uint32> *spreadIndices = nullptr);
  427. template <typename Fn>
  428. static Var NewObjectCreationHelper_ReentrancySafe(RecyclableObject* constructor, bool isDefaultConstructor, ThreadContext * threadContext, Fn newObjectCreationFunction);
  429. static Var AddVarsToArraySegment(SparseArraySegment<Var> * segment, const Js::VarArray *vars);
  430. static void AddIntsToArraySegment(SparseArraySegment<int32> * segment, const Js::AuxArray<int32> *ints);
  431. static void AddFloatsToArraySegment(SparseArraySegment<double> * segment, const Js::AuxArray<double> *doubles);
  432. static void UpdateNewScObjectCache(Var function, Var instance, ScriptContext* requestContext);
  433. static RecyclableObject* GetIteratorFunction(Var iterable, ScriptContext* scriptContext, bool optional = false);
  434. static RecyclableObject* GetIteratorFunction(RecyclableObject* instance, ScriptContext * scriptContext, bool optional = false);
  435. static RecyclableObject* GetIterator(Var instance, ScriptContext* scriptContext, bool optional = false);
  436. static RecyclableObject* GetIterator(RecyclableObject* instance, ScriptContext* scriptContext, bool optional = false);
  437. static RecyclableObject* IteratorNext(RecyclableObject* iterator, ScriptContext* scriptContext, Var value = nullptr);
  438. static void IteratorClose(RecyclableObject* iterator, ScriptContext* scriptContext);
  439. template <typename THandler>
  440. static void DoIteratorStepAndValue(RecyclableObject* iterator, ScriptContext* scriptContext, THandler handler);
  441. static bool IteratorComplete(RecyclableObject* iterResult, ScriptContext* scriptContext);
  442. static Var IteratorValue(RecyclableObject* iterResult, ScriptContext* scriptContext);
  443. static bool IteratorStep(RecyclableObject* iterator, ScriptContext* scriptContext, RecyclableObject** result);
  444. static bool IteratorStepAndValue(RecyclableObject* iterator, ScriptContext* scriptContext, Var* resultValue);
  445. static void TraceUseConstructorCache(const ConstructorCache* ctorCache, const JavascriptFunction* ctor, bool isHit);
  446. static void TraceUpdateConstructorCache(const ConstructorCache* ctorCache, const FunctionBody* ctorBody, bool updated, const char16* reason);
  447. static Var ConvertToUnmappedArguments(HeapArgumentsObject *argumentsObject, uint32 paramCount, Var *paramAddr, DynamicObject* frameObject, Js::PropertyIdArray *propIds, uint32 formalsCount, ScriptContext* scriptContext);
  448. static Js::GlobalObject * OP_LdRoot(ScriptContext* scriptContext);
  449. static Js::ModuleRoot * GetModuleRoot(int moduleID, ScriptContext* scriptContext);
  450. static Js::Var OP_LoadModuleRoot(int moduleID, ScriptContext* scriptContext);
  451. static Var OP_LdNull(ScriptContext* scriptContext);
  452. static Var OP_LdUndef(ScriptContext* scriptContext);
  453. static Var OP_LdNaN(ScriptContext* scriptContext);
  454. static Var OP_LdChakraLib(ScriptContext* scriptContext);
  455. static Var OP_LdInfinity(ScriptContext* scriptContext);
  456. static FrameDisplay* OP_LdHandlerScope(Var argThis, ScriptContext* scriptContext);
  457. static FrameDisplay* OP_LdFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  458. static FrameDisplay* OP_LdFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  459. static FrameDisplay* OP_LdStrictFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  460. static FrameDisplay* OP_LdStrictFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  461. static FrameDisplay* OP_LdInnerFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  462. static FrameDisplay* OP_LdInnerFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  463. static FrameDisplay* OP_LdStrictInnerFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  464. static FrameDisplay* OP_LdStrictInnerFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  465. static void CheckInnerFrameDisplayArgument(void *argHead);
  466. static Var LoadHeapArguments(JavascriptFunction *funcCallee, uint32 count, Var *pParams, Var frameObj, Var vArray, ScriptContext* scriptContext, bool nonSimpleParamList);
  467. static Var LoadHeapArgsCached(JavascriptFunction *funcCallee, uint32 actualsCount, uint32 formalsCount, Var *pParams, Var frameObj, ScriptContext* scriptContext, bool nonSimpleParamList);
  468. static Var FillScopeObject(JavascriptFunction *funcCallee, uint32 actualsCount, uint32 formalsCount, Var frameObj, Var * paramAddr, Js::PropertyIdArray *propIds, HeapArgumentsObject * argsObj, ScriptContext * scriptContext, bool nonSimpleParamList, bool useCachedScope);
  469. static HeapArgumentsObject *CreateHeapArguments(JavascriptFunction *funcCallee, uint32 actualsCount, uint32 formalsCount, Var frameObj, ScriptContext* scriptContext);
  470. static Var OP_InitCachedScope(Var varFunc, const PropertyIdArray *propIds, Field(DynamicType*)* literalType, bool formalsAreLetDecls, ScriptContext *scriptContext);
  471. static void OP_InvalidateCachedScope(Var varEnv, int32 envIndex);
  472. static void OP_InitCachedFuncs(Var varScope, FrameDisplay *pDisplay, const FuncInfoArray *info, ScriptContext *scriptContext);
  473. static Var OP_NewScopeObject(ScriptContext* scriptContext);
  474. static Var OP_NewScopeObjectWithFormals(ScriptContext* scriptContext, FunctionBody * calleeBody, bool nonSimpleParamList);
  475. static Field(Var)* OP_NewScopeSlots(unsigned int count, ScriptContext *scriptContext, Var scope);
  476. static Field(Var)* OP_NewScopeSlotsWithoutPropIds(unsigned int count, int index, ScriptContext *scriptContext, FunctionBody *functionBody);
  477. static Field(Var)* OP_CloneScopeSlots(Field(Var) *scopeSlots, ScriptContext *scriptContext);
  478. static Var OP_NewPseudoScope(ScriptContext *scriptContext);
  479. static Var OP_NewBlockScope(ScriptContext *scriptContext);
  480. static Var OP_CloneBlockScope(BlockActivationObject *blockScope, ScriptContext *scriptContext);
  481. static void OP_InitClass(Var constructor, Var extends, ScriptContext * scriptContext);
  482. static void OP_LoadUndefinedToElement(Var instance, PropertyId propertyId);
  483. static void OP_LoadUndefinedToElementDynamic(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  484. static void OP_LoadUndefinedToElementScoped(FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance, ScriptContext* scriptContext);
  485. static Var OP_IsInst(Var instance, Var aClass, ScriptContext* scriptContext, IsInstInlineCache *inlineCache);
  486. static Var IsIn(Var argProperty, Var instance, ScriptContext* scriptContext);
  487. static BOOL GetRemoteTypeId(Var instance, __out TypeId* typeId);
  488. static FunctionProxy* GetDeferredDeserializedFunctionProxy(JavascriptFunction* func);
  489. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  490. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetValueWithThisPtr(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var thisInstance);
  491. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetValueForTypeOf(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  492. static Var PatchGetValueUsingSpecifiedInlineCache(InlineCache * inlineCache, Var instance, RecyclableObject * object, PropertyId propertyId, ScriptContext* scriptContext);
  493. static Var PatchGetValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  494. static Var PatchGetValueWithThisPtrNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var thisInstance);
  495. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetRootValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  496. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetRootValueForTypeOf(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  497. static Var PatchGetRootValueNoFastPath_Var(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  498. static Var PatchGetRootValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  499. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetPropertyScoped(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance);
  500. template <bool IsFromFullJit, class TInlineCache> static void PatchSetPropertyScoped(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, FrameDisplay *pScope, PropertyId propertyId, Var newValue, Var defaultInstance, PropertyOperationFlags flags = PropertyOperation_None);
  501. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetPropertyForTypeOfScoped(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance);
  502. template <bool IsFromFullJit, class TInlineCache> static void PatchPutValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  503. template <bool IsFromFullJit, class TInlineCache> static void PatchPutValueWithThisPtr(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, Var thisInstance, PropertyOperationFlags flags = PropertyOperation_None);
  504. template <bool IsFromFullJit, class TInlineCache> static void PatchPutRootValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  505. template <bool IsFromFullJit, class TInlineCache> static void PatchPutValueNoLocalFastPath(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  506. template <bool IsFromFullJit, class TInlineCache> static void PatchPutValueWithThisPtrNoLocalFastPath(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var newValue, Var thisInstance, PropertyOperationFlags flags = PropertyOperation_None);
  507. template <bool IsFromFullJit, class TInlineCache> static void PatchPutRootValueNoLocalFastPath(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  508. static void PatchPutValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  509. static void PatchPutValueWithThisPtrNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, Var thisInstance, PropertyOperationFlags flags = PropertyOperation_None);
  510. static void PatchPutRootValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  511. template <bool IsFromFullJit, class TInlineCache> static void PatchInitValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, RecyclableObject* object, PropertyId propertyId, Var newValue);
  512. static void PatchInitValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, RecyclableObject* object, PropertyId propertyId, Var newValue);
  513. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetMethod(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  514. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetRootMethod(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  515. template <bool IsFromFullJit, class TInlineCache> static Var PatchScopedGetMethod(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  516. static Var PatchGetMethodNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  517. static Var PatchGetRootMethodNoFastPath_Var(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  518. static Var PatchGetRootMethodNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  519. static Var PatchGetMethodFromObject(Var instance, RecyclableObject * propertyObject, PropertyId propertyId, PropertyValueInfo * info, ScriptContext * scriptContext, bool isRootLd);
  520. static void GetPropertyIdForInt(uint64 value, ScriptContext* scriptContext, PropertyRecord const ** propertyRecord);
  521. static void GetPropertyIdForInt(uint32 value, ScriptContext* scriptContext, PropertyRecord const ** propertyRecord);
  522. static BOOL TryConvertToUInt32(const char16* str, int length, uint32* value);
  523. static BOOL ToPropertyDescriptor(Var propertySpec, PropertyDescriptor* descriptor, ScriptContext* scriptContext);
  524. static Var FromPropertyDescriptor(const PropertyDescriptor& descriptor, ScriptContext* scriptContext);
  525. static void CompletePropertyDescriptor(PropertyDescriptor* resultDescriptor, PropertyDescriptor* likePropertyDescriptor, ScriptContext* requestContext);
  526. static BOOL SetPropertyDescriptor(RecyclableObject* object, PropertyId propId, const PropertyDescriptor& descriptor);
  527. static BOOL DefineOwnPropertyDescriptor(RecyclableObject* object, PropertyId propId, const PropertyDescriptor& descriptor, bool throwOnError, ScriptContext* scriptContext);
  528. static BOOL DefineOwnPropertyForArray(JavascriptArray* arr, PropertyId propId, const PropertyDescriptor& descriptor, bool throwOnError, ScriptContext* scriptContext);
  529. static BOOL DefineOwnPropertyForTypedArray(TypedArrayBase * typedArray, PropertyId propId, const PropertyDescriptor & descriptor, bool throwOnError, ScriptContext * scriptContext);
  530. static BOOL IsCompatiblePropertyDescriptor(const PropertyDescriptor& descriptor, PropertyDescriptor* currentDescriptor, bool isExtensible, bool throwOnError, ScriptContext* scriptContext);
  531. template <bool needToSetProperty>
  532. static BOOL ValidateAndApplyPropertyDescriptor(RecyclableObject* obj, PropertyId propId, const PropertyDescriptor& descriptor,
  533. PropertyDescriptor* currentPropertyDescriptor, bool isExtensible, bool throwOnError, ScriptContext* scriptContext);
  534. template <bool isAccessor>
  535. static PropertyDescriptor FillMissingPropertyDescriptorFields(PropertyDescriptor descriptor, ScriptContext* scriptContext);
  536. static Var DefaultAccessor(RecyclableObject* function, CallInfo callInfo, ...);
  537. static bool IsUndefinedAccessor(Var accessor, ScriptContext* scriptContext);
  538. static void SetAttributes(RecyclableObject* object, PropertyId propId, const PropertyDescriptor& descriptor, bool force);
  539. static void OP_ClearAttributes(Var instance, PropertyId propertyId);
  540. static Var RootToThisObject(const Var object, ScriptContext * const scriptContext);
  541. static Var CallGetter(RecyclableObject * const function, Var const object, ScriptContext * const scriptContext);
  542. static void CallSetter(RecyclableObject * const function, Var const object, Var const value, ScriptContext * const scriptContext);
  543. static bool CheckIfObjectAndPrototypeChainHasOnlyWritableDataProperties(_In_ RecyclableObject* object);
  544. static bool CheckIfPrototypeChainHasOnlyWritableDataProperties(_In_ RecyclableObject* prototype);
  545. static bool CheckIfObjectAndProtoChainHasNoSpecialProperties(_In_ RecyclableObject* object);
  546. static bool CheckIfPrototypeChainContainsProxyObject(RecyclableObject* prototype);
  547. static void OP_SetComputedNameVar(Var method, Var computedNameVar);
  548. static void OP_SetHomeObj(Var method, Var homeObj);
  549. static Var OP_LdHomeObj(Var scriptFunction, ScriptContext * scriptContext);
  550. static Var OP_LdFuncObj(Var scriptFunction, ScriptContext * scriptContext);
  551. static Var OP_LdHomeObjProto(Var aRight, ScriptContext* scriptContext);
  552. static Var OP_LdFuncObjProto(Var aRight, ScriptContext* scriptContext);
  553. static Var OP_ImportCall(__in JavascriptFunction *function, __in Var specifier, __in ScriptContext* scriptContext);
  554. static Var OP_ResumeYield(ResumeYieldData* yieldData, RecyclableObject* iterator);
  555. template <typename T>
  556. static void * JitRecyclerAlloc(DECLSPEC_GUARD_OVERFLOW size_t size, Recycler* recycler)
  557. {
  558. TRACK_ALLOC_INFO(recycler, T, Recycler, size - sizeof(T), (size_t)-1);
  559. return recycler->AllocZero(size);
  560. }
  561. static void * AllocMemForVarArray(DECLSPEC_GUARD_OVERFLOW size_t size, Recycler* recycler);
  562. static void * AllocUninitializedNumber(RecyclerJavascriptNumberAllocator * allocator);
  563. static void ScriptAbort();
  564. class EntryInfo
  565. {
  566. public:
  567. static FunctionInfo DefaultAccessor;
  568. };
  569. template <BOOL stopAtProxy, class Func>
  570. static void MapObjectAndPrototypes(RecyclableObject* object, Func func);
  571. template <BOOL stopAtProxy, class Func>
  572. static bool MapObjectAndPrototypesUntil(RecyclableObject* object, Func func);
  573. #if ENABLE_PROFILE_INFO
  574. static void UpdateNativeArrayProfileInfoToCreateVarArray(Var instance, const bool expectingNativeFloatArray, const bool expectingVarArray);
  575. static bool SetElementMayHaveImplicitCalls(ScriptContext *const scriptContext);
  576. #endif
  577. static RecyclableObject *GetCallableObjectOrThrow(const Var callee, ScriptContext *const scriptContext);
  578. static Js::Var BoxStackInstance(Js::Var value, ScriptContext * scriptContext, bool allowStackFunction, bool deepCopy);
  579. static BOOL PropertyReferenceWalkUnscopable(Var instance, RecyclableObject** propertyObject, PropertyId propertyId, Var* value, PropertyValueInfo* info, ScriptContext* requestContext);
  580. static BOOL PropertyReferenceWalk(Var instance, RecyclableObject** propertyObject, PropertyId propertyId, Var* value, PropertyValueInfo* info, ScriptContext* requestContext);
  581. static void VarToNativeArray(Var arrayObject,
  582. JsNativeValueType valueType,
  583. __in UINT length,
  584. __in UINT elementSize,
  585. __out_bcount(length*elementSize) byte* contentBuffer,
  586. Js::ScriptContext* scriptContext);
  587. // Returns a RecyclableObject* which is either a JavascriptFunction* or a JavascriptProxy* that targets a JavascriptFunction*
  588. static RecyclableObject* SpeciesConstructor(_In_ RecyclableObject* object, _In_ JavascriptFunction* defaultConstructor, _In_ ScriptContext* scriptContext);
  589. static Var GetSpecies(RecyclableObject* constructor, ScriptContext* scriptContext);
  590. // Get the property record usage cache from the given index variable, if it has one.
  591. // Adds a PropertyString to a LiteralStringWithPropertyStringPtr on second call with that string.
  592. // Also outputs the object that owns the usage cache, since PropertyRecordUsageCache is an interior pointer.
  593. // Returns whether a PropertyRecordUsageCache was found.
  594. _Success_(return) static bool GetPropertyRecordUsageCache(Var index, ScriptContext* scriptContext, _Outptr_ PropertyRecordUsageCache** propertyRecordUsageCache, _Outptr_ RecyclableObject** cacheOwner);
  595. template <bool ReturnOperationInfo>
  596. static bool SetElementIWithCache(
  597. _In_ Var receiver,
  598. _In_ RecyclableObject* object,
  599. _In_ RecyclableObject* index,
  600. _In_ Var value,
  601. _In_ PropertyRecordUsageCache* propertyRecordUsageCache,
  602. _In_ ScriptContext* scriptContext,
  603. _In_ PropertyOperationFlags flags,
  604. _Inout_opt_ PropertyCacheOperationInfo* operationInfo);
  605. template <bool ReturnOperationInfo>
  606. static Var GetElementIWithCache(
  607. _In_ Var instance,
  608. _In_ RecyclableObject* index,
  609. _In_ PropertyRecordUsageCache* propertyRecordUsageCache,
  610. _In_ ScriptContext* scriptContext,
  611. _Inout_opt_ PropertyCacheOperationInfo* operationInfo);
  612. private:
  613. static BOOL RelationalComparisonHelper(Var aLeft, Var aRight, ScriptContext* scriptContext, bool leftFirst, bool undefinedAs);
  614. template <typename ArrayType>
  615. static void ObjectToNativeArray(ArrayType* arrayObject,
  616. JsNativeValueType valueType,
  617. __in UINT length,
  618. __in UINT elementSize,
  619. __out_bcount(length*elementSize) byte* contentBuffer,
  620. Js::ScriptContext* scriptContext);
  621. template <typename ArrayType>
  622. static Js::Var GetElementAtIndex(ArrayType* arrayObject, UINT index, Js::ScriptContext* scriptContext);
  623. static Var GetElementIIntIndex(_In_ Var instance, _In_ Var index, _In_ ScriptContext* scriptContext);
  624. #if DBG
  625. static BOOL IsPropertyObject(RecyclableObject * instance);
  626. #endif
  627. template<typename PropertyKeyType, bool doFastProtoChainCheck, bool isRoot>
  628. static BOOL CheckPrototypesForAccessorOrNonWritablePropertyCore(RecyclableObject* instance,
  629. PropertyKeyType propertyKey, Var* setterValue, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  630. static RecyclableObject * GetPrototypeObject(RecyclableObject * constructorFunction, ScriptContext * scriptContext);
  631. static RecyclableObject * GetPrototypeObjectForConstructorCache(RecyclableObject * constructor, ScriptContext * scriptContext, bool& canBeCached);
  632. static bool PrototypeObject(Var prototypeProperty, RecyclableObject * constructorFunction, ScriptContext * scriptContext, RecyclableObject** prototypeObject);
  633. static Var NewScObjectHostDispatchOrProxy(RecyclableObject * function, ScriptContext * requestContext);
  634. static Var NewScObjectCommon(RecyclableObject * functionObject, FunctionInfo * functionInfo, ScriptContext * scriptContext, bool isBaseClassConstructorNewScObject = false);
  635. static BOOL Reject(bool throwOnError, ScriptContext* scriptContext, int32 errorCode, PropertyId propertyId);
  636. static bool AreSamePropertyDescriptors(const PropertyDescriptor* x, const PropertyDescriptor* y, ScriptContext* scriptContext);
  637. static Var CanonicalizeAccessor(Var accessor, ScriptContext* scriptContext);
  638. static void BuildHandlerScope(Var argThis, RecyclableObject * hostObject, FrameDisplay * pScopes, ScriptContext * scriptContext);
  639. static void TryLoadRoot(Var& thisVar, TypeId typeId, int moduleID, ScriptContextInfo* scriptContext);
  640. static BOOL GetProperty_InternalSimple(Var instance, RecyclableObject* object, PropertyId propertyId, _Outptr_result_maybenull_ Var* value, ScriptContext* requestContext);
  641. template <bool unscopables>
  642. static BOOL GetProperty_Internal(Var instance, RecyclableObject* propertyObject, const bool isRoot, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info);
  643. static void TryCacheMissingProperty(Var instance, Var cacheInstance, bool isRoot, PropertyId propertyId, ScriptContext* requestContext, _Inout_ PropertyValueInfo * info);
  644. static RecyclableObject* GetPrototypeNoTrap(RecyclableObject* instance);
  645. static BOOL GetPropertyReference_Internal(Var instance, RecyclableObject* propertyObject, const bool isRoot, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info);
  646. template <bool unscopables>
  647. static BOOL PropertyReferenceWalk_Impl(Var instance, RecyclableObject** propertyObject, PropertyId propertyId, Var* value, PropertyValueInfo* info, ScriptContext* requestContext);
  648. static Var TypeofFld_Internal(Var instance, const bool isRoot, PropertyId propertyId, ScriptContext* scriptContext);
  649. static bool SetAccessorOrNonWritableProperty(
  650. Var receiver,
  651. RecyclableObject* object,
  652. PropertyId propertyId,
  653. Var newValue,
  654. PropertyValueInfo * info,
  655. ScriptContext* requestContext,
  656. PropertyOperationFlags propertyOperationFlags,
  657. bool isRoot,
  658. bool allowUndecInConsoleScope,
  659. BOOL *result);
  660. template <bool unscopables>
  661. static BOOL SetProperty_Internal(Var instance, RecyclableObject* object, const bool isRoot, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags);
  662. template <typename TPropertyKey>
  663. static DescriptorFlags GetRootSetter(RecyclableObject* instance, TPropertyKey propertyKey, Var *setterValue, PropertyValueInfo* info, ScriptContext* requestContext);
  664. static BOOL IsNumberFromNativeArray(Var instance, uint32 index, ScriptContext* scriptContext);
  665. static BOOL GetItemFromArrayPrototype(JavascriptArray * arr, int32 indexInt, Var * result, ScriptContext * scriptContext);
  666. template <typename T>
  667. static BOOL OP_GetElementI_ArrayFastPath(T * arr, int indexInt, Var * result, ScriptContext * scriptContext);
  668. static ImplicitCallFlags CacheAndClearImplicitBit(ScriptContext* scriptContext);
  669. static ImplicitCallFlags CheckAndUpdateFunctionBodyWithImplicitFlag(FunctionBody* functionBody);
  670. static void RestoreImplicitFlag(ScriptContext* scriptContext, ImplicitCallFlags prevImplicitCallFlags, ImplicitCallFlags currImplicitCallFlags);
  671. static BOOL ToPropertyDescriptorForProxyObjects(Var propertySpec, PropertyDescriptor* descriptor, ScriptContext* scriptContext);
  672. static BOOL ToPropertyDescriptorForGenericObjects(Var propertySpec, PropertyDescriptor* descriptor, ScriptContext* scriptContext);
  673. static BOOL IsRemoteArray(RecyclableObject* instance);
  674. };
  675. } // namespace Js