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 "ArrayBufferNeuteringWatchpointSet.h"
32#include "CodeBlock.h"
33#include "JSCInlines.h"
34
35namespace JSC { namespace DFG {
36
37void ArrayBufferViewWatchpointAdaptor::add(
38 CodeBlock* codeBlock, JSArrayBufferView* view, CommonData& common)
39{
40 VM& vm = *codeBlock->vm();
41 Watchpoint* watchpoint = common.watchpoints.add(codeBlock);
42 ArrayBufferNeuteringWatchpointSet* neuteringWatchpoint =
43 ArrayBufferNeuteringWatchpointSet::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
51void SymbolTableAdaptor::add(
52 CodeBlock* codeBlock, SymbolTable* symbolTable, CommonData& common)
53{
54 codeBlock->addConstant(symbolTable); // 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 symbolTable->singleton().add(common.watchpoints.add(codeBlock));
56}
57
58void FunctionExecutableAdaptor::add(
59 CodeBlock* codeBlock, FunctionExecutable* executable, CommonData& common)
60{
61 codeBlock->addConstant(executable); // For common users, it doesn't really matter if it's weak or not. If references to it go away, we go away, too.
62 executable->singleton().add(common.watchpoints.add(codeBlock));
63}
64
65void AdaptiveStructureWatchpointAdaptor::add(
66 CodeBlock* codeBlock, const ObjectPropertyCondition& key, CommonData& common)
67{
68 VM& vm = *codeBlock->vm();
69 switch (key.kind()) {
70 case PropertyCondition::Equivalence:
71 common.adaptiveInferredPropertyValueWatchpoints.add(key, codeBlock)->install(vm);
72 break;
73 default:
74 common.adaptiveStructureWatchpoints.add(key, codeBlock)->install(vm);
75 break;
76 }
77}
78
79DesiredWatchpoints::DesiredWatchpoints() { }
80DesiredWatchpoints::~DesiredWatchpoints() { }
81
82void DesiredWatchpoints::addLazily(WatchpointSet* set)
83{
84 m_sets.addLazily(set);
85}
86
87void DesiredWatchpoints::addLazily(InlineWatchpointSet& set)
88{
89 m_inlineSets.addLazily(&set);
90}
91
92void DesiredWatchpoints::addLazily(SymbolTable* symbolTable)
93{
94 m_symbolTables.addLazily(symbolTable);
95}
96
97void DesiredWatchpoints::addLazily(FunctionExecutable* executable)
98{
99 m_functionExecutables.addLazily(executable);
100}
101
102void DesiredWatchpoints::addLazily(JSArrayBufferView* view)
103{
104 m_bufferViews.addLazily(view);
105}
106
107void DesiredWatchpoints::addLazily(const ObjectPropertyCondition& key)
108{
109 m_adaptiveStructureSets.addLazily(key);
110}
111
112bool DesiredWatchpoints::consider(Structure* structure)
113{
114 if (!structure->dfgShouldWatch())
115 return false;
116 addLazily(structure->transitionWatchpointSet());
117 return true;
118}
119
120void DesiredWatchpoints::reallyAdd(CodeBlock* codeBlock, CommonData& commonData)
121{
122 m_sets.reallyAdd(codeBlock, commonData);
123 m_inlineSets.reallyAdd(codeBlock, commonData);
124 m_symbolTables.reallyAdd(codeBlock, commonData);
125 m_functionExecutables.reallyAdd(codeBlock, commonData);
126 m_bufferViews.reallyAdd(codeBlock, commonData);
127 m_adaptiveStructureSets.reallyAdd(codeBlock, commonData);
128}
129
130bool DesiredWatchpoints::areStillValid() const
131{
132 return m_sets.areStillValid()
133 && m_inlineSets.areStillValid()
134 && m_symbolTables.areStillValid()
135 && m_functionExecutables.areStillValid()
136 && m_bufferViews.areStillValid()
137 && m_adaptiveStructureSets.areStillValid();
138}
139
140void DesiredWatchpoints::dumpInContext(PrintStream& out, DumpContext* context) const
141{
142 out.print("Desired watchpoints:\n");
143 out.print(" Watchpoint sets: ", inContext(m_sets, context), "\n");
144 out.print(" Inline watchpoint sets: ", inContext(m_inlineSets, context), "\n");
145 out.print(" SymbolTables: ", inContext(m_symbolTables, context), "\n");
146 out.print(" FunctionExecutables: ", inContext(m_functionExecutables, context), "\n");
147 out.print(" Buffer views: ", inContext(m_bufferViews, context), "\n");
148 out.print(" Object property conditions: ", inContext(m_adaptiveStructureSets, context), "\n");
149}
150
151} } // namespace JSC::DFG
152
153#endif // ENABLE(DFG_JIT)
154
155