CodeBlock::prepareForExecution() is silly
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGDriver.cpp
1 /*
2  * Copyright (C) 2011, 2012, 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 "DFGDriver.h"
28
29 #include "JSObject.h"
30 #include "JSString.h"
31
32 #include "CodeBlock.h"
33 #include "DFGJITCode.h"
34 #include "DFGPlan.h"
35 #include "DFGThunks.h"
36 #include "DFGWorklist.h"
37 #include "JITCode.h"
38 #include "Operations.h"
39 #include "Options.h"
40 #include "SamplingTool.h"
41 #include <wtf/Atomics.h>
42
43 #if ENABLE(FTL_JIT)
44 #include "FTLThunks.h"
45 #endif
46
47 namespace JSC { namespace DFG {
48
49 static unsigned numCompilations;
50
51 unsigned getNumCompilations()
52 {
53     return numCompilations;
54 }
55
56 #if ENABLE(DFG_JIT)
57 static CompilationResult compileImpl(ExecState* exec, CodeBlock* codeBlock, unsigned osrEntryBytecodeIndex, PassRefPtr<DeferredCompilationCallback> callback, Worklist* worklist)
58 {
59     SamplingRegion samplingRegion("DFG Compilation (Driver)");
60     
61     numCompilations++;
62     
63     ASSERT(codeBlock);
64     ASSERT(codeBlock->alternative());
65     ASSERT(codeBlock->alternative()->jitType() == JITCode::BaselineJIT);
66     
67     ASSERT(osrEntryBytecodeIndex != UINT_MAX);
68
69     if (!Options::useDFGJIT() || !MacroAssembler::supportsFloatingPoint())
70         return CompilationFailed;
71
72     if (!Options::bytecodeRangeToDFGCompile().isInRange(codeBlock->instructionCount()))
73         return CompilationFailed;
74     
75     if (logCompilationChanges())
76         dataLog("DFG(Driver) compiling ", *codeBlock, ", number of instructions = ", codeBlock->instructionCount(), "\n");
77     
78     VM& vm = exec->vm();
79     
80     // Make sure that any stubs that the DFG is going to use are initialized. We want to
81     // make sure that al JIT code generation does finalization on the main thread.
82     vm.getCTIStub(osrExitGenerationThunkGenerator);
83     vm.getCTIStub(throwExceptionFromCallSlowPathGenerator);
84     vm.getCTIStub(linkCallThunkGenerator);
85     vm.getCTIStub(linkConstructThunkGenerator);
86     vm.getCTIStub(linkClosureCallThunkGenerator);
87     vm.getCTIStub(virtualCallThunkGenerator);
88     vm.getCTIStub(virtualConstructThunkGenerator);
89 #if ENABLE(FTL_JIT)
90     vm.getCTIStub(FTL::osrExitGenerationThunkGenerator);
91 #endif
92     
93     // Derive our set of must-handle values. The compilation must be at least conservative
94     // enough to allow for OSR entry with these values.
95     unsigned numVarsWithValues;
96     if (osrEntryBytecodeIndex)
97         numVarsWithValues = codeBlock->m_numVars;
98     else
99         numVarsWithValues = 0;
100     RefPtr<Plan> plan = adoptRef(
101         new Plan(codeBlock, osrEntryBytecodeIndex, numVarsWithValues));
102     for (size_t i = 0; i < plan->mustHandleValues.size(); ++i) {
103         int operand = plan->mustHandleValues.operandForIndex(i);
104         if (operandIsArgument(operand)
105             && !operandToArgument(operand)
106             && codeBlock->codeType() == FunctionCode
107             && codeBlock->specializationKind() == CodeForConstruct) {
108             // Ugh. If we're in a constructor, the 'this' argument may hold garbage. It will
109             // also never be used. It doesn't matter what we put into the value for this,
110             // but it has to be an actual value that can be grokked by subsequent DFG passes,
111             // so we sanitize it here by turning it into Undefined.
112             plan->mustHandleValues[i] = jsUndefined();
113         } else
114             plan->mustHandleValues[i] = exec->uncheckedR(operand).jsValue();
115     }
116     
117     if (worklist) {
118         plan->callback = callback;
119         if (logCompilationChanges())
120             dataLog("Deferring DFG compilation of ", *codeBlock, " with queue length ", worklist->queueLength(), ".\n");
121         worklist->enqueue(plan);
122         return CompilationDeferred;
123     }
124     
125     plan->compileInThread(*vm.dfgState);
126     return plan->finalizeWithoutNotifyingCallback();
127 }
128 #else // ENABLE(DFG_JIT)
129 static CompilationResult compileImpl(ExecState*, CodeBlock*, unsigned, PassRefPtr<DeferredCompilationCallback>, Worklist*)
130 {
131     return CompilationFailed;
132 }
133 #endif // ENABLE(DFG_JIT)
134
135 CompilationResult compile(ExecState* exec, CodeBlock* codeBlock, unsigned osrEntryBytecodeIndex, PassRefPtr<DeferredCompilationCallback> passedCallback, Worklist* worklist)
136 {
137     RefPtr<DeferredCompilationCallback> callback = passedCallback;
138     CompilationResult result = compileImpl(exec, codeBlock, osrEntryBytecodeIndex, callback, worklist);
139     if (result != CompilationDeferred)
140         callback->compilationDidComplete(codeBlock, result);
141     return result;
142 }
143
144 } } // namespace JSC::DFG