Use Ref<> as much as possible
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGDesiredWatchpoints.cpp
1 /*
2  * Copyright (C) 2013-2016 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 "DFGDesiredWatchpoints.h"
28
29 #if ENABLE(DFG_JIT)
30
31 #include "ArrayBufferNeuteringWatchpoint.h"
32 #include "CodeBlock.h"
33 #include "JSCInlines.h"
34
35 namespace JSC { namespace DFG {
36
37 void ArrayBufferViewWatchpointAdaptor::add(
38     CodeBlock* codeBlock, JSArrayBufferView* view, CommonData& common)
39 {
40     VM& vm = *codeBlock->vm();
41     Watchpoint* watchpoint = common.watchpoints.add(codeBlock);
42     ArrayBufferNeuteringWatchpoint* neuteringWatchpoint =
43         ArrayBufferNeuteringWatchpoint::create(vm);
44     neuteringWatchpoint->set().add(watchpoint);
45     codeBlock->addConstant(neuteringWatchpoint);
46     // FIXME: We don't need to set this watchpoint at all for shared buffers.
47     // https://bugs.webkit.org/show_bug.cgi?id=164108
48     vm.heap.addReference(neuteringWatchpoint, view->possiblySharedBuffer());
49 }
50
51 void InferredValueAdaptor::add(
52     CodeBlock* codeBlock, InferredValue* inferredValue, CommonData& common)
53 {
54     codeBlock->addConstant(inferredValue); // For common users, it doesn't really matter if it's weak or not. If references to it go away, we go away, too.
55     inferredValue->add(common.watchpoints.add(codeBlock));
56 }
57
58 void AdaptiveStructureWatchpointAdaptor::add(
59     CodeBlock* codeBlock, const ObjectPropertyCondition& key, CommonData& common)
60 {
61     VM& vm = *codeBlock->vm();
62     switch (key.kind()) {
63     case PropertyCondition::Equivalence:
64         common.adaptiveInferredPropertyValueWatchpoints.add(key, codeBlock)->install(vm);
65         break;
66     default:
67         common.adaptiveStructureWatchpoints.add(key, codeBlock)->install(vm);
68         break;
69     }
70 }
71
72 void InferredTypeAdaptor::add(CodeBlock* codeBlock, const DesiredInferredType& key, CommonData& common)
73 {
74     key.add(common.watchpoints.add(codeBlock));
75 }
76
77 DesiredWatchpoints::DesiredWatchpoints() { }
78 DesiredWatchpoints::~DesiredWatchpoints() { }
79
80 void DesiredWatchpoints::addLazily(WatchpointSet* set)
81 {
82     m_sets.addLazily(set);
83 }
84
85 void DesiredWatchpoints::addLazily(InlineWatchpointSet& set)
86 {
87     m_inlineSets.addLazily(&set);
88 }
89
90 void DesiredWatchpoints::addLazily(InferredValue* inferredValue)
91 {
92     m_inferredValues.addLazily(inferredValue);
93 }
94
95 void DesiredWatchpoints::addLazily(JSArrayBufferView* view)
96 {
97     m_bufferViews.addLazily(view);
98 }
99
100 void DesiredWatchpoints::addLazily(const ObjectPropertyCondition& key)
101 {
102     m_adaptiveStructureSets.addLazily(key);
103 }
104
105 void DesiredWatchpoints::addLazily(const DesiredInferredType& key)
106 {
107     m_inferredTypes.addLazily(key);
108 }
109
110 bool DesiredWatchpoints::consider(Structure* structure)
111 {
112     if (!structure->dfgShouldWatch())
113         return false;
114     addLazily(structure->transitionWatchpointSet());
115     return true;
116 }
117
118 void DesiredWatchpoints::reallyAdd(CodeBlock* codeBlock, CommonData& commonData)
119 {
120     m_sets.reallyAdd(codeBlock, commonData);
121     m_inlineSets.reallyAdd(codeBlock, commonData);
122     m_inferredValues.reallyAdd(codeBlock, commonData);
123     m_bufferViews.reallyAdd(codeBlock, commonData);
124     m_adaptiveStructureSets.reallyAdd(codeBlock, commonData);
125     m_inferredTypes.reallyAdd(codeBlock, commonData);
126 }
127
128 bool DesiredWatchpoints::areStillValid() const
129 {
130     return m_sets.areStillValid()
131         && m_inlineSets.areStillValid()
132         && m_inferredValues.areStillValid()
133         && m_bufferViews.areStillValid()
134         && m_adaptiveStructureSets.areStillValid()
135         && m_inferredTypes.areStillValid();
136 }
137
138 void DesiredWatchpoints::dumpInContext(PrintStream& out, DumpContext* context) const
139 {
140     out.print("Desired watchpoints:\n");
141     out.print("    Watchpoint sets: ", inContext(m_sets, context), "\n");
142     out.print("    Inline watchpoint sets: ", inContext(m_inlineSets, context), "\n");
143     out.print("    Inferred values: ", inContext(m_inferredValues, context), "\n");
144     out.print("    Buffer views: ", inContext(m_bufferViews, context), "\n");
145     out.print("    Object property conditions: ", inContext(m_adaptiveStructureSets, context), "\n");
146     out.print("    Inferred types: ", inContext(m_inferredTypes, context), "\n");
147 }
148
149 } } // namespace JSC::DFG
150
151 #endif // ENABLE(DFG_JIT)
152