// [SMDOC] Self-hosted JS // // Self-hosted JS allows implementing a part of the JS engine using JavaScript. // // This allows implementing new feature easily, and also enables JIT // compilation to achieve better performance, for example with higher order // functions. Self-hosted functions can be inlined in, and optimized with, the // JS caller functions. // // Self-hosted JS code is compiled into a stencil during the initialization of // the engine, and each function is instantiated into each global on demand. // // Self-hosted JS has several differences between regular JavaScript code, // for performance optimization, security, and some other reasons. // // # Always strict mode // // Unlike regular JavaScript, self-hosted JS code is always in strict mode. // // # Prohibited syntax // // * Regular expression `/foo/` cannot be used // * `obj.method(...)` and `obj[method](...)` style call cannot be used. // See `callFunction` below // * Object literal cannot contain duplicate property names // * `yield*` cannot be used // // # No lazy parsing // // Self-hosted JS does not use lazy/syntax parsing: bytecode is generated // eagerly for each function. However, we do instantiate the BaseScript lazily // from the stencil for JSFunctions created for self-hosted built-ins. See // `SelfHostedLazyScript` and `JSRuntime::selfHostedLazyScript`. // // # Extended function // // Functions with "$"-prefix in their name are allocated as extended function. // See "SetCanonicalName" below. // // # Intrinsic helper functions // // Self-hosted JS has access to special functions that can interact with // native code or internal representation of JS values and objects. // // See `intrinsic_functions` array in SelfHosting.cpp. // // # Stack Frame // // Stack frame inside self-hosted JS is hidden from Error.prototype.stack by // default, to hide the internal from user code. // // During debugging self-hosted JS code, `MOZ_SHOW_ALL_JS_FRAMES` environment // variable can be used to expose those frames // // # Debugger interaction // // Self-hosted JS is hidden from debugger, and no source notes or breakpoint // is generated. // // Most function calls inside self-hosted JS are hidden from Debugger's // `onNativeCall` hook, except for the following (see below for each): // * `callContentFunction` // * `constructContentFunction` // * `allowContentIter` // * `allowContentIterWith` // * `allowContentIterWithNext` // // # XDR cache // // Compiling self-hosted JS code takes some time. // To improve the startup performance, the bytecode for self-hosted JS code // can be saved as XDR, and used by other instance. This is used to speed up // JS shell tests and Firefox content process startup. // // See `JSRuntime::initSelfHostingStencil` function. // // # Special functions // // Self-hosted JS code has special functions, to emit special bytecode // sequence, or directly operate on internals: // // callFunction(callee, thisV, arg0, ...) // Call `callee` function with `thisV` as "this" value, passing // arg0, ..., as arguments. // This is used when "this" value is not `undefined. // // `obj.method(...)` syntax is forbidden in self-hosted JS, to avoid // accidentally exposing the internal, or allowing user code to modify the // behavior. // // If the `callee` can be user-provided, `callContentFunction` must be // used instead. // // callContentFunction(callee, thisV, arg0, ...) // Same as `callFunction`, but this must be used when calling possibly // user-provided functions, even if "this" value is `undefined`. // // This exposes function calls to debuggers, using `JSOp::CallContent` // opcode. // // constructContentFunction(callee, newTarget, arg0, ...) // Construct `callee` function using `newTarget` as `new.target`. // This must be used when constructing possibly user-provided functions. // // This exposes constructs to debuggers, using `JSOp::NewContent` opcode. // // allowContentIter(iterable) // Iteration such as for-of and spread on user-provided value is // prohibited inside self-hosted JS by default. // // `allowContentIter` marks iteration allowed for given possibly // user-provided iterable. // // This exposes implicit function calls around iteration to debuggers, // using `JSOp::CallContentIter` opcode. // // Used in the following contexts: // // for (var item of allowContentIter(iterable)) { ... } // [...allowContentIter(iterable)] // // allowContentIterWith(iterable, iteratorFunc) // Special form of `allowContentIter`, where `iterable[Symbol.iterator]` is // already retrieved. // // This directly uses `iteratorFunc` instead of accessing // `iterable[Symbol.iterator]` again inside for-of bytecode. // // for (var item of allowContentIterWith(iterable, iteratorFunc)) { ... } // // allowContentIterWith(iterator, nextFunc) // Special form of `allowContentIter`, where `iterable[Symbol.iterator]()` // is already called and the iterator's `next` property retrieved. // // This form doesn't call `iterable[Symbol.iterator]` and directly uses // `nextFunc` instead of retrieving it inside for-of bytecode. // // for (var item of allowContentIterWithNext(iterator, nextFunc)) { ... } // // DefineDataProperty(obj, key, value) // Initialize `obj`'s `key` property with `value`, like // `Object.defineProperty(obj, key, {value})`, using `JSOp::InitElem` // opcode. This is almost always better than `obj[key] = value` because it // ignores setters and other properties on the prototype chain. // // hasOwn(key, obj) // Return `true` if `obj` has an own `key` property, using `JSOp::HasOwn` // opcode. // // getPropertySuper(obj, key, receiver) // Return `obj.[[Get]](key, receiver)`, using `JSOp::GetElemSuper` opcode. // // ToNumeric(v) // Convert `v` to number, using `JSOp::ToNumeric` opcode // // ToString(v) // Convert `v` to string, `JSOp::ToString` opcode // // GetBuiltinConstructor(name) // Return built-in constructor for `name`, e.g. `"Array"`, using // `JSOp::BuiltinObject` opcode. // // GetBuiltinPrototype(name) // Return built-in prototype for `name`, e.g. `"RegExp"`, using // `JSOp::BuiltinObject` opcode. // // GetBuiltinSymbol(name) // Return built-in symbol `Symbol[name]`, using `JSOp::Symbol` opcode. // // SetIsInlinableLargeFunction(fun) // Mark the large function `fun` inlineable. // `fun` must be the last function declaration before this call. // // SetCanonicalName(fun) // Set canonical name for the function `fun`. // `fun` must be the last function declaration before this call, and also // its function name must be prefixed with "$", to make it extended // function and store the original function name in the extended slot. // // UnsafeGetReservedSlot(obj, slot) // UnsafeGetObjectFromReservedSlot(obj, slot) // UnsafeGetInt32FromReservedSlot(obj, slot) // UnsafeGetStringFromReservedSlot(obj, slot) // UnsafeGetBooleanFromReservedSlot(obj, slot) // Get `obj`'s reserved slot specified by integer value `slot`. // They are intrinsic helper functions, and also optimized during JIT // compilation. // // UnsafeSetReservedSlot(obj, slot, value) // Set `obj`'s reserved slot specified by integer value `slot` to `value`. // This is an intrinsic helper function, and also optimized during JIT // compilation. // // resumeGenerator(gen, value, kind) // Resume generator `gen`, using `kind`, which is one of "next", "throw", // or "return", pasing `value` as parameter, using `JSOp::Resume` opcode. // // forceInterpreter() // Force interpreter execution for this function, using // `JSOp::ForceInterpreter` opcode. // This must be the first statement inside the function.
namespace// Special form of `allowContentIter`, where `iterable[Symbol.iterator]` is class JS_PUBLIC_API// `iterable[Symbol.iterator]` again inside for-of bytecode.
}
java.lang.StringIndexOutOfBoundsException: Range [0, 9) out of bounds for length 2
class AnyInvokeArgs; class// class // Return `true` if `obj` has an own// opcode.
ScriptSourceObject* // Return `obj.[[Get]](key, receiver)`, using `java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 2
/* // *selfReturnbuilt-inconstructorfor//`JSOp::BuiltinObject
*/ bool// Mark the large function `fun` inlineable. bool // `fun` must be the last function declaration before this call.
/* *Returnsthenameofthecloned// `fun` must be the last function declarationbeforethiscall,andalso * //resumeGenerator(gen,value,// Resume generator `gen`, using `kind`, which is one of "next", "throw", *declarationintheself-hostedglobal.
*/
PropertyName* GetClonedSelfHostedFunctionName(const JSFunction* fun); void SetClonedSelfHostedFunctionName(JSFunction* fun, PropertyName* name);
/* java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 *function,tostoretheoriginalname`SetCanonicalName`.
*/ bool IsExtendedUnclonedSelfHostedFunctionName(JSAtom* name);
boolboolIsSelfHostedFunctionWithName(JSFunction* fun, JSAtom* name);
JSContext* cx, Handle<Value> thisValue,
incompatibleContext)java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
/* Get the compile options used when compiling self hosted code. */ void FillSelfHostingCompileOptions(JS::CompileOptions& options);
#ifdef DEBUG /* *Callsaself-hostedfunctionbyname. * *Thisfunctionisonlyavailableindebugmode,becauseitalwaysatomizes *its|name|parameter.Usethealternativefunctionbelowinnon-debugcode.
*/
constexpr $'java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66 const ; #endif
/* *Callsaself-hostedfunctionbyname.
*/ bool CallSelfHostedFunction(JSContext* cx, Handle<PropertyName*> name,
HandleValue thisv, const AnyInvokeArgs& args,
* extended function, to store the original in `_etCanonicalName.
bool intrinsic_NewStringIterator(JSContext* cx, unsigned argc, JS::Valuejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
intrinsic_NewRegExpStringIterator(SContext ,unsigned argc,
JS::Value* vp);
}/java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20