| 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.h" | 7 #include "src/api.h" |
| 8 #include "src/api-arguments.h" | 8 #include "src/api-arguments.h" |
| 9 #include "src/api-natives.h" | 9 #include "src/api-natives.h" |
| 10 #include "src/base/once.h" | 10 #include "src/base/once.h" |
| (...skipping 4147 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4158 // ES6 19.1.3.6 Object.prototype.toString | 4158 // ES6 19.1.3.6 Object.prototype.toString |
| 4159 BUILTIN(ObjectProtoToString) { | 4159 BUILTIN(ObjectProtoToString) { |
| 4160 HandleScope scope(isolate); | 4160 HandleScope scope(isolate); |
| 4161 Handle<Object> object = args.at<Object>(0); | 4161 Handle<Object> object = args.at<Object>(0); |
| 4162 Handle<String> result; | 4162 Handle<String> result; |
| 4163 ASSIGN_RETURN_FAILURE_ON_EXCEPTION( | 4163 ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
| 4164 isolate, result, Object::ObjectProtoToString(isolate, object)); | 4164 isolate, result, Object::ObjectProtoToString(isolate, object)); |
| 4165 return *result; | 4165 return *result; |
| 4166 } | 4166 } |
| 4167 | 4167 |
| 4168 // ----------------------------------------------------------------------------- | |
| 4169 // ES6 section 21.1 String Objects | |
| 4170 | |
| 4171 // ES6 section 21.1.3.1 String.prototype.charAt ( pos ) | |
| 4172 void Builtins::Generate_StringPrototypeCharAt( | |
| 4173 compiler::CodeStubAssembler* assembler) { | |
| 4174 typedef compiler::CodeStubAssembler::Label Label; | |
| 4175 typedef compiler::Node Node; | |
| 4176 typedef compiler::CodeStubAssembler::Variable Variable; | |
| 4177 | |
| 4178 Node* receiver = assembler->Parameter(0); | |
| 4179 Node* position = assembler->Parameter(1); | |
| 4180 Node* context = assembler->Parameter(4); | |
| 4181 | |
| 4182 // Check that {receiver} is coercible to Object and convert it to a String. | |
| 4183 receiver = | |
| 4184 assembler->ToThisString(context, receiver, "String.prototype.charAt"); | |
| 4185 | |
| 4186 // Convert the {position} to a Smi and check that it's in bounds of the | |
| 4187 // {receiver}. | |
| 4188 // TODO(bmeurer): Find an abstraction for this! | |
| 4189 { | |
| 4190 // Check if the {position} is already a Smi. | |
| 4191 Variable var_position(assembler, MachineRepresentation::kTagged); | |
| 4192 var_position.Bind(position); | |
| 4193 Label if_positionissmi(assembler), | |
| 4194 if_positionisnotsmi(assembler, Label::kDeferred); | |
| 4195 assembler->Branch(assembler->WordIsSmi(position), &if_positionissmi, | |
| 4196 &if_positionisnotsmi); | |
| 4197 assembler->Bind(&if_positionisnotsmi); | |
| 4198 { | |
| 4199 // Convert the {position} to an Integer via the ToIntegerStub. | |
| 4200 Callable callable = CodeFactory::ToInteger(assembler->isolate()); | |
| 4201 Node* index = assembler->CallStub(callable, context, position); | |
| 4202 | |
| 4203 // Check if the resulting {index} is now a Smi. | |
| 4204 Label if_indexissmi(assembler, Label::kDeferred), | |
| 4205 if_indexisnotsmi(assembler, Label::kDeferred); | |
| 4206 assembler->Branch(assembler->WordIsSmi(index), &if_indexissmi, | |
| 4207 &if_indexisnotsmi); | |
| 4208 | |
| 4209 assembler->Bind(&if_indexissmi); | |
| 4210 { | |
| 4211 var_position.Bind(index); | |
| 4212 assembler->Goto(&if_positionissmi); | |
| 4213 } | |
| 4214 | |
| 4215 assembler->Bind(&if_indexisnotsmi); | |
| 4216 { | |
| 4217 // The ToIntegerStub canonicalizes everything in Smi range to Smi | |
| 4218 // representation, so any HeapNumber returned is not in Smi range. | |
| 4219 // The only exception here is -0.0, which we treat as 0. | |
| 4220 Node* index_value = assembler->LoadHeapNumberValue(index); | |
| 4221 Label if_indexiszero(assembler, Label::kDeferred), | |
| 4222 if_indexisnotzero(assembler, Label::kDeferred); | |
| 4223 assembler->Branch(assembler->Float64Equal( | |
| 4224 index_value, assembler->Float64Constant(0.0)), | |
| 4225 &if_indexiszero, &if_indexisnotzero); | |
| 4226 | |
| 4227 assembler->Bind(&if_indexiszero); | |
| 4228 { | |
| 4229 var_position.Bind(assembler->SmiConstant(Smi::FromInt(0))); | |
| 4230 assembler->Goto(&if_positionissmi); | |
| 4231 } | |
| 4232 | |
| 4233 assembler->Bind(&if_indexisnotzero); | |
| 4234 { | |
| 4235 // The {index} is some other integral Number, that is definitely | |
| 4236 // neither -0.0 nor in Smi range. | |
| 4237 assembler->Return(assembler->EmptyStringConstant()); | |
| 4238 } | |
| 4239 } | |
| 4240 } | |
| 4241 assembler->Bind(&if_positionissmi); | |
| 4242 position = var_position.value(); | |
| 4243 | |
| 4244 // Determine the actual length of the {receiver} String. | |
| 4245 Node* receiver_length = | |
| 4246 assembler->LoadObjectField(receiver, String::kLengthOffset); | |
| 4247 | |
| 4248 // Return "" if the Smi {position} is outside the bounds of the {receiver}. | |
| 4249 Label if_positioninbounds(assembler), | |
| 4250 if_positionnotinbounds(assembler, Label::kDeferred); | |
| 4251 assembler->Branch(assembler->SmiAboveOrEqual(position, receiver_length), | |
| 4252 &if_positionnotinbounds, &if_positioninbounds); | |
| 4253 assembler->Bind(&if_positionnotinbounds); | |
| 4254 assembler->Return(assembler->EmptyStringConstant()); | |
| 4255 assembler->Bind(&if_positioninbounds); | |
| 4256 } | |
| 4257 | |
| 4258 // Load the character code at the {position} from the {receiver}. | |
| 4259 Node* code = assembler->StringCharCodeAt(receiver, position); | |
| 4260 | |
| 4261 // And return the single character string with only that {code}. | |
| 4262 Node* result = assembler->StringFromCharCode(code); | |
| 4263 assembler->Return(result); | |
| 4264 } | |
| 4265 | |
| 4266 // ES6 section 21.1.3.2 String.prototype.charCodeAt ( pos ) | |
| 4267 void Builtins::Generate_StringPrototypeCharCodeAt( | |
| 4268 compiler::CodeStubAssembler* assembler) { | |
| 4269 typedef compiler::CodeStubAssembler::Label Label; | |
| 4270 typedef compiler::Node Node; | |
| 4271 typedef compiler::CodeStubAssembler::Variable Variable; | |
| 4272 | |
| 4273 Node* receiver = assembler->Parameter(0); | |
| 4274 Node* position = assembler->Parameter(1); | |
| 4275 Node* context = assembler->Parameter(4); | |
| 4276 | |
| 4277 // Check that {receiver} is coercible to Object and convert it to a String. | |
| 4278 receiver = | |
| 4279 assembler->ToThisString(context, receiver, "String.prototype.charCodeAt"); | |
| 4280 | |
| 4281 // Convert the {position} to a Smi and check that it's in bounds of the | |
| 4282 // {receiver}. | |
| 4283 // TODO(bmeurer): Find an abstraction for this! | |
| 4284 { | |
| 4285 // Check if the {position} is already a Smi. | |
| 4286 Variable var_position(assembler, MachineRepresentation::kTagged); | |
| 4287 var_position.Bind(position); | |
| 4288 Label if_positionissmi(assembler), | |
| 4289 if_positionisnotsmi(assembler, Label::kDeferred); | |
| 4290 assembler->Branch(assembler->WordIsSmi(position), &if_positionissmi, | |
| 4291 &if_positionisnotsmi); | |
| 4292 assembler->Bind(&if_positionisnotsmi); | |
| 4293 { | |
| 4294 // Convert the {position} to an Integer via the ToIntegerStub. | |
| 4295 Callable callable = CodeFactory::ToInteger(assembler->isolate()); | |
| 4296 Node* index = assembler->CallStub(callable, context, position); | |
| 4297 | |
| 4298 // Check if the resulting {index} is now a Smi. | |
| 4299 Label if_indexissmi(assembler, Label::kDeferred), | |
| 4300 if_indexisnotsmi(assembler, Label::kDeferred); | |
| 4301 assembler->Branch(assembler->WordIsSmi(index), &if_indexissmi, | |
| 4302 &if_indexisnotsmi); | |
| 4303 | |
| 4304 assembler->Bind(&if_indexissmi); | |
| 4305 { | |
| 4306 var_position.Bind(index); | |
| 4307 assembler->Goto(&if_positionissmi); | |
| 4308 } | |
| 4309 | |
| 4310 assembler->Bind(&if_indexisnotsmi); | |
| 4311 { | |
| 4312 // The ToIntegerStub canonicalizes everything in Smi range to Smi | |
| 4313 // representation, so any HeapNumber returned is not in Smi range. | |
| 4314 // The only exception here is -0.0, which we treat as 0. | |
| 4315 Node* index_value = assembler->LoadHeapNumberValue(index); | |
| 4316 Label if_indexiszero(assembler, Label::kDeferred), | |
| 4317 if_indexisnotzero(assembler, Label::kDeferred); | |
| 4318 assembler->Branch(assembler->Float64Equal( | |
| 4319 index_value, assembler->Float64Constant(0.0)), | |
| 4320 &if_indexiszero, &if_indexisnotzero); | |
| 4321 | |
| 4322 assembler->Bind(&if_indexiszero); | |
| 4323 { | |
| 4324 var_position.Bind(assembler->SmiConstant(Smi::FromInt(0))); | |
| 4325 assembler->Goto(&if_positionissmi); | |
| 4326 } | |
| 4327 | |
| 4328 assembler->Bind(&if_indexisnotzero); | |
| 4329 { | |
| 4330 // The {index} is some other integral Number, that is definitely | |
| 4331 // neither -0.0 nor in Smi range. | |
| 4332 assembler->Return(assembler->NaNConstant()); | |
| 4333 } | |
| 4334 } | |
| 4335 } | |
| 4336 assembler->Bind(&if_positionissmi); | |
| 4337 position = var_position.value(); | |
| 4338 | |
| 4339 // Determine the actual length of the {receiver} String. | |
| 4340 Node* receiver_length = | |
| 4341 assembler->LoadObjectField(receiver, String::kLengthOffset); | |
| 4342 | |
| 4343 // Return NaN if the Smi {position} is outside the bounds of the {receiver}. | |
| 4344 Label if_positioninbounds(assembler), | |
| 4345 if_positionnotinbounds(assembler, Label::kDeferred); | |
| 4346 assembler->Branch(assembler->SmiAboveOrEqual(position, receiver_length), | |
| 4347 &if_positionnotinbounds, &if_positioninbounds); | |
| 4348 assembler->Bind(&if_positionnotinbounds); | |
| 4349 assembler->Return(assembler->NaNConstant()); | |
| 4350 assembler->Bind(&if_positioninbounds); | |
| 4351 } | |
| 4352 | |
| 4353 // Load the character at the {position} from the {receiver}. | |
| 4354 Node* value = assembler->StringCharCodeAt(receiver, position); | |
| 4355 Node* result = assembler->SmiFromWord32(value); | |
| 4356 assembler->Return(result); | |
| 4357 } | |
| 4358 | |
| 4359 // ----------------------------------------------------------------------------- | |
| 4360 // ES6 section 21.1 ArrayBuffer Objects | |
| 4361 | 4168 |
| 4362 // ES6 section 24.1.2.1 ArrayBuffer ( length ) for the [[Call]] case. | 4169 // ES6 section 24.1.2.1 ArrayBuffer ( length ) for the [[Call]] case. |
| 4363 BUILTIN(ArrayBufferConstructor) { | 4170 BUILTIN(ArrayBufferConstructor) { |
| 4364 HandleScope scope(isolate); | 4171 HandleScope scope(isolate); |
| 4365 Handle<JSFunction> target = args.target<JSFunction>(); | 4172 Handle<JSFunction> target = args.target<JSFunction>(); |
| 4366 DCHECK(*target == target->native_context()->array_buffer_fun() || | 4173 DCHECK(*target == target->native_context()->array_buffer_fun() || |
| 4367 *target == target->native_context()->shared_array_buffer_fun()); | 4174 *target == target->native_context()->shared_array_buffer_fun()); |
| 4368 THROW_NEW_ERROR_RETURN_FAILURE( | 4175 THROW_NEW_ERROR_RETURN_FAILURE( |
| 4369 isolate, NewTypeError(MessageTemplate::kConstructorNotFunction, | 4176 isolate, NewTypeError(MessageTemplate::kConstructorNotFunction, |
| 4370 handle(target->shared()->name(), isolate))); | 4177 handle(target->shared()->name(), isolate))); |
| (...skipping 773 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5144 BUILTIN_LIST_T(DEFINE_BUILTIN_ACCESSOR_T) | 4951 BUILTIN_LIST_T(DEFINE_BUILTIN_ACCESSOR_T) |
| 5145 BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H) | 4952 BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H) |
| 5146 BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A) | 4953 BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A) |
| 5147 #undef DEFINE_BUILTIN_ACCESSOR_C | 4954 #undef DEFINE_BUILTIN_ACCESSOR_C |
| 5148 #undef DEFINE_BUILTIN_ACCESSOR_A | 4955 #undef DEFINE_BUILTIN_ACCESSOR_A |
| 5149 #undef DEFINE_BUILTIN_ACCESSOR_T | 4956 #undef DEFINE_BUILTIN_ACCESSOR_T |
| 5150 #undef DEFINE_BUILTIN_ACCESSOR_H | 4957 #undef DEFINE_BUILTIN_ACCESSOR_H |
| 5151 | 4958 |
| 5152 } // namespace internal | 4959 } // namespace internal |
| 5153 } // namespace v8 | 4960 } // namespace v8 |
| OLD | NEW |