JavascriptOperators.h 64 KB

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