dfg/DFGJITCode.h

   1 /*
   2  * Copyright (C) 2013, 2014 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 #ifndef DFGJITCode_h
  27 #define DFGJITCode_h
  28
  29 #if ENABLE(DFG_JIT)
  30
  31 #include "CompilationResult.h"
  32 #include "DFGCommonData.h"
  33 #include "DFGMinifiedGraph.h"
  34 #include "DFGOSREntry.h"
  35 #include "DFGOSRExit.h"
  36 #include "DFGVariableEventStream.h"
  37 #include "ExecutionCounter.h"
  38 #include "JITCode.h"
  39 #include <wtf/SegmentedVector.h>
  40
  41 namespace JSC { namespace DFG {
  42
  43 class JITCompiler;
  44
  45 class JITCode : public DirectJITCode {
  46 public:
  47     JITCode();
  48     virtual ~JITCode();
  49
  50     virtual CommonData* dfgCommon() override;
  51     virtual JITCode* dfg() override;
  52
  53     OSREntryData* appendOSREntryData(unsigned bytecodeIndex, unsigned machineCodeOffset)
  54     {
  55         DFG::OSREntryData entry;
  56         entry.m_bytecodeIndex = bytecodeIndex;
  57         entry.m_machineCodeOffset = machineCodeOffset;
  58         osrEntry.append(entry);
  59         return &osrEntry.last();
  60     }
  61
  62     OSREntryData* osrEntryDataForBytecodeIndex(unsigned bytecodeIndex)
  63     {
  64         return tryBinarySearch<OSREntryData, unsigned>(
  65             osrEntry, osrEntry.size(), bytecodeIndex,
  66             getOSREntryDataBytecodeIndex);
  67     }
  68
  69     unsigned appendOSRExit(const OSRExit& exit)
  70     {
  71         unsigned result = osrExit.size();
  72         osrExit.append(exit);
  73         return result;
  74     }
  75
  76     OSRExit& lastOSRExit()
  77     {
  78         return osrExit.last();
  79     }
  80
  81     unsigned appendSpeculationRecovery(const SpeculationRecovery& recovery)
  82     {
  83         unsigned result = speculationRecovery.size();
  84         speculationRecovery.append(recovery);
  85         return result;
  86     }
  87
  88     void reconstruct(
  89         CodeBlock*, CodeOrigin, unsigned streamIndex, Operands<ValueRecovery>& result);
  90
  91     // This is only applicable if we're at a point where all values are spilled to the
  92     // stack. Currently, it also has the restriction that the values must be in their
  93     // bytecode-designated stack slots.
  94     void reconstruct(
  95         ExecState*, CodeBlock*, CodeOrigin, unsigned streamIndex, Operands<JSValue>& result);
  96
  97 #if ENABLE(FTL_JIT)
  98     // NB. All of these methods take CodeBlock* because they may want to use
  99     // CodeBlock's logic about scaling thresholds. It should be a DFG CodeBlock.
 100
 101     bool checkIfOptimizationThresholdReached(CodeBlock*);
 102     void optimizeNextInvocation(CodeBlock*);
 103     void dontOptimizeAnytimeSoon(CodeBlock*);
 104     void optimizeAfterWarmUp(CodeBlock*);
 105     void optimizeSoon(CodeBlock*);
 106     void forceOptimizationSlowPathConcurrently(CodeBlock*);
 107     void setOptimizationThresholdBasedOnCompilationResult(CodeBlock*, CompilationResult);
 108 #endif // ENABLE(FTL_JIT)
 109
 110     void shrinkToFit();
 111
 112 private:
 113     friend class JITCompiler; // Allow JITCompiler to call setCodeRef().
 114
 115 public:
 116     CommonData common;
 117     Vector<DFG::OSREntryData> osrEntry;
 118     SegmentedVector<DFG::OSRExit, 8> osrExit;
 119     Vector<DFG::SpeculationRecovery> speculationRecovery;
 120     DFG::VariableEventStream variableEventStream;
 121     DFG::MinifiedGraph minifiedDFG;
 122 #if ENABLE(FTL_JIT)
 123     UpperTierExecutionCounter tierUpCounter;
 124     RefPtr<CodeBlock> osrEntryBlock;
 125     unsigned osrEntryRetry;
 126     bool abandonOSREntry;
 127 #endif // ENABLE(FTL_JIT)
 128 };
 129
 130 } } // namespace JSC::DFG
 131
 132 #endif // ENABLE(DFG_JIT)
 133
 134 #endif // DFGJITCode_h
 135