]> git.saurik.com Git - apple/javascriptcore.git/blame - dfg/DFGDoesGC.cpp
projects / apple / javascriptcore.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
JavaScriptCore-7601.1.46.3.tar.gz
[apple/javascriptcore.git] / dfg / DFGDoesGC.cpp
CommitLineData
ed1e77d3
A		 1/*
2 * Copyright (C) 2014, 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#include "config.h"
27#include "DFGDoesGC.h"
28
29#if ENABLE(DFG_JIT)
30
31#include "DFGClobberize.h"
32#include "DFGGraph.h"
33#include "DFGNode.h"
34#include "Operations.h"
35
36namespace JSC { namespace DFG {
37
38bool doesGC(Graph& graph, Node* node)
39{
40 if (clobbersHeap(graph, node))
41 return true;
42
43 // Now consider nodes that don't clobber the world but that still may GC. This includes all
44 // nodes. By convention we put world-clobbering nodes in the block of "false" cases but we can
45 // put them anywhere.
46 switch (node->op()) {
47 case JSConstant:
48 case DoubleConstant:
49 case Int52Constant:
50 case Identity:
51 case GetCallee:
52 case GetArgumentCount:
53 case GetLocal:
54 case SetLocal:
55 case MovHint:
56 case ZombieHint:
57 case Phantom:
58 case Upsilon:
59 case Phi:
60 case Flush:
61 case PhantomLocal:
62 case GetLocalUnlinked:
63 case SetArgument:
64 case BitAnd:
65 case BitOr:
66 case BitXor:
67 case BitLShift:
68 case BitRShift:
69 case BitURShift:
70 case ValueToInt32:
71 case UInt32ToNumber:
72 case DoubleAsInt32:
73 case ArithAdd:
74 case ArithClz32:
75 case ArithSub:
76 case ArithNegate:
77 case ArithMul:
78 case ArithIMul:
79 case ArithDiv:
80 case ArithMod:
81 case ArithAbs:
82 case ArithMin:
83 case ArithMax:
84 case ArithPow:
85 case ArithSqrt:
86 case ArithRound:
87 case ArithFRound:
88 case ArithSin:
89 case ArithCos:
90 case ArithLog:
91 case ValueAdd:
92 case GetById:
93 case GetByIdFlush:
94 case PutById:
95 case PutByIdFlush:
96 case PutByIdDirect:
97 case CheckStructure:
98 case GetExecutable:
99 case GetButterfly:
100 case CheckArray:
101 case GetScope:
102 case SkipScope:
103 case GetClosureVar:
104 case PutClosureVar:
105 case GetGlobalVar:
106 case PutGlobalVar:
107 case VarInjectionWatchpoint:
108 case CheckCell:
109 case CheckNotEmpty:
110 case RegExpExec:
111 case RegExpTest:
112 case CompareLess:
113 case CompareLessEq:
114 case CompareGreater:
115 case CompareGreaterEq:
116 case CompareEq:
117 case CompareEqConstant:
118 case CompareStrictEq:
119 case Call:
120 case Construct:
121 case CallVarargs:
122 case ConstructVarargs:
123 case LoadVarargs:
124 case CallForwardVarargs:
125 case ConstructForwardVarargs:
126 case NativeCall:
127 case NativeConstruct:
128 case Breakpoint:
129 case ProfileWillCall:
130 case ProfileDidCall:
131 case ProfileType:
132 case ProfileControlFlow:
133 case CheckHasInstance:
134 case InstanceOf:
135 case IsUndefined:
136 case IsBoolean:
137 case IsNumber:
138 case IsString:
139 case IsObject:
140 case IsObjectOrNull:
141 case IsFunction:
142 case TypeOf:
143 case LogicalNot:
144 case ToPrimitive:
145 case ToString:
146 case CallStringConstructor:
147 case In:
148 case Jump:
149 case Branch:
150 case Switch:
151 case Return:
152 case Throw:
153 case CountExecution:
154 case ForceOSRExit:
155 case CheckWatchdogTimer:
156 case StringFromCharCode:
157 case Unreachable:
158 case ExtractOSREntryLocal:
159 case CheckTierUpInLoop:
160 case CheckTierUpAtReturn:
161 case CheckTierUpAndOSREnter:
162 case CheckTierUpWithNestedTriggerAndOSREnter:
163 case LoopHint:
164 case StoreBarrier:
165 case InvalidationPoint:
166 case NotifyWrite:
167 case CheckInBounds:
168 case ConstantStoragePointer:
169 case Check:
170 case MultiGetByOffset:
171 case ValueRep:
172 case DoubleRep:
173 case Int52Rep:
174 case GetGetter:
175 case GetSetter:
176 case GetByVal:
177 case GetIndexedPropertyStorage:
178 case GetArrayLength:
179 case ArrayPush:
180 case ArrayPop:
181 case StringCharAt:
182 case StringCharCodeAt:
183 case GetTypedArrayByteOffset:
184 case PutByValDirect:
185 case PutByVal:
186 case PutByValAlias:
187 case PutStructure:
188 case GetByOffset:
189 case GetGetterSetterByOffset:
190 case PutByOffset:
191 case GetEnumerableLength:
192 case HasGenericProperty:
193 case HasStructureProperty:
194 case HasIndexedProperty:
195 case GetDirectPname:
196 case FiatInt52:
197 case BooleanToNumber:
198 case CheckBadCell:
199 case BottomValue:
200 case PhantomNewObject:
201 case PhantomNewFunction:
202 case PhantomCreateActivation:
203 case PhantomDirectArguments:
204 case PhantomClonedArguments:
205 case GetMyArgumentByVal:
206 case ForwardVarargs:
207 case PutHint:
208 case CheckStructureImmediate:
209 case PutStack:
210 case KillStack:
211 case GetStack:
212 case GetFromArguments:
213 case PutToArguments:
214 return false;
215
216 case CreateActivation:
217 case CreateDirectArguments:
218 case CreateScopedArguments:
219 case CreateClonedArguments:
220 case ToThis:
221 case CreateThis:
222 case AllocatePropertyStorage:
223 case ReallocatePropertyStorage:
224 case Arrayify:
225 case ArrayifyToStructure:
226 case NewObject:
227 case NewArray:
228 case NewArrayWithSize:
229 case NewArrayBuffer:
230 case NewRegexp:
231 case NewStringObject:
232 case MakeRope:
233 case NewFunction:
234 case NewTypedArray:
235 case ThrowReferenceError:
236 case GetPropertyEnumerator:
237 case GetEnumeratorStructurePname:
238 case GetEnumeratorGenericPname:
239 case ToIndexString:
240 case MaterializeNewObject:
241 case MaterializeCreateActivation:
242 return true;
243
244 case MultiPutByOffset:
245 return node->multiPutByOffsetData().reallocatesStorage();
246
247 case LastNodeType:
248 RELEASE_ASSERT_NOT_REACHED();
249 return true;
250 }
251
252 RELEASE_ASSERT_NOT_REACHED();
253 return true;
254}
255
256} } // namespace JSC::DFG
257
258#endif // ENABLE(DFG_JIT)
mirror of JavaScriptCore