1/*
2 * Copyright (C) 2015-2017 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 "InferredValue.h"
28
29#include "IsoCellSetInlines.h"
30#include "JSCInlines.h"
31
32namespace JSC {
33
34const ClassInfo InferredValue::s_info = { "InferredValue", nullptr, nullptr, nullptr, CREATE_METHOD_TABLE(InferredValue) };
35
36InferredValue* InferredValue::create(VM& vm)
37{
38 ASSERT(VM::canUseJIT());
39 InferredValue* result = new (NotNull, allocateCell<InferredValue>(vm.heap)) InferredValue(vm);
40 result->finishCreation(vm);
41 return result;
42}
43
44void InferredValue::destroy(JSCell* cell)
45{
46 InferredValue* inferredValue = static_cast<InferredValue*>(cell);
47 inferredValue->InferredValue::~InferredValue();
48}
49
50Structure* InferredValue::createStructure(VM& vm, JSGlobalObject* globalObject, JSValue prototype)
51{
52 return Structure::create(vm, globalObject, prototype, TypeInfo(CellType, StructureFlags), info());
53}
54
55void InferredValue::visitChildren(JSCell* cell, SlotVisitor& visitor)
56{
57 InferredValue* inferredValue = jsCast<InferredValue*>(cell);
58 Base::visitChildren(cell, visitor);
59
60 JSValue value = inferredValue->m_value.get();
61 if (!value)
62 return;
63 if (!value.isCell())
64 return;
65
66 VM::SpaceAndSet::setFor(*inferredValue->subspace()).add(inferredValue);
67}
68
69InferredValue::InferredValue(VM& vm)
70 : Base(vm, vm.inferredValueStructure.get())
71 , m_set(ClearWatchpoint)
72{
73}
74
75InferredValue::~InferredValue()
76{
77}
78
79void InferredValue::notifyWriteSlow(VM& vm, JSValue value, const FireDetail& detail)
80{
81 ASSERT(!!value);
82 switch (m_set.state()) {
83 case ClearWatchpoint:
84 m_value.set(vm, this, value);
85 m_set.startWatching();
86 return;
87
88 case IsWatched:
89 ASSERT(!!m_value);
90 if (m_value.get() == value)
91 return;
92 invalidate(vm, detail);
93 return;
94
95 case IsInvalidated:
96 ASSERT_NOT_REACHED();
97 return;
98 }
99
100 ASSERT_NOT_REACHED();
101}
102
103void InferredValue::notifyWriteSlow(VM& vm, JSValue value, const char* reason)
104{
105 notifyWriteSlow(vm, value, StringFireDetail(reason));
106}
107
108} // namespace JSC
109
110