1/*
2 * Copyright (C) 2012, 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#pragma once
27
28#if ENABLE(JIT)
29
30#include "AdaptiveInferredPropertyValueWatchpointBase.h"
31#include "ObjectPropertyCondition.h"
32#include "Watchpoint.h"
33#include <wtf/Bag.h>
34#include <wtf/FastMalloc.h>
35#include <wtf/Noncopyable.h>
36
37namespace JSC {
38
39class CodeBlock;
40class StructureStubInfo;
41class WatchpointsOnStructureStubInfo;
42
43class StructureTransitionStructureStubClearingWatchpoint final : public Watchpoint {
44 WTF_MAKE_NONCOPYABLE(StructureTransitionStructureStubClearingWatchpoint);
45 WTF_MAKE_FAST_ALLOCATED;
46public:
47 StructureTransitionStructureStubClearingWatchpoint(const ObjectPropertyCondition& key, WatchpointsOnStructureStubInfo& holder)
48 : Watchpoint(Watchpoint::Type::StructureTransitionStructureStubClearing)
49 , m_holder(&holder)
50 , m_key(key)
51 {
52 }
53
54 void fireInternal(VM&, const FireDetail&);
55
56private:
57 // Own destructor may not be called. Keep members trivially destructible.
58 JSC_WATCHPOINT_FIELD(PackedPtr<WatchpointsOnStructureStubInfo>, m_holder);
59 JSC_WATCHPOINT_FIELD(ObjectPropertyCondition, m_key);
60};
61
62class AdaptiveValueStructureStubClearingWatchpoint final : public AdaptiveInferredPropertyValueWatchpointBase {
63 using Base = AdaptiveInferredPropertyValueWatchpointBase;
64 WTF_MAKE_NONCOPYABLE(AdaptiveValueStructureStubClearingWatchpoint);
65 WTF_MAKE_FAST_ALLOCATED;
66
67 void handleFire(VM&, const FireDetail&) override;
68
69public:
70 AdaptiveValueStructureStubClearingWatchpoint(const ObjectPropertyCondition& key, WatchpointsOnStructureStubInfo& holder)
71 : Base(key)
72 , m_holder(&holder)
73 {
74 RELEASE_ASSERT(key.condition().kind() == PropertyCondition::Equivalence);
75 }
76
77
78private:
79 PackedPtr<WatchpointsOnStructureStubInfo> m_holder;
80};
81
82class WatchpointsOnStructureStubInfo {
83 WTF_MAKE_NONCOPYABLE(WatchpointsOnStructureStubInfo);
84 WTF_MAKE_FAST_ALLOCATED;
85public:
86 WatchpointsOnStructureStubInfo(CodeBlock* codeBlock, StructureStubInfo* stubInfo)
87 : m_codeBlock(codeBlock)
88 , m_stubInfo(stubInfo)
89 {
90 }
91
92 using Node = Variant<StructureTransitionStructureStubClearingWatchpoint, AdaptiveValueStructureStubClearingWatchpoint>;
93
94 Node& addWatchpoint(const ObjectPropertyCondition& key);
95
96 static void ensureReferenceAndInstallWatchpoint(
97 std::unique_ptr<WatchpointsOnStructureStubInfo>& holderRef,
98 CodeBlock*, StructureStubInfo*, const ObjectPropertyCondition& key);
99 static Watchpoint* ensureReferenceAndAddWatchpoint(
100 std::unique_ptr<WatchpointsOnStructureStubInfo>& holderRef,
101 CodeBlock*, StructureStubInfo*);
102
103 CodeBlock* codeBlock() const { return m_codeBlock; }
104 StructureStubInfo* stubInfo() const { return m_stubInfo; }
105
106 bool isValid() const;
107
108private:
109 CodeBlock* m_codeBlock;
110 StructureStubInfo* m_stubInfo;
111 // FIXME: use less memory for the entries in this Bag:
112 // https://bugs.webkit.org/show_bug.cgi?id=202380
113 Bag<WTF::Variant<StructureTransitionStructureStubClearingWatchpoint, AdaptiveValueStructureStubClearingWatchpoint>> m_watchpoints;
114};
115
116} // namespace JSC
117
118#endif // ENABLE(JIT)
119