JavascriptOperators.h 60 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682
  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. #define TYPEOF_ERROR_HANDLER_CATCH(scriptContext, var) \
  20. } \
  21. catch (const JavascriptException& err) \
  22. { \
  23. JavascriptExceptionObject* exceptionObject = err.GetAndClear(); \
  24. Js::Var errorObject = exceptionObject->GetThrownObject(nullptr); \
  25. if (errorObject != nullptr && Js::JavascriptError::Is(errorObject)) \
  26. { \
  27. HRESULT hr = Js::JavascriptError::GetRuntimeError(Js::RecyclableObject::FromVar(errorObject), nullptr); \
  28. if (JavascriptError::GetErrorNumberFromResourceID(JSERR_Property_CannotGet_NullOrUndefined) == (int32)hr \
  29. || JavascriptError::GetErrorNumberFromResourceID(JSERR_UseBeforeDeclaration) == (int32)hr) \
  30. { \
  31. if (scriptContext->IsScriptContextInDebugMode()) \
  32. { \
  33. JavascriptExceptionOperators::ThrowExceptionObject(exceptionObject, scriptContext, true); \
  34. } \
  35. else \
  36. { \
  37. JavascriptExceptionOperators::DoThrow(exceptionObject, scriptContext); \
  38. } \
  39. } \
  40. } \
  41. var = scriptContext->GetLibrary()->GetUndefined();
  42. #define TYPEOF_ERROR_HANDLER_THROW(scriptContext, var) \
  43. } \
  44. if (scriptContext->IsUndeclBlockVar(var)) \
  45. { \
  46. JavascriptError::ThrowReferenceError(scriptContext, JSERR_UseBeforeDeclaration); \
  47. }
  48. #define BEGIN_TYPEOF_ERROR_HANDLER(scriptContext) \
  49. try { \
  50. Js::JavascriptExceptionOperators::AutoCatchHandlerExists autoCatchHandlerExists(scriptContext); \
  51. class AutoCleanup \
  52. { \
  53. private: \
  54. ScriptContext *const scriptContext; \
  55. public: \
  56. AutoCleanup(ScriptContext *const scriptContext) : scriptContext(scriptContext) \
  57. { \
  58. if (scriptContext->IsScriptContextInDebugMode()) \
  59. { \
  60. scriptContext->GetDebugContext()->GetProbeContainer()->SetThrowIsInternal(true); \
  61. } \
  62. } \
  63. ~AutoCleanup() \
  64. { \
  65. if (scriptContext->IsScriptContextInDebugMode()) \
  66. { \
  67. scriptContext->GetDebugContext()->GetProbeContainer()->SetThrowIsInternal(false); \
  68. } \
  69. } \
  70. } autoCleanup(scriptContext);
  71. #define END_TYPEOF_ERROR_HANDLER(scriptContext, var) \
  72. TYPEOF_ERROR_HANDLER_CATCH(scriptContext, var) \
  73. TYPEOF_ERROR_HANDLER_THROW(scriptContext, var)
  74. #define BEGIN_PROFILED_TYPEOF_ERROR_HANDLER(scriptContext) \
  75. BEGIN_TYPEOF_ERROR_HANDLER(scriptContext)
  76. #define END_PROFILED_TYPEOF_ERROR_HANDLER(scriptContext, var, functionBody, inlineCacheIndex) \
  77. TYPEOF_ERROR_HANDLER_CATCH(scriptContext, var) \
  78. functionBody->GetDynamicProfileInfo()->RecordFieldAccess(functionBody, inlineCacheIndex, var, FldInfo_NoInfo); \
  79. TYPEOF_ERROR_HANDLER_THROW(scriptContext, var)
  80. class JavascriptOperators /* All static */
  81. {
  82. // Methods
  83. public:
  84. static void FreeTemp(Var aValue);
  85. static BOOL IsArray(Var instanceVar);
  86. static BOOL IsConstructor(Var instanceVar);
  87. static BOOL IsConcatSpreadable(Var instanceVar);
  88. static Var ToObject(Var aRight,ScriptContext* scriptContext);
  89. static Var ToWithObject(Var aRight, ScriptContext* scriptContext);
  90. static Var OP_LdCustomSpreadIteratorList(Var aRight, ScriptContext* scriptContext);
  91. static Var ToNumber(Var aRight,ScriptContext* scriptContext);
  92. static Var ToNumberInPlace(Var aRight,ScriptContext* scriptContext, JavascriptNumber* result);
  93. #ifdef _M_IX86
  94. static Var Int32ToVar(int32 value, ScriptContext* scriptContext);
  95. static Var Int32ToVarInPlace(int32 value, ScriptContext* scriptContext, JavascriptNumber *result);
  96. static Var UInt32ToVar(uint32 value, ScriptContext* scriptContext);
  97. static Var UInt32ToVarInPlace(uint32 value, ScriptContext* scriptContext, JavascriptNumber *result);
  98. #endif
  99. static Var OP_FinishOddDivBy2(uint32 value, ScriptContext *scriptContext);
  100. static Var OP_ApplyArgs(Var func,Var instance,__in_xcount(8)void** stackPtr,CallInfo callInfo,ScriptContext* scriptContext);
  101. static Var Typeof(Var var, ScriptContext* scriptContext);
  102. static Var TypeofFld(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  103. static Var TypeofRootFld(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  104. static Var TypeofElem(Var instance, Var index, ScriptContext* scriptContext);
  105. static Var TypeofElem_UInt32(Var instance, uint32 index, ScriptContext* scriptContext);
  106. static Var TypeofElem_Int32(Var instance, int32 index, ScriptContext* scriptContext);
  107. static Var Delete(Var var, ScriptContext* scriptContext);
  108. static JavascriptString * Concat3(Var aLeft, Var aCenter, Var aRight, ScriptContext * scriptContext);
  109. static JavascriptString * NewConcatStrMulti(Var a1, Var a2, uint count, ScriptContext * scriptContext);
  110. static void SetConcatStrMultiItem(Var concatStr, Var str, uint index, ScriptContext * scriptContext);
  111. static void SetConcatStrMultiItem2(Var concatStr, Var str1, Var str2, uint index, ScriptContext * scriptContext);
  112. static BOOL Equal(Var aLeft, Var aRight,ScriptContext* scriptContext);
  113. static BOOL Equal_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  114. static BOOL Greater(Var aLeft, Var aRight,ScriptContext* scriptContext);
  115. static BOOL Greater_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  116. static BOOL GreaterEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  117. static BOOL GreaterEqual_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  118. static BOOL Less(Var aLeft, Var aRight,ScriptContext* scriptContext);
  119. static BOOL Less_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  120. static BOOL LessEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  121. static BOOL LessEqual_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  122. static BOOL NotEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  123. static BOOL NotEqual_Full(Var aLeft, Var aRight,ScriptContext* scriptContext);
  124. static BOOL StrictEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  125. static BOOL StrictEqualString(Var aLeft, Var aRight);
  126. static BOOL StrictEqualEmptyString(Var aLeft);
  127. static BOOL StrictEqualSIMD(Var aLeft, Var aRight, ScriptContext* scriptContext);
  128. static BOOL NotStrictEqual(Var aLeft, Var aRight,ScriptContext* scriptContext);
  129. static BOOL HasOwnProperty(Var instance, PropertyId propertyId, ScriptContext * requestContext);
  130. static BOOL GetOwnProperty(Var instance, PropertyId propertyId, Var* value, ScriptContext* requestContext);
  131. static BOOL GetOwnAccessors(Var instance, PropertyId propertyId, Var* getter, Var* setter, ScriptContext * requestContext);
  132. static BOOL EnsureProperty(Var instance, PropertyId propertyId);
  133. static void OP_EnsureNoRootProperty(Var instance, PropertyId propertyId);
  134. static void OP_EnsureNoRootRedeclProperty(Var instance, PropertyId propertyId);
  135. static void OP_ScopedEnsureNoRedeclProperty(FrameDisplay *pDisplay, PropertyId propertyId, Var instanceDefault);
  136. static JavascriptArray* GetOwnPropertyNames(Var instance, ScriptContext *scriptContext);
  137. static JavascriptArray* GetOwnPropertySymbols(Var instance, ScriptContext *scriptContext);
  138. static JavascriptArray* GetOwnPropertyKeys(Var instance, ScriptContext *scriptContext);
  139. static JavascriptArray* GetOwnEnumerablePropertyNames(RecyclableObject* instance, ScriptContext *scriptContext);
  140. static JavascriptArray* GetOwnEnumerablePropertyNamesSymbols(RecyclableObject* instance, ScriptContext *scriptContext);
  141. static BOOL GetOwnPropertyDescriptor(RecyclableObject* obj, PropertyId propertyId, ScriptContext* scriptContext, PropertyDescriptor* propertyDescriptor);
  142. static BOOL GetOwnPropertyDescriptor(RecyclableObject* obj, JavascriptString* propertyKey, ScriptContext* scriptContext, PropertyDescriptor* propertyDescriptor);
  143. static BOOL IsPropertyUnscopable (Var instanceVar, PropertyId propertyId);
  144. static BOOL IsPropertyUnscopable (Var instanceVar, JavascriptString *propertyString);
  145. template<bool unscopables>
  146. static BOOL HasProperty_Impl(RecyclableObject* instance, PropertyId propertyId);
  147. static BOOL HasPropertyUnscopables(RecyclableObject* instance, PropertyId propertyId);
  148. static BOOL HasProperty(RecyclableObject* instance, PropertyId propertyId);
  149. static BOOL HasRootProperty(RecyclableObject* instance, PropertyId propertyId);
  150. static BOOL HasProxyOrPrototypeInlineCacheProperty(RecyclableObject* instance, PropertyId propertyId);
  151. static BOOL HasProxyInPrototypeChain(RecyclableObject* instance);
  152. template<typename PropertyKeyType>
  153. static BOOL GetPropertyWPCache(Var instance, RecyclableObject* propertyObject, PropertyKeyType propertyKey, Var* value, ScriptContext* requestContext, _Inout_ PropertyValueInfo * info);
  154. static BOOL GetPropertyUnscopable(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info=NULL);
  155. static Var GetProperty(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  156. static BOOL GetProperty(RecyclableObject* instance, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  157. static Var GetProperty(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  158. static BOOL GetProperty(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  159. static BOOL GetPropertyObject(Var instance, ScriptContext * scriptContext, RecyclableObject** propertyObject);
  160. static BOOL GetRootProperty(Var instance, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  161. static Var GetRootProperty(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  162. static Var GetPropertyReference(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext);
  163. static BOOL GetPropertyReference(RecyclableObject* instance, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  164. static BOOL GetPropertyReference(Var instance, RecyclableObject* propertyObject, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  165. static BOOL GetRootPropertyReference(RecyclableObject* instance, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info = NULL);
  166. template<typename PropertyKeyType>
  167. static BOOL SetPropertyWPCache(Var instance, RecyclableObject* object, PropertyKeyType propertyKey, Var newValue, ScriptContext* requestContext, PropertyOperationFlags flags, _Inout_ PropertyValueInfo * info);
  168. static BOOL SetPropertyUnscopable(Var instance, RecyclableObject* receiver, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  169. static BOOL SetProperty(Var instance, RecyclableObject* object, PropertyId propertyId, Var newValue, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  170. static BOOL SetProperty(Var instance, RecyclableObject* receiver, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  171. static BOOL SetRootProperty(RecyclableObject* instance, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags = PropertyOperation_None);
  172. static BOOL GetAccessors(RecyclableObject* instance, PropertyId propertyId, ScriptContext* requestContext, Var* getter, Var* setter);
  173. static BOOL SetAccessors(RecyclableObject* instance, PropertyId propertyId, Var getter, Var setter, PropertyOperationFlags flags = PropertyOperation_None);
  174. static BOOL InitProperty(RecyclableObject* instance, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  175. static BOOL DeleteProperty(RecyclableObject* instance, PropertyId propertyId, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  176. static BOOL DeleteProperty(RecyclableObject* instance, JavascriptString *propertyNameString, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  177. static bool ShouldTryDeleteProperty(RecyclableObject* instance, JavascriptString *propertyNameString, PropertyRecord const **pPropertyRecord);
  178. static BOOL DeletePropertyUnscopables(RecyclableObject* instance, PropertyId propertyId, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  179. template<bool unscopables>
  180. static BOOL DeleteProperty_Impl(RecyclableObject* instance, PropertyId propertyId, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  181. static TypeId GetTypeId(Var instance);
  182. static TypeId GetTypeIdNoCheck(Var instance);
  183. static BOOL IsObject(Var instance);
  184. static BOOL IsExposedType(TypeId typeId);
  185. static BOOL IsObjectType(TypeId typeId);
  186. static BOOL IsObjectOrNull(Var instance);
  187. static BOOL IsUndefined(Var instance);
  188. static BOOL IsUndefinedOrNullType(TypeId);
  189. static BOOL IsUndefinedOrNull(Var instance);
  190. static BOOL IsNull(Var instance);
  191. static BOOL IsSpecialObjectType(TypeId typeId);
  192. static BOOL IsJsNativeObject(Var instance);
  193. static BOOL IsUndefinedObject(Var instance);
  194. static BOOL IsUndefinedObject(Var instance, ScriptContext *scriptContext);
  195. static BOOL IsUndefinedObject(Var instance, RecyclableObject *libraryUndefined);
  196. static BOOL IsUndefinedObject(Var instance, JavascriptLibrary* library);
  197. static BOOL IsAnyNumberValue(Var instance);
  198. static BOOL IsClassConstructor(Var instance);
  199. static BOOL IsBaseConstructorKind(Var instance);
  200. static bool CanShortcutOnUnknownPropertyName(RecyclableObject * instance);
  201. static bool CanShortcutInstanceOnUnknownPropertyName(RecyclableObject *instance);
  202. static bool CanShortcutPrototypeChainOnUnknownPropertyName(RecyclableObject *instance);
  203. static BOOL HasOwnItem(RecyclableObject* instance, uint32 index);
  204. static BOOL HasItem(RecyclableObject* instance, uint32 index);
  205. static BOOL HasItem(RecyclableObject* instance, uint64 index);
  206. static BOOL GetOwnItem(RecyclableObject* instance, uint32 index, Var* value, ScriptContext* requestContext);
  207. static Var GetItem(RecyclableObject* instance, uint64 index, ScriptContext* requestContext);
  208. static Var GetItem(RecyclableObject* instance, uint32 index, ScriptContext* requestContext);
  209. static BOOL GetItem(RecyclableObject* instance, uint64 index, Var* value, ScriptContext* requestContext);
  210. static BOOL GetItem(RecyclableObject* instance, uint32 index, Var* value, ScriptContext* requestContext);
  211. static BOOL GetItem(Var instance, RecyclableObject* propertyObject, uint32 index, Var* value, ScriptContext* requestContext);
  212. static BOOL GetItemReference(RecyclableObject* instance, uint32 index, Var* value, ScriptContext* requestContext);
  213. static BOOL GetItemReference(Var instance, RecyclableObject* propertyObject, uint32 index, Var* value, ScriptContext* requestContext);
  214. static BOOL SetItem(Var instance, RecyclableObject* object, uint64 index, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  215. static BOOL SetItem(Var instance, RecyclableObject* object, uint32 index, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None, BOOL skipPrototypeCheck = FALSE);
  216. static BOOL DeleteItem(RecyclableObject* instance, uint32 index, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  217. static BOOL DeleteItem(RecyclableObject* instance, uint64 index, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  218. static Var Construct(RecyclableObject* constructor, const Arguments args, ScriptContext* scriptContext);
  219. static RecyclableObject* CreateFromConstructor(RecyclableObject* constructor, ScriptContext* scriptContext);
  220. static RecyclableObject* OrdinaryCreateFromConstructor(RecyclableObject* constructor, RecyclableObject* obj, DynamicObject* intrinsicProto, ScriptContext* scriptContext);
  221. template<typename PropertyKeyType>
  222. static BOOL CheckPrototypesForAccessorOrNonWritablePropertySlow(RecyclableObject* instance, PropertyKeyType propertyKey, Var* setterValueOrProxy, DescriptorFlags* flags, bool isRoot, ScriptContext* scriptContext);
  223. static BOOL CheckPrototypesForAccessorOrNonWritableProperty(RecyclableObject* instance, PropertyId propertyId, Var* setterValueOrProxy, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  224. static BOOL CheckPrototypesForAccessorOrNonWritableProperty(RecyclableObject* instance, JavascriptString* propertyNameString, Var* setterValueOrProxy, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  225. static BOOL CheckPrototypesForAccessorOrNonWritableRootProperty(RecyclableObject* instance, PropertyId propertyId, Var* setterValueOrProxy, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  226. static BOOL CheckPrototypesForAccessorOrNonWritableItem(RecyclableObject* instance, uint32 index, Var* setterValueOrProxy, DescriptorFlags* flags, ScriptContext* scriptContext, BOOL skipPrototypeCheck = FALSE);
  227. template <typename PropertyKeyType, bool unscopable>
  228. static DescriptorFlags GetterSetter_Impl(RecyclableObject* instance, PropertyKeyType propertyKey, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  229. static DescriptorFlags GetterSetterUnscopable(RecyclableObject* instance, PropertyId propertyId, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  230. static DescriptorFlags GetterSetter(RecyclableObject* instance, PropertyId propertyId, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  231. static DescriptorFlags GetterSetter(RecyclableObject* instance, JavascriptString * propertyName, Var* setterValue, PropertyValueInfo* info, ScriptContext* scriptContext);
  232. static void OP_InvalidateProtoCaches(PropertyId propertyId, ScriptContext *scriptContext);
  233. static BOOL SetGlobalPropertyNoHost(char16 const * propertyName, charcount_t propertyLength, Var value, ScriptContext * scriptContext);
  234. static RecyclableObject* GetPrototype(RecyclableObject* instance);
  235. static RecyclableObject* OP_GetPrototype(Var instance, ScriptContext* scriptContext);
  236. static BOOL OP_HasProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  237. static BOOL OP_HasOwnProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  238. static BOOL HasOwnPropertyNoHostObject(Var instance, PropertyId propertyId);
  239. static BOOL HasOwnPropertyNoHostObjectForHeapEnum(Var instance, PropertyId propertyId, ScriptContext* scriptContext, Var& getter, Var& setter);
  240. static Var GetOwnPropertyNoHostObjectForHeapEnum(Var instance, PropertyId propertyId, ScriptContext* scriptContext, Var& getter, Var &setter);
  241. static BOOL OP_HasOwnPropScoped(Var instance, PropertyId propertyId, Var defaultInstance, ScriptContext* scriptContext);
  242. static Var OP_GetProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  243. static Var OP_GetRootProperty(Var instance, PropertyId propertyId, PropertyValueInfo * info, ScriptContext* scriptContext);
  244. static BOOL OP_SetProperty(Var instance, PropertyId propertyId, Var newValue, ScriptContext* scriptContext, PropertyValueInfo * info = nullptr, PropertyOperationFlags flags = PropertyOperation_None, Var thisInstance = nullptr);
  245. static BOOL SetPropertyOnTaggedNumber(Var instance, RecyclableObject* object, PropertyId propertyId, Var newValue, ScriptContext* requestContext, PropertyOperationFlags flags);
  246. static BOOL SetItemOnTaggedNumber(Var instance, RecyclableObject* object, uint32 index, Var newValue, ScriptContext* requestContext, PropertyOperationFlags propertyOperationFlags);
  247. static BOOL OP_StFunctionExpression(Var instance, PropertyId propertyId, Var newValue);
  248. static BOOL OP_InitProperty(Var instance, PropertyId propertyId, Var newValue);
  249. static Var OP_DeleteProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  250. static Var OP_DeleteRootProperty(Var instance, PropertyId propertyId, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  251. static BOOL OP_InitLetProperty(Var instance, PropertyId propertyId, Var newValue);
  252. static BOOL OP_InitConstProperty(Var instance, PropertyId propertyId, Var newValue);
  253. static BOOL OP_InitUndeclRootLetProperty(Var instance, PropertyId propertyId);
  254. static BOOL OP_InitUndeclRootConstProperty(Var instance, PropertyId propertyId);
  255. static BOOL OP_InitUndeclConsoleLetProperty(Var instance, PropertyId propertyId);
  256. static BOOL OP_InitUndeclConsoleConstProperty(Var instance, PropertyId propertyId);
  257. static BOOL OP_InitClassMember(Var instance, PropertyId propertyId, Var newValue);
  258. static void OP_InitClassMemberComputedName(Var object, Var elementName, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  259. static void OP_InitClassMemberGet(Var object, PropertyId propertyId, Var getter);
  260. static void OP_InitClassMemberGetComputedName(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  261. static void OP_InitClassMemberSet(Var object, PropertyId propertyId, Var setter);
  262. static void OP_InitClassMemberSetComputedName(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  263. static Field(Var)* OP_GetModuleExportSlotArrayAddress(uint moduleIndex, uint slotIndex, ScriptContextInfo* scriptContext);
  264. static Field(Var)* OP_GetModuleExportSlotAddress(uint moduleIndex, uint slotIndex, ScriptContext* scriptContext);
  265. static Var OP_LdModuleSlot(uint moduleIndex, uint slotIndex, ScriptContext* scriptContext);
  266. static void OP_StModuleSlot(uint moduleIndex, uint slotIndex, Var value, ScriptContext* scriptContext);
  267. static Js::PropertyId GetPropertyId(Var propertyName, ScriptContext* scriptContext);
  268. static BOOL OP_HasItem(Var instance, Var aElementIndex, ScriptContext* scriptContext);
  269. static Var OP_GetElementI(Var instance, Var aElementIndex, ScriptContext* scriptContext);
  270. static Var OP_GetElementI_JIT(Var instance, Var index, ScriptContext *scriptContext);
  271. #if ENABLE_NATIVE_CODEGEN
  272. static Var OP_GetElementI_JIT_ExpectingNativeFloatArray(Var instance, Var index, ScriptContext *scriptContext);
  273. static Var OP_GetElementI_JIT_ExpectingVarArray(Var instance, Var index, ScriptContext *scriptContext);
  274. #endif
  275. static Var OP_GetElementI_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext);
  276. static Var OP_GetElementI_UInt32_ExpectingNativeFloatArray(Var instance, uint32 aElementIndex, ScriptContext* scriptContext);
  277. static Var OP_GetElementI_UInt32_ExpectingVarArray(Var instance, uint32 aElementIndex, ScriptContext* scriptContext);
  278. static Var OP_GetElementI_Int32(Var instance, int32 aElementIndex, ScriptContext* scriptContext);
  279. static Var OP_GetElementI_Int32_ExpectingNativeFloatArray(Var instance, int32 aElementIndex, ScriptContext* scriptContext);
  280. static Var OP_GetElementI_Int32_ExpectingVarArray(Var instance, int32 aElementIndex, ScriptContext* scriptContext);
  281. static Var GetElementIHelper(Var instance, Var index, Var receiver, ScriptContext* scriptContext);
  282. static int32 OP_GetNativeIntElementI(Var instance, Var index);
  283. static int32 OP_GetNativeIntElementI_Int32(Var instance, int32 index, ScriptContext *scriptContext);
  284. static int32 OP_GetNativeIntElementI_UInt32(Var instance, uint32 index, ScriptContext *scriptContext);
  285. static double OP_GetNativeFloatElementI(Var instance, Var index);
  286. static double OP_GetNativeFloatElementI_Int32(Var instance, int32 index, ScriptContext *scriptContext);
  287. static double OP_GetNativeFloatElementI_UInt32(Var instance, uint32 index, ScriptContext *scriptContext);
  288. static Var OP_GetMethodElement(Var instance, Var aElementIndex, ScriptContext* scriptContext);
  289. static Var OP_GetMethodElement_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext);
  290. static Var OP_GetMethodElement_Int32(Var instance, int32 aElementIndex, ScriptContext* scriptContext);
  291. static BOOL OP_SetElementI(Var instance, Var aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  292. static BOOL OP_SetElementI_JIT(Var instance, Var aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  293. static BOOL OP_SetElementI_UInt32(Var instance, uint32 aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  294. static BOOL OP_SetElementI_Int32(Var instance, int aElementIndex, Var aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  295. static BOOL SetElementIHelper(Var receiver, RecyclableObject* object, Var index, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags);
  296. static BOOL OP_SetNativeIntElementI(Var instance, Var aElementIndex, int32 aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  297. static BOOL OP_SetNativeIntElementI_UInt32(Var instance, uint32 aElementIndex, int32 aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  298. static BOOL OP_SetNativeIntElementI_Int32(Var instance, int aElementIndex, int32 aValue, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  299. static BOOL OP_SetNativeFloatElementI(Var instance, Var aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags flags, double value);
  300. static BOOL OP_SetNativeFloatElementI_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags flags, double value);
  301. static BOOL OP_SetNativeFloatElementI_Int32(Var instance, int aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags flags, double value);
  302. static Var OP_DeleteElementI(Var instance, Var aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  303. static Var OP_DeleteElementI_UInt32(Var instance, uint32 aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  304. static Var OP_DeleteElementI_Int32(Var instance, int aElementIndex, ScriptContext* scriptContext, PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  305. static BOOL OP_Memset(Var instance, int32 start, Var value, int32 length, ScriptContext* scriptContext);
  306. static BOOL OP_Memcopy(Var dstInstance, int32 dstStart, Var srcInstance, int32 srcStart, int32 length, ScriptContext* scriptContext);
  307. static Var OP_GetLength(Var instance, ScriptContext* scriptContext);
  308. static Var OP_GetThis(Var thisVar, int moduleID, ScriptContextInfo* scriptContext);
  309. static Var OP_GetThisNoFastPath(Var thisVar, int moduleID, ScriptContext* scriptContext);
  310. static Var OP_StrictGetThis(Var thisVar, ScriptContext* scriptContext);
  311. static bool IsThisSelf(TypeId typeId);
  312. static Var GetThisHelper(Var thisVar, TypeId typeId, int moduleID, ScriptContextInfo *scriptContext);
  313. static Var GetThisFromModuleRoot(Var thisVar);
  314. static Var OP_GetThisScoped(FrameDisplay *pScope, Var defaultInstance, ScriptContext* scriptContext);
  315. static Var OP_UnwrapWithObj(Var aValue);
  316. static Var OP_GetInstanceScoped(FrameDisplay *pScope, PropertyId propertyId, Var rootObject, Var* result2, ScriptContext* scriptContext);
  317. static BOOL OP_InitPropertyScoped(FrameDisplay *pScope, PropertyId propertyId, Var newValue, Var defaultInstance, ScriptContext* scriptContext);
  318. static BOOL OP_InitFuncScoped(FrameDisplay *pScope, PropertyId propertyId, Var newValue, Var defaultInstance, ScriptContext* scriptContext);
  319. static Var OP_DeletePropertyScoped(
  320. FrameDisplay *pScope,
  321. PropertyId propertyId,
  322. Var defaultInstance,
  323. ScriptContext* scriptContext,
  324. PropertyOperationFlags propertyOperationFlags = PropertyOperation_None);
  325. static Var OP_TypeofPropertyScoped(FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance, ScriptContext* scriptContext);
  326. static void OP_InitGetter(Var object, PropertyId propertyId, Var getter);
  327. static Js::PropertyId OP_InitElemGetter(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  328. static void OP_InitSetter(Var object, PropertyId propertyId, Var setter);
  329. static Js::PropertyId OP_InitElemSetter(Var object, Var elementName, Var getter, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  330. static void OP_InitComputedProperty(Var object, Var elementName, Var value, ScriptContext* scriptContext, PropertyOperationFlags flags = PropertyOperation_None);
  331. static void OP_InitProto(Var object, PropertyId propertyId, Var value);
  332. static void OP_InitForInEnumerator(Var enumerable, ForInObjectEnumerator * enumerator, ScriptContext* scriptContext, ForInCache * forInCache = nullptr);
  333. static Var OP_BrOnEmpty(ForInObjectEnumerator * enumerator);
  334. static BOOL OP_BrHasSideEffects(int se,ScriptContext* scriptContext);
  335. static BOOL OP_BrNotHasSideEffects(int se,ScriptContext* scriptContext);
  336. static BOOL OP_BrFncEqApply(Var instance,ScriptContext* scriptContext);
  337. static BOOL OP_BrFncNeqApply(Var instance,ScriptContext* scriptContext);
  338. static Var OP_CmEq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  339. static Var OP_CmNeq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  340. static Var OP_CmSrEq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  341. static Var OP_CmSrEq_String(Var a, Var b, ScriptContext *scriptContext);
  342. static Var OP_CmSrEq_EmptyString(Var a, ScriptContext *scriptContext);
  343. static Var OP_CmSrNeq_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  344. static Var OP_CmLt_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  345. static Var OP_CmLe_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  346. static Var OP_CmGt_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  347. static Var OP_CmGe_A(Js::Var a,Js::Var b,ScriptContext* scriptContext);
  348. static FunctionInfo * GetConstructorFunctionInfo(Var instance, ScriptContext * scriptContext);
  349. // Detach the type array buffer, if possible, and returns the state of the object which can be used to initialize another object
  350. static DetachedStateBase* DetachVarAndGetState(Var var);
  351. static bool IsObjectDetached(Var var);
  352. // This will return a new object from the state returned by the above operation
  353. static Var NewVarFromDetachedState(DetachedStateBase* state, JavascriptLibrary *library);
  354. static Var NewScObjectLiteral(ScriptContext* scriptContext, const Js::PropertyIdArray *propIds, Field(DynamicType*)* literalType);
  355. static DynamicType * EnsureObjectLiteralType(ScriptContext* scriptContext, const Js::PropertyIdArray *propIds, Field(DynamicType*)* literalType);
  356. static uint GetLiteralSlotCapacity(Js::PropertyIdArray const * propIds);
  357. static uint GetLiteralInlineSlotCapacity(Js::PropertyIdArray const * propIds);
  358. static Var NewJavascriptObjectNoArg(ScriptContext* requestContext);
  359. static Var NewJavascriptArrayNoArg(ScriptContext* requestContext);
  360. static Var NewScObjectNoCtorCommon(Var instance, ScriptContext* requestContext, bool isBaseClassConstructorNewScObject = false);
  361. static Var NewScObjectNoCtor(Var instance, ScriptContext* requestContext);
  362. static Var NewScObjectNoCtorFull(Var instance, ScriptContext* requestContext);
  363. static Var NewScObjectNoArgNoCtorCommon(Var instance, ScriptContext* requestContext, bool isBaseClassConstructorNewScObject = false);
  364. static Var NewScObjectNoArgNoCtor(Var instance, ScriptContext* requestContext);
  365. static Var NewScObjectNoArgNoCtorFull(Var instance, ScriptContext* requestContext);
  366. static Var NewScObjectNoArg(Var instance, ScriptContext* requestContext);
  367. static Var NewScObject(const Var callee, const Arguments args, ScriptContext *const scriptContext, const Js::AuxArray<uint32> *spreadIndices = nullptr);
  368. static Var AddVarsToArraySegment(SparseArraySegment<Var> * segment, const Js::VarArray *vars);
  369. static void AddIntsToArraySegment(SparseArraySegment<int32> * segment, const Js::AuxArray<int32> *ints);
  370. static void AddFloatsToArraySegment(SparseArraySegment<double> * segment, const Js::AuxArray<double> *doubles);
  371. static void UpdateNewScObjectCache(Var function, Var instance, ScriptContext* requestContext);
  372. static RecyclableObject* GetIteratorFunction(Var iterable, ScriptContext* scriptContext, bool optional = false);
  373. static RecyclableObject* GetIteratorFunction(RecyclableObject* instance, ScriptContext * scriptContext, bool optional = false);
  374. static RecyclableObject* GetIterator(Var instance, ScriptContext* scriptContext, bool optional = false);
  375. static RecyclableObject* GetIterator(RecyclableObject* instance, ScriptContext* scriptContext, bool optional = false);
  376. static RecyclableObject* IteratorNext(RecyclableObject* iterator, ScriptContext* scriptContext, Var value = nullptr);
  377. static void IteratorClose(RecyclableObject* iterator, ScriptContext* scriptContext);
  378. template <typename THandler>
  379. static void DoIteratorStepAndValue(RecyclableObject* iterator, ScriptContext* scriptContext, THandler handler);
  380. static bool IteratorComplete(RecyclableObject* iterResult, ScriptContext* scriptContext);
  381. static Var IteratorValue(RecyclableObject* iterResult, ScriptContext* scriptContext);
  382. static bool IteratorStep(RecyclableObject* iterator, ScriptContext* scriptContext, RecyclableObject** result);
  383. static bool IteratorStepAndValue(RecyclableObject* iterator, ScriptContext* scriptContext, Var* resultValue);
  384. static void TraceUseConstructorCache(const ConstructorCache* ctorCache, const JavascriptFunction* ctor, bool isHit);
  385. static void TraceUpdateConstructorCache(const ConstructorCache* ctorCache, const FunctionBody* ctorBody, bool updated, const char16* reason);
  386. static Var ConvertToUnmappedArguments(HeapArgumentsObject *argumentsObject, uint32 paramCount, Var *paramAddr, DynamicObject* frameObject, Js::PropertyIdArray *propIds, uint32 formalsCount, ScriptContext* scriptContext);
  387. static Js::GlobalObject * OP_LdRoot(ScriptContext* scriptContext);
  388. static Js::ModuleRoot * GetModuleRoot(int moduleID, ScriptContext* scriptContext);
  389. static Js::Var OP_LoadModuleRoot(int moduleID, ScriptContext* scriptContext);
  390. static Var OP_LdNull(ScriptContext* scriptContext);
  391. static Var OP_LdUndef(ScriptContext* scriptContext);
  392. static Var OP_LdNaN(ScriptContext* scriptContext);
  393. static Var OP_LdInfinity(ScriptContext* scriptContext);
  394. static FrameDisplay* OP_LdHandlerScope(Var argThis, ScriptContext* scriptContext);
  395. static FrameDisplay* OP_LdFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  396. static FrameDisplay* OP_LdFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  397. static FrameDisplay* OP_LdStrictFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  398. static FrameDisplay* OP_LdStrictFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  399. static FrameDisplay* OP_LdInnerFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  400. static FrameDisplay* OP_LdInnerFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  401. static FrameDisplay* OP_LdStrictInnerFrameDisplay(void *argHead, void *argEnv, ScriptContext* scriptContext);
  402. static FrameDisplay* OP_LdStrictInnerFrameDisplayNoParent(void *argHead, ScriptContext* scriptContext);
  403. static void CheckInnerFrameDisplayArgument(void *argHead);
  404. static Var LoadHeapArguments(JavascriptFunction *funcCallee, unsigned int count, Var *pParams, Var frameObj, Var vArray, ScriptContext* scriptContext, bool nonSimpleParamList);
  405. static Var LoadHeapArgsCached(JavascriptFunction *funcCallee, uint32 actualsCount, uint32 formalsCount, Var *pParams, Var frameObj, ScriptContext* scriptContext, bool nonSimpleParamList);
  406. static Var FillScopeObject(JavascriptFunction *funcCallee, uint32 actualsCount, uint32 formalsCount, Var frameObj, Var * paramAddr, Js::PropertyIdArray *propIds, HeapArgumentsObject * argsObj, ScriptContext * scriptContext, bool nonSimpleParamList, bool useCachedScope);
  407. static HeapArgumentsObject *CreateHeapArguments(JavascriptFunction *funcCallee, uint32 actualsCount, uint32 formalsCount, Var frameObj, ScriptContext* scriptContext);
  408. static Var OP_InitCachedScope(Var varFunc, const PropertyIdArray *propIds, Field(DynamicType*)* literalType, bool formalsAreLetDecls, ScriptContext *scriptContext);
  409. static void OP_InvalidateCachedScope(Var varEnv, int32 envIndex);
  410. static void OP_InitCachedFuncs(Var varScope, FrameDisplay *pDisplay, const FuncInfoArray *info, ScriptContext *scriptContext);
  411. static Var OP_NewScopeObject(ScriptContext* scriptContext);
  412. static Var OP_NewScopeObjectWithFormals(ScriptContext* scriptContext, FunctionBody * calleeBody, bool nonSimpleParamList);
  413. static Field(Var)* OP_NewScopeSlots(unsigned int count, ScriptContext *scriptContext, Var scope);
  414. static Field(Var)* OP_NewScopeSlotsWithoutPropIds(unsigned int count, int index, ScriptContext *scriptContext, FunctionBody *functionBody);
  415. static Field(Var)* OP_CloneScopeSlots(Field(Var) *scopeSlots, ScriptContext *scriptContext);
  416. static Var OP_NewPseudoScope(ScriptContext *scriptContext);
  417. static Var OP_NewBlockScope(ScriptContext *scriptContext);
  418. static Var OP_CloneBlockScope(BlockActivationObject *blockScope, ScriptContext *scriptContext);
  419. static void OP_InitClass(Var constructor, Var extends, ScriptContext * scriptContext);
  420. static void OP_LoadUndefinedToElement(Var instance, PropertyId propertyId);
  421. static void OP_LoadUndefinedToElementDynamic(Var instance, PropertyId propertyId, ScriptContext* scriptContext);
  422. static void OP_LoadUndefinedToElementScoped(FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance, ScriptContext* scriptContext);
  423. static Var OP_IsInst(Var instance, Var aClass, ScriptContext* scriptContext, IsInstInlineCache *inlineCache);
  424. static Var IsIn(Var argProperty, Var instance, ScriptContext* scriptContext);
  425. static BOOL GetRemoteTypeId(Var instance, __out TypeId* typeId);
  426. static FunctionProxy* GetDeferredDeserializedFunctionProxy(JavascriptFunction* func);
  427. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  428. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetValueWithThisPtr(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var thisInstance);
  429. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetValueForTypeOf(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  430. static Var PatchGetValueUsingSpecifiedInlineCache(InlineCache * inlineCache, Var instance, RecyclableObject * object, PropertyId propertyId, ScriptContext* scriptContext);
  431. static Var PatchGetValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  432. static Var PatchGetValueWithThisPtrNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId, Var thisInstance);
  433. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetRootValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  434. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetRootValueForTypeOf(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  435. static Var PatchGetRootValueNoFastPath_Var(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  436. static Var PatchGetRootValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  437. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetPropertyScoped(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance);
  438. 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);
  439. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetPropertyForTypeOfScoped(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, FrameDisplay *pScope, PropertyId propertyId, Var defaultInstance);
  440. 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);
  441. 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);
  442. 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);
  443. 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);
  444. 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);
  445. 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);
  446. static void PatchPutValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  447. static void PatchPutValueWithThisPtrNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, Var thisInstance, PropertyOperationFlags flags = PropertyOperation_None);
  448. static void PatchPutRootValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var obj, PropertyId propertyId, Var newValue, PropertyOperationFlags flags = PropertyOperation_None);
  449. template <bool IsFromFullJit, class TInlineCache> static void PatchInitValue(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, RecyclableObject* object, PropertyId propertyId, Var newValue);
  450. static void PatchInitValueNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, RecyclableObject* object, PropertyId propertyId, Var newValue);
  451. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetMethod(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  452. template <bool IsFromFullJit, class TInlineCache> static Var PatchGetRootMethod(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  453. template <bool IsFromFullJit, class TInlineCache> static Var PatchScopedGetMethod(FunctionBody *const functionBody, TInlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  454. static Var PatchGetMethodNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  455. static Var PatchGetRootMethodNoFastPath_Var(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, Var instance, PropertyId propertyId);
  456. static Var PatchGetRootMethodNoFastPath(FunctionBody *const functionBody, InlineCache *const inlineCache, const InlineCacheIndex inlineCacheIndex, DynamicObject* object, PropertyId propertyId);
  457. static Var PatchGetMethodFromObject(Var instance, RecyclableObject * propertyObject, PropertyId propertyId, PropertyValueInfo * info, ScriptContext * scriptContext, bool isRootLd);
  458. #if ENABLE_DEBUG_CONFIG_OPTIONS
  459. static void TracePropertyEquivalenceCheck(const JitEquivalentTypeGuard* guard, const Type* type, const Type* refType, bool isEquivalent, uint failedPropertyIndex);
  460. #endif
  461. static bool IsStaticTypeObjTypeSpecEquivalent(const TypeEquivalenceRecord& equivalenceRecord, uint& failedIndex);
  462. static bool IsStaticTypeObjTypeSpecEquivalent(const EquivalentPropertyEntry *entry);
  463. static bool CheckIfTypeIsEquivalent(Type* type, JitEquivalentTypeGuard* guard);
  464. static bool CheckIfTypeIsEquivalentForFixedField(Type* type, JitEquivalentTypeGuard* guard);
  465. static void GetPropertyIdForInt(uint64 value, ScriptContext* scriptContext, PropertyRecord const ** propertyRecord);
  466. static void GetPropertyIdForInt(uint32 value, ScriptContext* scriptContext, PropertyRecord const ** propertyRecord);
  467. static BOOL TryConvertToUInt32(const char16* str, int length, uint32* value);
  468. static BOOL ToPropertyDescriptor(Var propertySpec, PropertyDescriptor* descriptor, ScriptContext* scriptContext);
  469. static Var FromPropertyDescriptor(const PropertyDescriptor& descriptor, ScriptContext* scriptContext);
  470. static void CompletePropertyDescriptor(PropertyDescriptor* resultDescriptor, PropertyDescriptor* likePropertyDescriptor, ScriptContext* requestContext);
  471. static BOOL SetPropertyDescriptor(RecyclableObject* object, PropertyId propId, const PropertyDescriptor& descriptor);
  472. static BOOL DefineOwnPropertyDescriptor(RecyclableObject* object, PropertyId propId, const PropertyDescriptor& descriptor, bool throwOnError, ScriptContext* scriptContext);
  473. static BOOL DefineOwnPropertyForArray(JavascriptArray* arr, PropertyId propId, const PropertyDescriptor& descriptor, bool throwOnError, ScriptContext* scriptContext);
  474. static BOOL IsCompatiblePropertyDescriptor(const PropertyDescriptor& descriptor, PropertyDescriptor* currentDescriptor, bool isExtensible, bool throwOnError, ScriptContext* scriptContext);
  475. template <bool needToSetProperty>
  476. static BOOL ValidateAndApplyPropertyDescriptor(RecyclableObject* obj, PropertyId propId, const PropertyDescriptor& descriptor,
  477. PropertyDescriptor* currentPropertyDescriptor, bool isExtensible, bool throwOnError, ScriptContext* scriptContext);
  478. template <bool isAccessor>
  479. static PropertyDescriptor FillMissingPropertyDescriptorFields(PropertyDescriptor descriptor, ScriptContext* scriptContext);
  480. static Var OP_InvokePut(Js::ScriptContext *scriptContext, Var function, CallInfo callInfo, ...);
  481. static Var DefaultAccessor(RecyclableObject* function, CallInfo callInfo, ...);
  482. static bool IsUndefinedAccessor(Var accessor, ScriptContext* scriptContext);
  483. static void SetAttributes(RecyclableObject* object, PropertyId propId, const PropertyDescriptor& descriptor, bool force);
  484. static void OP_ClearAttributes(Var instance, PropertyId propertyId);
  485. static void OP_Freeze(Var instance);
  486. static Var RootToThisObject(const Var object, ScriptContext * const scriptContext);
  487. static Var CallGetter(RecyclableObject * const function, Var const object, ScriptContext * const scriptContext);
  488. static void CallSetter(RecyclableObject * const function, Var const object, Var const value, ScriptContext * const scriptContext);
  489. static bool CheckIfObjectAndPrototypeChainHasOnlyWritableDataProperties(RecyclableObject* object);
  490. static bool CheckIfPrototypeChainHasOnlyWritableDataProperties(RecyclableObject* prototype);
  491. static bool DoCheckIfPrototypeChainHasOnlyWritableDataProperties(RecyclableObject* prototype);
  492. static bool CheckIfPrototypeChainContainsProxyObject(RecyclableObject* prototype);
  493. static void OP_SetComputedNameVar(Var method, Var computedNameVar);
  494. static void OP_SetHomeObj(Var method, Var homeObj);
  495. static Var OP_LdHomeObj(Var scriptFunction, ScriptContext * scriptContext);
  496. static Var OP_LdFuncObj(Var scriptFunction, ScriptContext * scriptContext);
  497. static Var OP_ScopedLdHomeObj(Var scriptFunction, ScriptContext * scriptContext);
  498. static Var OP_ScopedLdFuncObj(Var scriptFunction, ScriptContext * scriptContext);
  499. static Var ScopedLdHomeObjFuncObjHelper(Var scriptFunction, Js::PropertyId propertyId, ScriptContext * scriptContext);
  500. static Var OP_LdHomeObjProto(Var aRight, ScriptContext* scriptContext);
  501. static Var OP_LdFuncObjProto(Var aRight, ScriptContext* scriptContext);
  502. static Var OP_ImportCall(__in JavascriptFunction *function, __in Var specifier, __in ScriptContext* scriptContext);
  503. static Var OP_ResumeYield(ResumeYieldData* yieldData, RecyclableObject* iterator);
  504. template <typename T>
  505. static void * JitRecyclerAlloc(DECLSPEC_GUARD_OVERFLOW size_t size, Recycler* recycler)
  506. {
  507. TRACK_ALLOC_INFO(recycler, T, Recycler, size - sizeof(T), (size_t)-1);
  508. return recycler->AllocZero(size);
  509. }
  510. static void * AllocMemForVarArray(DECLSPEC_GUARD_OVERFLOW size_t size, Recycler* recycler);
  511. static void * AllocUninitializedNumber(RecyclerJavascriptNumberAllocator * allocator);
  512. static void ScriptAbort();
  513. class EntryInfo
  514. {
  515. public:
  516. static FunctionInfo DefaultAccessor;
  517. };
  518. template <BOOL stopAtProxy, class Func>
  519. static void MapObjectAndPrototypes(RecyclableObject* object, Func func);
  520. template <BOOL stopAtProxy, class Func>
  521. static bool MapObjectAndPrototypesUntil(RecyclableObject* object, Func func);
  522. #if ENABLE_PROFILE_INFO
  523. static void UpdateNativeArrayProfileInfoToCreateVarArray(Var instance, const bool expectingNativeFloatArray, const bool expectingVarArray);
  524. static bool SetElementMayHaveImplicitCalls(ScriptContext *const scriptContext);
  525. #endif
  526. static RecyclableObject *GetCallableObjectOrThrow(const Var callee, ScriptContext *const scriptContext);
  527. static Js::Var BoxStackInstance(Js::Var value, ScriptContext * scriptContext, bool allowStackFunction = false);
  528. static BOOL PropertyReferenceWalkUnscopable(Var instance, RecyclableObject** propertyObject, PropertyId propertyId, Var* value, PropertyValueInfo* info, ScriptContext* requestContext);
  529. static BOOL PropertyReferenceWalk(Var instance, RecyclableObject** propertyObject, PropertyId propertyId, Var* value, PropertyValueInfo* info, ScriptContext* requestContext);
  530. static void VarToNativeArray(Var arrayObject,
  531. JsNativeValueType valueType,
  532. __in UINT length,
  533. __in UINT elementSize,
  534. __out_bcount(length*elementSize) byte* contentBuffer,
  535. Js::ScriptContext* scriptContext);
  536. static Var SpeciesConstructor(RecyclableObject* object, Var defaultConstructor, ScriptContext* scriptContext);
  537. static Var GetSpecies(RecyclableObject* constructor, ScriptContext* scriptContext);
  538. private:
  539. static BOOL RelationalComparisonHelper(Var aLeft, Var aRight, ScriptContext* scriptContext, bool leftFirst, bool undefinedAs);
  540. template <typename ArrayType>
  541. static void ObjectToNativeArray(ArrayType* arrayObject,
  542. JsNativeValueType valueType,
  543. __in UINT length,
  544. __in UINT elementSize,
  545. __out_bcount(length*elementSize) byte* contentBuffer,
  546. Js::ScriptContext* scriptContext);
  547. template <typename ArrayType>
  548. static Js::Var GetElementAtIndex(ArrayType* arrayObject, UINT index, Js::ScriptContext* scriptContext);
  549. #if DBG
  550. static BOOL IsPropertyObject(RecyclableObject * instance);
  551. #endif
  552. template<typename PropertyKeyType, bool doFastProtoChainCheck, bool isRoot>
  553. static BOOL CheckPrototypesForAccessorOrNonWritablePropertyCore(RecyclableObject* instance,
  554. PropertyKeyType propertyKey, Var* setterValue, DescriptorFlags* flags, PropertyValueInfo* info, ScriptContext* scriptContext);
  555. static RecyclableObject * GetPrototypeObject(RecyclableObject * constructorFunction, ScriptContext * scriptContext);
  556. static RecyclableObject * GetPrototypeObjectForConstructorCache(RecyclableObject * constructor, ScriptContext * scriptContext, bool& canBeCached);
  557. static bool PrototypeObject(Var prototypeProperty, RecyclableObject * constructorFunction, ScriptContext * scriptContext, RecyclableObject** prototypeObject);
  558. static Var NewScObjectHostDispatchOrProxy(RecyclableObject * function, ScriptContext * requestContext);
  559. static Var NewScObjectCommon(RecyclableObject * functionObject, FunctionInfo * functionInfo, ScriptContext * scriptContext, bool isBaseClassConstructorNewScObject = false);
  560. static BOOL Reject(bool throwOnError, ScriptContext* scriptContext, int32 errorCode, PropertyId propertyId);
  561. static bool AreSamePropertyDescriptors(const PropertyDescriptor* x, const PropertyDescriptor* y, ScriptContext* scriptContext);
  562. static Var CanonicalizeAccessor(Var accessor, ScriptContext* scriptContext);
  563. static void BuildHandlerScope(Var argThis, RecyclableObject * hostObject, FrameDisplay * pScopes, ScriptContext * scriptContext);
  564. static void TryLoadRoot(Var& thisVar, TypeId typeId, int moduleID, ScriptContextInfo* scriptContext);
  565. template <bool unscopables>
  566. static BOOL GetProperty_Internal(Var instance, RecyclableObject* propertyObject, const bool isRoot, PropertyId propertyId, Var* value, ScriptContext* requestContext, PropertyValueInfo* info);
  567. static RecyclableObject* GetPrototypeNoTrap(RecyclableObject* instance);
  568. static BOOL GetPropertyReference_Internal(Var instance, RecyclableObject* propertyObject, const bool isRoot, PropertyId propertyId, Var* value,ScriptContext* requestContext, PropertyValueInfo* info);
  569. template <bool unscopables>
  570. static BOOL PropertyReferenceWalk_Impl(Var instance, RecyclableObject** propertyObject, PropertyId propertyId, Var* value, PropertyValueInfo* info, ScriptContext* requestContext);
  571. static Var TypeofFld_Internal(Var instance, const bool isRoot, PropertyId propertyId, ScriptContext* scriptContext);
  572. template <bool unscopables>
  573. static BOOL SetProperty_Internal(Var instance, RecyclableObject* object, const bool isRoot, PropertyId propertyId, Var newValue, PropertyValueInfo * info, ScriptContext* requestContext, PropertyOperationFlags flags);
  574. template <typename TPropertyKey>
  575. static DescriptorFlags GetRootSetter(RecyclableObject* instance, TPropertyKey propertyKey, Var *setterValue, PropertyValueInfo* info, ScriptContext* requestContext);
  576. static BOOL IsNumberFromNativeArray(Var instance, uint32 index, ScriptContext* scriptContext);
  577. static BOOL GetItemFromArrayPrototype(JavascriptArray * arr, int32 indexInt, Var * result, ScriptContext * scriptContext);
  578. template <typename T>
  579. static BOOL OP_GetElementI_ArrayFastPath(T * arr, int indexInt, Var * result, ScriptContext * scriptContext);
  580. static ImplicitCallFlags CacheAndClearImplicitBit(ScriptContext* scriptContext);
  581. static ImplicitCallFlags CheckAndUpdateFunctionBodyWithImplicitFlag(FunctionBody* functionBody);
  582. static void RestoreImplicitFlag(ScriptContext* scriptContext, ImplicitCallFlags prevImplicitCallFlags, ImplicitCallFlags currImplicitCallFlags);
  583. static BOOL ToPropertyDescriptorForProxyObjects(Var propertySpec, PropertyDescriptor* descriptor, ScriptContext* scriptContext);
  584. static BOOL ToPropertyDescriptorForGenericObjects(Var propertySpec, PropertyDescriptor* descriptor, ScriptContext* scriptContext);
  585. };
  586. } // namespace Js