| 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 #ifndef V8_AST_AST_H_ | 5 #ifndef V8_AST_AST_H_ |
| 6 #define V8_AST_AST_H_ | 6 #define V8_AST_AST_H_ |
| 7 | 7 |
| 8 #include "src/ast/ast-types.h" | 8 #include "src/ast/ast-types.h" |
| 9 #include "src/ast/ast-value-factory.h" | 9 #include "src/ast/ast-value-factory.h" |
| 10 #include "src/ast/modules.h" | 10 #include "src/ast/modules.h" |
| (...skipping 2650 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2661 bool should_be_used_once_hint() const { | 2661 bool should_be_used_once_hint() const { |
| 2662 return ShouldNotBeUsedOnceHintField::decode(bit_field_); | 2662 return ShouldNotBeUsedOnceHintField::decode(bit_field_); |
| 2663 } | 2663 } |
| 2664 void set_should_be_used_once_hint() { | 2664 void set_should_be_used_once_hint() { |
| 2665 bit_field_ = ShouldNotBeUsedOnceHintField::update(bit_field_, true); | 2665 bit_field_ = ShouldNotBeUsedOnceHintField::update(bit_field_, true); |
| 2666 } | 2666 } |
| 2667 | 2667 |
| 2668 FunctionType function_type() const { | 2668 FunctionType function_type() const { |
| 2669 return FunctionTypeBits::decode(bit_field_); | 2669 return FunctionTypeBits::decode(bit_field_); |
| 2670 } | 2670 } |
| 2671 FunctionKind kind() const { return FunctionKindBits::decode(bit_field_); } | 2671 FunctionKind kind() const; |
| 2672 | 2672 |
| 2673 int ast_node_count() { return ast_properties_.node_count(); } | 2673 int ast_node_count() { return ast_properties_.node_count(); } |
| 2674 AstProperties::Flags flags() const { return ast_properties_.flags(); } | 2674 AstProperties::Flags flags() const { return ast_properties_.flags(); } |
| 2675 void set_ast_properties(AstProperties* ast_properties) { | 2675 void set_ast_properties(AstProperties* ast_properties) { |
| 2676 ast_properties_ = *ast_properties; | 2676 ast_properties_ = *ast_properties; |
| 2677 } | 2677 } |
| 2678 const FeedbackVectorSpec* feedback_vector_spec() const { | 2678 const FeedbackVectorSpec* feedback_vector_spec() const { |
| 2679 return ast_properties_.get_spec(); | 2679 return ast_properties_.get_spec(); |
| 2680 } | 2680 } |
| 2681 bool dont_optimize() { return dont_optimize_reason() != kNoReason; } | 2681 bool dont_optimize() { return dont_optimize_reason() != kNoReason; } |
| 2682 BailoutReason dont_optimize_reason() { | 2682 BailoutReason dont_optimize_reason() { |
| 2683 return DontOptimizeReasonField::decode(bit_field_2_); | 2683 return DontOptimizeReasonField::decode(bit_field_); |
| 2684 } | 2684 } |
| 2685 void set_dont_optimize_reason(BailoutReason reason) { | 2685 void set_dont_optimize_reason(BailoutReason reason) { |
| 2686 bit_field_2_ = DontOptimizeReasonField::update(bit_field_2_, reason); | 2686 bit_field_ = DontOptimizeReasonField::update(bit_field_, reason); |
| 2687 } | 2687 } |
| 2688 | 2688 |
| 2689 bool IsAnonymousFunctionDefinition() const { | 2689 bool IsAnonymousFunctionDefinition() const { |
| 2690 return is_anonymous_expression(); | 2690 return is_anonymous_expression(); |
| 2691 } | 2691 } |
| 2692 | 2692 |
| 2693 int yield_count() { return yield_count_; } | 2693 int yield_count() { return yield_count_; } |
| 2694 void set_yield_count(int yield_count) { yield_count_ = yield_count; } | 2694 void set_yield_count(int yield_count) { yield_count_ = yield_count; } |
| 2695 | 2695 |
| 2696 bool requires_class_field_init() { | 2696 bool requires_class_field_init() { |
| 2697 return RequiresClassFieldInit::decode(bit_field_); | 2697 return RequiresClassFieldInit::decode(bit_field_); |
| 2698 } | 2698 } |
| 2699 void set_requires_class_field_init(bool requires_class_field_init) { | 2699 void set_requires_class_field_init(bool requires_class_field_init) { |
| 2700 bit_field_ = | 2700 bit_field_ = |
| 2701 RequiresClassFieldInit::update(bit_field_, requires_class_field_init); | 2701 RequiresClassFieldInit::update(bit_field_, requires_class_field_init); |
| 2702 } | 2702 } |
| 2703 bool is_class_field_initializer() { | 2703 bool is_class_field_initializer() { |
| 2704 return IsClassFieldInitializer::decode(bit_field_2_); | 2704 return IsClassFieldInitializer::decode(bit_field_); |
| 2705 } | 2705 } |
| 2706 void set_is_class_field_initializer(bool is_class_field_initializer) { | 2706 void set_is_class_field_initializer(bool is_class_field_initializer) { |
| 2707 bit_field_ = IsClassFieldInitializer::update(bit_field_2_, | 2707 bit_field_ = |
| 2708 is_class_field_initializer); | 2708 IsClassFieldInitializer::update(bit_field_, is_class_field_initializer); |
| 2709 } | 2709 } |
| 2710 | 2710 |
| 2711 private: | 2711 private: |
| 2712 friend class AstNodeFactory; | 2712 friend class AstNodeFactory; |
| 2713 | 2713 |
| 2714 FunctionLiteral(Zone* zone, const AstString* name, | 2714 FunctionLiteral(Zone* zone, const AstString* name, |
| 2715 AstValueFactory* ast_value_factory, DeclarationScope* scope, | 2715 AstValueFactory* ast_value_factory, DeclarationScope* scope, |
| 2716 ZoneList<Statement*>* body, int materialized_literal_count, | 2716 ZoneList<Statement*>* body, int materialized_literal_count, |
| 2717 int expected_property_count, int parameter_count, | 2717 int expected_property_count, int parameter_count, |
| 2718 FunctionType function_type, | 2718 FunctionType function_type, |
| 2719 ParameterFlag has_duplicate_parameters, | 2719 ParameterFlag has_duplicate_parameters, |
| 2720 EagerCompileHint eager_compile_hint, FunctionKind kind, | 2720 EagerCompileHint eager_compile_hint, int position, |
| 2721 int position, bool is_function) | 2721 bool is_function) |
| 2722 : Expression(position, kFunctionLiteral), | 2722 : Expression(position, kFunctionLiteral), |
| 2723 materialized_literal_count_(materialized_literal_count), | 2723 materialized_literal_count_(materialized_literal_count), |
| 2724 expected_property_count_(expected_property_count), | 2724 expected_property_count_(expected_property_count), |
| 2725 parameter_count_(parameter_count), | 2725 parameter_count_(parameter_count), |
| 2726 function_token_position_(kNoSourcePosition), | 2726 function_token_position_(kNoSourcePosition), |
| 2727 yield_count_(0), | 2727 yield_count_(0), |
| 2728 raw_name_(name), | 2728 raw_name_(name), |
| 2729 scope_(scope), | 2729 scope_(scope), |
| 2730 body_(body), | 2730 body_(body), |
| 2731 raw_inferred_name_(ast_value_factory->empty_string()), | 2731 raw_inferred_name_(ast_value_factory->empty_string()), |
| 2732 ast_properties_(zone) { | 2732 ast_properties_(zone) { |
| 2733 bit_field_ |= | 2733 bit_field_ |= |
| 2734 FunctionTypeBits::encode(function_type) | Pretenure::encode(false) | | 2734 FunctionTypeBits::encode(function_type) | Pretenure::encode(false) | |
| 2735 HasDuplicateParameters::encode(has_duplicate_parameters == | 2735 HasDuplicateParameters::encode(has_duplicate_parameters == |
| 2736 kHasDuplicateParameters) | | 2736 kHasDuplicateParameters) | |
| 2737 IsFunction::encode(is_function) | | 2737 IsFunction::encode(is_function) | |
| 2738 ShouldEagerCompile::encode(eager_compile_hint == kShouldEagerCompile) | | 2738 ShouldEagerCompile::encode(eager_compile_hint == kShouldEagerCompile) | |
| 2739 FunctionKindBits::encode(kind) | RequiresClassFieldInit::encode(false) | | 2739 RequiresClassFieldInit::encode(false) | |
| 2740 ShouldNotBeUsedOnceHintField::encode(false); | 2740 ShouldNotBeUsedOnceHintField::encode(false) | |
| 2741 | 2741 DontOptimizeReasonField::encode(kNoReason) | |
| 2742 bit_field_2_ = DontOptimizeReasonField::encode(kNoReason) | | 2742 IsClassFieldInitializer::encode(false); |
| 2743 IsClassFieldInitializer::encode(false); | |
| 2744 | |
| 2745 DCHECK(IsValidFunctionKind(kind)); | |
| 2746 } | 2743 } |
| 2747 | 2744 |
| 2748 class FunctionTypeBits | 2745 class FunctionTypeBits |
| 2749 : public BitField<FunctionType, Expression::kNextBitFieldIndex, 2> {}; | 2746 : public BitField<FunctionType, Expression::kNextBitFieldIndex, 2> {}; |
| 2750 class Pretenure : public BitField<bool, FunctionTypeBits::kNext, 1> {}; | 2747 class Pretenure : public BitField<bool, FunctionTypeBits::kNext, 1> {}; |
| 2751 class HasDuplicateParameters : public BitField<bool, Pretenure::kNext, 1> {}; | 2748 class HasDuplicateParameters : public BitField<bool, Pretenure::kNext, 1> {}; |
| 2752 class IsFunction : public BitField<bool, HasDuplicateParameters::kNext, 1> {}; | 2749 class IsFunction : public BitField<bool, HasDuplicateParameters::kNext, 1> {}; |
| 2753 class ShouldEagerCompile : public BitField<bool, IsFunction::kNext, 1> {}; | 2750 class ShouldEagerCompile : public BitField<bool, IsFunction::kNext, 1> {}; |
| 2754 class FunctionKindBits | |
| 2755 : public BitField<FunctionKind, ShouldEagerCompile::kNext, 9> {}; | |
| 2756 class ShouldNotBeUsedOnceHintField | 2751 class ShouldNotBeUsedOnceHintField |
| 2757 : public BitField<bool, FunctionKindBits::kNext, 1> {}; | 2752 : public BitField<bool, ShouldEagerCompile::kNext, 1> {}; |
| 2758 class RequiresClassFieldInit | 2753 class RequiresClassFieldInit |
| 2759 : public BitField<bool, ShouldNotBeUsedOnceHintField::kNext, 1> {}; | 2754 : public BitField<bool, ShouldNotBeUsedOnceHintField::kNext, 1> {}; |
| 2760 | 2755 class IsClassFieldInitializer |
| 2761 uint32_t bit_field_2_; | 2756 : public BitField<bool, RequiresClassFieldInit::kNext, 1> {}; |
| 2762 | |
| 2763 class IsClassFieldInitializer : public BitField<bool, 0, 1> {}; | |
| 2764 class DontOptimizeReasonField | 2757 class DontOptimizeReasonField |
| 2765 : public BitField<BailoutReason, IsClassFieldInitializer::kNext, 8> {}; | 2758 : public BitField<BailoutReason, IsClassFieldInitializer::kNext, 8> {}; |
| 2766 | 2759 |
| 2767 int materialized_literal_count_; | 2760 int materialized_literal_count_; |
| 2768 int expected_property_count_; | 2761 int expected_property_count_; |
| 2769 int parameter_count_; | 2762 int parameter_count_; |
| 2770 int function_token_position_; | 2763 int function_token_position_; |
| 2771 int yield_count_; | 2764 int yield_count_; |
| 2772 | 2765 |
| 2773 const AstString* raw_name_; | 2766 const AstString* raw_name_; |
| (...skipping 688 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3462 Throw* NewThrow(Expression* exception, int pos) { | 3455 Throw* NewThrow(Expression* exception, int pos) { |
| 3463 return new (zone_) Throw(exception, pos); | 3456 return new (zone_) Throw(exception, pos); |
| 3464 } | 3457 } |
| 3465 | 3458 |
| 3466 FunctionLiteral* NewFunctionLiteral( | 3459 FunctionLiteral* NewFunctionLiteral( |
| 3467 const AstRawString* name, DeclarationScope* scope, | 3460 const AstRawString* name, DeclarationScope* scope, |
| 3468 ZoneList<Statement*>* body, int materialized_literal_count, | 3461 ZoneList<Statement*>* body, int materialized_literal_count, |
| 3469 int expected_property_count, int parameter_count, | 3462 int expected_property_count, int parameter_count, |
| 3470 FunctionLiteral::ParameterFlag has_duplicate_parameters, | 3463 FunctionLiteral::ParameterFlag has_duplicate_parameters, |
| 3471 FunctionLiteral::FunctionType function_type, | 3464 FunctionLiteral::FunctionType function_type, |
| 3472 FunctionLiteral::EagerCompileHint eager_compile_hint, FunctionKind kind, | 3465 FunctionLiteral::EagerCompileHint eager_compile_hint, int position) { |
| 3473 int position) { | 3466 return new (zone_) FunctionLiteral(zone_, name, ast_value_factory_, scope, |
| 3474 return new (zone_) FunctionLiteral( | 3467 body, materialized_literal_count, |
| 3475 zone_, name, ast_value_factory_, scope, body, | 3468 expected_property_count, parameter_count, |
| 3476 materialized_literal_count, expected_property_count, parameter_count, | 3469 function_type, has_duplicate_parameters, |
| 3477 function_type, has_duplicate_parameters, eager_compile_hint, kind, | 3470 eager_compile_hint, position, true); |
| 3478 position, true); | |
| 3479 } | 3471 } |
| 3480 | 3472 |
| 3481 // Creates a FunctionLiteral representing a top-level script, the | 3473 // Creates a FunctionLiteral representing a top-level script, the |
| 3482 // result of an eval (top-level or otherwise), or the result of calling | 3474 // result of an eval (top-level or otherwise), or the result of calling |
| 3483 // the Function constructor. | 3475 // the Function constructor. |
| 3484 FunctionLiteral* NewScriptOrEvalFunctionLiteral( | 3476 FunctionLiteral* NewScriptOrEvalFunctionLiteral( |
| 3485 DeclarationScope* scope, ZoneList<Statement*>* body, | 3477 DeclarationScope* scope, ZoneList<Statement*>* body, |
| 3486 int materialized_literal_count, int expected_property_count, | 3478 int materialized_literal_count, int expected_property_count, |
| 3487 int parameter_count) { | 3479 int parameter_count) { |
| 3488 return new (zone_) FunctionLiteral( | 3480 return new (zone_) FunctionLiteral( |
| 3489 zone_, ast_value_factory_->empty_string(), ast_value_factory_, scope, | 3481 zone_, ast_value_factory_->empty_string(), ast_value_factory_, scope, |
| 3490 body, materialized_literal_count, expected_property_count, | 3482 body, materialized_literal_count, expected_property_count, |
| 3491 parameter_count, FunctionLiteral::kAnonymousExpression, | 3483 parameter_count, FunctionLiteral::kAnonymousExpression, |
| 3492 FunctionLiteral::kNoDuplicateParameters, | 3484 FunctionLiteral::kNoDuplicateParameters, |
| 3493 FunctionLiteral::kShouldLazyCompile, FunctionKind::kNormalFunction, 0, | 3485 FunctionLiteral::kShouldLazyCompile, 0, false); |
| 3494 false); | |
| 3495 } | 3486 } |
| 3496 | 3487 |
| 3497 ClassLiteral::Property* NewClassLiteralProperty( | 3488 ClassLiteral::Property* NewClassLiteralProperty( |
| 3498 Expression* key, Expression* value, ClassLiteralProperty::Kind kind, | 3489 Expression* key, Expression* value, ClassLiteralProperty::Kind kind, |
| 3499 bool is_static, bool is_computed_name) { | 3490 bool is_static, bool is_computed_name) { |
| 3500 return new (zone_) | 3491 return new (zone_) |
| 3501 ClassLiteral::Property(key, value, kind, is_static, is_computed_name); | 3492 ClassLiteral::Property(key, value, kind, is_static, is_computed_name); |
| 3502 } | 3493 } |
| 3503 | 3494 |
| 3504 ClassLiteral* NewClassLiteral(VariableProxy* proxy, Expression* extends, | 3495 ClassLiteral* NewClassLiteral(VariableProxy* proxy, Expression* extends, |
| (...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3609 : NULL; \ | 3600 : NULL; \ |
| 3610 } | 3601 } |
| 3611 AST_NODE_LIST(DECLARE_NODE_FUNCTIONS) | 3602 AST_NODE_LIST(DECLARE_NODE_FUNCTIONS) |
| 3612 #undef DECLARE_NODE_FUNCTIONS | 3603 #undef DECLARE_NODE_FUNCTIONS |
| 3613 | 3604 |
| 3614 | 3605 |
| 3615 } // namespace internal | 3606 } // namespace internal |
| 3616 } // namespace v8 | 3607 } // namespace v8 |
| 3617 | 3608 |
| 3618 #endif // V8_AST_AST_H_ | 3609 #endif // V8_AST_AST_H_ |
| OLD | NEW |