OLD | NEW |
---|---|
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/builtins.h" | 5 #include "src/builtins.h" |
6 | 6 |
7 #include "src/api-arguments.h" | 7 #include "src/api-arguments.h" |
8 #include "src/api-natives.h" | 8 #include "src/api-natives.h" |
9 #include "src/api.h" | 9 #include "src/api.h" |
10 #include "src/base/once.h" | 10 #include "src/base/once.h" |
(...skipping 2347 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
2358 // ES6 section 20.2.2.35 Math.trunc ( x ) | 2358 // ES6 section 20.2.2.35 Math.trunc ( x ) |
2359 void Builtins::Generate_MathTrunc(CodeStubAssembler* assembler) { | 2359 void Builtins::Generate_MathTrunc(CodeStubAssembler* assembler) { |
2360 Generate_MathRoundingOperation(assembler, &CodeStubAssembler::Float64Trunc); | 2360 Generate_MathRoundingOperation(assembler, &CodeStubAssembler::Float64Trunc); |
2361 } | 2361 } |
2362 | 2362 |
2363 // ----------------------------------------------------------------------------- | 2363 // ----------------------------------------------------------------------------- |
2364 // ES6 section 25.3 Generator Objects | 2364 // ES6 section 25.3 Generator Objects |
2365 | 2365 |
2366 namespace { | 2366 namespace { |
2367 | 2367 |
2368 enum class ResumeType { Generator, Async }; | |
2369 | |
2368 void Generate_GeneratorPrototypeResume( | 2370 void Generate_GeneratorPrototypeResume( |
Benedikt Meurer
2016/05/02 02:16:47
Please don't hijack this helper function for async
caitp (gmail)
2016/05/02 14:45:46
See the comment on this file in one of the earlier
| |
2369 CodeStubAssembler* assembler, JSGeneratorObject::ResumeMode resume_mode, | 2371 CodeStubAssembler* assembler, JSGeneratorObject::ResumeMode resume_mode, |
2370 char const* const method_name) { | 2372 char const* const method_name, ResumeType type) { |
2371 typedef CodeStubAssembler::Label Label; | 2373 typedef CodeStubAssembler::Label Label; |
2372 typedef compiler::Node Node; | 2374 typedef compiler::Node Node; |
2373 | 2375 |
2374 Node* receiver = assembler->Parameter(0); | 2376 Node* receiver = assembler->Parameter(0); |
2375 Node* value = assembler->Parameter(1); | 2377 Node* value = assembler->Parameter(1); |
2376 Node* context = assembler->Parameter(4); | 2378 Node* context = assembler->Parameter(4); |
2377 Node* closed = assembler->SmiConstant( | 2379 Node* closed = assembler->SmiConstant( |
2378 Smi::FromInt(JSGeneratorObject::kGeneratorClosed)); | 2380 Smi::FromInt(JSGeneratorObject::kGeneratorClosed)); |
2379 | 2381 |
2380 // Check if the {receiver} is actually a JSGeneratorObject. | 2382 // Check if the {receiver} is actually a JSGeneratorObject. |
2381 Label if_receiverisincompatible(assembler, Label::kDeferred); | 2383 Label if_receiverisincompatible(assembler, Label::kDeferred); |
2382 assembler->GotoIf(assembler->WordIsSmi(receiver), &if_receiverisincompatible); | 2384 if (type == ResumeType::Generator || FLAG_debug_code) { |
2383 Node* receiver_instance_type = assembler->LoadInstanceType(receiver); | 2385 assembler->GotoIf(assembler->WordIsSmi(receiver), |
2384 assembler->GotoUnless(assembler->Word32Equal( | 2386 &if_receiverisincompatible); |
2385 receiver_instance_type, | 2387 Node* receiver_instance_type = assembler->LoadInstanceType(receiver); |
2386 assembler->Int32Constant(JS_GENERATOR_OBJECT_TYPE)), | 2388 assembler->GotoUnless(assembler->Word32Equal(receiver_instance_type, |
2387 &if_receiverisincompatible); | 2389 assembler->Int32Constant( |
2390 JS_GENERATOR_OBJECT_TYPE)), | |
2391 &if_receiverisincompatible); | |
2392 } | |
2388 | 2393 |
2389 // Check if the {receiver} is running or already closed. | 2394 // Check if the {receiver} is running or already closed. |
2390 Node* receiver_continuation = assembler->LoadObjectField( | 2395 Node* receiver_continuation = assembler->LoadObjectField( |
2391 receiver, JSGeneratorObject::kContinuationOffset); | 2396 receiver, JSGeneratorObject::kContinuationOffset); |
2392 Label if_receiverisclosed(assembler, Label::kDeferred), | 2397 Label if_receiverisclosed(assembler, Label::kDeferred), |
2393 if_receiverisrunning(assembler, Label::kDeferred); | 2398 if_receiverisrunning(assembler, Label::kDeferred); |
2394 assembler->GotoIf(assembler->SmiEqual(receiver_continuation, closed), | 2399 if (type == ResumeType::Generator || FLAG_debug_code) { |
2395 &if_receiverisclosed); | 2400 assembler->GotoIf(assembler->SmiEqual(receiver_continuation, closed), |
2396 DCHECK_LT(JSGeneratorObject::kGeneratorExecuting, | 2401 &if_receiverisclosed); |
2397 JSGeneratorObject::kGeneratorClosed); | 2402 DCHECK_LT(JSGeneratorObject::kGeneratorExecuting, |
2398 assembler->GotoIf(assembler->SmiLessThan(receiver_continuation, closed), | 2403 JSGeneratorObject::kGeneratorClosed); |
2399 &if_receiverisrunning); | 2404 assembler->GotoIf(assembler->SmiLessThan(receiver_continuation, closed), |
2405 &if_receiverisrunning); | |
2406 } | |
2400 | 2407 |
2401 // Resume the {receiver} using our trampoline. | 2408 // Resume the {receiver} using our trampoline. |
2402 Node* result = assembler->CallStub( | 2409 Node* result = assembler->CallStub( |
2403 CodeFactory::ResumeGenerator(assembler->isolate()), context, value, | 2410 CodeFactory::ResumeGenerator(assembler->isolate()), context, value, |
2404 receiver, assembler->SmiConstant(Smi::FromInt(resume_mode))); | 2411 receiver, assembler->SmiConstant(Smi::FromInt(resume_mode))); |
2405 assembler->Return(result); | 2412 assembler->Return(result); |
2406 | 2413 |
2407 assembler->Bind(&if_receiverisincompatible); | 2414 assembler->Bind(&if_receiverisincompatible); |
2408 { | 2415 if (type == ResumeType::Generator || FLAG_debug_code) { |
2409 // The {receiver} is not a valid JSGeneratorObject. | 2416 // The {receiver} is not a valid JSGeneratorObject. |
2410 Node* result = assembler->CallRuntime( | 2417 Node* result = assembler->CallRuntime( |
2411 Runtime::kThrowIncompatibleMethodReceiver, context, | 2418 Runtime::kThrowIncompatibleMethodReceiver, context, |
2412 assembler->HeapConstant(assembler->factory()->NewStringFromAsciiChecked( | 2419 assembler->HeapConstant(assembler->factory()->NewStringFromAsciiChecked( |
2413 method_name, TENURED)), | 2420 method_name, TENURED)), |
2414 receiver); | 2421 receiver); |
2415 assembler->Return(result); // Never reached. | 2422 assembler->Return(result); // Never reached. |
2416 } | 2423 } |
2417 | 2424 |
2418 assembler->Bind(&if_receiverisclosed); | 2425 if (type == ResumeType::Generator || FLAG_debug_code) { |
2419 { | 2426 assembler->Bind(&if_receiverisclosed); |
2420 // The {receiver} is closed already. | 2427 // The {receiver} is closed already. |
2421 Node* result = nullptr; | 2428 Node* result = nullptr; |
2422 switch (resume_mode) { | 2429 switch (resume_mode) { |
2423 case JSGeneratorObject::kNext: | 2430 case JSGeneratorObject::kNext: |
2424 result = assembler->CallRuntime(Runtime::kCreateIterResultObject, | 2431 result = assembler->CallRuntime(Runtime::kCreateIterResultObject, |
2425 context, assembler->UndefinedConstant(), | 2432 context, assembler->UndefinedConstant(), |
2426 assembler->BooleanConstant(true)); | 2433 assembler->BooleanConstant(true)); |
2427 break; | 2434 break; |
2428 case JSGeneratorObject::kReturn: | 2435 case JSGeneratorObject::kReturn: |
2429 result = | 2436 result = |
2430 assembler->CallRuntime(Runtime::kCreateIterResultObject, context, | 2437 assembler->CallRuntime(Runtime::kCreateIterResultObject, context, |
2431 value, assembler->BooleanConstant(true)); | 2438 value, assembler->BooleanConstant(true)); |
2432 break; | 2439 break; |
2433 case JSGeneratorObject::kThrow: | 2440 case JSGeneratorObject::kThrow: |
2434 result = assembler->CallRuntime(Runtime::kThrow, context, value); | 2441 result = assembler->CallRuntime(Runtime::kThrow, context, value); |
2435 break; | 2442 break; |
2436 } | 2443 } |
2437 assembler->Return(result); | 2444 assembler->Return(result); |
2438 } | 2445 } |
2439 | 2446 |
2440 assembler->Bind(&if_receiverisrunning); | 2447 if (type == ResumeType::Generator || FLAG_debug_code) { |
2441 { | 2448 assembler->Bind(&if_receiverisrunning); |
2442 Node* result = | 2449 Node* result = |
2443 assembler->CallRuntime(Runtime::kThrowGeneratorRunning, context); | 2450 assembler->CallRuntime(Runtime::kThrowGeneratorRunning, context); |
2444 assembler->Return(result); // Never reached. | 2451 assembler->Return(result); // Never reached. |
2445 } | 2452 } |
2446 } | 2453 } |
2447 | 2454 |
2448 } // namespace | 2455 } // namespace |
2449 | 2456 |
2450 // ES6 section 25.3.1.2 Generator.prototype.next ( value ) | 2457 // ES6 section 25.3.1.2 Generator.prototype.next ( value ) |
2451 void Builtins::Generate_GeneratorPrototypeNext(CodeStubAssembler* assembler) { | 2458 void Builtins::Generate_GeneratorPrototypeNext(CodeStubAssembler* assembler) { |
2452 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kNext, | 2459 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kNext, |
2453 "[Generator].prototype.next"); | 2460 "[Generator].prototype.next", |
2461 ResumeType::Generator); | |
2454 } | 2462 } |
2455 | 2463 |
2456 // ES6 section 25.3.1.3 Generator.prototype.return ( value ) | 2464 // ES6 section 25.3.1.3 Generator.prototype.return ( value ) |
2457 void Builtins::Generate_GeneratorPrototypeReturn(CodeStubAssembler* assembler) { | 2465 void Builtins::Generate_GeneratorPrototypeReturn(CodeStubAssembler* assembler) { |
2458 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kReturn, | 2466 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kReturn, |
2459 "[Generator].prototype.return"); | 2467 "[Generator].prototype.return", |
2468 ResumeType::Generator); | |
2460 } | 2469 } |
2461 | 2470 |
2462 // ES6 section 25.3.1.4 Generator.prototype.throw ( exception ) | 2471 // ES6 section 25.3.1.4 Generator.prototype.throw ( exception ) |
2463 void Builtins::Generate_GeneratorPrototypeThrow(CodeStubAssembler* assembler) { | 2472 void Builtins::Generate_GeneratorPrototypeThrow(CodeStubAssembler* assembler) { |
2464 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kThrow, | 2473 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kThrow, |
2465 "[Generator].prototype.throw"); | 2474 "[Generator].prototype.throw", |
2475 ResumeType::Generator); | |
2476 } | |
2477 | |
2478 void Builtins::Generate_AsyncFunctionNext(CodeStubAssembler* assembler) { | |
2479 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kNext, | |
2480 "[AsyncFunction].next", ResumeType::Async); | |
2481 } | |
2482 | |
2483 void Builtins::Generate_AsyncFunctionThrow(CodeStubAssembler* assembler) { | |
2484 Generate_GeneratorPrototypeResume(assembler, JSGeneratorObject::kThrow, | |
2485 "[AsyncFunction].throw", ResumeType::Async); | |
2466 } | 2486 } |
2467 | 2487 |
2468 // ----------------------------------------------------------------------------- | 2488 // ----------------------------------------------------------------------------- |
2469 // ES6 section 26.1 The Reflect Object | 2489 // ES6 section 26.1 The Reflect Object |
2470 | 2490 |
2471 // ES6 section 26.1.3 Reflect.defineProperty | 2491 // ES6 section 26.1.3 Reflect.defineProperty |
2472 BUILTIN(ReflectDefineProperty) { | 2492 BUILTIN(ReflectDefineProperty) { |
2473 HandleScope scope(isolate); | 2493 HandleScope scope(isolate); |
2474 DCHECK_EQ(4, args.length()); | 2494 DCHECK_EQ(4, args.length()); |
2475 Handle<Object> target = args.at<Object>(1); | 2495 Handle<Object> target = args.at<Object>(1); |
(...skipping 2919 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
5395 BUILTIN_LIST_T(DEFINE_BUILTIN_ACCESSOR_T) | 5415 BUILTIN_LIST_T(DEFINE_BUILTIN_ACCESSOR_T) |
5396 BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H) | 5416 BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H) |
5397 BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A) | 5417 BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A) |
5398 #undef DEFINE_BUILTIN_ACCESSOR_C | 5418 #undef DEFINE_BUILTIN_ACCESSOR_C |
5399 #undef DEFINE_BUILTIN_ACCESSOR_A | 5419 #undef DEFINE_BUILTIN_ACCESSOR_A |
5400 #undef DEFINE_BUILTIN_ACCESSOR_T | 5420 #undef DEFINE_BUILTIN_ACCESSOR_T |
5401 #undef DEFINE_BUILTIN_ACCESSOR_H | 5421 #undef DEFINE_BUILTIN_ACCESSOR_H |
5402 | 5422 |
5403 } // namespace internal | 5423 } // namespace internal |
5404 } // namespace v8 | 5424 } // namespace v8 |
OLD | NEW |