| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 94 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 105 void DetachLoopInformation(); | 105 void DetachLoopInformation(); |
| 106 bool IsLoopHeader() const { return loop_information() != NULL; } | 106 bool IsLoopHeader() const { return loop_information() != NULL; } |
| 107 bool IsStartBlock() const { return block_id() == 0; } | 107 bool IsStartBlock() const { return block_id() == 0; } |
| 108 void PostProcessLoopHeader(IterationStatement* stmt); | 108 void PostProcessLoopHeader(IterationStatement* stmt); |
| 109 | 109 |
| 110 bool IsFinished() const { return end_ != NULL; } | 110 bool IsFinished() const { return end_ != NULL; } |
| 111 void AddPhi(HPhi* phi); | 111 void AddPhi(HPhi* phi); |
| 112 void RemovePhi(HPhi* phi); | 112 void RemovePhi(HPhi* phi); |
| 113 void AddInstruction(HInstruction* instr, int position); | 113 void AddInstruction(HInstruction* instr, int position); |
| 114 bool Dominates(HBasicBlock* other) const; | 114 bool Dominates(HBasicBlock* other) const; |
| 115 bool EqualToOrDominates(HBasicBlock* other) const; |
| 115 int LoopNestingDepth() const; | 116 int LoopNestingDepth() const; |
| 116 | 117 |
| 117 void SetInitialEnvironment(HEnvironment* env); | 118 void SetInitialEnvironment(HEnvironment* env); |
| 118 void ClearEnvironment() { | 119 void ClearEnvironment() { |
| 119 ASSERT(IsFinished()); | 120 ASSERT(IsFinished()); |
| 120 ASSERT(end()->SuccessorCount() == 0); | 121 ASSERT(end()->SuccessorCount() == 0); |
| 121 last_environment_ = NULL; | 122 last_environment_ = NULL; |
| 122 } | 123 } |
| 123 bool HasEnvironment() const { return last_environment_ != NULL; } | 124 bool HasEnvironment() const { return last_environment_ != NULL; } |
| 124 void UpdateEnvironment(HEnvironment* env); | 125 void UpdateEnvironment(HEnvironment* env); |
| (...skipping 2078 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2203 Handle<JSFunction> target); | 2204 Handle<JSFunction> target); |
| 2204 | 2205 |
| 2205 int InliningAstSize(Handle<JSFunction> target); | 2206 int InliningAstSize(Handle<JSFunction> target); |
| 2206 bool TryInline(Handle<JSFunction> target, | 2207 bool TryInline(Handle<JSFunction> target, |
| 2207 int arguments_count, | 2208 int arguments_count, |
| 2208 HValue* implicit_return_value, | 2209 HValue* implicit_return_value, |
| 2209 BailoutId ast_id, | 2210 BailoutId ast_id, |
| 2210 BailoutId return_id, | 2211 BailoutId return_id, |
| 2211 InliningKind inlining_kind); | 2212 InliningKind inlining_kind); |
| 2212 | 2213 |
| 2213 bool TryInlineCall(Call* expr, bool drop_extra = false); | 2214 bool TryInlineCall(Call* expr); |
| 2214 bool TryInlineConstruct(CallNew* expr, HValue* implicit_return_value); | 2215 bool TryInlineConstruct(CallNew* expr, HValue* implicit_return_value); |
| 2215 bool TryInlineGetter(Handle<JSFunction> getter, | 2216 bool TryInlineGetter(Handle<JSFunction> getter, |
| 2216 BailoutId ast_id, | 2217 BailoutId ast_id, |
| 2217 BailoutId return_id); | 2218 BailoutId return_id); |
| 2218 bool TryInlineSetter(Handle<JSFunction> setter, | 2219 bool TryInlineSetter(Handle<JSFunction> setter, |
| 2219 BailoutId id, | 2220 BailoutId id, |
| 2220 BailoutId assignment_id, | 2221 BailoutId assignment_id, |
| 2221 HValue* implicit_return_value); | 2222 HValue* implicit_return_value); |
| 2222 bool TryInlineApply(Handle<JSFunction> function, | 2223 bool TryInlineApply(Handle<JSFunction> function, |
| 2223 Call* expr, | 2224 Call* expr, |
| 2224 int arguments_count); | 2225 int arguments_count); |
| 2225 bool TryInlineBuiltinMethodCall(Call* expr, | 2226 bool TryInlineBuiltinMethodCall(Call* expr, |
| 2226 HValue* receiver, | 2227 HValue* receiver, |
| 2227 Handle<Map> receiver_map, | 2228 Handle<Map> receiver_map); |
| 2228 CheckType check_type); | 2229 bool TryInlineBuiltinFunctionCall(Call* expr); |
| 2229 bool TryInlineBuiltinFunctionCall(Call* expr, bool drop_extra); | 2230 bool TryInlineApiMethodCall(Call* expr, |
| 2231 HValue* receiver, |
| 2232 Handle<Map> receiver_map); |
| 2233 bool TryInlineApiFunctionCall(Call* expr, HValue* receiver); |
| 2234 bool TryInlineApiCall(Call* expr, |
| 2235 HValue* receiver, |
| 2236 Handle<Map> receiver_map, |
| 2237 bool is_function_call); |
| 2230 | 2238 |
| 2231 // If --trace-inlining, print a line of the inlining trace. Inlining | 2239 // If --trace-inlining, print a line of the inlining trace. Inlining |
| 2232 // succeeded if the reason string is NULL and failed if there is a | 2240 // succeeded if the reason string is NULL and failed if there is a |
| 2233 // non-NULL reason string. | 2241 // non-NULL reason string. |
| 2234 void TraceInline(Handle<JSFunction> target, | 2242 void TraceInline(Handle<JSFunction> target, |
| 2235 Handle<JSFunction> caller, | 2243 Handle<JSFunction> caller, |
| 2236 const char* failure_reason); | 2244 const char* failure_reason); |
| 2237 | 2245 |
| 2238 void HandleGlobalVariableAssignment(Variable* var, | 2246 void HandleGlobalVariableAssignment(Variable* var, |
| 2239 HValue* value, | 2247 HValue* value, |
| 2240 BailoutId ast_id); | 2248 BailoutId ast_id); |
| 2241 | 2249 |
| 2242 void HandlePropertyAssignment(Assignment* expr); | 2250 void HandlePropertyAssignment(Assignment* expr); |
| 2243 void HandleCompoundAssignment(Assignment* expr); | 2251 void HandleCompoundAssignment(Assignment* expr); |
| 2244 void HandlePolymorphicLoadNamedField(BailoutId ast_id, | 2252 void HandlePolymorphicLoadNamedField(BailoutId ast_id, |
| 2245 BailoutId return_id, | 2253 BailoutId return_id, |
| 2246 HValue* object, | 2254 HValue* object, |
| 2247 SmallMapList* types, | 2255 SmallMapList* types, |
| 2248 Handle<String> name); | 2256 Handle<String> name); |
| 2249 | 2257 |
| 2250 void VisitTypedArrayInitialize(CallRuntime* expr); | 2258 void VisitTypedArrayInitialize(CallRuntime* expr); |
| 2251 | 2259 |
| 2252 bool IsCallNewArrayInlineable(CallNew* expr); | 2260 bool IsCallNewArrayInlineable(CallNew* expr); |
| 2253 void BuildInlinedCallNewArray(CallNew* expr); | 2261 void BuildInlinedCallNewArray(CallNew* expr); |
| 2254 | 2262 |
| 2255 void VisitDataViewInitialize(CallRuntime* expr); | 2263 void VisitDataViewInitialize(CallRuntime* expr); |
| 2256 | 2264 |
| 2257 class PropertyAccessInfo { | 2265 class PropertyAccessInfo { |
| 2258 public: | 2266 public: |
| 2259 PropertyAccessInfo(Isolate* isolate, Handle<Map> map, Handle<String> name) | 2267 PropertyAccessInfo(HOptimizedGraphBuilder* builder, |
| 2260 : lookup_(isolate), | 2268 Handle<HeapType> type, |
| 2261 map_(map), | 2269 Handle<String> name) |
| 2270 : lookup_(builder->isolate()), |
| 2271 builder_(builder), |
| 2272 type_(type), |
| 2262 name_(name), | 2273 name_(name), |
| 2263 access_(HObjectAccess::ForMap()) { } | 2274 access_(HObjectAccess::ForMap()) { } |
| 2264 | 2275 |
| 2265 // Checkes whether this PropertyAccessInfo can be handled as a monomorphic | 2276 // Checkes whether this PropertyAccessInfo can be handled as a monomorphic |
| 2266 // load named. It additionally fills in the fields necessary to generate the | 2277 // load named. It additionally fills in the fields necessary to generate the |
| 2267 // lookup code. | 2278 // lookup code. |
| 2268 bool CanLoadMonomorphic(); | 2279 bool CanLoadMonomorphic(); |
| 2269 | 2280 |
| 2270 // Checks whether all types behave uniform when loading name. If all maps | 2281 // Checks whether all types behave uniform when loading name. If all maps |
| 2271 // behave the same, a single monomorphic load instruction can be emitted, | 2282 // behave the same, a single monomorphic load instruction can be emitted, |
| 2272 // guarded by a single map-checks instruction that whether the receiver is | 2283 // guarded by a single map-checks instruction that whether the receiver is |
| 2273 // an instance of any of the types. | 2284 // an instance of any of the types. |
| 2274 // This method skips the first type in types, assuming that this | 2285 // This method skips the first type in types, assuming that this |
| 2275 // PropertyAccessInfo is built for types->first(). | 2286 // PropertyAccessInfo is built for types->first(). |
| 2276 bool CanLoadAsMonomorphic(SmallMapList* types); | 2287 bool CanLoadAsMonomorphic(SmallMapList* types); |
| 2277 | 2288 |
| 2289 Handle<Map> map() { |
| 2290 if (type_->Is(HeapType::Number())) { |
| 2291 Context* context = current_info()->closure()->context(); |
| 2292 context = context->native_context(); |
| 2293 return handle(context->number_function()->initial_map()); |
| 2294 } else if (type_->Is(HeapType::String())) { |
| 2295 Context* context = current_info()->closure()->context(); |
| 2296 context = context->native_context(); |
| 2297 return handle(context->string_function()->initial_map()); |
| 2298 } else { |
| 2299 return type_->AsClass(); |
| 2300 } |
| 2301 } |
| 2302 Handle<HeapType> type() const { return type_; } |
| 2303 Handle<String> name() const { return name_; } |
| 2304 |
| 2278 bool IsJSObjectFieldAccessor() { | 2305 bool IsJSObjectFieldAccessor() { |
| 2279 int offset; // unused | 2306 int offset; // unused |
| 2280 return Accessors::IsJSObjectFieldAccessor(map_, name_, &offset); | 2307 return Accessors::IsJSObjectFieldAccessor(type_, name_, &offset); |
| 2281 } | 2308 } |
| 2282 | 2309 |
| 2283 bool GetJSObjectFieldAccess(HObjectAccess* access) { | 2310 bool GetJSObjectFieldAccess(HObjectAccess* access) { |
| 2284 if (IsStringLength()) { | 2311 if (IsArrayLength()) { |
| 2285 *access = HObjectAccess::ForStringLength(); | 2312 *access = HObjectAccess::ForArrayLength(map()->elements_kind()); |
| 2286 return true; | 2313 return true; |
| 2287 } else if (IsArrayLength()) { | 2314 } |
| 2288 *access = HObjectAccess::ForArrayLength(map_->elements_kind()); | 2315 int offset; |
| 2316 if (Accessors::IsJSObjectFieldAccessor(type_, name_, &offset)) { |
| 2317 if (type_->Is(HeapType::String())) { |
| 2318 ASSERT(name_->Equals(isolate()->heap()->length_string())); |
| 2319 *access = HObjectAccess::ForStringLength(); |
| 2320 } else { |
| 2321 *access = HObjectAccess::ForJSObjectOffset(offset); |
| 2322 } |
| 2289 return true; | 2323 return true; |
| 2290 } else { | |
| 2291 int offset; | |
| 2292 if (Accessors::IsJSObjectFieldAccessor(map_, name_, &offset)) { | |
| 2293 *access = HObjectAccess::ForJSObjectOffset(offset); | |
| 2294 return true; | |
| 2295 } | |
| 2296 return false; | |
| 2297 } | 2324 } |
| 2325 return false; |
| 2298 } | 2326 } |
| 2299 | 2327 |
| 2300 bool has_holder() { return !holder_.is_null(); } | 2328 bool has_holder() { return !holder_.is_null(); } |
| 2301 | 2329 |
| 2302 LookupResult* lookup() { return &lookup_; } | 2330 LookupResult* lookup() { return &lookup_; } |
| 2303 Handle<Map> map() { return map_; } | |
| 2304 Handle<JSObject> holder() { return holder_; } | 2331 Handle<JSObject> holder() { return holder_; } |
| 2305 Handle<JSFunction> accessor() { return accessor_; } | 2332 Handle<JSFunction> accessor() { return accessor_; } |
| 2306 Handle<Object> constant() { return constant_; } | 2333 Handle<Object> constant() { return constant_; } |
| 2307 HObjectAccess access() { return access_; } | 2334 HObjectAccess access() { return access_; } |
| 2308 | 2335 |
| 2309 private: | 2336 private: |
| 2310 Isolate* isolate() { return lookup_.isolate(); } | 2337 Isolate* isolate() { return lookup_.isolate(); } |
| 2338 CompilationInfo* current_info() { return builder_->current_info(); } |
| 2311 | 2339 |
| 2312 bool IsStringLength() { | 2340 bool IsArrayLength() { |
| 2313 return map_->instance_type() < FIRST_NONSTRING_TYPE && | 2341 return map()->instance_type() == JS_ARRAY_TYPE && |
| 2314 name_->Equals(isolate()->heap()->length_string()); | 2342 name_->Equals(isolate()->heap()->length_string()); |
| 2315 } | 2343 } |
| 2316 | 2344 |
| 2317 bool IsArrayLength() { | |
| 2318 return map_->instance_type() == JS_ARRAY_TYPE && | |
| 2319 name_->Equals(isolate()->heap()->length_string()); | |
| 2320 } | |
| 2321 | |
| 2322 bool LoadResult(Handle<Map> map); | 2345 bool LoadResult(Handle<Map> map); |
| 2323 bool LookupDescriptor(); | 2346 bool LookupDescriptor(); |
| 2324 bool LookupInPrototypes(); | 2347 bool LookupInPrototypes(); |
| 2325 bool IsCompatibleForLoad(PropertyAccessInfo* other); | 2348 bool IsCompatibleForLoad(PropertyAccessInfo* other); |
| 2326 | 2349 |
| 2327 void GeneralizeRepresentation(Representation r) { | 2350 void GeneralizeRepresentation(Representation r) { |
| 2328 access_ = access_.WithRepresentation( | 2351 access_ = access_.WithRepresentation( |
| 2329 access_.representation().generalize(r)); | 2352 access_.representation().generalize(r)); |
| 2330 } | 2353 } |
| 2331 | 2354 |
| 2332 LookupResult lookup_; | 2355 LookupResult lookup_; |
| 2333 Handle<Map> map_; | 2356 HOptimizedGraphBuilder* builder_; |
| 2357 Handle<HeapType> type_; |
| 2334 Handle<String> name_; | 2358 Handle<String> name_; |
| 2335 Handle<JSObject> holder_; | 2359 Handle<JSObject> holder_; |
| 2336 Handle<JSFunction> accessor_; | 2360 Handle<JSFunction> accessor_; |
| 2337 Handle<Object> constant_; | 2361 Handle<Object> constant_; |
| 2338 HObjectAccess access_; | 2362 HObjectAccess access_; |
| 2339 }; | 2363 }; |
| 2340 | 2364 |
| 2341 HInstruction* BuildLoadMonomorphic(PropertyAccessInfo* info, | 2365 HInstruction* BuildLoadMonomorphic(PropertyAccessInfo* info, |
| 2342 HValue* object, | 2366 HValue* object, |
| 2343 HInstruction* checked_object, | 2367 HValue* checked_object, |
| 2344 BailoutId ast_id, | 2368 BailoutId ast_id, |
| 2345 BailoutId return_id, | 2369 BailoutId return_id, |
| 2346 bool can_inline_accessor = true); | 2370 bool can_inline_accessor = true); |
| 2347 | 2371 |
| 2348 void HandlePolymorphicStoreNamedField(BailoutId assignment_id, | 2372 void HandlePolymorphicStoreNamedField(BailoutId assignment_id, |
| 2349 HValue* object, | 2373 HValue* object, |
| 2350 HValue* value, | 2374 HValue* value, |
| 2351 SmallMapList* types, | 2375 SmallMapList* types, |
| 2352 Handle<String> name); | 2376 Handle<String> name); |
| 2353 bool TryStorePolymorphicAsMonomorphic(BailoutId assignment_id, | 2377 bool TryStorePolymorphicAsMonomorphic(BailoutId assignment_id, |
| 2354 HValue* object, | 2378 HValue* object, |
| 2355 HValue* value, | 2379 HValue* value, |
| 2356 SmallMapList* types, | 2380 SmallMapList* types, |
| 2357 Handle<String> name); | 2381 Handle<String> name); |
| 2358 void HandlePolymorphicCallNamed(Call* expr, | 2382 void HandlePolymorphicCallNamed(Call* expr, |
| 2359 HValue* receiver, | 2383 HValue* receiver, |
| 2360 SmallMapList* types, | 2384 SmallMapList* types, |
| 2361 Handle<String> name); | 2385 Handle<String> name); |
| 2362 bool TryCallPolymorphicAsMonomorphic(Call* expr, | |
| 2363 HValue* receiver, | |
| 2364 SmallMapList* types, | |
| 2365 Handle<String> name); | |
| 2366 void HandleLiteralCompareTypeof(CompareOperation* expr, | 2386 void HandleLiteralCompareTypeof(CompareOperation* expr, |
| 2367 Expression* sub_expr, | 2387 Expression* sub_expr, |
| 2368 Handle<String> check); | 2388 Handle<String> check); |
| 2369 void HandleLiteralCompareNil(CompareOperation* expr, | 2389 void HandleLiteralCompareNil(CompareOperation* expr, |
| 2370 Expression* sub_expr, | 2390 Expression* sub_expr, |
| 2371 NilValue nil); | 2391 NilValue nil); |
| 2372 HControlInstruction* BuildCompareInstruction(Token::Value op, | 2392 HControlInstruction* BuildCompareInstruction(Token::Value op, |
| 2373 HValue* left, | 2393 HValue* left, |
| 2374 HValue* right, | 2394 HValue* right, |
| 2375 Type* left_type, | 2395 Type* left_type, |
| (...skipping 114 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2490 HValue* object_elements); | 2510 HValue* object_elements); |
| 2491 | 2511 |
| 2492 void BuildEmitFixedArray(Handle<FixedArrayBase> elements, | 2512 void BuildEmitFixedArray(Handle<FixedArrayBase> elements, |
| 2493 ElementsKind kind, | 2513 ElementsKind kind, |
| 2494 HValue* object_elements, | 2514 HValue* object_elements, |
| 2495 AllocationSiteUsageContext* site_context); | 2515 AllocationSiteUsageContext* site_context); |
| 2496 | 2516 |
| 2497 void AddCheckPrototypeMaps(Handle<JSObject> holder, | 2517 void AddCheckPrototypeMaps(Handle<JSObject> holder, |
| 2498 Handle<Map> receiver_map); | 2518 Handle<Map> receiver_map); |
| 2499 | 2519 |
| 2500 void AddCheckConstantFunction(Handle<JSObject> holder, | |
| 2501 HValue* receiver, | |
| 2502 Handle<Map> receiver_map); | |
| 2503 | |
| 2504 HInstruction* NewPlainFunctionCall(HValue* fun, | 2520 HInstruction* NewPlainFunctionCall(HValue* fun, |
| 2505 int argument_count, | 2521 int argument_count, |
| 2506 bool pass_argument_count); | 2522 bool pass_argument_count); |
| 2507 | 2523 |
| 2508 HInstruction* NewArgumentAdaptorCall(HValue* fun, HValue* context, | 2524 HInstruction* NewArgumentAdaptorCall(HValue* fun, HValue* context, |
| 2509 int argument_count, | 2525 int argument_count, |
| 2510 HValue* expected_param_count); | 2526 HValue* expected_param_count); |
| 2511 | 2527 |
| 2512 HInstruction* BuildCallConstantFunction(Handle<JSFunction> target, | 2528 HInstruction* BuildCallConstantFunction(Handle<JSFunction> target, |
| 2513 int argument_count); | 2529 int argument_count); |
| 2514 | 2530 |
| 2515 HInstruction* NewCallKeyed(HValue* key, int argument_count); | |
| 2516 | |
| 2517 HInstruction* NewCallNamed(Handle<String> name, int argument_count); | |
| 2518 | |
| 2519 // The translation state of the currently-being-translated function. | 2531 // The translation state of the currently-being-translated function. |
| 2520 FunctionState* function_state_; | 2532 FunctionState* function_state_; |
| 2521 | 2533 |
| 2522 // The base of the function state stack. | 2534 // The base of the function state stack. |
| 2523 FunctionState initial_function_state_; | 2535 FunctionState initial_function_state_; |
| 2524 | 2536 |
| 2525 // Expression context of the currently visited subexpression. NULL when | 2537 // Expression context of the currently visited subexpression. NULL when |
| 2526 // visiting statements. | 2538 // visiting statements. |
| 2527 AstContext* ast_context_; | 2539 AstContext* ast_context_; |
| 2528 | 2540 |
| (...skipping 171 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2700 } | 2712 } |
| 2701 | 2713 |
| 2702 private: | 2714 private: |
| 2703 HGraphBuilder* builder_; | 2715 HGraphBuilder* builder_; |
| 2704 }; | 2716 }; |
| 2705 | 2717 |
| 2706 | 2718 |
| 2707 } } // namespace v8::internal | 2719 } } // namespace v8::internal |
| 2708 | 2720 |
| 2709 #endif // V8_HYDROGEN_H_ | 2721 #endif // V8_HYDROGEN_H_ |
| OLD | NEW |