| /* |
| * Copyright (C) 2011-2019 Apple Inc. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY |
| * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
| * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR |
| * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, |
| * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, |
| * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR |
| * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY |
| * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #include "config.h" |
| #include "LLIntSlowPaths.h" |
| |
| #include "ArrayConstructor.h" |
| #include "CallFrame.h" |
| #include "CommonSlowPaths.h" |
| #include "Error.h" |
| #include "ErrorHandlingScope.h" |
| #include "EvalCodeBlock.h" |
| #include "Exception.h" |
| #include "ExceptionFuzz.h" |
| #include "ExecutableBaseInlines.h" |
| #include "FrameTracers.h" |
| #include "FunctionCodeBlock.h" |
| #include "FunctionWhitelist.h" |
| #include "GetterSetter.h" |
| #include "HostCallReturnValue.h" |
| #include "InterpreterInlines.h" |
| #include "IteratorOperations.h" |
| #include "JIT.h" |
| #include "JITExceptions.h" |
| #include "JITWorklist.h" |
| #include "JSAsyncFunction.h" |
| #include "JSAsyncGeneratorFunction.h" |
| #include "JSCInlines.h" |
| #include "JSCJSValue.h" |
| #include "JSGeneratorFunction.h" |
| #include "JSGlobalObjectFunctions.h" |
| #include "JSLexicalEnvironment.h" |
| #include "JSString.h" |
| #include "JSWithScope.h" |
| #include "LLIntCommon.h" |
| #include "LLIntData.h" |
| #include "LLIntExceptions.h" |
| #include "LLIntPrototypeLoadAdaptiveStructureWatchpoint.h" |
| #include "LowLevelInterpreter.h" |
| #include "ModuleProgramCodeBlock.h" |
| #include "ObjectConstructor.h" |
| #include "ObjectPropertyConditionSet.h" |
| #include "OpcodeInlines.h" |
| #include "ProgramCodeBlock.h" |
| #include "ProtoCallFrame.h" |
| #include "RegExpObject.h" |
| #include "ShadowChicken.h" |
| #include "StructureRareDataInlines.h" |
| #include "SuperSampler.h" |
| #include "VMInlines.h" |
| #include <wtf/NeverDestroyed.h> |
| #include <wtf/StringPrintStream.h> |
| |
| namespace JSC { namespace LLInt { |
| |
| #define LLINT_BEGIN_NO_SET_PC() \ |
| VM& vm = exec->vm(); \ |
| NativeCallFrameTracer tracer(vm, exec); \ |
| auto throwScope = DECLARE_THROW_SCOPE(vm) |
| |
| #ifndef NDEBUG |
| #define LLINT_SET_PC_FOR_STUBS() do { \ |
| exec->codeBlock()->bytecodeOffset(pc); \ |
| exec->setCurrentVPC(pc); \ |
| } while (false) |
| #else |
| #define LLINT_SET_PC_FOR_STUBS() do { \ |
| exec->setCurrentVPC(pc); \ |
| } while (false) |
| #endif |
| |
| #define LLINT_BEGIN() \ |
| LLINT_BEGIN_NO_SET_PC(); \ |
| LLINT_SET_PC_FOR_STUBS() |
| |
| inline JSValue getNonConstantOperand(ExecState* exec, const VirtualRegister& operand) { return exec->uncheckedR(operand.offset()).jsValue(); } |
| inline JSValue getOperand(ExecState* exec, const VirtualRegister& operand) { return exec->r(operand.offset()).jsValue(); } |
| |
| #define LLINT_RETURN_TWO(first, second) do { \ |
| return encodeResult(first, second); \ |
| } while (false) |
| |
| #define LLINT_END_IMPL() LLINT_RETURN_TWO(pc, 0) |
| |
| #define LLINT_THROW(exceptionToThrow) do { \ |
| throwException(exec, throwScope, exceptionToThrow); \ |
| pc = returnToThrow(exec); \ |
| LLINT_END_IMPL(); \ |
| } while (false) |
| |
| #define LLINT_CHECK_EXCEPTION() do { \ |
| doExceptionFuzzingIfEnabled(exec, throwScope, "LLIntSlowPaths", pc); \ |
| if (UNLIKELY(throwScope.exception())) { \ |
| pc = returnToThrow(exec); \ |
| LLINT_END_IMPL(); \ |
| } \ |
| } while (false) |
| |
| #define LLINT_END() do { \ |
| LLINT_CHECK_EXCEPTION(); \ |
| LLINT_END_IMPL(); \ |
| } while (false) |
| |
| #define JUMP_OFFSET(targetOffset) \ |
| ((targetOffset) ? (targetOffset) : exec->codeBlock()->outOfLineJumpOffset(pc)) |
| |
| #define JUMP_TO(target) do { \ |
| pc = reinterpret_cast<const Instruction*>(reinterpret_cast<const uint8_t*>(pc) + (target)); \ |
| } while (false) |
| |
| #define LLINT_BRANCH(condition) do { \ |
| bool __b_condition = (condition); \ |
| LLINT_CHECK_EXCEPTION(); \ |
| if (__b_condition) \ |
| JUMP_TO(JUMP_OFFSET(bytecode.m_targetLabel)); \ |
| else \ |
| JUMP_TO(pc->size()); \ |
| LLINT_END_IMPL(); \ |
| } while (false) |
| |
| #define LLINT_RETURN(value) do { \ |
| JSValue __r_returnValue = (value); \ |
| LLINT_CHECK_EXCEPTION(); \ |
| exec->uncheckedR(bytecode.m_dst) = __r_returnValue; \ |
| LLINT_END_IMPL(); \ |
| } while (false) |
| |
| #define LLINT_RETURN_PROFILED(value) do { \ |
| JSValue __rp_returnValue = (value); \ |
| LLINT_CHECK_EXCEPTION(); \ |
| exec->uncheckedR(bytecode.m_dst) = __rp_returnValue; \ |
| LLINT_PROFILE_VALUE(__rp_returnValue); \ |
| LLINT_END_IMPL(); \ |
| } while (false) |
| |
| #define LLINT_PROFILE_VALUE(value) do { \ |
| bytecode.metadata(exec).m_profile.m_buckets[0] = JSValue::encode(value); \ |
| } while (false) |
| |
| #define LLINT_CALL_END_IMPL(exec, callTarget, callTargetTag) \ |
| LLINT_RETURN_TWO(retagCodePtr((callTarget), callTargetTag, SlowPathPtrTag), (exec)) |
| |
| #define LLINT_CALL_THROW(exec, exceptionToThrow) do { \ |
| ExecState* __ct_exec = (exec); \ |
| throwException(__ct_exec, throwScope, exceptionToThrow); \ |
| LLINT_CALL_END_IMPL(0, callToThrow(__ct_exec), ExceptionHandlerPtrTag); \ |
| } while (false) |
| |
| #define LLINT_CALL_CHECK_EXCEPTION(exec, execCallee) do { \ |
| ExecState* __cce_exec = (exec); \ |
| ExecState* __cce_execCallee = (execCallee); \ |
| doExceptionFuzzingIfEnabled(__cce_exec, throwScope, "LLIntSlowPaths/call", nullptr); \ |
| if (UNLIKELY(throwScope.exception())) \ |
| LLINT_CALL_END_IMPL(0, callToThrow(__cce_execCallee), ExceptionHandlerPtrTag); \ |
| } while (false) |
| |
| #define LLINT_CALL_RETURN(exec, execCallee, callTarget, callTargetTag) do { \ |
| ExecState* __cr_exec = (exec); \ |
| ExecState* __cr_execCallee = (execCallee); \ |
| void* __cr_callTarget = (callTarget); \ |
| LLINT_CALL_CHECK_EXCEPTION(__cr_exec, __cr_execCallee); \ |
| LLINT_CALL_END_IMPL(__cr_execCallee, __cr_callTarget, callTargetTag); \ |
| } while (false) |
| |
| #define LLINT_RETURN_CALLEE_FRAME(execCallee) do { \ |
| ExecState* __rcf_exec = (execCallee); \ |
| LLINT_RETURN_TWO(pc, __rcf_exec); \ |
| } while (false) |
| |
| #if LLINT_TRACING |
| |
| template<typename... Types> |
| void slowPathLog(const Types&... values) |
| { |
| dataLogIf(Options::traceLLIntSlowPath(), values...); |
| } |
| |
| template<typename... Types> |
| void slowPathLn(const Types&... values) |
| { |
| dataLogLnIf(Options::traceLLIntSlowPath(), values...); |
| } |
| |
| template<typename... Types> |
| void slowPathLogF(const char* format, const Types&... values) |
| { |
| ALLOW_NONLITERAL_FORMAT_BEGIN |
| IGNORE_WARNINGS_BEGIN("format-security") |
| if (Options::traceLLIntSlowPath()) |
| dataLogF(format, values...); |
| IGNORE_WARNINGS_END |
| ALLOW_NONLITERAL_FORMAT_END |
| } |
| |
| #else // not LLINT_TRACING |
| |
| template<typename... Types> void slowPathLog(const Types&...) { } |
| template<typename... Types> void slowPathLogLn(const Types&...) { } |
| template<typename... Types> void slowPathLogF(const char*, const Types&...) { } |
| |
| #endif // LLINT_TRACING |
| |
| extern "C" SlowPathReturnType llint_trace_operand(ExecState* exec, const Instruction* pc, int fromWhere, int operand) |
| { |
| if (!Options::traceLLIntExecution()) |
| LLINT_END_IMPL(); |
| |
| LLINT_BEGIN(); |
| dataLogF( |
| "<%p> %p / %p: executing bc#%zu, op#%u: Trace(%d): %d\n", |
| &Thread::current(), |
| exec->codeBlock(), |
| exec, |
| static_cast<intptr_t>(exec->codeBlock()->bytecodeOffset(pc)), |
| pc->opcodeID(), |
| fromWhere, |
| operand); |
| LLINT_END(); |
| } |
| |
| extern "C" SlowPathReturnType llint_trace_value(ExecState* exec, const Instruction* pc, int fromWhere, VirtualRegister operand) |
| { |
| if (!Options::traceLLIntExecution()) |
| LLINT_END_IMPL(); |
| |
| JSValue value = getOperand(exec, operand); |
| union { |
| struct { |
| uint32_t tag; |
| uint32_t payload; |
| } bits; |
| EncodedJSValue asValue; |
| } u; |
| u.asValue = JSValue::encode(value); |
| dataLogF( |
| "<%p> %p / %p: executing bc#%zu, op#%u: Trace(%d): %d: %08x:%08x: %s\n", |
| &Thread::current(), |
| exec->codeBlock(), |
| exec, |
| static_cast<intptr_t>(exec->codeBlock()->bytecodeOffset(pc)), |
| pc->opcodeID(), |
| fromWhere, |
| operand.offset(), |
| u.bits.tag, |
| u.bits.payload, |
| toCString(value).data()); |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(trace_prologue) |
| { |
| if (!Options::traceLLIntExecution()) |
| LLINT_END_IMPL(); |
| |
| dataLogF("<%p> %p / %p: in prologue of ", &Thread::current(), exec->codeBlock(), exec); |
| dataLog(exec->codeBlock(), "\n"); |
| LLINT_END_IMPL(); |
| } |
| |
| static void traceFunctionPrologue(ExecState* exec, const char* comment, CodeSpecializationKind kind) |
| { |
| if (!Options::traceLLIntExecution()) |
| return; |
| |
| JSFunction* callee = jsCast<JSFunction*>(exec->jsCallee()); |
| FunctionExecutable* executable = callee->jsExecutable(); |
| CodeBlock* codeBlock = executable->codeBlockFor(kind); |
| dataLogF("<%p> %p / %p: in %s of ", &Thread::current(), codeBlock, exec, comment); |
| dataLog(codeBlock); |
| dataLogF(" function %p, executable %p; numVars = %u, numParameters = %u, numCalleeLocals = %u, caller = %p.\n", |
| callee, executable, codeBlock->numVars(), codeBlock->numParameters(), codeBlock->numCalleeLocals(), exec->callerFrame()); |
| } |
| |
| LLINT_SLOW_PATH_DECL(trace_prologue_function_for_call) |
| { |
| traceFunctionPrologue(exec, "call prologue", CodeForCall); |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(trace_prologue_function_for_construct) |
| { |
| traceFunctionPrologue(exec, "construct prologue", CodeForConstruct); |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(trace_arityCheck_for_call) |
| { |
| traceFunctionPrologue(exec, "call arity check", CodeForCall); |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(trace_arityCheck_for_construct) |
| { |
| traceFunctionPrologue(exec, "construct arity check", CodeForConstruct); |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(trace) |
| { |
| if (!Options::traceLLIntExecution()) |
| LLINT_END_IMPL(); |
| |
| OpcodeID opcodeID = pc->opcodeID(); |
| dataLogF("<%p> %p / %p: executing bc#%zu, %s, pc = %p\n", |
| &Thread::current(), |
| exec->codeBlock(), |
| exec, |
| static_cast<intptr_t>(exec->codeBlock()->bytecodeOffset(pc)), |
| pc->name(), |
| pc); |
| if (opcodeID == op_enter) { |
| dataLogF("Frame will eventually return to %p\n", exec->returnPC().value()); |
| *removeCodePtrTag<volatile char*>(exec->returnPC().value()); |
| } |
| if (opcodeID == op_ret) { |
| dataLogF("Will be returning to %p\n", exec->returnPC().value()); |
| dataLogF("The new cfr will be %p\n", exec->callerFrame()); |
| } |
| LLINT_END_IMPL(); |
| } |
| |
| enum EntryKind { Prologue, ArityCheck }; |
| |
| #if ENABLE(JIT) |
| static FunctionWhitelist& ensureGlobalJITWhitelist() |
| { |
| static LazyNeverDestroyed<FunctionWhitelist> baselineWhitelist; |
| static std::once_flag initializeWhitelistFlag; |
| std::call_once(initializeWhitelistFlag, [] { |
| const char* functionWhitelistFile = Options::jitWhitelist(); |
| baselineWhitelist.construct(functionWhitelistFile); |
| }); |
| return baselineWhitelist; |
| } |
| |
| inline bool shouldJIT(CodeBlock* codeBlock) |
| { |
| if (!Options::bytecodeRangeToJITCompile().isInRange(codeBlock->instructionsSize()) |
| || !ensureGlobalJITWhitelist().contains(codeBlock)) |
| return false; |
| |
| return VM::canUseJIT() && Options::useBaselineJIT(); |
| } |
| |
| // Returns true if we should try to OSR. |
| inline bool jitCompileAndSetHeuristics(CodeBlock* codeBlock, ExecState* exec, unsigned loopOSREntryBytecodeOffset = 0) |
| { |
| VM& vm = exec->vm(); |
| DeferGCForAWhile deferGC(vm.heap); // My callers don't set top callframe, so we don't want to GC here at all. |
| ASSERT(VM::canUseJIT()); |
| |
| codeBlock->updateAllValueProfilePredictions(); |
| |
| if (!codeBlock->checkIfJITThresholdReached()) { |
| CODEBLOCK_LOG_EVENT(codeBlock, "delayJITCompile", ("threshold not reached, counter = ", codeBlock->llintExecuteCounter())); |
| if (Options::verboseOSR()) |
| dataLogF(" JIT threshold should be lifted.\n"); |
| return false; |
| } |
| |
| JITWorklist::ensureGlobalWorklist().poll(vm); |
| |
| switch (codeBlock->jitType()) { |
| case JITType::BaselineJIT: { |
| if (Options::verboseOSR()) |
| dataLogF(" Code was already compiled.\n"); |
| codeBlock->jitSoon(); |
| return true; |
| } |
| case JITType::InterpreterThunk: { |
| JITWorklist::ensureGlobalWorklist().compileLater(codeBlock, loopOSREntryBytecodeOffset); |
| return codeBlock->jitType() == JITType::BaselineJIT; |
| } |
| default: |
| dataLog("Unexpected code block in LLInt: ", *codeBlock, "\n"); |
| RELEASE_ASSERT_NOT_REACHED(); |
| return false; |
| } |
| } |
| |
| static SlowPathReturnType entryOSR(ExecState* exec, const Instruction*, CodeBlock* codeBlock, const char *name, EntryKind kind) |
| { |
| if (Options::verboseOSR()) { |
| dataLog( |
| *codeBlock, ": Entered ", name, " with executeCounter = ", |
| codeBlock->llintExecuteCounter(), "\n"); |
| } |
| |
| if (!shouldJIT(codeBlock)) { |
| codeBlock->dontJITAnytimeSoon(); |
| LLINT_RETURN_TWO(0, 0); |
| } |
| if (!jitCompileAndSetHeuristics(codeBlock, exec)) |
| LLINT_RETURN_TWO(0, 0); |
| |
| CODEBLOCK_LOG_EVENT(codeBlock, "OSR entry", ("in prologue")); |
| |
| if (kind == Prologue) |
| LLINT_RETURN_TWO(codeBlock->jitCode()->executableAddress(), 0); |
| ASSERT(kind == ArityCheck); |
| LLINT_RETURN_TWO(codeBlock->jitCode()->addressForCall(MustCheckArity).executableAddress(), 0); |
| } |
| #else // ENABLE(JIT) |
| static SlowPathReturnType entryOSR(ExecState* exec, const Instruction*, CodeBlock* codeBlock, const char*, EntryKind) |
| { |
| codeBlock->dontJITAnytimeSoon(); |
| LLINT_RETURN_TWO(0, exec); |
| } |
| #endif // ENABLE(JIT) |
| |
| LLINT_SLOW_PATH_DECL(entry_osr) |
| { |
| return entryOSR(exec, pc, exec->codeBlock(), "entry_osr", Prologue); |
| } |
| |
| LLINT_SLOW_PATH_DECL(entry_osr_function_for_call) |
| { |
| return entryOSR(exec, pc, jsCast<JSFunction*>(exec->jsCallee())->jsExecutable()->codeBlockForCall(), "entry_osr_function_for_call", Prologue); |
| } |
| |
| LLINT_SLOW_PATH_DECL(entry_osr_function_for_construct) |
| { |
| return entryOSR(exec, pc, jsCast<JSFunction*>(exec->jsCallee())->jsExecutable()->codeBlockForConstruct(), "entry_osr_function_for_construct", Prologue); |
| } |
| |
| LLINT_SLOW_PATH_DECL(entry_osr_function_for_call_arityCheck) |
| { |
| return entryOSR(exec, pc, jsCast<JSFunction*>(exec->jsCallee())->jsExecutable()->codeBlockForCall(), "entry_osr_function_for_call_arityCheck", ArityCheck); |
| } |
| |
| LLINT_SLOW_PATH_DECL(entry_osr_function_for_construct_arityCheck) |
| { |
| return entryOSR(exec, pc, jsCast<JSFunction*>(exec->jsCallee())->jsExecutable()->codeBlockForConstruct(), "entry_osr_function_for_construct_arityCheck", ArityCheck); |
| } |
| |
| LLINT_SLOW_PATH_DECL(loop_osr) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| UNUSED_PARAM(throwScope); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| |
| #if ENABLE(JIT) |
| if (Options::verboseOSR()) { |
| dataLog( |
| *codeBlock, ": Entered loop_osr with executeCounter = ", |
| codeBlock->llintExecuteCounter(), "\n"); |
| } |
| |
| unsigned loopOSREntryBytecodeOffset = codeBlock->bytecodeOffset(pc); |
| |
| if (!shouldJIT(codeBlock)) { |
| codeBlock->dontJITAnytimeSoon(); |
| LLINT_RETURN_TWO(0, 0); |
| } |
| |
| if (!jitCompileAndSetHeuristics(codeBlock, exec, loopOSREntryBytecodeOffset)) |
| LLINT_RETURN_TWO(0, 0); |
| |
| CODEBLOCK_LOG_EVENT(codeBlock, "osrEntry", ("at bc#", loopOSREntryBytecodeOffset)); |
| |
| ASSERT(codeBlock->jitType() == JITType::BaselineJIT); |
| |
| const JITCodeMap& codeMap = codeBlock->jitCodeMap(); |
| CodeLocationLabel<JSEntryPtrTag> codeLocation = codeMap.find(loopOSREntryBytecodeOffset); |
| ASSERT(codeLocation); |
| |
| void* jumpTarget = codeLocation.executableAddress(); |
| ASSERT(jumpTarget); |
| |
| LLINT_RETURN_TWO(jumpTarget, exec->topOfFrame()); |
| #else // ENABLE(JIT) |
| UNUSED_PARAM(pc); |
| codeBlock->dontJITAnytimeSoon(); |
| LLINT_RETURN_TWO(0, 0); |
| #endif // ENABLE(JIT) |
| } |
| |
| LLINT_SLOW_PATH_DECL(replace) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| UNUSED_PARAM(throwScope); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| |
| #if ENABLE(JIT) |
| if (Options::verboseOSR()) { |
| dataLog( |
| *codeBlock, ": Entered replace with executeCounter = ", |
| codeBlock->llintExecuteCounter(), "\n"); |
| } |
| |
| if (shouldJIT(codeBlock)) |
| jitCompileAndSetHeuristics(codeBlock, exec); |
| else |
| codeBlock->dontJITAnytimeSoon(); |
| LLINT_END_IMPL(); |
| #else // ENABLE(JIT) |
| codeBlock->dontJITAnytimeSoon(); |
| LLINT_END_IMPL(); |
| #endif // ENABLE(JIT) |
| } |
| |
| LLINT_SLOW_PATH_DECL(stack_check) |
| { |
| VM& vm = exec->vm(); |
| auto throwScope = DECLARE_THROW_SCOPE(vm); |
| |
| // It's ok to create the NativeCallFrameTracer here before we |
| // convertToStackOverflowFrame() because this function is always called |
| // after the frame has been propulated with a proper CodeBlock and callee. |
| NativeCallFrameTracer tracer(vm, exec); |
| |
| LLINT_SET_PC_FOR_STUBS(); |
| |
| CodeBlock* codeBlock = exec->codeBlock(); |
| slowPathLogF("Checking stack height with exec = %p.\n", exec); |
| slowPathLog("CodeBlock = ", codeBlock, "\n"); |
| if (codeBlock) { |
| slowPathLogF("Num callee registers = %u.\n", codeBlock->numCalleeLocals()); |
| slowPathLogF("Num vars = %u.\n", codeBlock->numVars()); |
| } |
| slowPathLogF("Current OS stack end is at %p.\n", vm.softStackLimit()); |
| #if ENABLE(C_LOOP) |
| slowPathLogF("Current C Loop stack end is at %p.\n", vm.cloopStackLimit()); |
| #endif |
| |
| // If the stack check succeeds and we don't need to throw the error, then |
| // we'll return 0 instead. The prologue will check for a non-zero value |
| // when determining whether to set the callFrame or not. |
| |
| // For JIT enabled builds which uses the C stack, the stack is not growable. |
| // Hence, if we get here, then we know a stack overflow is imminent. So, just |
| // throw the StackOverflowError unconditionally. |
| #if ENABLE(C_LOOP) |
| Register* topOfFrame = exec->topOfFrame(); |
| if (LIKELY(topOfFrame < reinterpret_cast<Register*>(exec))) { |
| ASSERT(!vm.interpreter->cloopStack().containsAddress(topOfFrame)); |
| if (LIKELY(vm.ensureStackCapacityFor(topOfFrame))) |
| LLINT_RETURN_TWO(pc, 0); |
| } |
| #endif |
| |
| exec->convertToStackOverflowFrame(vm, codeBlock); |
| ErrorHandlingScope errorScope(vm); |
| throwStackOverflowError(exec, throwScope); |
| pc = returnToThrow(exec); |
| LLINT_RETURN_TWO(pc, exec); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_object) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewObject>(); |
| auto& metadata = bytecode.metadata(exec); |
| LLINT_RETURN(constructEmptyObject(exec, metadata.m_objectAllocationProfile.structure())); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_array) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewArray>(); |
| auto& metadata = bytecode.metadata(exec); |
| LLINT_RETURN(constructArrayNegativeIndexed(exec, &metadata.m_arrayAllocationProfile, bitwise_cast<JSValue*>(&exec->uncheckedR(bytecode.m_argv)), bytecode.m_argc)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_array_with_size) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewArrayWithSize>(); |
| auto& metadata = bytecode.metadata(exec); |
| LLINT_RETURN(constructArrayWithSizeQuirk(exec, &metadata.m_arrayAllocationProfile, exec->lexicalGlobalObject(), getOperand(exec, bytecode.m_length))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_regexp) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewRegexp>(); |
| RegExp* regExp = jsCast<RegExp*>(getOperand(exec, bytecode.m_regexp)); |
| ASSERT(regExp->isValid()); |
| LLINT_RETURN(RegExpObject::create(vm, exec->lexicalGlobalObject()->regExpStructure(), regExp)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_instanceof) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpInstanceof>(); |
| JSValue value = getOperand(exec, bytecode.m_value); |
| JSValue proto = getOperand(exec, bytecode.m_prototype); |
| LLINT_RETURN(jsBoolean(JSObject::defaultHasInstance(exec, value, proto))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_instanceof_custom) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpInstanceofCustom>(); |
| JSValue value = getOperand(exec, bytecode.m_value); |
| JSValue constructor = getOperand(exec, bytecode.m_constructor); |
| JSValue hasInstanceValue = getOperand(exec, bytecode.m_hasInstanceValue); |
| |
| ASSERT(constructor.isObject()); |
| ASSERT(hasInstanceValue != exec->lexicalGlobalObject()->functionProtoHasInstanceSymbolFunction() || !constructor.getObject()->structure(vm)->typeInfo().implementsDefaultHasInstance()); |
| |
| JSValue result = jsBoolean(constructor.getObject()->hasInstance(exec, value, hasInstanceValue)); |
| LLINT_RETURN(result); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_try_get_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpTryGetById>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| const Identifier& ident = codeBlock->identifier(bytecode.m_property); |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| PropertySlot slot(baseValue, PropertySlot::PropertySlot::InternalMethodType::VMInquiry); |
| |
| baseValue.getPropertySlot(exec, ident, slot); |
| JSValue result = slot.getPureResult(); |
| |
| LLINT_RETURN_PROFILED(result); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_get_by_id_direct) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpGetByIdDirect>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| const Identifier& ident = codeBlock->identifier(bytecode.m_property); |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| PropertySlot slot(baseValue, PropertySlot::PropertySlot::InternalMethodType::GetOwnProperty); |
| |
| bool found = baseValue.getOwnPropertySlot(exec, ident, slot); |
| LLINT_CHECK_EXCEPTION(); |
| JSValue result = found ? slot.getValue(exec, ident) : jsUndefined(); |
| LLINT_CHECK_EXCEPTION(); |
| |
| if (!LLINT_ALWAYS_ACCESS_SLOW && slot.isCacheable()) { |
| auto& metadata = bytecode.metadata(exec); |
| { |
| StructureID oldStructureID = metadata.m_structureID; |
| if (oldStructureID) { |
| Structure* a = vm.heap.structureIDTable().get(oldStructureID); |
| Structure* b = baseValue.asCell()->structure(vm); |
| |
| if (Structure::shouldConvertToPolyProto(a, b)) { |
| ASSERT(a->rareData()->sharedPolyProtoWatchpoint().get() == b->rareData()->sharedPolyProtoWatchpoint().get()); |
| a->rareData()->sharedPolyProtoWatchpoint()->invalidate(vm, StringFireDetail("Detected poly proto opportunity.")); |
| } |
| } |
| } |
| |
| JSCell* baseCell = baseValue.asCell(); |
| Structure* structure = baseCell->structure(vm); |
| if (slot.isValue()) { |
| // Start out by clearing out the old cache. |
| metadata.m_structureID = 0; |
| metadata.m_offset = 0; |
| |
| if (structure->propertyAccessesAreCacheable() && !structure->needImpurePropertyWatchpoint()) { |
| { |
| ConcurrentJSLocker locker(codeBlock->m_lock); |
| metadata.m_structureID = structure->id(); |
| metadata.m_offset = slot.cachedOffset(); |
| } |
| vm.heap.writeBarrier(codeBlock); |
| } |
| } |
| } |
| |
| LLINT_RETURN_PROFILED(result); |
| } |
| |
| |
| static void setupGetByIdPrototypeCache(ExecState* exec, VM& vm, const Instruction* pc, OpGetById::Metadata& metadata, JSCell* baseCell, PropertySlot& slot, const Identifier& ident) |
| { |
| CodeBlock* codeBlock = exec->codeBlock(); |
| Structure* structure = baseCell->structure(vm); |
| |
| if (structure->typeInfo().prohibitsPropertyCaching()) |
| return; |
| |
| if (structure->needImpurePropertyWatchpoint()) |
| return; |
| |
| if (structure->isDictionary()) { |
| if (structure->hasBeenFlattenedBefore()) |
| return; |
| structure->flattenDictionaryStructure(vm, jsCast<JSObject*>(baseCell)); |
| } |
| |
| ObjectPropertyConditionSet conditions; |
| if (slot.isUnset()) |
| conditions = generateConditionsForPropertyMiss(vm, codeBlock, exec, structure, ident.impl()); |
| else |
| conditions = generateConditionsForPrototypePropertyHit(vm, codeBlock, exec, structure, slot.slotBase(), ident.impl()); |
| |
| if (!conditions.isValid()) |
| return; |
| |
| unsigned bytecodeOffset = codeBlock->bytecodeOffset(pc); |
| PropertyOffset offset = invalidOffset; |
| CodeBlock::StructureWatchpointMap& watchpointMap = codeBlock->llintGetByIdWatchpointMap(); |
| Vector<LLIntPrototypeLoadAdaptiveStructureWatchpoint> watchpoints; |
| watchpoints.reserveInitialCapacity(conditions.size()); |
| for (ObjectPropertyCondition condition : conditions) { |
| if (!condition.isWatchable()) |
| return; |
| if (condition.condition().kind() == PropertyCondition::Presence) |
| offset = condition.condition().offset(); |
| watchpoints.uncheckedConstructAndAppend(codeBlock, condition, bytecodeOffset); |
| watchpoints.last().install(vm); |
| } |
| |
| ASSERT((offset == invalidOffset) == slot.isUnset()); |
| auto result = watchpointMap.add(std::make_tuple(structure->id(), bytecodeOffset), WTFMove(watchpoints)); |
| ASSERT_UNUSED(result, result.isNewEntry); |
| |
| { |
| ConcurrentJSLocker locker(codeBlock->m_lock); |
| if (slot.isUnset()) |
| metadata.m_modeMetadata.setUnsetMode(structure); |
| else { |
| ASSERT(slot.isValue()); |
| metadata.m_modeMetadata.setProtoLoadMode(structure, offset, slot.slotBase()); |
| } |
| } |
| vm.heap.writeBarrier(codeBlock); |
| } |
| |
| |
| LLINT_SLOW_PATH_DECL(slow_path_get_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpGetById>(); |
| auto& metadata = bytecode.metadata(exec); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| const Identifier& ident = codeBlock->identifier(bytecode.m_property); |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| PropertySlot slot(baseValue, PropertySlot::PropertySlot::InternalMethodType::Get); |
| |
| JSValue result = baseValue.get(exec, ident, slot); |
| LLINT_CHECK_EXCEPTION(); |
| exec->uncheckedR(bytecode.m_dst) = result; |
| |
| if (!LLINT_ALWAYS_ACCESS_SLOW |
| && baseValue.isCell() |
| && slot.isCacheable()) { |
| { |
| StructureID oldStructureID; |
| switch (metadata.m_modeMetadata.mode) { |
| case GetByIdMode::Default: |
| oldStructureID = metadata.m_modeMetadata.defaultMode.structureID; |
| break; |
| case GetByIdMode::Unset: |
| oldStructureID = metadata.m_modeMetadata.unsetMode.structureID; |
| break; |
| case GetByIdMode::ProtoLoad: |
| oldStructureID = metadata.m_modeMetadata.protoLoadMode.structureID; |
| break; |
| default: |
| oldStructureID = 0; |
| } |
| if (oldStructureID) { |
| Structure* a = vm.heap.structureIDTable().get(oldStructureID); |
| Structure* b = baseValue.asCell()->structure(vm); |
| |
| if (Structure::shouldConvertToPolyProto(a, b)) { |
| ASSERT(a->rareData()->sharedPolyProtoWatchpoint().get() == b->rareData()->sharedPolyProtoWatchpoint().get()); |
| a->rareData()->sharedPolyProtoWatchpoint()->invalidate(vm, StringFireDetail("Detected poly proto opportunity.")); |
| } |
| } |
| } |
| |
| JSCell* baseCell = baseValue.asCell(); |
| Structure* structure = baseCell->structure(vm); |
| if (slot.isValue() && slot.slotBase() == baseValue) { |
| ConcurrentJSLocker locker(codeBlock->m_lock); |
| // Start out by clearing out the old cache. |
| metadata.m_modeMetadata.clearToDefaultModeWithoutCache(); |
| |
| // Prevent the prototype cache from ever happening. |
| metadata.m_modeMetadata.hitCountForLLIntCaching = 0; |
| |
| if (structure->propertyAccessesAreCacheable() && !structure->needImpurePropertyWatchpoint()) { |
| metadata.m_modeMetadata.defaultMode.structureID = structure->id(); |
| metadata.m_modeMetadata.defaultMode.cachedOffset = slot.cachedOffset(); |
| vm.heap.writeBarrier(codeBlock); |
| } |
| } else if (UNLIKELY(metadata.m_modeMetadata.hitCountForLLIntCaching && (slot.isValue() || slot.isUnset()))) { |
| ASSERT(slot.slotBase() != baseValue); |
| |
| if (!(--metadata.m_modeMetadata.hitCountForLLIntCaching)) |
| setupGetByIdPrototypeCache(exec, vm, pc, metadata, baseCell, slot, ident); |
| } |
| } else if (!LLINT_ALWAYS_ACCESS_SLOW && isJSArray(baseValue) && ident == vm.propertyNames->length) { |
| { |
| ConcurrentJSLocker locker(codeBlock->m_lock); |
| metadata.m_modeMetadata.setArrayLengthMode(); |
| metadata.m_modeMetadata.arrayLengthMode.arrayProfile.observeStructure(baseValue.asCell()->structure(vm)); |
| } |
| vm.heap.writeBarrier(codeBlock); |
| } |
| |
| LLINT_PROFILE_VALUE(result); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpPutById>(); |
| auto& metadata = bytecode.metadata(exec); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| const Identifier& ident = codeBlock->identifier(bytecode.m_property); |
| |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| PutPropertySlot slot(baseValue, codeBlock->isStrictMode(), codeBlock->putByIdContext()); |
| if (bytecode.m_flags & PutByIdIsDirect) |
| CommonSlowPaths::putDirectWithReify(vm, exec, asObject(baseValue), ident, getOperand(exec, bytecode.m_value), slot); |
| else |
| baseValue.putInline(exec, ident, getOperand(exec, bytecode.m_value), slot); |
| LLINT_CHECK_EXCEPTION(); |
| |
| if (!LLINT_ALWAYS_ACCESS_SLOW |
| && baseValue.isCell() |
| && slot.isCacheablePut()) { |
| |
| { |
| StructureID oldStructureID = metadata.m_oldStructureID; |
| if (oldStructureID) { |
| Structure* a = vm.heap.structureIDTable().get(oldStructureID); |
| Structure* b = baseValue.asCell()->structure(vm); |
| if (slot.type() == PutPropertySlot::NewProperty) |
| b = b->previousID(); |
| |
| if (Structure::shouldConvertToPolyProto(a, b)) { |
| a->rareData()->sharedPolyProtoWatchpoint()->invalidate(vm, StringFireDetail("Detected poly proto opportunity.")); |
| b->rareData()->sharedPolyProtoWatchpoint()->invalidate(vm, StringFireDetail("Detected poly proto opportunity.")); |
| } |
| } |
| } |
| |
| // Start out by clearing out the old cache. |
| metadata.m_oldStructureID = 0; |
| metadata.m_offset = 0; |
| metadata.m_newStructureID = 0; |
| metadata.m_structureChain.clear(); |
| |
| JSCell* baseCell = baseValue.asCell(); |
| Structure* structure = baseCell->structure(vm); |
| |
| if (!structure->isUncacheableDictionary() && !structure->typeInfo().prohibitsPropertyCaching() && baseCell == slot.base()) { |
| if (slot.type() == PutPropertySlot::NewProperty) { |
| GCSafeConcurrentJSLocker locker(codeBlock->m_lock, vm.heap); |
| if (!structure->isDictionary() && structure->previousID()->outOfLineCapacity() == structure->outOfLineCapacity()) { |
| ASSERT(structure->previousID()->transitionWatchpointSetHasBeenInvalidated()); |
| |
| bool sawPolyProto = false; |
| auto result = normalizePrototypeChain(exec, baseCell, sawPolyProto); |
| if (result != InvalidPrototypeChain && !sawPolyProto) { |
| ASSERT(structure->previousID()->isObject()); |
| metadata.m_oldStructureID = structure->previousID()->id(); |
| metadata.m_offset = slot.cachedOffset(); |
| metadata.m_newStructureID = structure->id(); |
| if (!(bytecode.m_flags & PutByIdIsDirect)) { |
| StructureChain* chain = structure->prototypeChain(exec, asObject(baseCell)); |
| ASSERT(chain); |
| metadata.m_structureChain.set(vm, codeBlock, chain); |
| } |
| vm.heap.writeBarrier(codeBlock); |
| } |
| } |
| } else { |
| structure->didCachePropertyReplacement(vm, slot.cachedOffset()); |
| { |
| ConcurrentJSLocker locker(codeBlock->m_lock); |
| metadata.m_oldStructureID = structure->id(); |
| metadata.m_offset = slot.cachedOffset(); |
| } |
| vm.heap.writeBarrier(codeBlock); |
| } |
| } |
| } |
| |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_del_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpDelById>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSObject* baseObject = getOperand(exec, bytecode.m_base).toObject(exec); |
| LLINT_CHECK_EXCEPTION(); |
| bool couldDelete = baseObject->methodTable(vm)->deleteProperty(baseObject, exec, codeBlock->identifier(bytecode.m_property)); |
| LLINT_CHECK_EXCEPTION(); |
| if (!couldDelete && codeBlock->isStrictMode()) |
| LLINT_THROW(createTypeError(exec, UnableToDeletePropertyError)); |
| LLINT_RETURN(jsBoolean(couldDelete)); |
| } |
| |
| static ALWAYS_INLINE JSValue getByVal(VM& vm, ExecState* exec, OpGetByVal bytecode) |
| { |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| JSValue subscript = getOperand(exec, bytecode.m_property); |
| auto scope = DECLARE_THROW_SCOPE(vm); |
| |
| if (LIKELY(baseValue.isCell() && subscript.isString())) { |
| Structure& structure = *baseValue.asCell()->structure(vm); |
| if (JSCell::canUseFastGetOwnProperty(structure)) { |
| RefPtr<AtomStringImpl> existingAtomString = asString(subscript)->toExistingAtomString(exec); |
| RETURN_IF_EXCEPTION(scope, JSValue()); |
| if (existingAtomString) { |
| if (JSValue result = baseValue.asCell()->fastGetOwnProperty(vm, structure, existingAtomString.get())) |
| return result; |
| } |
| } |
| } |
| |
| if (subscript.isUInt32()) { |
| uint32_t i = subscript.asUInt32(); |
| auto& metadata = bytecode.metadata(exec); |
| ArrayProfile* arrayProfile = &metadata.m_arrayProfile; |
| |
| if (isJSString(baseValue)) { |
| if (asString(baseValue)->canGetIndex(i)) { |
| scope.release(); |
| return asString(baseValue)->getIndex(exec, i); |
| } |
| arrayProfile->setOutOfBounds(); |
| } else if (baseValue.isObject()) { |
| JSObject* object = asObject(baseValue); |
| if (object->canGetIndexQuickly(i)) |
| return object->getIndexQuickly(i); |
| |
| bool skipMarkingOutOfBounds = false; |
| |
| if (object->indexingType() == ArrayWithContiguous && i < object->butterfly()->publicLength()) { |
| // FIXME: expand this to ArrayStorage, Int32, and maybe Double: |
| // https://bugs.webkit.org/show_bug.cgi?id=182940 |
| auto* globalObject = object->globalObject(vm); |
| skipMarkingOutOfBounds = globalObject->isOriginalArrayStructure(object->structure(vm)) && globalObject->arrayPrototypeChainIsSane(); |
| } |
| |
| if (!skipMarkingOutOfBounds && !CommonSlowPaths::canAccessArgumentIndexQuickly(*object, i)) |
| arrayProfile->setOutOfBounds(); |
| } |
| |
| scope.release(); |
| return baseValue.get(exec, i); |
| } |
| |
| baseValue.requireObjectCoercible(exec); |
| RETURN_IF_EXCEPTION(scope, JSValue()); |
| auto property = subscript.toPropertyKey(exec); |
| RETURN_IF_EXCEPTION(scope, JSValue()); |
| scope.release(); |
| return baseValue.get(exec, property); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_get_by_val) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpGetByVal>(); |
| LLINT_RETURN_PROFILED(getByVal(vm, exec, bytecode)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_by_val) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpPutByVal>(); |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| JSValue subscript = getOperand(exec, bytecode.m_property); |
| JSValue value = getOperand(exec, bytecode.m_value); |
| bool isStrictMode = exec->codeBlock()->isStrictMode(); |
| |
| if (LIKELY(subscript.isUInt32())) { |
| uint32_t i = subscript.asUInt32(); |
| if (baseValue.isObject()) { |
| JSObject* object = asObject(baseValue); |
| if (object->canSetIndexQuickly(i, value)) |
| object->setIndexQuickly(vm, i, value); |
| else |
| object->methodTable(vm)->putByIndex(object, exec, i, value, isStrictMode); |
| LLINT_END(); |
| } |
| baseValue.putByIndex(exec, i, value, isStrictMode); |
| LLINT_END(); |
| } |
| |
| auto property = subscript.toPropertyKey(exec); |
| LLINT_CHECK_EXCEPTION(); |
| PutPropertySlot slot(baseValue, isStrictMode); |
| baseValue.put(exec, property, value, slot); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_by_val_direct) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpPutByValDirect>(); |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| JSValue subscript = getOperand(exec, bytecode.m_property); |
| JSValue value = getOperand(exec, bytecode.m_value); |
| RELEASE_ASSERT(baseValue.isObject()); |
| JSObject* baseObject = asObject(baseValue); |
| bool isStrictMode = exec->codeBlock()->isStrictMode(); |
| if (LIKELY(subscript.isUInt32())) { |
| // Despite its name, JSValue::isUInt32 will return true only for positive boxed int32_t; all those values are valid array indices. |
| ASSERT(isIndex(subscript.asUInt32())); |
| baseObject->putDirectIndex(exec, subscript.asUInt32(), value, 0, isStrictMode ? PutDirectIndexShouldThrow : PutDirectIndexShouldNotThrow); |
| LLINT_END(); |
| } |
| |
| if (subscript.isDouble()) { |
| double subscriptAsDouble = subscript.asDouble(); |
| uint32_t subscriptAsUInt32 = static_cast<uint32_t>(subscriptAsDouble); |
| if (subscriptAsDouble == subscriptAsUInt32 && isIndex(subscriptAsUInt32)) { |
| baseObject->putDirectIndex(exec, subscriptAsUInt32, value, 0, isStrictMode ? PutDirectIndexShouldThrow : PutDirectIndexShouldNotThrow); |
| LLINT_END(); |
| } |
| } |
| |
| // Don't put to an object if toString threw an exception. |
| auto property = subscript.toPropertyKey(exec); |
| if (UNLIKELY(throwScope.exception())) |
| LLINT_END(); |
| |
| if (Optional<uint32_t> index = parseIndex(property)) |
| baseObject->putDirectIndex(exec, index.value(), value, 0, isStrictMode ? PutDirectIndexShouldThrow : PutDirectIndexShouldNotThrow); |
| else { |
| PutPropertySlot slot(baseObject, isStrictMode); |
| CommonSlowPaths::putDirectWithReify(vm, exec, baseObject, property, value, slot); |
| } |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_del_by_val) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpDelByVal>(); |
| JSValue baseValue = getOperand(exec, bytecode.m_base); |
| JSObject* baseObject = baseValue.toObject(exec); |
| LLINT_CHECK_EXCEPTION(); |
| |
| JSValue subscript = getOperand(exec, bytecode.m_property); |
| |
| bool couldDelete; |
| |
| uint32_t i; |
| if (subscript.getUInt32(i)) |
| couldDelete = baseObject->methodTable(vm)->deletePropertyByIndex(baseObject, exec, i); |
| else { |
| LLINT_CHECK_EXCEPTION(); |
| auto property = subscript.toPropertyKey(exec); |
| LLINT_CHECK_EXCEPTION(); |
| couldDelete = baseObject->methodTable(vm)->deleteProperty(baseObject, exec, property); |
| } |
| LLINT_CHECK_EXCEPTION(); |
| |
| if (!couldDelete && exec->codeBlock()->isStrictMode()) |
| LLINT_THROW(createTypeError(exec, UnableToDeletePropertyError)); |
| |
| LLINT_RETURN(jsBoolean(couldDelete)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_getter_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpPutGetterById>(); |
| ASSERT(getNonConstantOperand(exec, bytecode.m_base).isObject()); |
| JSObject* baseObj = asObject(getNonConstantOperand(exec, bytecode.m_base)); |
| |
| unsigned options = bytecode.m_attributes; |
| |
| JSValue getter = getNonConstantOperand(exec, bytecode.m_accessor); |
| ASSERT(getter.isObject()); |
| |
| baseObj->putGetter(exec, exec->codeBlock()->identifier(bytecode.m_property), asObject(getter), options); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_setter_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpPutSetterById>(); |
| ASSERT(getNonConstantOperand(exec, bytecode.m_base).isObject()); |
| JSObject* baseObj = asObject(getNonConstantOperand(exec, bytecode.m_base)); |
| |
| unsigned options = bytecode.m_attributes; |
| |
| JSValue setter = getNonConstantOperand(exec, bytecode.m_accessor); |
| ASSERT(setter.isObject()); |
| |
| baseObj->putSetter(exec, exec->codeBlock()->identifier(bytecode.m_property), asObject(setter), options); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_getter_setter_by_id) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpPutGetterSetterById>(); |
| ASSERT(getNonConstantOperand(exec, bytecode.m_base).isObject()); |
| JSObject* baseObject = asObject(getNonConstantOperand(exec, bytecode.m_base)); |
| |
| JSValue getter = getNonConstantOperand(exec, bytecode.m_getter); |
| JSValue setter = getNonConstantOperand(exec, bytecode.m_setter); |
| ASSERT(getter.isObject() || setter.isObject()); |
| GetterSetter* accessor = GetterSetter::create(vm, exec->lexicalGlobalObject(), getter, setter); |
| |
| CommonSlowPaths::putDirectAccessorWithReify(vm, exec, baseObject, exec->codeBlock()->identifier(bytecode.m_property), accessor, bytecode.m_attributes); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_getter_by_val) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpPutGetterByVal>(); |
| ASSERT(getNonConstantOperand(exec, bytecode.m_base).isObject()); |
| JSObject* baseObj = asObject(getNonConstantOperand(exec, bytecode.m_base)); |
| JSValue subscript = getOperand(exec, bytecode.m_property); |
| |
| unsigned options = bytecode.m_attributes; |
| |
| JSValue getter = getNonConstantOperand(exec, bytecode.m_accessor); |
| ASSERT(getter.isObject()); |
| |
| auto property = subscript.toPropertyKey(exec); |
| LLINT_CHECK_EXCEPTION(); |
| |
| baseObj->putGetter(exec, property, asObject(getter), options); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_setter_by_val) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpPutSetterByVal>(); |
| ASSERT(getNonConstantOperand(exec, bytecode.m_base).isObject()); |
| JSObject* baseObj = asObject(getNonConstantOperand(exec, bytecode.m_base)); |
| JSValue subscript = getOperand(exec, bytecode.m_property); |
| |
| unsigned options = bytecode.m_attributes; |
| |
| JSValue setter = getNonConstantOperand(exec, bytecode.m_accessor); |
| ASSERT(setter.isObject()); |
| |
| auto property = subscript.toPropertyKey(exec); |
| LLINT_CHECK_EXCEPTION(); |
| |
| baseObj->putSetter(exec, property, asObject(setter), options); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jtrue) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJtrue>(); |
| LLINT_BRANCH(getOperand(exec, bytecode.m_condition).toBoolean(exec)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jfalse) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJfalse>(); |
| LLINT_BRANCH(!getOperand(exec, bytecode.m_condition).toBoolean(exec)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jless) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJless>(); |
| LLINT_BRANCH(jsLess<true>(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jnless) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJnless>(); |
| LLINT_BRANCH(!jsLess<true>(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jgreater) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJgreater>(); |
| LLINT_BRANCH(jsLess<false>(exec, getOperand(exec, bytecode.m_rhs), getOperand(exec, bytecode.m_lhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jngreater) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJngreater>(); |
| LLINT_BRANCH(!jsLess<false>(exec, getOperand(exec, bytecode.m_rhs), getOperand(exec, bytecode.m_lhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jlesseq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJlesseq>(); |
| LLINT_BRANCH(jsLessEq<true>(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jnlesseq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJnlesseq>(); |
| LLINT_BRANCH(!jsLessEq<true>(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jgreatereq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJgreatereq>(); |
| LLINT_BRANCH(jsLessEq<false>(exec, getOperand(exec, bytecode.m_rhs), getOperand(exec, bytecode.m_lhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jngreatereq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJngreatereq>(); |
| LLINT_BRANCH(!jsLessEq<false>(exec, getOperand(exec, bytecode.m_rhs), getOperand(exec, bytecode.m_lhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jeq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJeq>(); |
| LLINT_BRANCH(JSValue::equal(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jneq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJneq>(); |
| LLINT_BRANCH(!JSValue::equal(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jstricteq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJstricteq>(); |
| LLINT_BRANCH(JSValue::strictEqual(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_jnstricteq) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpJnstricteq>(); |
| LLINT_BRANCH(!JSValue::strictEqual(exec, getOperand(exec, bytecode.m_lhs), getOperand(exec, bytecode.m_rhs))); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_switch_imm) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpSwitchImm>(); |
| JSValue scrutinee = getOperand(exec, bytecode.m_scrutinee); |
| ASSERT(scrutinee.isDouble()); |
| double value = scrutinee.asDouble(); |
| int32_t intValue = static_cast<int32_t>(value); |
| int defaultOffset = JUMP_OFFSET(bytecode.m_defaultOffset); |
| if (value == intValue) { |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JUMP_TO(codeBlock->switchJumpTable(bytecode.m_tableIndex).offsetForValue(intValue, defaultOffset)); |
| } else |
| JUMP_TO(defaultOffset); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_switch_char) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpSwitchChar>(); |
| JSValue scrutinee = getOperand(exec, bytecode.m_scrutinee); |
| ASSERT(scrutinee.isString()); |
| JSString* string = asString(scrutinee); |
| ASSERT(string->length() == 1); |
| int defaultOffset = JUMP_OFFSET(bytecode.m_defaultOffset); |
| StringImpl* impl = string->value(exec).impl(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JUMP_TO(codeBlock->switchJumpTable(bytecode.m_tableIndex).offsetForValue((*impl)[0], defaultOffset)); |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_switch_string) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpSwitchString>(); |
| JSValue scrutinee = getOperand(exec, bytecode.m_scrutinee); |
| int defaultOffset = JUMP_OFFSET(bytecode.m_defaultOffset); |
| if (!scrutinee.isString()) |
| JUMP_TO(defaultOffset); |
| else { |
| StringImpl* scrutineeStringImpl = asString(scrutinee)->value(exec).impl(); |
| |
| LLINT_CHECK_EXCEPTION(); |
| |
| CodeBlock* codeBlock = exec->codeBlock(); |
| |
| JUMP_TO(codeBlock->stringSwitchJumpTable(bytecode.m_tableIndex).offsetForValue(scrutineeStringImpl, defaultOffset)); |
| } |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_func) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewFunc>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| slowPathLogF("Creating function!\n"); |
| LLINT_RETURN(JSFunction::create(vm, codeBlock->functionDecl(bytecode.m_functionDecl), scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_generator_func) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewGeneratorFunc>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| slowPathLogF("Creating function!\n"); |
| LLINT_RETURN(JSGeneratorFunction::create(vm, codeBlock->functionDecl(bytecode.m_functionDecl), scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_async_func) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewAsyncFunc>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| slowPathLogF("Creating async function!\n"); |
| LLINT_RETURN(JSAsyncFunction::create(vm, codeBlock->functionDecl(bytecode.m_functionDecl), scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_async_generator_func) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpNewAsyncGeneratorFunc>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| slowPathLogF("Creating async generator function!\n"); |
| LLINT_RETURN(JSAsyncGeneratorFunction::create(vm, codeBlock->functionDecl(bytecode.m_functionDecl), scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_func_exp) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpNewFuncExp>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| FunctionExecutable* executable = codeBlock->functionExpr(bytecode.m_functionDecl); |
| |
| LLINT_RETURN(JSFunction::create(vm, executable, scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_generator_func_exp) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpNewGeneratorFuncExp>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| FunctionExecutable* executable = codeBlock->functionExpr(bytecode.m_functionDecl); |
| |
| LLINT_RETURN(JSGeneratorFunction::create(vm, executable, scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_async_func_exp) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpNewAsyncFuncExp>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| FunctionExecutable* executable = codeBlock->functionExpr(bytecode.m_functionDecl); |
| |
| LLINT_RETURN(JSAsyncFunction::create(vm, executable, scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_new_async_generator_func_exp) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpNewAsyncGeneratorFuncExp>(); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| FunctionExecutable* executable = codeBlock->functionExpr(bytecode.m_functionDecl); |
| |
| LLINT_RETURN(JSAsyncGeneratorFunction::create(vm, executable, scope)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_set_function_name) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpSetFunctionName>(); |
| JSFunction* func = jsCast<JSFunction*>(getNonConstantOperand(exec, bytecode.m_function)); |
| JSValue name = getOperand(exec, bytecode.m_name); |
| func->setFunctionName(exec, name); |
| LLINT_END(); |
| } |
| |
| static SlowPathReturnType handleHostCall(ExecState* execCallee, JSValue callee, CodeSpecializationKind kind) |
| { |
| slowPathLog("Performing host call.\n"); |
| |
| ExecState* exec = execCallee->callerFrame(); |
| VM& vm = exec->vm(); |
| auto throwScope = DECLARE_THROW_SCOPE(vm); |
| |
| execCallee->setCodeBlock(0); |
| execCallee->clearReturnPC(); |
| |
| if (kind == CodeForCall) { |
| CallData callData; |
| CallType callType = getCallData(vm, callee, callData); |
| |
| ASSERT(callType != CallType::JS); |
| |
| if (callType == CallType::Host) { |
| NativeCallFrameTracer tracer(vm, execCallee); |
| execCallee->setCallee(asObject(callee)); |
| vm.hostCallReturnValue = JSValue::decode(callData.native.function(asObject(callee)->globalObject(vm), execCallee)); |
| LLINT_CALL_RETURN(execCallee, execCallee, LLInt::getCodePtr(getHostCallReturnValue), CFunctionPtrTag); |
| } |
| |
| slowPathLog("Call callee is not a function: ", callee, "\n"); |
| |
| ASSERT(callType == CallType::None); |
| LLINT_CALL_THROW(exec, createNotAFunctionError(exec, callee)); |
| } |
| |
| ASSERT(kind == CodeForConstruct); |
| |
| ConstructData constructData; |
| ConstructType constructType = getConstructData(vm, callee, constructData); |
| |
| ASSERT(constructType != ConstructType::JS); |
| |
| if (constructType == ConstructType::Host) { |
| NativeCallFrameTracer tracer(vm, execCallee); |
| execCallee->setCallee(asObject(callee)); |
| vm.hostCallReturnValue = JSValue::decode(constructData.native.function(asObject(callee)->globalObject(vm), execCallee)); |
| LLINT_CALL_RETURN(execCallee, execCallee, LLInt::getCodePtr(getHostCallReturnValue), CFunctionPtrTag); |
| } |
| |
| slowPathLog("Constructor callee is not a function: ", callee, "\n"); |
| |
| ASSERT(constructType == ConstructType::None); |
| LLINT_CALL_THROW(exec, createNotAConstructorError(exec, callee)); |
| } |
| |
| inline SlowPathReturnType setUpCall(ExecState* execCallee, CodeSpecializationKind kind, JSValue calleeAsValue, LLIntCallLinkInfo* callLinkInfo = nullptr) |
| { |
| ExecState* exec = execCallee->callerFrame(); |
| VM& vm = exec->vm(); |
| auto throwScope = DECLARE_THROW_SCOPE(vm); |
| |
| slowPathLogF("Performing call with recorded PC = %p\n", exec->currentVPC()); |
| |
| JSCell* calleeAsFunctionCell = getJSFunction(calleeAsValue); |
| if (!calleeAsFunctionCell) { |
| if (auto* internalFunction = jsDynamicCast<InternalFunction*>(vm, calleeAsValue)) { |
| MacroAssemblerCodePtr<JSEntryPtrTag> codePtr = vm.getCTIInternalFunctionTrampolineFor(kind); |
| ASSERT(!!codePtr); |
| |
| if (!LLINT_ALWAYS_ACCESS_SLOW && callLinkInfo) { |
| CodeBlock* callerCodeBlock = exec->codeBlock(); |
| |
| ConcurrentJSLocker locker(callerCodeBlock->m_lock); |
| callLinkInfo->link(vm, callerCodeBlock, internalFunction, codePtr); |
| } |
| |
| assertIsTaggedWith(codePtr.executableAddress(), JSEntryPtrTag); |
| LLINT_CALL_RETURN(exec, execCallee, codePtr.executableAddress(), JSEntryPtrTag); |
| } |
| RELEASE_AND_RETURN(throwScope, handleHostCall(execCallee, calleeAsValue, kind)); |
| } |
| JSFunction* callee = jsCast<JSFunction*>(calleeAsFunctionCell); |
| JSScope* scope = callee->scopeUnchecked(); |
| ExecutableBase* executable = callee->executable(); |
| |
| MacroAssemblerCodePtr<JSEntryPtrTag> codePtr; |
| CodeBlock* codeBlock = 0; |
| if (executable->isHostFunction()) |
| codePtr = executable->entrypointFor(kind, MustCheckArity); |
| else { |
| FunctionExecutable* functionExecutable = static_cast<FunctionExecutable*>(executable); |
| |
| if (!isCall(kind) && functionExecutable->constructAbility() == ConstructAbility::CannotConstruct) |
| LLINT_CALL_THROW(exec, createNotAConstructorError(exec, callee)); |
| |
| CodeBlock** codeBlockSlot = execCallee->addressOfCodeBlock(); |
| Exception* error = functionExecutable->prepareForExecution<FunctionExecutable>(vm, callee, scope, kind, *codeBlockSlot); |
| EXCEPTION_ASSERT(throwScope.exception() == error); |
| if (UNLIKELY(error)) |
| LLINT_CALL_THROW(exec, error); |
| codeBlock = *codeBlockSlot; |
| ASSERT(codeBlock); |
| ArityCheckMode arity; |
| if (execCallee->argumentCountIncludingThis() < static_cast<size_t>(codeBlock->numParameters())) |
| arity = MustCheckArity; |
| else |
| arity = ArityCheckNotRequired; |
| codePtr = functionExecutable->entrypointFor(kind, arity); |
| } |
| |
| ASSERT(!!codePtr); |
| |
| if (!LLINT_ALWAYS_ACCESS_SLOW && callLinkInfo) { |
| CodeBlock* callerCodeBlock = exec->codeBlock(); |
| |
| ConcurrentJSLocker locker(callerCodeBlock->m_lock); |
| callLinkInfo->link(vm, callerCodeBlock, callee, codePtr); |
| if (codeBlock) |
| codeBlock->linkIncomingCall(exec, callLinkInfo); |
| } |
| |
| assertIsTaggedWith(codePtr.executableAddress(), JSEntryPtrTag); |
| LLINT_CALL_RETURN(exec, execCallee, codePtr.executableAddress(), JSEntryPtrTag); |
| } |
| |
| template<typename Op> |
| inline SlowPathReturnType genericCall(ExecState* exec, Op&& bytecode, CodeSpecializationKind kind) |
| { |
| // This needs to: |
| // - Set up a call frame. |
| // - Figure out what to call and compile it if necessary. |
| // - If possible, link the call's inline cache. |
| // - Return a tuple of machine code address to call and the new call frame. |
| |
| JSValue calleeAsValue = getOperand(exec, bytecode.m_callee); |
| |
| ExecState* execCallee = exec - bytecode.m_argv; |
| |
| execCallee->setArgumentCountIncludingThis(bytecode.m_argc); |
| execCallee->uncheckedR(CallFrameSlot::callee) = calleeAsValue; |
| execCallee->setCallerFrame(exec); |
| |
| auto& metadata = bytecode.metadata(exec); |
| return setUpCall(execCallee, kind, calleeAsValue, &metadata.m_callLinkInfo); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_call) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| RELEASE_AND_RETURN(throwScope, genericCall(exec, pc->as<OpCall>(), CodeForCall)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_tail_call) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| RELEASE_AND_RETURN(throwScope, genericCall(exec, pc->as<OpTailCall>(), CodeForCall)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_construct) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| RELEASE_AND_RETURN(throwScope, genericCall(exec, pc->as<OpConstruct>(), CodeForConstruct)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_size_frame_for_varargs) |
| { |
| LLINT_BEGIN(); |
| // This needs to: |
| // - Set up a call frame while respecting the variable arguments. |
| |
| unsigned numUsedStackSlots; |
| JSValue arguments; |
| int firstVarArg; |
| switch (pc->opcodeID()) { |
| case op_call_varargs: { |
| auto bytecode = pc->as<OpCallVarargs>(); |
| numUsedStackSlots = -bytecode.m_firstFree.offset(); |
| arguments = getOperand(exec, bytecode.m_arguments); |
| firstVarArg = bytecode.m_firstVarArg; |
| break; |
| } |
| case op_tail_call_varargs: { |
| auto bytecode = pc->as<OpTailCallVarargs>(); |
| numUsedStackSlots = -bytecode.m_firstFree.offset(); |
| arguments = getOperand(exec, bytecode.m_arguments); |
| firstVarArg = bytecode.m_firstVarArg; |
| break; |
| } |
| case op_construct_varargs: { |
| auto bytecode = pc->as<OpConstructVarargs>(); |
| numUsedStackSlots = -bytecode.m_firstFree.offset(); |
| arguments = getOperand(exec, bytecode.m_arguments); |
| firstVarArg = bytecode.m_firstVarArg; |
| break; |
| } |
| default: |
| RELEASE_ASSERT_NOT_REACHED(); |
| } |
| unsigned length = sizeFrameForVarargs(exec, vm, arguments, numUsedStackSlots, firstVarArg); |
| LLINT_CALL_CHECK_EXCEPTION(exec, exec); |
| |
| ExecState* execCallee = calleeFrameForVarargs(exec, numUsedStackSlots, length + 1); |
| vm.varargsLength = length; |
| vm.newCallFrameReturnValue = execCallee; |
| |
| LLINT_RETURN_CALLEE_FRAME(execCallee); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_size_frame_for_forward_arguments) |
| { |
| LLINT_BEGIN(); |
| // This needs to: |
| // - Set up a call frame with the same arguments as the current frame. |
| |
| auto bytecode = pc->as<OpTailCallForwardArguments>(); |
| unsigned numUsedStackSlots = -bytecode.m_firstFree.offset(); |
| |
| unsigned arguments = sizeFrameForForwardArguments(exec, vm, numUsedStackSlots); |
| LLINT_CALL_CHECK_EXCEPTION(exec, exec); |
| |
| ExecState* execCallee = calleeFrameForVarargs(exec, numUsedStackSlots, arguments + 1); |
| |
| vm.varargsLength = arguments; |
| vm.newCallFrameReturnValue = execCallee; |
| |
| LLINT_RETURN_CALLEE_FRAME(execCallee); |
| } |
| |
| enum class SetArgumentsWith { |
| Object, |
| CurrentArguments |
| }; |
| |
| template<typename Op> |
| inline SlowPathReturnType varargsSetup(ExecState* exec, const Instruction* pc, CodeSpecializationKind kind, SetArgumentsWith set) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| // This needs to: |
| // - Figure out what to call and compile it if necessary. |
| // - Return a tuple of machine code address to call and the new call frame. |
| |
| auto bytecode = pc->as<Op>(); |
| JSValue calleeAsValue = getOperand(exec, bytecode.m_callee); |
| |
| ExecState* execCallee = vm.newCallFrameReturnValue; |
| |
| if (set == SetArgumentsWith::Object) { |
| setupVarargsFrameAndSetThis(exec, execCallee, getOperand(exec, bytecode.m_thisValue), getOperand(exec, bytecode.m_arguments), bytecode.m_firstVarArg, vm.varargsLength); |
| LLINT_CALL_CHECK_EXCEPTION(exec, exec); |
| } else |
| setupForwardArgumentsFrameAndSetThis(exec, execCallee, getOperand(exec, bytecode.m_thisValue), vm.varargsLength); |
| |
| execCallee->setCallerFrame(exec); |
| execCallee->uncheckedR(CallFrameSlot::callee) = calleeAsValue; |
| exec->setCurrentVPC(pc); |
| |
| RELEASE_AND_RETURN(throwScope, setUpCall(execCallee, kind, calleeAsValue)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_call_varargs) |
| { |
| return varargsSetup<OpCallVarargs>(exec, pc, CodeForCall, SetArgumentsWith::Object); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_tail_call_varargs) |
| { |
| return varargsSetup<OpTailCallVarargs>(exec, pc, CodeForCall, SetArgumentsWith::Object); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_tail_call_forward_arguments) |
| { |
| return varargsSetup<OpTailCallForwardArguments>(exec, pc, CodeForCall, SetArgumentsWith::CurrentArguments); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_construct_varargs) |
| { |
| return varargsSetup<OpConstructVarargs>(exec, pc, CodeForConstruct, SetArgumentsWith::Object); |
| } |
| |
| inline SlowPathReturnType commonCallEval(ExecState* exec, const Instruction* pc, MacroAssemblerCodePtr<JSEntryPtrTag> returnPoint) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| auto bytecode = pc->as<OpCallEval>(); |
| JSValue calleeAsValue = getNonConstantOperand(exec, bytecode.m_callee); |
| |
| ExecState* execCallee = exec - bytecode.m_argv; |
| |
| execCallee->setArgumentCountIncludingThis(bytecode.m_argc); |
| execCallee->setCallerFrame(exec); |
| execCallee->uncheckedR(CallFrameSlot::callee) = calleeAsValue; |
| execCallee->setReturnPC(returnPoint.executableAddress()); |
| execCallee->setCodeBlock(0); |
| exec->setCurrentVPC(pc); |
| |
| if (!isHostFunction(calleeAsValue, globalFuncEval)) |
| RELEASE_AND_RETURN(throwScope, setUpCall(execCallee, CodeForCall, calleeAsValue)); |
| |
| vm.hostCallReturnValue = eval(execCallee); |
| LLINT_CALL_RETURN(exec, execCallee, LLInt::getCodePtr(getHostCallReturnValue), CFunctionPtrTag); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_call_eval) |
| { |
| return commonCallEval(exec, pc, LLInt::getCodePtr<JSEntryPtrTag>(llint_generic_return_point)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_call_eval_wide16) |
| { |
| return commonCallEval(exec, pc, LLInt::getWide16CodePtr<JSEntryPtrTag>(llint_generic_return_point)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_call_eval_wide32) |
| { |
| return commonCallEval(exec, pc, LLInt::getWide32CodePtr<JSEntryPtrTag>(llint_generic_return_point)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_strcat) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpStrcat>(); |
| LLINT_RETURN(jsStringFromRegisterArray(exec, &exec->uncheckedR(bytecode.m_src), bytecode.m_count)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_to_primitive) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpToPrimitive>(); |
| LLINT_RETURN(getOperand(exec, bytecode.m_src).toPrimitive(exec)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_throw) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpThrow>(); |
| LLINT_THROW(getOperand(exec, bytecode.m_value)); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_handle_traps) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| ASSERT(vm.needTrapHandling()); |
| vm.handleTraps(exec); |
| UNUSED_PARAM(pc); |
| LLINT_RETURN_TWO(throwScope.exception(), exec); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_debug) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpDebug>(); |
| vm.interpreter->debug(exec, bytecode.m_debugHookType); |
| |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_handle_exception) |
| { |
| LLINT_BEGIN_NO_SET_PC(); |
| UNUSED_PARAM(throwScope); |
| genericUnwind(vm, exec); |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_get_from_scope) |
| { |
| LLINT_BEGIN(); |
| auto bytecode = pc->as<OpGetFromScope>(); |
| auto& metadata = bytecode.metadata(exec); |
| const Identifier& ident = exec->codeBlock()->identifier(bytecode.m_var); |
| JSObject* scope = jsCast<JSObject*>(getNonConstantOperand(exec, bytecode.m_scope)); |
| |
| // ModuleVar is always converted to ClosureVar for get_from_scope. |
| ASSERT(metadata.m_getPutInfo.resolveType() != ModuleVar); |
| |
| LLINT_RETURN(scope->getPropertySlot(exec, ident, [&] (bool found, PropertySlot& slot) -> JSValue { |
| if (!found) { |
| if (metadata.m_getPutInfo.resolveMode() == ThrowIfNotFound) |
| return throwException(exec, throwScope, createUndefinedVariableError(exec, ident)); |
| return jsUndefined(); |
| } |
| |
| JSValue result = JSValue(); |
| if (scope->isGlobalLexicalEnvironment()) { |
| // When we can't statically prove we need a TDZ check, we must perform the check on the slow path. |
| result = slot.getValue(exec, ident); |
| if (result == jsTDZValue()) |
| return throwException(exec, throwScope, createTDZError(exec)); |
| } |
| |
| CommonSlowPaths::tryCacheGetFromScopeGlobal(exec, vm, bytecode, scope, slot, ident); |
| |
| if (!result) |
| return slot.getValue(exec, ident); |
| return result; |
| })); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_put_to_scope) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpPutToScope>(); |
| auto& metadata = bytecode.metadata(exec); |
| CodeBlock* codeBlock = exec->codeBlock(); |
| const Identifier& ident = codeBlock->identifier(bytecode.m_var); |
| JSObject* scope = jsCast<JSObject*>(getNonConstantOperand(exec, bytecode.m_scope)); |
| JSValue value = getOperand(exec, bytecode.m_value); |
| if (metadata.m_getPutInfo.resolveType() == LocalClosureVar) { |
| JSLexicalEnvironment* environment = jsCast<JSLexicalEnvironment*>(scope); |
| environment->variableAt(ScopeOffset(metadata.m_operand)).set(vm, environment, value); |
| |
| // Have to do this *after* the write, because if this puts the set into IsWatched, then we need |
| // to have already changed the value of the variable. Otherwise we might watch and constant-fold |
| // to the Undefined value from before the assignment. |
| if (metadata.m_watchpointSet) |
| metadata.m_watchpointSet->touch(vm, "Executed op_put_scope<LocalClosureVar>"); |
| LLINT_END(); |
| } |
| |
| bool hasProperty = scope->hasProperty(exec, ident); |
| LLINT_CHECK_EXCEPTION(); |
| if (hasProperty |
| && scope->isGlobalLexicalEnvironment() |
| && !isInitialization(metadata.m_getPutInfo.initializationMode())) { |
| // When we can't statically prove we need a TDZ check, we must perform the check on the slow path. |
| PropertySlot slot(scope, PropertySlot::InternalMethodType::Get); |
| JSGlobalLexicalEnvironment::getOwnPropertySlot(scope, exec, ident, slot); |
| if (slot.getValue(exec, ident) == jsTDZValue()) |
| LLINT_THROW(createTDZError(exec)); |
| } |
| |
| if (metadata.m_getPutInfo.resolveMode() == ThrowIfNotFound && !hasProperty) |
| LLINT_THROW(createUndefinedVariableError(exec, ident)); |
| |
| PutPropertySlot slot(scope, codeBlock->isStrictMode(), PutPropertySlot::UnknownContext, isInitialization(metadata.m_getPutInfo.initializationMode())); |
| scope->methodTable(vm)->put(scope, exec, ident, value, slot); |
| |
| CommonSlowPaths::tryCachePutToScopeGlobal(exec, codeBlock, bytecode, scope, slot, ident); |
| |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_check_if_exception_is_uncatchable_and_notify_profiler) |
| { |
| LLINT_BEGIN(); |
| RELEASE_ASSERT(!!throwScope.exception()); |
| |
| if (isTerminatedExecutionException(vm, throwScope.exception())) |
| LLINT_RETURN_TWO(pc, bitwise_cast<void*>(static_cast<uintptr_t>(1))); |
| LLINT_RETURN_TWO(pc, 0); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_log_shadow_chicken_prologue) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpLogShadowChickenPrologue>(); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| ShadowChicken* shadowChicken = vm.shadowChicken(); |
| RELEASE_ASSERT(shadowChicken); |
| shadowChicken->log(vm, exec, ShadowChicken::Packet::prologue(exec->jsCallee(), exec, exec->callerFrame(), scope)); |
| |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_log_shadow_chicken_tail) |
| { |
| LLINT_BEGIN(); |
| |
| auto bytecode = pc->as<OpLogShadowChickenTail>(); |
| JSValue thisValue = getNonConstantOperand(exec, bytecode.m_thisValue); |
| JSScope* scope = exec->uncheckedR(bytecode.m_scope).Register::scope(); |
| |
| #if USE(JSVALUE64) |
| CallSiteIndex callSiteIndex(exec->codeBlock()->bytecodeOffset(pc)); |
| #else |
| CallSiteIndex callSiteIndex(pc); |
| #endif |
| ShadowChicken* shadowChicken = vm.shadowChicken(); |
| RELEASE_ASSERT(shadowChicken); |
| shadowChicken->log(vm, exec, ShadowChicken::Packet::tail(exec, thisValue, scope, exec->codeBlock(), callSiteIndex)); |
| |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_profile_catch) |
| { |
| LLINT_BEGIN(); |
| |
| exec->codeBlock()->ensureCatchLivenessIsComputedForBytecodeOffset(exec->bytecodeOffset()); |
| |
| auto bytecode = pc->as<OpCatch>(); |
| auto& metadata = bytecode.metadata(exec); |
| metadata.m_buffer->forEach([&] (ValueProfileAndOperand& profile) { |
| profile.m_buckets[0] = JSValue::encode(exec->uncheckedR(profile.m_operand).jsValue()); |
| }); |
| |
| LLINT_END(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_super_sampler_begin) |
| { |
| // FIXME: It seems like we should be able to do this in asm but llint doesn't seem to like global variables. |
| // See: https://bugs.webkit.org/show_bug.cgi?id=179438 |
| UNUSED_PARAM(exec); |
| g_superSamplerCount++; |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_super_sampler_end) |
| { |
| // FIXME: It seems like we should be able to do this in asm but llint doesn't seem to like global variables. |
| // See: https://bugs.webkit.org/show_bug.cgi?id=179438 |
| UNUSED_PARAM(exec); |
| g_superSamplerCount--; |
| LLINT_END_IMPL(); |
| } |
| |
| LLINT_SLOW_PATH_DECL(slow_path_out_of_line_jump_target) |
| { |
| CodeBlock* codeBlock = exec->codeBlock(); |
| pc = codeBlock->outOfLineJumpTarget(pc); |
| LLINT_END_IMPL(); |
| } |
| |
| extern "C" SlowPathReturnType llint_throw_stack_overflow_error(VM* vm, ProtoCallFrame* protoFrame) |
| { |
| ExecState* exec = vm->topCallFrame; |
| auto scope = DECLARE_THROW_SCOPE(*vm); |
| |
| if (!exec) |
| exec = protoFrame->callee()->globalObject(*vm)->globalExec(); |
| throwStackOverflowError(exec, scope); |
| return encodeResult(0, 0); |
| } |
| |
| #if ENABLE(C_LOOP) |
| extern "C" SlowPathReturnType llint_stack_check_at_vm_entry(VM* vm, Register* newTopOfStack) |
| { |
| bool success = vm->ensureStackCapacityFor(newTopOfStack); |
| return encodeResult(reinterpret_cast<void*>(success), 0); |
| } |
| #endif |
| |
| extern "C" void llint_write_barrier_slow(ExecState* exec, JSCell* cell) |
| { |
| VM& vm = exec->vm(); |
| vm.heap.writeBarrier(cell); |
| } |
| |
| extern "C" NO_RETURN_DUE_TO_CRASH void llint_crash() |
| { |
| CRASH(); |
| } |
| |
| } } // namespace JSC::LLInt |
