09106246d0d52e802deb01492b144d624e1d8a45
[WebKit-https.git] / Source / JavaScriptCore / ftl / FTLOSREntry.cpp
1 /*
2  * Copyright (C) 2013 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "FTLOSREntry.h"
28
29 #include "CallFrame.h"
30 #include "CodeBlock.h"
31 #include "DFGJITCode.h"
32 #include "FTLForOSREntryJITCode.h"
33
34 #if ENABLE(FTL_JIT)
35
36 namespace JSC { namespace FTL {
37
38 void* prepareOSREntry(
39     ExecState* exec, CodeBlock* dfgCodeBlock, CodeBlock* entryCodeBlock,
40     unsigned bytecodeIndex, unsigned streamIndex)
41 {
42     VM& vm = exec->vm();
43     CodeBlock* baseline = dfgCodeBlock->baselineVersion();
44     DFG::JITCode* dfgCode = dfgCodeBlock->jitCode()->dfg();
45     ForOSREntryJITCode* entryCode = entryCodeBlock->jitCode()->ftlForOSREntry();
46     
47     if (Options::verboseOSR()) {
48         dataLog(
49             "FTL OSR from ", *dfgCodeBlock, " to ", *entryCodeBlock, " at bc#",
50             bytecodeIndex, ".\n");
51     }
52     
53     if (bytecodeIndex != entryCode->bytecodeIndex()) {
54         if (Options::verboseOSR())
55             dataLog("    OSR failed because we don't have an entrypoint for bc#", bytecodeIndex, "; ours is for bc#", entryCode->bytecodeIndex());
56         return 0;
57     }
58     
59     Operands<JSValue> values;
60     dfgCode->reconstruct(
61         exec, dfgCodeBlock, CodeOrigin(bytecodeIndex), streamIndex, values);
62     
63     if (Options::verboseOSR())
64         dataLog("    Values at entry: ", values, "\n");
65     
66     for (int argument = values.numberOfArguments(); argument--;) {
67         RELEASE_ASSERT(
68             exec->r(virtualRegisterForArgument(argument).offset()).jsValue() == values.argument(argument));
69     }
70     
71     RELEASE_ASSERT(
72         static_cast<int>(values.numberOfLocals()) == baseline->m_numCalleeRegisters);
73     
74     EncodedJSValue* scratch = static_cast<EncodedJSValue*>(
75         entryCode->entryBuffer()->dataBuffer());
76     
77     for (int local = values.numberOfLocals(); local--;)
78         scratch[local] = JSValue::encode(values.local(local));
79     
80     int stackFrameSize = entryCodeBlock->m_numCalleeRegisters;
81     if (!vm.interpreter->stack().grow(&exec->registers()[virtualRegisterForLocal(stackFrameSize).offset()])) {
82         if (Options::verboseOSR())
83             dataLog("    OSR failed bcause stack growth failed.\n");
84         return 0;
85     }
86     
87     exec->setCodeBlock(entryCodeBlock);
88     
89     void* result = entryCode->addressForCall().executableAddress();
90     if (Options::verboseOSR())
91         dataLog("    Entry will succeed, going to address", RawPointer(result), "\n");
92     
93     return result;
94 }
95
96 } } // namespace JSC::FTL
97
98 #endif // ENABLE(FTL_JIT)
99
100