[JSC] Shrink size of VM by lazily allocating IsoSubspaces for non-common types
[WebKit-https.git] / Source / JavaScriptCore / runtime / InferredValue.cpp
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
32 namespace JSC {
33
34 const ClassInfo InferredValue::s_info = { "InferredValue", nullptr, nullptr, nullptr, CREATE_METHOD_TABLE(InferredValue) };
35
36 InferredValue* 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
44 void InferredValue::destroy(JSCell* cell)
45 {
46     InferredValue* inferredValue = static_cast<InferredValue*>(cell);
47     inferredValue->InferredValue::~InferredValue();
48 }
49
50 Structure* InferredValue::createStructure(VM& vm, JSGlobalObject* globalObject, JSValue prototype)
51 {
52     return Structure::create(vm, globalObject, prototype, TypeInfo(CellType, StructureFlags), info());
53 }
54
55 void 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
69 InferredValue::InferredValue(VM& vm)
70     : Base(vm, vm.inferredValueStructure.get())
71     , m_set(ClearWatchpoint)
72 {
73 }
74
75 InferredValue::~InferredValue()
76 {
77 }
78
79 void 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
103 void InferredValue::notifyWriteSlow(VM& vm, JSValue value, const char* reason)
104 {
105     notifyWriteSlow(vm, value, StringFireDetail(reason));
106 }
107
108 } // namespace JSC
109