2 * Copyright (C) 2011, 2012, 2013, 2014 Apple Inc. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
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.
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.
27 #include "DFGDriver.h"
32 #include "CodeBlock.h"
33 #include "DFGFunctionWhitelist.h"
34 #include "DFGJITCode.h"
36 #include "DFGThunks.h"
37 #include "DFGWorklist.h"
39 #include "JSCInlines.h"
41 #include "SamplingTool.h"
42 #include "TypeProfilerLog.h"
43 #include <wtf/Atomics.h>
46 #include "FTLThunks.h"
49 namespace JSC
{ namespace DFG
{
51 static unsigned numCompilations
;
53 unsigned getNumCompilations()
55 return numCompilations
;
59 static CompilationResult
compileImpl(
60 VM
& vm
, CodeBlock
* codeBlock
, CodeBlock
* profiledDFGCodeBlock
, CompilationMode mode
,
61 unsigned osrEntryBytecodeIndex
, const Operands
<JSValue
>& mustHandleValues
,
62 PassRefPtr
<DeferredCompilationCallback
> callback
)
64 SamplingRegion
samplingRegion("DFG Compilation (Driver)");
66 if (!Options::bytecodeRangeToDFGCompile().isInRange(codeBlock
->instructionCount())
67 || !FunctionWhitelist::ensureGlobalWhitelist().contains(codeBlock
))
68 return CompilationFailed
;
73 ASSERT(codeBlock
->alternative());
74 ASSERT(codeBlock
->alternative()->jitType() == JITCode::BaselineJIT
);
75 ASSERT(!profiledDFGCodeBlock
|| profiledDFGCodeBlock
->jitType() == JITCode::DFGJIT
);
77 if (logCompilationChanges(mode
))
78 dataLog("DFG(Driver) compiling ", *codeBlock
, " with ", mode
, ", number of instructions = ", codeBlock
->instructionCount(), "\n");
80 // Make sure that any stubs that the DFG is going to use are initialized. We want to
81 // make sure that all JIT code generation does finalization on the main thread.
82 vm
.getCTIStub(osrExitGenerationThunkGenerator
);
83 vm
.getCTIStub(throwExceptionFromCallSlowPathGenerator
);
84 if (mode
== DFGMode
) {
85 vm
.getCTIStub(linkCallThunkGenerator
);
86 vm
.getCTIStub(linkConstructThunkGenerator
);
87 vm
.getCTIStub(linkPolymorphicCallThunkGenerator
);
88 vm
.getCTIStub(virtualCallThunkGenerator
);
89 vm
.getCTIStub(virtualConstructThunkGenerator
);
91 vm
.getCTIStub(linkCallThatPreservesRegsThunkGenerator
);
92 vm
.getCTIStub(linkConstructThatPreservesRegsThunkGenerator
);
93 vm
.getCTIStub(linkPolymorphicCallThatPreservesRegsThunkGenerator
);
94 vm
.getCTIStub(virtualCallThatPreservesRegsThunkGenerator
);
95 vm
.getCTIStub(virtualConstructThatPreservesRegsThunkGenerator
);
98 if (vm
.typeProfiler())
99 vm
.typeProfilerLog()->processLogEntries(ASCIILiteral("Preparing for DFG compilation."));
101 RefPtr
<Plan
> plan
= adoptRef(
102 new Plan(codeBlock
, profiledDFGCodeBlock
, mode
, osrEntryBytecodeIndex
, mustHandleValues
));
104 plan
->callback
= callback
;
105 if (Options::enableConcurrentJIT()) {
106 Worklist
* worklist
= ensureGlobalWorklistFor(mode
);
107 if (logCompilationChanges(mode
))
108 dataLog("Deferring DFG compilation of ", *codeBlock
, " with queue length ", worklist
->queueLength(), ".\n");
109 worklist
->enqueue(plan
);
110 return CompilationDeferred
;
113 plan
->compileInThread(*vm
.dfgState
, 0);
114 return plan
->finalizeWithoutNotifyingCallback();
116 #else // ENABLE(DFG_JIT)
117 static CompilationResult
compileImpl(
118 VM
&, CodeBlock
*, CodeBlock
*, CompilationMode
, unsigned, const Operands
<JSValue
>&,
119 PassRefPtr
<DeferredCompilationCallback
>)
121 return CompilationFailed
;
123 #endif // ENABLE(DFG_JIT)
125 CompilationResult
compile(
126 VM
& vm
, CodeBlock
* codeBlock
, CodeBlock
* profiledDFGCodeBlock
, CompilationMode mode
,
127 unsigned osrEntryBytecodeIndex
, const Operands
<JSValue
>& mustHandleValues
,
128 PassRefPtr
<DeferredCompilationCallback
> passedCallback
)
130 RefPtr
<DeferredCompilationCallback
> callback
= passedCallback
;
131 CompilationResult result
= compileImpl(
132 vm
, codeBlock
, profiledDFGCodeBlock
, mode
, osrEntryBytecodeIndex
, mustHandleValues
,
134 if (result
!= CompilationDeferred
)
135 callback
->compilationDidComplete(codeBlock
, result
);
139 } } // namespace JSC::DFG