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