OLD | NEW |
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 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 140 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
151 Expression* ParseMemberExpression(bool* ok); | 151 Expression* ParseMemberExpression(bool* ok); |
152 Expression* ParseMemberWithNewPrefixesExpression(List<int>* new_prefixes, | 152 Expression* ParseMemberWithNewPrefixesExpression(List<int>* new_prefixes, |
153 bool* ok); | 153 bool* ok); |
154 Expression* ParsePrimaryExpression(bool* ok); | 154 Expression* ParsePrimaryExpression(bool* ok); |
155 Expression* ParseArrayLiteral(bool* ok); | 155 Expression* ParseArrayLiteral(bool* ok); |
156 Expression* ParseObjectLiteral(bool* ok); | 156 Expression* ParseObjectLiteral(bool* ok); |
157 Expression* ParseRegExpLiteral(bool seen_equal, bool* ok); | 157 Expression* ParseRegExpLiteral(bool seen_equal, bool* ok); |
158 | 158 |
159 // Decide if a property should be the object boilerplate. | 159 // Decide if a property should be the object boilerplate. |
160 bool IsBoilerplateProperty(ObjectLiteral::Property* property); | 160 bool IsBoilerplateProperty(ObjectLiteral::Property* property); |
161 // If the expression is a literal, return the literal value; | 161 // If the property is CONSTANT type, it returns the literal value, |
162 // if the expression is a materialized literal and is simple return a | 162 // otherwise, it return undefined literal as the placeholder |
163 // compile time value as encoded by CompileTimeValue::GetValue(). | |
164 // Otherwise, return undefined literal as the placeholder | |
165 // in the object literal boilerplate. | 163 // in the object literal boilerplate. |
166 Handle<Object> GetBoilerplateValue(Expression* expression); | 164 Literal* GetBoilerplateValue(ObjectLiteral::Property* property); |
167 | 165 |
168 enum FunctionLiteralType { | 166 enum FunctionLiteralType { |
169 EXPRESSION, | 167 EXPRESSION, |
170 DECLARATION, | 168 DECLARATION, |
171 NESTED | 169 NESTED |
172 }; | 170 }; |
173 | 171 |
174 ZoneList<Expression*>* ParseArguments(bool* ok); | 172 ZoneList<Expression*>* ParseArguments(bool* ok); |
175 FunctionLiteral* ParseFunctionLiteral(Handle<String> var_name, | 173 FunctionLiteral* ParseFunctionLiteral(Handle<String> var_name, |
176 int function_token_position, | 174 int function_token_position, |
(...skipping 2874 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3051 } | 3049 } |
3052 values.Add(elem); | 3050 values.Add(elem); |
3053 if (peek() != Token::RBRACK) { | 3051 if (peek() != Token::RBRACK) { |
3054 Expect(Token::COMMA, CHECK_OK); | 3052 Expect(Token::COMMA, CHECK_OK); |
3055 } | 3053 } |
3056 } | 3054 } |
3057 Expect(Token::RBRACK, CHECK_OK); | 3055 Expect(Token::RBRACK, CHECK_OK); |
3058 | 3056 |
3059 // Update the scope information before the pre-parsing bailout. | 3057 // Update the scope information before the pre-parsing bailout. |
3060 temp_scope_->set_contains_array_literal(); | 3058 temp_scope_->set_contains_array_literal(); |
3061 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); | |
3062 | 3059 |
3063 if (is_pre_parsing_) return NULL; | 3060 if (is_pre_parsing_) return NULL; |
3064 | 3061 |
3065 // Allocate a fixed array with all the literals. | 3062 // Allocate a fixed array with all the literals. |
3066 Handle<FixedArray> literals = | 3063 Handle<FixedArray> literals = |
3067 Factory::NewFixedArray(values.length(), TENURED); | 3064 Factory::NewFixedArray(values.length(), TENURED); |
3068 | 3065 |
3069 // Fill in the literals. | 3066 // Fill in the literals. |
3070 bool is_simple = true; | |
3071 for (int i = 0; i < values.length(); i++) { | 3067 for (int i = 0; i < values.length(); i++) { |
3072 Handle<Object> boilerplate_value = GetBoilerplateValue(values.at(i)); | 3068 Literal* literal = values.at(i)->AsLiteral(); |
3073 if (boilerplate_value->IsUndefined()) { | 3069 if (literal == NULL) { |
3074 literals->set_the_hole(i); | 3070 literals->set_the_hole(i); |
3075 is_simple = false; | |
3076 } else { | 3071 } else { |
3077 literals->set(i, *boilerplate_value); | 3072 literals->set(i, *literal->handle()); |
3078 } | 3073 } |
3079 } | 3074 } |
3080 | 3075 |
3081 return NEW(ArrayLiteral(literals, values.elements(), | 3076 return NEW(ArrayLiteral(literals, values.elements())); |
3082 literal_index, is_simple)); | |
3083 } | 3077 } |
3084 | 3078 |
3085 | 3079 |
3086 bool Parser::IsBoilerplateProperty(ObjectLiteral::Property* property) { | 3080 bool Parser::IsBoilerplateProperty(ObjectLiteral::Property* property) { |
3087 return property != NULL && | 3081 return property != NULL && |
3088 property->kind() != ObjectLiteral::Property::PROTOTYPE; | 3082 property->kind() != ObjectLiteral::Property::PROTOTYPE; |
3089 } | 3083 } |
3090 | 3084 |
3091 | 3085 |
3092 bool CompileTimeValue::IsCompileTimeValue(Expression* expression) { | 3086 Literal* Parser::GetBoilerplateValue(ObjectLiteral::Property* property) { |
3093 MaterializedLiteral* lit = expression->AsMaterializedLiteral(); | 3087 if (property->kind() == ObjectLiteral::Property::CONSTANT) |
3094 return lit != NULL && lit->is_simple(); | 3088 return property->value()->AsLiteral(); |
3095 } | 3089 return GetLiteralUndefined(); |
3096 | |
3097 Handle<FixedArray> CompileTimeValue::GetValue(Expression* expression) { | |
3098 ASSERT(IsCompileTimeValue(expression)); | |
3099 Handle<FixedArray> result = Factory::NewFixedArray(2, TENURED); | |
3100 ObjectLiteral* object_literal = expression->AsObjectLiteral(); | |
3101 if (object_literal != NULL) { | |
3102 ASSERT(object_literal->is_simple()); | |
3103 result->set(kTypeSlot, Smi::FromInt(OBJECT_LITERAL)); | |
3104 result->set(kElementsSlot, *object_literal->constant_properties()); | |
3105 } else { | |
3106 ArrayLiteral* array_literal = expression->AsArrayLiteral(); | |
3107 ASSERT(array_literal != NULL && array_literal->is_simple()); | |
3108 result->set(kTypeSlot, Smi::FromInt(ARRAY_LITERAL)); | |
3109 result->set(kElementsSlot, *array_literal->literals()); | |
3110 } | |
3111 return result; | |
3112 } | |
3113 | |
3114 | |
3115 CompileTimeValue::Type CompileTimeValue::GetType(Handle<FixedArray> value) { | |
3116 Smi* type_value = Smi::cast(value->get(kTypeSlot)); | |
3117 return static_cast<Type>(type_value->value()); | |
3118 } | |
3119 | |
3120 | |
3121 Handle<FixedArray> CompileTimeValue::GetElements(Handle<FixedArray> value) { | |
3122 return Handle<FixedArray>(FixedArray::cast(value->get(kElementsSlot))); | |
3123 } | |
3124 | |
3125 | |
3126 Handle<Object> Parser::GetBoilerplateValue(Expression* expression) { | |
3127 if (expression->AsLiteral() != NULL) { | |
3128 return expression->AsLiteral()->handle(); | |
3129 } | |
3130 if (CompileTimeValue::IsCompileTimeValue(expression)) { | |
3131 return CompileTimeValue::GetValue(expression); | |
3132 } | |
3133 return Factory::undefined_value(); | |
3134 } | 3090 } |
3135 | 3091 |
3136 | 3092 |
3137 Expression* Parser::ParseObjectLiteral(bool* ok) { | 3093 Expression* Parser::ParseObjectLiteral(bool* ok) { |
3138 // ObjectLiteral :: | 3094 // ObjectLiteral :: |
3139 // '{' ( | 3095 // '{' ( |
3140 // ((Identifier | String | Number) ':' AssignmentExpression) | 3096 // ((Identifier | String | Number) ':' AssignmentExpression) |
3141 // | (('get' | 'set') FunctionLiteral) | 3097 // | (('get' | 'set') FunctionLiteral) |
3142 // )*[','] '}' | 3098 // )*[','] '}' |
3143 | 3099 |
(...skipping 74 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3218 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); | 3174 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); |
3219 } | 3175 } |
3220 Expect(Token::RBRACE, CHECK_OK); | 3176 Expect(Token::RBRACE, CHECK_OK); |
3221 // Computation of literal_index must happen before pre parse bailout. | 3177 // Computation of literal_index must happen before pre parse bailout. |
3222 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); | 3178 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); |
3223 if (is_pre_parsing_) return NULL; | 3179 if (is_pre_parsing_) return NULL; |
3224 | 3180 |
3225 Handle<FixedArray> constant_properties = | 3181 Handle<FixedArray> constant_properties = |
3226 Factory::NewFixedArray(number_of_boilerplate_properties * 2, TENURED); | 3182 Factory::NewFixedArray(number_of_boilerplate_properties * 2, TENURED); |
3227 int position = 0; | 3183 int position = 0; |
3228 bool is_simple = true; | |
3229 for (int i = 0; i < properties.length(); i++) { | 3184 for (int i = 0; i < properties.length(); i++) { |
3230 ObjectLiteral::Property* property = properties.at(i); | 3185 ObjectLiteral::Property* property = properties.at(i); |
3231 if (!IsBoilerplateProperty(property)) { | 3186 if (!IsBoilerplateProperty(property)) continue; |
3232 is_simple = false; | |
3233 continue; | |
3234 } | |
3235 | 3187 |
3236 // Add CONSTANT and COMPUTED properties to boilerplate. Use undefined | 3188 // Add CONSTANT and COMPUTED properties to boilerplate. Use undefined |
3237 // value for COMPUTED properties, the real value is filled in at | 3189 // value for COMPUTED properties, the real value is filled in at |
3238 // runtime. The enumeration order is maintained. | 3190 // runtime. The enumeration order is maintained. |
3239 Handle<Object> key = property->key()->handle(); | 3191 Handle<Object> key = property->key()->handle(); |
3240 Handle<Object> value = GetBoilerplateValue(property->value()); | 3192 Literal* literal = GetBoilerplateValue(property); |
3241 is_simple = is_simple && !value->IsUndefined(); | |
3242 | 3193 |
3243 // Add name, value pair to the fixed array. | 3194 // Add name, value pair to the fixed array. |
3244 constant_properties->set(position++, *key); | 3195 constant_properties->set(position++, *key); |
3245 constant_properties->set(position++, *value); | 3196 constant_properties->set(position++, *literal->handle()); |
3246 } | 3197 } |
3247 | 3198 |
3248 return new ObjectLiteral(constant_properties, | 3199 return new ObjectLiteral(constant_properties, |
3249 properties.elements(), | 3200 properties.elements(), |
3250 literal_index, | 3201 literal_index); |
3251 is_simple); | |
3252 } | 3202 } |
3253 | 3203 |
3254 | 3204 |
3255 Expression* Parser::ParseRegExpLiteral(bool seen_equal, bool* ok) { | 3205 Expression* Parser::ParseRegExpLiteral(bool seen_equal, bool* ok) { |
3256 if (!scanner_.ScanRegExpPattern(seen_equal)) { | 3206 if (!scanner_.ScanRegExpPattern(seen_equal)) { |
3257 Next(); | 3207 Next(); |
3258 ReportMessage("unterminated_regexp", Vector<const char*>::empty()); | 3208 ReportMessage("unterminated_regexp", Vector<const char*>::empty()); |
3259 *ok = false; | 3209 *ok = false; |
3260 return NULL; | 3210 return NULL; |
3261 } | 3211 } |
(...skipping 1299 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4561 start_position, | 4511 start_position, |
4562 is_expression); | 4512 is_expression); |
4563 return result; | 4513 return result; |
4564 } | 4514 } |
4565 | 4515 |
4566 | 4516 |
4567 #undef NEW | 4517 #undef NEW |
4568 | 4518 |
4569 | 4519 |
4570 } } // namespace v8::internal | 4520 } } // namespace v8::internal |
OLD | NEW |