| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/parser.h" | 5 #include "vm/parser.h" |
| 6 | 6 |
| 7 #include "lib/invocation_mirror.h" | 7 #include "lib/invocation_mirror.h" |
| 8 #include "vm/bigint_operations.h" | 8 #include "vm/bigint_operations.h" |
| 9 #include "vm/class_finalizer.h" | 9 #include "vm/class_finalizer.h" |
| 10 #include "vm/compiler.h" | 10 #include "vm/compiler.h" |
| (...skipping 758 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 769 case RawFunction::kConstImplicitGetter: | 769 case RawFunction::kConstImplicitGetter: |
| 770 node_sequence = parser.ParseStaticConstGetter(func); | 770 node_sequence = parser.ParseStaticConstGetter(func); |
| 771 break; | 771 break; |
| 772 case RawFunction::kMethodExtractor: | 772 case RawFunction::kMethodExtractor: |
| 773 node_sequence = parser.ParseMethodExtractor(func); | 773 node_sequence = parser.ParseMethodExtractor(func); |
| 774 break; | 774 break; |
| 775 case RawFunction::kNoSuchMethodDispatcher: | 775 case RawFunction::kNoSuchMethodDispatcher: |
| 776 node_sequence = | 776 node_sequence = |
| 777 parser.ParseNoSuchMethodDispatcher(func, default_parameter_values); | 777 parser.ParseNoSuchMethodDispatcher(func, default_parameter_values); |
| 778 break; | 778 break; |
| 779 case RawFunction::kInvokeFieldDispatcher: |
| 780 node_sequence = |
| 781 parser.ParseInvokeFieldDispatcher(func, default_parameter_values); |
| 782 break; |
| 779 default: | 783 default: |
| 780 UNREACHABLE(); | 784 UNREACHABLE(); |
| 781 } | 785 } |
| 782 | 786 |
| 783 if (!HasReturnNode(node_sequence)) { | 787 if (!HasReturnNode(node_sequence)) { |
| 784 // Add implicit return node. | 788 // Add implicit return node. |
| 785 node_sequence->Add(new ReturnNode(func.end_token_pos())); | 789 node_sequence->Add(new ReturnNode(func.end_token_pos())); |
| 786 } | 790 } |
| 787 if (parsed_function->has_expression_temp_var()) { | 791 if (parsed_function->has_expression_temp_var()) { |
| 788 node_sequence->scope()->AddVariable(parsed_function->expression_temp_var()); | 792 node_sequence->scope()->AddVariable(parsed_function->expression_temp_var()); |
| (...skipping 312 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1101 Function::ZoneHandle(func.extracted_method_closure()), | 1105 Function::ZoneHandle(func.extracted_method_closure()), |
| 1102 load_receiver, | 1106 load_receiver, |
| 1103 NULL); | 1107 NULL); |
| 1104 | 1108 |
| 1105 ReturnNode* return_node = new ReturnNode(ident_pos, closure); | 1109 ReturnNode* return_node = new ReturnNode(ident_pos, closure); |
| 1106 current_block_->statements->Add(return_node); | 1110 current_block_->statements->Add(return_node); |
| 1107 return CloseBlock(); | 1111 return CloseBlock(); |
| 1108 } | 1112 } |
| 1109 | 1113 |
| 1110 | 1114 |
| 1111 SequenceNode* Parser::ParseNoSuchMethodDispatcher(const Function& func, | 1115 void Parser::BuildDispatcherScope(const Function& func, |
| 1112 Array& default_values) { | 1116 const ArgumentsDescriptor& desc, |
| 1113 TRACE_PARSER("ParseNoSuchMethodDispatcher"); | 1117 Array& default_values) { |
| 1114 | 1118 ParamList params; |
| 1115 ASSERT(func.IsNoSuchMethodDispatcher()); | 1119 // Receiver first. |
| 1116 intptr_t token_pos = func.token_pos(); | 1120 intptr_t token_pos = func.token_pos(); |
| 1117 ASSERT(func.token_pos() == 0); | |
| 1118 ASSERT(current_class().raw() == func.Owner()); | |
| 1119 | |
| 1120 ArgumentsDescriptor desc(Array::Handle(func.saved_args_desc())); | |
| 1121 ASSERT(desc.Count() > 0); | |
| 1122 | |
| 1123 // Create parameter list. Receiver first. | |
| 1124 ParamList params; | |
| 1125 params.AddReceiver(ReceiverType(), token_pos); | 1121 params.AddReceiver(ReceiverType(), token_pos); |
| 1126 | |
| 1127 // Remaining positional parameters. | 1122 // Remaining positional parameters. |
| 1128 intptr_t i = 1; | 1123 intptr_t i = 1; |
| 1129 for (; i < desc.PositionalCount(); ++i) { | 1124 for (; i < desc.PositionalCount(); ++i) { |
| 1130 ParamDesc p; | 1125 ParamDesc p; |
| 1131 char name[64]; | 1126 char name[64]; |
| 1132 OS::SNPrint(name, 64, ":p%"Pd, i); | 1127 OS::SNPrint(name, 64, ":p%"Pd, i); |
| 1133 p.name = &String::ZoneHandle(Symbols::New(name)); | 1128 p.name = &String::ZoneHandle(Symbols::New(name)); |
| 1134 p.type = &Type::ZoneHandle(Type::DynamicType()); | 1129 p.type = &Type::ZoneHandle(Type::DynamicType()); |
| 1135 params.parameters->Add(p); | 1130 params.parameters->Add(p); |
| 1136 params.num_fixed_parameters++; | 1131 params.num_fixed_parameters++; |
| 1137 } | 1132 } |
| 1133 ASSERT(desc.PositionalCount() == params.num_fixed_parameters); |
| 1134 |
| 1138 // Named parameters. | 1135 // Named parameters. |
| 1139 for (; i < desc.Count(); ++i) { | 1136 for (; i < desc.Count(); ++i) { |
| 1140 ParamDesc p; | 1137 ParamDesc p; |
| 1141 intptr_t index = i - desc.PositionalCount(); | 1138 intptr_t index = i - desc.PositionalCount(); |
| 1142 p.name = &String::ZoneHandle(desc.NameAt(index)); | 1139 p.name = &String::ZoneHandle(desc.NameAt(index)); |
| 1143 p.type = &Type::ZoneHandle(Type::DynamicType()); | 1140 p.type = &Type::ZoneHandle(Type::DynamicType()); |
| 1144 p.default_value = &Object::ZoneHandle(); | 1141 p.default_value = &Object::ZoneHandle(); |
| 1145 params.parameters->Add(p); | 1142 params.parameters->Add(p); |
| 1146 params.num_optional_parameters++; | 1143 params.num_optional_parameters++; |
| 1147 params.has_optional_named_parameters = true; | 1144 params.has_optional_named_parameters = true; |
| 1148 } | 1145 } |
| 1146 ASSERT(desc.NamedCount() == params.num_optional_parameters); |
| 1149 | 1147 |
| 1150 SetupDefaultsForOptionalParams(¶ms, default_values); | 1148 SetupDefaultsForOptionalParams(¶ms, default_values); |
| 1151 | 1149 |
| 1152 // Build local scope for function and populate with the formal parameters. | 1150 // Build local scope for function and populate with the formal parameters. |
| 1153 OpenFunctionBlock(func); | 1151 OpenFunctionBlock(func); |
| 1154 LocalScope* scope = current_block_->scope; | 1152 AddFormalParamsToScope(¶ms, current_block_->scope); |
| 1155 AddFormalParamsToScope(¶ms, scope); | 1153 } |
| 1154 |
| 1155 SequenceNode* Parser::ParseNoSuchMethodDispatcher(const Function& func, |
| 1156 Array& default_values) { |
| 1157 TRACE_PARSER("ParseNoSuchMethodDispatcher"); |
| 1158 |
| 1159 ASSERT(func.IsNoSuchMethodDispatcher()); |
| 1160 intptr_t token_pos = func.token_pos(); |
| 1161 ASSERT(func.token_pos() == 0); |
| 1162 ASSERT(current_class().raw() == func.Owner()); |
| 1163 |
| 1164 ArgumentsDescriptor desc(Array::Handle(func.saved_args_desc())); |
| 1165 ASSERT(desc.Count() > 0); |
| 1166 |
| 1167 // Set up scope for this function. |
| 1168 BuildDispatcherScope(func, desc, default_values); |
| 1156 | 1169 |
| 1157 // Receiver is local 0. | 1170 // Receiver is local 0. |
| 1171 LocalScope* scope = current_block_->scope; |
| 1158 ArgumentListNode* func_args = new ArgumentListNode(token_pos); | 1172 ArgumentListNode* func_args = new ArgumentListNode(token_pos); |
| 1159 for (intptr_t i = 0; i < desc.Count(); ++i) { | 1173 for (intptr_t i = 0; i < desc.Count(); ++i) { |
| 1160 func_args->Add(new LoadLocalNode(token_pos, scope->VariableAt(i))); | 1174 func_args->Add(new LoadLocalNode(token_pos, scope->VariableAt(i))); |
| 1161 } | 1175 } |
| 1162 | 1176 |
| 1163 if (params.num_optional_parameters > 0) { | 1177 if (desc.NamedCount() > 0) { |
| 1164 const Array& arg_names = | 1178 const Array& arg_names = |
| 1165 Array::ZoneHandle(Array::New(params.num_optional_parameters)); | 1179 Array::ZoneHandle(Array::New(desc.NamedCount())); |
| 1166 for (intptr_t i = 0; i < arg_names.Length(); ++i) { | 1180 for (intptr_t i = 0; i < arg_names.Length(); ++i) { |
| 1167 arg_names.SetAt(i, String::Handle(desc.NameAt(i))); | 1181 arg_names.SetAt(i, String::Handle(desc.NameAt(i))); |
| 1168 } | 1182 } |
| 1169 func_args->set_names(arg_names); | 1183 func_args->set_names(arg_names); |
| 1170 } | 1184 } |
| 1171 | 1185 |
| 1172 const String& func_name = String::ZoneHandle(func.name()); | 1186 const String& func_name = String::ZoneHandle(func.name()); |
| 1173 ArgumentListNode* arguments = BuildNoSuchMethodArguments(token_pos, | 1187 ArgumentListNode* arguments = BuildNoSuchMethodArguments(token_pos, |
| 1174 func_name, | 1188 func_name, |
| 1175 *func_args); | 1189 *func_args); |
| 1176 const Function& no_such_method = Function::ZoneHandle( | 1190 const Function& no_such_method = Function::ZoneHandle( |
| 1177 Resolver::ResolveDynamicAnyArgs(Class::Handle(func.Owner()), | 1191 Resolver::ResolveDynamicAnyArgs(Class::Handle(func.Owner()), |
| 1178 Symbols::NoSuchMethod())); | 1192 Symbols::NoSuchMethod())); |
| 1179 StaticCallNode* call = | 1193 StaticCallNode* call = |
| 1180 new StaticCallNode(token_pos, no_such_method, arguments); | 1194 new StaticCallNode(token_pos, no_such_method, arguments); |
| 1181 | 1195 |
| 1182 | 1196 |
| 1183 ReturnNode* return_node = new ReturnNode(token_pos, call); | 1197 ReturnNode* return_node = new ReturnNode(token_pos, call); |
| 1184 current_block_->statements->Add(return_node); | 1198 current_block_->statements->Add(return_node); |
| 1185 return CloseBlock(); | 1199 return CloseBlock(); |
| 1186 } | 1200 } |
| 1187 | 1201 |
| 1188 | 1202 |
| 1203 SequenceNode* Parser::ParseInvokeFieldDispatcher(const Function& func, |
| 1204 Array& default_values) { |
| 1205 TRACE_PARSER("ParseInvokeFieldDispatcher"); |
| 1206 |
| 1207 ASSERT(func.IsInvokeFieldDispatcher()); |
| 1208 intptr_t token_pos = func.token_pos(); |
| 1209 ASSERT(func.token_pos() == 0); |
| 1210 ASSERT(current_class().raw() == func.Owner()); |
| 1211 |
| 1212 const Array& args_desc = Array::Handle(func.saved_args_desc()); |
| 1213 ArgumentsDescriptor desc(args_desc); |
| 1214 ASSERT(desc.Count() > 0); |
| 1215 |
| 1216 // Set up scope for this function. |
| 1217 BuildDispatcherScope(func, desc, default_values); |
| 1218 |
| 1219 // Receiver is local 0. |
| 1220 LocalScope* scope = current_block_->scope; |
| 1221 ArgumentListNode* no_args = new ArgumentListNode(token_pos); |
| 1222 LoadLocalNode* receiver = new LoadLocalNode(token_pos, scope->VariableAt(0)); |
| 1223 |
| 1224 const String& name = String::Handle(func.name()); |
| 1225 const String& getter_name = |
| 1226 String::ZoneHandle(Symbols::New(String::Handle(Field::GetterName(name)))); |
| 1227 InstanceCallNode* getter_call = new InstanceCallNode(token_pos, |
| 1228 receiver, |
| 1229 getter_name, |
| 1230 no_args); |
| 1231 |
| 1232 // Pass arguments 1..n to the closure call. |
| 1233 ArgumentListNode* closure_args = new ArgumentListNode(token_pos); |
| 1234 const Array& names = Array::Handle(Array::New(desc.NamedCount(), Heap::kOld)); |
| 1235 // Positional parameters. |
| 1236 intptr_t i = 1; |
| 1237 for (; i < desc.PositionalCount(); ++i) { |
| 1238 closure_args->Add(new LoadLocalNode(token_pos, scope->VariableAt(i))); |
| 1239 } |
| 1240 // Named parameters. |
| 1241 for (; i < desc.Count(); i++) { |
| 1242 closure_args->Add(new LoadLocalNode(token_pos, scope->VariableAt(i))); |
| 1243 intptr_t index = i - desc.PositionalCount(); |
| 1244 names.SetAt(index, String::Handle(desc.NameAt(index))); |
| 1245 } |
| 1246 closure_args->set_names(names); |
| 1247 |
| 1248 EnsureSavedCurrentContext(); |
| 1249 ClosureCallNode* closure_call = new ClosureCallNode(token_pos, |
| 1250 getter_call, |
| 1251 closure_args); |
| 1252 |
| 1253 ReturnNode* return_node = new ReturnNode(token_pos, closure_call); |
| 1254 current_block_->statements->Add(return_node); |
| 1255 return CloseBlock(); |
| 1256 } |
| 1257 |
| 1258 |
| 1189 void Parser::SkipBlock() { | 1259 void Parser::SkipBlock() { |
| 1190 ASSERT(CurrentToken() == Token::kLBRACE); | 1260 ASSERT(CurrentToken() == Token::kLBRACE); |
| 1191 GrowableArray<Token::Kind> token_stack(8); | 1261 GrowableArray<Token::Kind> token_stack(8); |
| 1192 const intptr_t block_start_pos = TokenPos(); | 1262 const intptr_t block_start_pos = TokenPos(); |
| 1193 bool is_match = true; | 1263 bool is_match = true; |
| 1194 bool unexpected_token_found = false; | 1264 bool unexpected_token_found = false; |
| 1195 Token::Kind token; | 1265 Token::Kind token; |
| 1196 intptr_t token_pos; | 1266 intptr_t token_pos; |
| 1197 do { | 1267 do { |
| 1198 token = CurrentToken(); | 1268 token = CurrentToken(); |
| (...skipping 8935 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 10134 void Parser::SkipQualIdent() { | 10204 void Parser::SkipQualIdent() { |
| 10135 ASSERT(IsIdentifier()); | 10205 ASSERT(IsIdentifier()); |
| 10136 ConsumeToken(); | 10206 ConsumeToken(); |
| 10137 if (CurrentToken() == Token::kPERIOD) { | 10207 if (CurrentToken() == Token::kPERIOD) { |
| 10138 ConsumeToken(); // Consume the kPERIOD token. | 10208 ConsumeToken(); // Consume the kPERIOD token. |
| 10139 ExpectIdentifier("identifier expected after '.'"); | 10209 ExpectIdentifier("identifier expected after '.'"); |
| 10140 } | 10210 } |
| 10141 } | 10211 } |
| 10142 | 10212 |
| 10143 } // namespace dart | 10213 } // namespace dart |
| OLD | NEW |