dfg/DFGCommonData.cpp

   1 /*
   2  * Copyright (C) 2013, 2015 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 "DFGCommonData.h"
  28
  29 #if ENABLE(DFG_JIT)
  30
  31 #include "CodeBlock.h"
  32 #include "DFGNode.h"
  33 #include "DFGPlan.h"
  34 #include "JSCInlines.h"
  35 #include "TrackedReferences.h"
  36 #include "VM.h"
  37
  38 namespace JSC { namespace DFG {
  39
  40 void CommonData::notifyCompilingStructureTransition(Plan& plan, CodeBlock* codeBlock, Node* node)
  41 {
  42     plan.transitions.addLazily(
  43         codeBlock,
  44         node->origin.semantic.codeOriginOwner(),
  45         node->transition()->previous,
  46         node->transition()->next);
  47 }
  48
  49 unsigned CommonData::addCodeOrigin(CodeOrigin codeOrigin)
  50 {
  51     if (codeOrigins.isEmpty()
  52         || codeOrigins.last() != codeOrigin)
  53         codeOrigins.append(codeOrigin);
  54     unsigned index = codeOrigins.size() - 1;
  55     ASSERT(codeOrigins[index] == codeOrigin);
  56     return index;
  57 }
  58
  59 void CommonData::shrinkToFit()
  60 {
  61     codeOrigins.shrinkToFit();
  62     weakReferences.shrinkToFit();
  63     transitions.shrinkToFit();
  64 }
  65
  66 bool CommonData::invalidate()
  67 {
  68     if (!isStillValid)
  69         return false;
  70     for (unsigned i = jumpReplacements.size(); i--;)
  71         jumpReplacements[i].fire();
  72     isStillValid = false;
  73     return true;
  74 }
  75
  76 void CommonData::validateReferences(const TrackedReferences& trackedReferences)
  77 {
  78     if (InlineCallFrameSet* set = inlineCallFrames.get()) {
  79         for (InlineCallFrame* inlineCallFrame : *set) {
  80             for (ValueRecovery& recovery : inlineCallFrame->arguments) {
  81                 if (recovery.isConstant())
  82                     trackedReferences.check(recovery.constant());
  83             }
  84
  85             if (ScriptExecutable* executable = inlineCallFrame->executable.get())
  86                 trackedReferences.check(executable);
  87
  88             if (inlineCallFrame->calleeRecovery.isConstant())
  89                 trackedReferences.check(inlineCallFrame->calleeRecovery.constant());
  90         }
  91     }
  92 }
  93
  94 } } // namespace JSC::DFG
  95
  96 #endif // ENABLE(DFG_JIT)
  97