diff options
author | Lorry Tar Creator <lorry-tar-importer@lorry> | 2016-04-10 09:28:39 +0000 |
---|---|---|
committer | Lorry Tar Creator <lorry-tar-importer@lorry> | 2016-04-10 09:28:39 +0000 |
commit | 32761a6cee1d0dee366b885b7b9c777e67885688 (patch) | |
tree | d6bec92bebfb216f4126356e55518842c2f476a1 /Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp | |
parent | a4e969f4965059196ca948db781e52f7cfebf19e (diff) | |
download | WebKitGtk-tarball-32761a6cee1d0dee366b885b7b9c777e67885688.tar.gz |
webkitgtk-2.4.11webkitgtk-2.4.11
Diffstat (limited to 'Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp')
-rw-r--r-- | Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp | 114 |
1 files changed, 19 insertions, 95 deletions
diff --git a/Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp b/Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp index 1f3f98baf..f8c9fb067 100644 --- a/Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp +++ b/Source/JavaScriptCore/dfg/DFGOSRExitCompiler.cpp @@ -1,5 +1,5 @@ /* - * Copyright (C) 2011-2013, 2015 Apple Inc. All rights reserved. + * Copyright (C) 2011, 2012, 2013 Apple Inc. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions @@ -34,93 +34,23 @@ #include "DFGOSRExitPreparation.h" #include "LinkBuffer.h" #include "OperandsInlines.h" -#include "JSCInlines.h" +#include "Operations.h" +#include "RepatchBuffer.h" #include <wtf/StringPrintStream.h> namespace JSC { namespace DFG { -void OSRExitCompiler::emitRestoreArguments(const Operands<ValueRecovery>& operands) -{ - HashMap<MinifiedID, int> alreadyAllocatedArguments; // Maps phantom arguments node ID to operand. - for (size_t index = 0; index < operands.size(); ++index) { - const ValueRecovery& recovery = operands[index]; - int operand = operands.operandForIndex(index); - - if (recovery.technique() != DirectArgumentsThatWereNotCreated - && recovery.technique() != ClonedArgumentsThatWereNotCreated) - continue; - - MinifiedID id = recovery.nodeID(); - auto iter = alreadyAllocatedArguments.find(id); - if (iter != alreadyAllocatedArguments.end()) { - JSValueRegs regs = JSValueRegs::withTwoAvailableRegs(GPRInfo::regT0, GPRInfo::regT1); - m_jit.loadValue(CCallHelpers::addressFor(iter->value), regs); - m_jit.storeValue(regs, CCallHelpers::addressFor(operand)); - continue; - } - - InlineCallFrame* inlineCallFrame = - m_jit.codeBlock()->jitCode()->dfg()->minifiedDFG.at(id)->inlineCallFrame(); - - int stackOffset; - if (inlineCallFrame) - stackOffset = inlineCallFrame->stackOffset; - else - stackOffset = 0; - - if (!inlineCallFrame || inlineCallFrame->isClosureCall) { - m_jit.loadPtr( - AssemblyHelpers::addressFor(stackOffset + JSStack::Callee), - GPRInfo::regT0); - } else { - m_jit.move( - AssemblyHelpers::TrustedImmPtr(inlineCallFrame->calleeRecovery.constant().asCell()), - GPRInfo::regT0); - } - - if (!inlineCallFrame || inlineCallFrame->isVarargs()) { - m_jit.load32( - AssemblyHelpers::payloadFor(stackOffset + JSStack::ArgumentCount), - GPRInfo::regT1); - } else { - m_jit.move( - AssemblyHelpers::TrustedImm32(inlineCallFrame->arguments.size()), - GPRInfo::regT1); - } - - m_jit.setupArgumentsWithExecState( - AssemblyHelpers::TrustedImmPtr(inlineCallFrame), GPRInfo::regT0, GPRInfo::regT1); - switch (recovery.technique()) { - case DirectArgumentsThatWereNotCreated: - m_jit.move(AssemblyHelpers::TrustedImmPtr(bitwise_cast<void*>(operationCreateDirectArgumentsDuringExit)), GPRInfo::nonArgGPR0); - break; - case ClonedArgumentsThatWereNotCreated: - m_jit.move(AssemblyHelpers::TrustedImmPtr(bitwise_cast<void*>(operationCreateClonedArgumentsDuringExit)), GPRInfo::nonArgGPR0); - break; - default: - RELEASE_ASSERT_NOT_REACHED(); - break; - } - m_jit.call(GPRInfo::nonArgGPR0); - m_jit.storeCell(GPRInfo::returnValueGPR, AssemblyHelpers::addressFor(operand)); - - alreadyAllocatedArguments.add(id, operand); - } -} - extern "C" { void compileOSRExit(ExecState* exec) { SamplingRegion samplingRegion("DFG OSR Exit Compilation"); - - if (exec->vm().callFrameForCatch) - RELEASE_ASSERT(exec->vm().callFrameForCatch == exec); CodeBlock* codeBlock = exec->codeBlock(); + ASSERT(codeBlock); ASSERT(codeBlock->jitType() == JITCode::DFGJIT); - + VM* vm = &exec->vm(); // It's sort of preferable that we don't GC while in here. Anyways, doing so wouldn't @@ -130,18 +60,18 @@ void compileOSRExit(ExecState* exec) uint32_t exitIndex = vm->osrExitIndex; OSRExit& exit = codeBlock->jitCode()->dfg()->osrExit[exitIndex]; - if (vm->callFrameForCatch) - ASSERT(exit.m_kind == GenericUnwind); - if (exit.isExceptionHandler()) - ASSERT(!!vm->exception()); - - prepareCodeOriginForOSRExit(exec, exit.m_codeOrigin); // Compute the value recoveries. Operands<ValueRecovery> operands; codeBlock->jitCode()->dfg()->variableEventStream.reconstruct(codeBlock, exit.m_codeOrigin, codeBlock->jitCode()->dfg()->minifiedDFG, exit.m_streamIndex, operands); + // There may be an override, for forward speculations. + if (!!exit.m_valueRecoveryOverride) { + operands.setOperand( + exit.m_valueRecoveryOverride->operand, exit.m_valueRecoveryOverride->recovery); + } + SpeculationRecovery* recovery = 0; if (exit.m_recoveryIndex != UINT_MAX) recovery = &codeBlock->jitCode()->dfg()->speculationRecovery[exit.m_recoveryIndex]; @@ -150,15 +80,6 @@ void compileOSRExit(ExecState* exec) CCallHelpers jit(vm, codeBlock); OSRExitCompiler exitCompiler(jit); - if (exit.m_kind == GenericUnwind) { - // We are acting as a defacto op_catch because we arrive here from genericUnwind(). - // So, we must restore our call frame and stack pointer. - jit.restoreCalleeSavesFromVMCalleeSavesBuffer(); - jit.loadPtr(vm->addressOfCallFrameForCatch(), GPRInfo::callFrameRegister); - jit.addPtr(CCallHelpers::TrustedImm32(codeBlock->stackPointerOffset() * sizeof(Register)), - GPRInfo::callFrameRegister, CCallHelpers::stackPointerRegister); - } - jit.jitAssertHasValidCallFrame(); if (vm->m_perBytecodeProfiler && codeBlock->jitCode()->dfgCommon()->compilation) { @@ -167,15 +88,15 @@ void compileOSRExit(ExecState* exec) Profiler::OSRExit* profilerExit = compilation->addOSRExit( exitIndex, Profiler::OriginStack(database, codeBlock, exit.m_codeOrigin), - exit.m_kind, exit.m_kind == UncountableInvalidation); + exit.m_kind, isWatchpoint(exit.m_kind)); jit.add64(CCallHelpers::TrustedImm32(1), CCallHelpers::AbsoluteAddress(profilerExit->counterAddress())); } - + exitCompiler.compileExit(exit, operands, recovery); - LinkBuffer patchBuffer(*vm, jit, codeBlock); + LinkBuffer patchBuffer(*vm, &jit, codeBlock); exit.m_code = FINALIZE_CODE_IF( - shouldDumpDisassembly() || Options::verboseOSR(), + shouldShowDisassembly(), patchBuffer, ("DFG OSR exit #%u (%s, %s) from %s, with operands = %s", exitIndex, toCString(exit.m_codeOrigin).data(), @@ -183,7 +104,10 @@ void compileOSRExit(ExecState* exec) toCString(ignoringContext<DumpContext>(operands)).data())); } - MacroAssembler::repatchJump(exit.codeLocationForRepatch(codeBlock), CodeLocationLabel(exit.m_code.code())); + { + RepatchBuffer repatchBuffer(codeBlock); + repatchBuffer.relink(exit.codeLocationForRepatch(codeBlock), CodeLocationLabel(exit.m_code.code())); + } vm->osrExitJumpDestination = exit.m_code.code().executableAddress(); } |