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 static CompilationResult compile(CompileMode compileMode, ExecState* exec, CodeBlock* codeBlock, RefPtr<JSC::JITCode>& jitCode, MacroAssemblerCodePtr* jitCodeWithArityCheck, unsigned osrEntryBytecodeIndex)
  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(compileMode, 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             && compileMode == CompileFunction
 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()) {
 119         if (!vm.worklist)
 120             vm.worklist = globalWorklist();
 121         if (logCompilationChanges())
 122             dataLog("Deferring DFG compilation of ", *codeBlock, " with queue length ", vm.worklist->queueLength(), ".\n");
 123         vm.worklist->enqueue(plan);
 124         return CompilationDeferred;
 125     }
 126
 127     plan->compileInThread(*vm.dfgState);
 128     return plan->finalize(jitCode, jitCodeWithArityCheck);
 129 }
 130
 131 CompilationResult tryCompile(ExecState* exec, CodeBlock* codeBlock, RefPtr<JSC::JITCode>& jitCode, unsigned bytecodeIndex)
 132 {
 133     return compile(CompileOther, exec, codeBlock, jitCode, 0, bytecodeIndex);
 134 }
 135
 136 CompilationResult tryCompileFunction(ExecState* exec, CodeBlock* codeBlock, RefPtr<JSC::JITCode>& jitCode, MacroAssemblerCodePtr& jitCodeWithArityCheck, unsigned bytecodeIndex)
 137 {
 138     return compile(CompileFunction, exec, codeBlock, jitCode, &jitCodeWithArityCheck, bytecodeIndex);
 139 }
 140
 141 CompilationResult tryFinalizePlan(PassRefPtr<Plan> plan, RefPtr<JSC::JITCode>& jitCode, MacroAssemblerCodePtr* jitCodeWithArityCheck)
 142 {
 143     return plan->finalize(jitCode, jitCodeWithArityCheck);
 144 }
 145
 146 } } // namespace JSC::DFG
 147
 148 #endif // ENABLE(DFG_JIT)
 149