• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2014 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #include "src/compiler/operator-properties.h"
6 
7 #include "src/compiler/js-operator.h"
8 #include "src/compiler/linkage.h"
9 #include "src/compiler/opcodes.h"
10 #include "src/runtime/runtime.h"
11 
12 namespace v8 {
13 namespace internal {
14 namespace compiler {
15 
16 // static
HasContextInput(const Operator * op)17 bool OperatorProperties::HasContextInput(const Operator* op) {
18   IrOpcode::Value opcode = static_cast<IrOpcode::Value>(op->opcode());
19   return IrOpcode::IsJsOpcode(opcode);
20 }
21 
22 // static
NeedsExactContext(const Operator * op)23 bool OperatorProperties::NeedsExactContext(const Operator* op) {
24   DCHECK(HasContextInput(op));
25   IrOpcode::Value const opcode = static_cast<IrOpcode::Value>(op->opcode());
26   switch (opcode) {
27 #define CASE(Name, ...) case IrOpcode::k##Name:
28     // Binary/unary operators, calls and constructor calls only
29     // need the context to generate exceptions or lookup fields
30     // on the native context, so passing any context is fine.
31     JS_SIMPLE_BINOP_LIST(CASE)
32     JS_CALL_OP_LIST(CASE)
33     JS_CONSTRUCT_OP_LIST(CASE)
34     JS_SIMPLE_UNOP_LIST(CASE)
35 #undef CASE
36     case IrOpcode::kJSCloneObject:
37     case IrOpcode::kJSCreate:
38     case IrOpcode::kJSCreateLiteralArray:
39     case IrOpcode::kJSCreateEmptyLiteralArray:
40     case IrOpcode::kJSCreateLiteralObject:
41     case IrOpcode::kJSCreateEmptyLiteralObject:
42     case IrOpcode::kJSCreateArrayFromIterable:
43     case IrOpcode::kJSCreateLiteralRegExp:
44     case IrOpcode::kJSGetTemplateObject:
45     case IrOpcode::kJSForInEnumerate:
46     case IrOpcode::kJSForInNext:
47     case IrOpcode::kJSForInPrepare:
48     case IrOpcode::kJSGeneratorRestoreContext:
49     case IrOpcode::kJSGeneratorRestoreContinuation:
50     case IrOpcode::kJSGeneratorRestoreInputOrDebugPos:
51     case IrOpcode::kJSGeneratorRestoreRegister:
52     case IrOpcode::kJSGetSuperConstructor:
53     case IrOpcode::kJSLoadGlobal:
54     case IrOpcode::kJSLoadMessage:
55     case IrOpcode::kJSStackCheck:
56     case IrOpcode::kJSStoreMessage:
57     case IrOpcode::kJSGetIterator:
58       return false;
59 
60     case IrOpcode::kJSCallRuntime:
61       return Runtime::NeedsExactContext(CallRuntimeParametersOf(op).id());
62 
63     case IrOpcode::kJSCreateArguments:
64       // For mapped arguments we need to access slots of context-allocated
65       // variables if there's aliasing with formal parameters.
66       return CreateArgumentsTypeOf(op) == CreateArgumentsType::kMappedArguments;
67 
68     case IrOpcode::kJSCreateBlockContext:
69     case IrOpcode::kJSCreateClosure:
70     case IrOpcode::kJSCreateFunctionContext:
71     case IrOpcode::kJSCreateGeneratorObject:
72     case IrOpcode::kJSCreateCatchContext:
73     case IrOpcode::kJSCreateWithContext:
74     case IrOpcode::kJSDebugger:
75     case IrOpcode::kJSDeleteProperty:
76     case IrOpcode::kJSGeneratorStore:
77     case IrOpcode::kJSGetImportMeta:
78     case IrOpcode::kJSHasProperty:
79     case IrOpcode::kJSHasContextExtension:
80     case IrOpcode::kJSLoadContext:
81     case IrOpcode::kJSLoadModule:
82     case IrOpcode::kJSLoadNamed:
83     case IrOpcode::kJSLoadNamedFromSuper:
84     case IrOpcode::kJSLoadProperty:
85     case IrOpcode::kJSStoreContext:
86     case IrOpcode::kJSStoreDataPropertyInLiteral:
87     case IrOpcode::kJSStoreGlobal:
88     case IrOpcode::kJSStoreInArrayLiteral:
89     case IrOpcode::kJSStoreModule:
90     case IrOpcode::kJSStoreNamed:
91     case IrOpcode::kJSStoreNamedOwn:
92     case IrOpcode::kJSStoreProperty:
93       return true;
94 
95     case IrOpcode::kJSAsyncFunctionEnter:
96     case IrOpcode::kJSAsyncFunctionReject:
97     case IrOpcode::kJSAsyncFunctionResolve:
98     case IrOpcode::kJSCreateArrayIterator:
99     case IrOpcode::kJSCreateAsyncFunctionObject:
100     case IrOpcode::kJSCreateBoundFunction:
101     case IrOpcode::kJSCreateCollectionIterator:
102     case IrOpcode::kJSCreateIterResultObject:
103     case IrOpcode::kJSCreateStringIterator:
104     case IrOpcode::kJSCreateKeyValueArray:
105     case IrOpcode::kJSCreateObject:
106     case IrOpcode::kJSCreatePromise:
107     case IrOpcode::kJSCreateTypedArray:
108     case IrOpcode::kJSCreateArray:
109     case IrOpcode::kJSFulfillPromise:
110     case IrOpcode::kJSObjectIsArray:
111     case IrOpcode::kJSPerformPromiseThen:
112     case IrOpcode::kJSPromiseResolve:
113     case IrOpcode::kJSRegExpTest:
114     case IrOpcode::kJSRejectPromise:
115     case IrOpcode::kJSResolvePromise:
116       // These operators aren't introduced by BytecodeGraphBuilder and
117       // thus we don't bother checking them. If you ever introduce one
118       // of these early in the BytecodeGraphBuilder make sure to check
119       // whether they are context-sensitive.
120       break;
121 
122 #define CASE(Name) case IrOpcode::k##Name:
123       // Non-JavaScript operators don't have a notion of "context"
124       COMMON_OP_LIST(CASE)
125       CONTROL_OP_LIST(CASE)
126       MACHINE_OP_LIST(CASE)
127       MACHINE_SIMD_OP_LIST(CASE)
128       SIMPLIFIED_OP_LIST(CASE)
129       break;
130 #undef CASE
131   }
132   UNREACHABLE();
133 }
134 
135 // static
HasFrameStateInput(const Operator * op)136 bool OperatorProperties::HasFrameStateInput(const Operator* op) {
137   switch (op->opcode()) {
138     case IrOpcode::kCheckpoint:
139     case IrOpcode::kFrameState:
140       return true;
141     case IrOpcode::kJSCallRuntime: {
142       const CallRuntimeParameters& p = CallRuntimeParametersOf(op);
143       return Linkage::NeedsFrameStateInput(p.id());
144     }
145 
146     // Strict equality cannot lazily deoptimize.
147     case IrOpcode::kJSStrictEqual:
148       return false;
149 
150     // Generator creation cannot call back into arbitrary JavaScript.
151     case IrOpcode::kJSCreateGeneratorObject:
152       return false;
153 
154     // Binary operations
155     case IrOpcode::kJSAdd:
156     case IrOpcode::kJSSubtract:
157     case IrOpcode::kJSMultiply:
158     case IrOpcode::kJSDivide:
159     case IrOpcode::kJSModulus:
160     case IrOpcode::kJSExponentiate:
161 
162     // Bitwise operations
163     case IrOpcode::kJSBitwiseOr:
164     case IrOpcode::kJSBitwiseXor:
165     case IrOpcode::kJSBitwiseAnd:
166 
167     // Shift operations
168     case IrOpcode::kJSShiftLeft:
169     case IrOpcode::kJSShiftRight:
170     case IrOpcode::kJSShiftRightLogical:
171 
172     // Compare operations
173     case IrOpcode::kJSEqual:
174     case IrOpcode::kJSGreaterThan:
175     case IrOpcode::kJSGreaterThanOrEqual:
176     case IrOpcode::kJSLessThan:
177     case IrOpcode::kJSLessThanOrEqual:
178     case IrOpcode::kJSHasProperty:
179     case IrOpcode::kJSHasInPrototypeChain:
180     case IrOpcode::kJSInstanceOf:
181     case IrOpcode::kJSOrdinaryHasInstance:
182 
183     // Object operations
184     case IrOpcode::kJSCreate:
185     case IrOpcode::kJSCreateArguments:
186     case IrOpcode::kJSCreateArray:
187     case IrOpcode::kJSCreateTypedArray:
188     case IrOpcode::kJSCreateLiteralArray:
189     case IrOpcode::kJSCreateArrayFromIterable:
190     case IrOpcode::kJSCreateLiteralObject:
191     case IrOpcode::kJSCreateLiteralRegExp:
192     case IrOpcode::kJSCreateObject:
193     case IrOpcode::kJSCloneObject:
194 
195     // Property access operations
196     case IrOpcode::kJSDeleteProperty:
197     case IrOpcode::kJSLoadGlobal:
198     case IrOpcode::kJSLoadNamed:
199     case IrOpcode::kJSLoadNamedFromSuper:
200     case IrOpcode::kJSLoadProperty:
201     case IrOpcode::kJSStoreDataPropertyInLiteral:
202     case IrOpcode::kJSStoreInArrayLiteral:
203     case IrOpcode::kJSStoreGlobal:
204     case IrOpcode::kJSStoreNamed:
205     case IrOpcode::kJSStoreNamedOwn:
206     case IrOpcode::kJSStoreProperty:
207 
208     // Conversions
209     case IrOpcode::kJSToLength:
210     case IrOpcode::kJSToName:
211     case IrOpcode::kJSToNumber:
212     case IrOpcode::kJSToNumberConvertBigInt:
213     case IrOpcode::kJSToNumeric:
214     case IrOpcode::kJSToObject:
215     case IrOpcode::kJSToString:
216     case IrOpcode::kJSParseInt:
217 
218     // Call operations
219     case IrOpcode::kJSConstructForwardVarargs:
220     case IrOpcode::kJSConstruct:
221     case IrOpcode::kJSConstructWithArrayLike:
222     case IrOpcode::kJSConstructWithSpread:
223     case IrOpcode::kJSCallForwardVarargs:
224     case IrOpcode::kJSCall:
225     case IrOpcode::kJSCallWithArrayLike:
226     case IrOpcode::kJSCallWithSpread:
227 
228     // Misc operations
229     case IrOpcode::kJSAsyncFunctionEnter:
230     case IrOpcode::kJSAsyncFunctionReject:
231     case IrOpcode::kJSAsyncFunctionResolve:
232     case IrOpcode::kJSForInEnumerate:
233     case IrOpcode::kJSForInNext:
234     case IrOpcode::kJSStackCheck:
235     case IrOpcode::kJSDebugger:
236     case IrOpcode::kJSGetSuperConstructor:
237     case IrOpcode::kJSBitwiseNot:
238     case IrOpcode::kJSDecrement:
239     case IrOpcode::kJSIncrement:
240     case IrOpcode::kJSNegate:
241     case IrOpcode::kJSPromiseResolve:
242     case IrOpcode::kJSRejectPromise:
243     case IrOpcode::kJSResolvePromise:
244     case IrOpcode::kJSPerformPromiseThen:
245     case IrOpcode::kJSObjectIsArray:
246     case IrOpcode::kJSRegExpTest:
247     case IrOpcode::kJSGetImportMeta:
248 
249     // Iterator protocol operations
250     case IrOpcode::kJSGetIterator:
251       return true;
252 
253     default:
254       return false;
255   }
256 }
257 
258 
259 // static
GetTotalInputCount(const Operator * op)260 int OperatorProperties::GetTotalInputCount(const Operator* op) {
261   return op->ValueInputCount() + GetContextInputCount(op) +
262          GetFrameStateInputCount(op) + op->EffectInputCount() +
263          op->ControlInputCount();
264 }
265 
266 
267 // static
IsBasicBlockBegin(const Operator * op)268 bool OperatorProperties::IsBasicBlockBegin(const Operator* op) {
269   Operator::Opcode const opcode = op->opcode();
270   return opcode == IrOpcode::kStart || opcode == IrOpcode::kEnd ||
271          opcode == IrOpcode::kDead || opcode == IrOpcode::kLoop ||
272          opcode == IrOpcode::kMerge || opcode == IrOpcode::kIfTrue ||
273          opcode == IrOpcode::kIfFalse || opcode == IrOpcode::kIfSuccess ||
274          opcode == IrOpcode::kIfException || opcode == IrOpcode::kIfValue ||
275          opcode == IrOpcode::kIfDefault;
276 }
277 
278 }  // namespace compiler
279 }  // namespace internal
280 }  // namespace v8
281