| 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/ast/ast.h" | 5 #include "src/ast/ast.h" |
| 6 | 6 |
| 7 #include <cmath> // For isfinite. | 7 #include <cmath> // For isfinite. |
| 8 | 8 |
| 9 #include "src/ast/prettyprinter.h" | 9 #include "src/ast/prettyprinter.h" |
| 10 #include "src/ast/scopes.h" | 10 #include "src/ast/scopes.h" |
| (...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 80 | 80 |
| 81 bool Expression::IsSmiLiteral() const { | 81 bool Expression::IsSmiLiteral() const { |
| 82 return IsLiteral() && AsLiteral()->value()->IsSmi(); | 82 return IsLiteral() && AsLiteral()->value()->IsSmi(); |
| 83 } | 83 } |
| 84 | 84 |
| 85 | 85 |
| 86 bool Expression::IsStringLiteral() const { | 86 bool Expression::IsStringLiteral() const { |
| 87 return IsLiteral() && AsLiteral()->value()->IsString(); | 87 return IsLiteral() && AsLiteral()->value()->IsString(); |
| 88 } | 88 } |
| 89 | 89 |
| 90 bool Expression::IsPropertyName() const { | 90 bool Expression::IsPropertyName(HandleDereferenceMode deref_mode) const { |
| 91 return IsLiteral() && AsLiteral()->IsPropertyName(); | 91 return IsLiteral() && AsLiteral()->IsPropertyName(deref_mode); |
| 92 } | 92 } |
| 93 | 93 |
| 94 bool Expression::IsNullLiteral() const { | 94 bool Expression::IsNullLiteral() const { |
| 95 if (!IsLiteral()) return false; | 95 if (!IsLiteral()) return false; |
| 96 Handle<Object> value = AsLiteral()->value(); | 96 return AsLiteral()->raw_value()->IsNull(); |
| 97 return !value->IsSmi() && | |
| 98 value->IsNull(HeapObject::cast(*value)->GetIsolate()); | |
| 99 } | 97 } |
| 100 | 98 |
| 101 bool Expression::IsUndefinedLiteral() const { | 99 bool Expression::IsUndefinedLiteral() const { |
| 102 if (IsLiteral()) { | 100 if (IsLiteral()) { |
| 103 Handle<Object> value = AsLiteral()->value(); | 101 if (AsLiteral()->raw_value()->IsUndefined()) { |
| 104 if (!value->IsSmi() && | |
| 105 value->IsUndefined(HeapObject::cast(*value)->GetIsolate())) { | |
| 106 return true; | 102 return true; |
| 107 } | 103 } |
| 108 } | 104 } |
| 109 | 105 |
| 110 const VariableProxy* var_proxy = AsVariableProxy(); | 106 const VariableProxy* var_proxy = AsVariableProxy(); |
| 111 if (var_proxy == NULL) return false; | 107 if (var_proxy == NULL) return false; |
| 112 Variable* var = var_proxy->var(); | 108 Variable* var = var_proxy->var(); |
| 113 // The global identifier "undefined" is immutable. Everything | 109 // The global identifier "undefined" is immutable. Everything |
| 114 // else could be reassigned. | 110 // else could be reassigned. |
| 115 return var != NULL && var->IsUnallocatedOrGlobalSlot() && | 111 return var != NULL && var->IsUnallocatedOrGlobalSlot() && |
| (...skipping 782 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 898 return static_cast<const Node*>(this)->IsMonomorphic(); | 894 return static_cast<const Node*>(this)->IsMonomorphic(); |
| 899 PROPERTY_NODE_LIST(GENERATE_CASE) | 895 PROPERTY_NODE_LIST(GENERATE_CASE) |
| 900 CALL_NODE_LIST(GENERATE_CASE) | 896 CALL_NODE_LIST(GENERATE_CASE) |
| 901 #undef GENERATE_CASE | 897 #undef GENERATE_CASE |
| 902 default: | 898 default: |
| 903 UNREACHABLE(); | 899 UNREACHABLE(); |
| 904 return false; | 900 return false; |
| 905 } | 901 } |
| 906 } | 902 } |
| 907 | 903 |
| 908 bool Call::IsUsingCallFeedbackICSlot(Isolate* isolate) const { | 904 bool Call::IsUsingCallFeedbackICSlot( |
| 909 CallType call_type = GetCallType(isolate); | 905 Isolate* isolate, HandleDereferenceMode dereference_mode) const { |
| 906 CallType call_type = GetCallType(isolate, dereference_mode); |
| 910 if (call_type == POSSIBLY_EVAL_CALL) { | 907 if (call_type == POSSIBLY_EVAL_CALL) { |
| 911 return false; | 908 return false; |
| 912 } | 909 } |
| 913 return true; | 910 return true; |
| 914 } | 911 } |
| 915 | 912 |
| 916 | 913 bool Call::IsUsingCallFeedbackSlot( |
| 917 bool Call::IsUsingCallFeedbackSlot(Isolate* isolate) const { | 914 Isolate* isolate, HandleDereferenceMode dereference_mode) const { |
| 918 // SuperConstructorCall uses a CallConstructStub, which wants | 915 // SuperConstructorCall uses a CallConstructStub, which wants |
| 919 // a Slot, in addition to any IC slots requested elsewhere. | 916 // a Slot, in addition to any IC slots requested elsewhere. |
| 920 return GetCallType(isolate) == SUPER_CALL; | 917 return GetCallType(isolate, dereference_mode) == SUPER_CALL; |
| 921 } | 918 } |
| 922 | 919 |
| 923 | 920 |
| 924 void Call::AssignFeedbackVectorSlots(Isolate* isolate, FeedbackVectorSpec* spec, | 921 void Call::AssignFeedbackVectorSlots(Isolate* isolate, FeedbackVectorSpec* spec, |
| 925 FeedbackVectorSlotCache* cache) { | 922 FeedbackVectorSlotCache* cache) { |
| 926 if (IsUsingCallFeedbackICSlot(isolate)) { | 923 if (IsUsingCallFeedbackICSlot(isolate)) { |
| 927 ic_slot_ = spec->AddCallICSlot(); | 924 ic_slot_ = spec->AddCallICSlot(); |
| 928 } | 925 } |
| 929 if (IsUsingCallFeedbackSlot(isolate)) { | 926 if (IsUsingCallFeedbackSlot(isolate)) { |
| 930 stub_slot_ = spec->AddGeneralSlot(); | 927 stub_slot_ = spec->AddGeneralSlot(); |
| 931 } | 928 } |
| 932 } | 929 } |
| 933 | 930 |
| 934 | 931 Call::CallType Call::GetCallType(Isolate* isolate, |
| 935 Call::CallType Call::GetCallType(Isolate* isolate) const { | 932 HandleDereferenceMode deref_mode) const { |
| 936 VariableProxy* proxy = expression()->AsVariableProxy(); | 933 VariableProxy* proxy = expression()->AsVariableProxy(); |
| 937 if (proxy != NULL) { | 934 if (proxy != NULL) { |
| 938 if (proxy->var()->is_possibly_eval(isolate)) { | 935 if (proxy->var()->is_possibly_eval(isolate, deref_mode)) { |
| 939 return POSSIBLY_EVAL_CALL; | 936 return POSSIBLY_EVAL_CALL; |
| 940 } else if (proxy->var()->IsUnallocatedOrGlobalSlot()) { | 937 } else if (proxy->var()->IsUnallocatedOrGlobalSlot()) { |
| 941 return GLOBAL_CALL; | 938 return GLOBAL_CALL; |
| 942 } else if (proxy->var()->IsLookupSlot()) { | 939 } else if (proxy->var()->IsLookupSlot()) { |
| 943 return LOOKUP_SLOT_CALL; | 940 return LOOKUP_SLOT_CALL; |
| 944 } | 941 } |
| 945 } | 942 } |
| 946 | 943 |
| 947 if (expression()->IsSuperCallReference()) return SUPER_CALL; | 944 if (expression()->IsSuperCallReference()) return SUPER_CALL; |
| 948 | 945 |
| 949 Property* property = expression()->AsProperty(); | 946 Property* property = expression()->AsProperty(); |
| 950 if (property != nullptr) { | 947 if (property != nullptr) { |
| 951 bool is_super = property->IsSuperAccess(); | 948 bool is_super = property->IsSuperAccess(); |
| 952 if (property->key()->IsPropertyName()) { | 949 if (property->key()->IsPropertyName(deref_mode)) { |
| 953 return is_super ? NAMED_SUPER_PROPERTY_CALL : NAMED_PROPERTY_CALL; | 950 return is_super ? NAMED_SUPER_PROPERTY_CALL : NAMED_PROPERTY_CALL; |
| 954 } else { | 951 } else { |
| 955 return is_super ? KEYED_SUPER_PROPERTY_CALL : KEYED_PROPERTY_CALL; | 952 return is_super ? KEYED_SUPER_PROPERTY_CALL : KEYED_PROPERTY_CALL; |
| 956 } | 953 } |
| 957 } | 954 } |
| 958 | 955 |
| 959 return OTHER_CALL; | 956 return OTHER_CALL; |
| 960 } | 957 } |
| 961 | 958 |
| 962 | 959 |
| (...skipping 12 matching lines...) Expand all Loading... |
| 975 | 972 |
| 976 | 973 |
| 977 // static | 974 // static |
| 978 bool Literal::Match(void* literal1, void* literal2) { | 975 bool Literal::Match(void* literal1, void* literal2) { |
| 979 const AstValue* x = static_cast<Literal*>(literal1)->raw_value(); | 976 const AstValue* x = static_cast<Literal*>(literal1)->raw_value(); |
| 980 const AstValue* y = static_cast<Literal*>(literal2)->raw_value(); | 977 const AstValue* y = static_cast<Literal*>(literal2)->raw_value(); |
| 981 return (x->IsString() && y->IsString() && x->AsString() == y->AsString()) || | 978 return (x->IsString() && y->IsString() && x->AsString() == y->AsString()) || |
| 982 (x->IsNumber() && y->IsNumber() && x->AsNumber() == y->AsNumber()); | 979 (x->IsNumber() && y->IsNumber() && x->AsNumber() == y->AsNumber()); |
| 983 } | 980 } |
| 984 | 981 |
| 985 | |
| 986 } // namespace internal | 982 } // namespace internal |
| 987 } // namespace v8 | 983 } // namespace v8 |
| OLD | NEW |