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