OLD | NEW |
1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 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 4350 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4361 // 'false_target'/'true_target' as appropriate. | 4361 // 'false_target'/'true_target' as appropriate. |
4362 void CodeGenerator::ToBoolean(ControlDestination* dest) { | 4362 void CodeGenerator::ToBoolean(ControlDestination* dest) { |
4363 Comment cmnt(masm_, "[ ToBoolean"); | 4363 Comment cmnt(masm_, "[ ToBoolean"); |
4364 | 4364 |
4365 // The value to convert should be popped from the frame. | 4365 // The value to convert should be popped from the frame. |
4366 Result value = frame_->Pop(); | 4366 Result value = frame_->Pop(); |
4367 value.ToRegister(); | 4367 value.ToRegister(); |
4368 | 4368 |
4369 if (value.is_number()) { | 4369 if (value.is_number()) { |
4370 Comment cmnt(masm_, "ONLY_NUMBER"); | 4370 Comment cmnt(masm_, "ONLY_NUMBER"); |
4371 // Fast case if NumberInfo indicates only numbers. | 4371 // Fast case if TypeInfo indicates only numbers. |
4372 if (FLAG_debug_code) { | 4372 if (FLAG_debug_code) { |
4373 __ AbortIfNotNumber(value.reg(), "ToBoolean operand is not a number."); | 4373 __ AbortIfNotNumber(value.reg(), "ToBoolean operand is not a number."); |
4374 } | 4374 } |
4375 // Smi => false iff zero. | 4375 // Smi => false iff zero. |
4376 __ SmiCompare(value.reg(), Smi::FromInt(0)); | 4376 __ SmiCompare(value.reg(), Smi::FromInt(0)); |
4377 dest->false_target()->Branch(equal); | 4377 dest->false_target()->Branch(equal); |
4378 Condition is_smi = masm_->CheckSmi(value.reg()); | 4378 Condition is_smi = masm_->CheckSmi(value.reg()); |
4379 dest->true_target()->Branch(is_smi); | 4379 dest->true_target()->Branch(is_smi); |
4380 __ fldz(); | 4380 __ fldz(); |
4381 __ fld_d(FieldOperand(value.reg(), HeapNumber::kValueOffset)); | 4381 __ fld_d(FieldOperand(value.reg(), HeapNumber::kValueOffset)); |
(...skipping 902 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5284 right.is_constant() && !right.handle()->IsSmi(); | 5284 right.is_constant() && !right.handle()->IsSmi(); |
5285 | 5285 |
5286 if (left_is_smi_constant && right_is_smi_constant) { | 5286 if (left_is_smi_constant && right_is_smi_constant) { |
5287 // Compute the constant result at compile time, and leave it on the frame. | 5287 // Compute the constant result at compile time, and leave it on the frame. |
5288 int left_int = Smi::cast(*left.handle())->value(); | 5288 int left_int = Smi::cast(*left.handle())->value(); |
5289 int right_int = Smi::cast(*right.handle())->value(); | 5289 int right_int = Smi::cast(*right.handle())->value(); |
5290 if (FoldConstantSmis(op, left_int, right_int)) return; | 5290 if (FoldConstantSmis(op, left_int, right_int)) return; |
5291 } | 5291 } |
5292 | 5292 |
5293 // Get number type of left and right sub-expressions. | 5293 // Get number type of left and right sub-expressions. |
5294 NumberInfo operands_type = | 5294 TypeInfo operands_type = |
5295 NumberInfo::Combine(left.number_info(), right.number_info()); | 5295 TypeInfo::Combine(left.type_info(), right.type_info()); |
5296 | 5296 |
5297 Result answer; | 5297 Result answer; |
5298 if (left_is_non_smi_constant || right_is_non_smi_constant) { | 5298 if (left_is_non_smi_constant || right_is_non_smi_constant) { |
5299 GenericBinaryOpStub stub(op, | 5299 GenericBinaryOpStub stub(op, |
5300 overwrite_mode, | 5300 overwrite_mode, |
5301 NO_SMI_CODE_IN_STUB, | 5301 NO_SMI_CODE_IN_STUB, |
5302 operands_type); | 5302 operands_type); |
5303 answer = stub.GenerateCall(masm_, frame_, &left, &right); | 5303 answer = stub.GenerateCall(masm_, frame_, &left, &right); |
5304 } else if (right_is_smi_constant) { | 5304 } else if (right_is_smi_constant) { |
5305 answer = ConstantSmiBinaryOperation(op, &left, right.handle(), | 5305 answer = ConstantSmiBinaryOperation(op, &left, right.handle(), |
(...skipping 11 matching lines...) Expand all Loading... |
5317 answer = LikelySmiBinaryOperation(op, &left, &right, overwrite_mode); | 5317 answer = LikelySmiBinaryOperation(op, &left, &right, overwrite_mode); |
5318 } else { | 5318 } else { |
5319 GenericBinaryOpStub stub(op, | 5319 GenericBinaryOpStub stub(op, |
5320 overwrite_mode, | 5320 overwrite_mode, |
5321 NO_GENERIC_BINARY_FLAGS, | 5321 NO_GENERIC_BINARY_FLAGS, |
5322 operands_type); | 5322 operands_type); |
5323 answer = stub.GenerateCall(masm_, frame_, &left, &right); | 5323 answer = stub.GenerateCall(masm_, frame_, &left, &right); |
5324 } | 5324 } |
5325 } | 5325 } |
5326 | 5326 |
5327 // Set NumberInfo of result according to the operation performed. | 5327 // Set TypeInfo of result according to the operation performed. |
5328 // We rely on the fact that smis have a 32 bit payload on x64. | 5328 // We rely on the fact that smis have a 32 bit payload on x64. |
5329 ASSERT(kSmiValueSize == 32); | 5329 ASSERT(kSmiValueSize == 32); |
5330 NumberInfo result_type = NumberInfo::Unknown(); | 5330 TypeInfo result_type = TypeInfo::Unknown(); |
5331 switch (op) { | 5331 switch (op) { |
5332 case Token::COMMA: | 5332 case Token::COMMA: |
5333 result_type = right.number_info(); | 5333 result_type = right.type_info(); |
5334 break; | 5334 break; |
5335 case Token::OR: | 5335 case Token::OR: |
5336 case Token::AND: | 5336 case Token::AND: |
5337 // Result type can be either of the two input types. | 5337 // Result type can be either of the two input types. |
5338 result_type = operands_type; | 5338 result_type = operands_type; |
5339 break; | 5339 break; |
5340 case Token::BIT_OR: | 5340 case Token::BIT_OR: |
5341 case Token::BIT_XOR: | 5341 case Token::BIT_XOR: |
5342 case Token::BIT_AND: | 5342 case Token::BIT_AND: |
5343 // Result is always a smi. | 5343 // Result is always a smi. |
5344 result_type = NumberInfo::Smi(); | 5344 result_type = TypeInfo::Smi(); |
5345 break; | 5345 break; |
5346 case Token::SAR: | 5346 case Token::SAR: |
5347 case Token::SHL: | 5347 case Token::SHL: |
5348 // Result is always a smi. | 5348 // Result is always a smi. |
5349 result_type = NumberInfo::Smi(); | 5349 result_type = TypeInfo::Smi(); |
5350 break; | 5350 break; |
5351 case Token::SHR: | 5351 case Token::SHR: |
5352 // Result of x >>> y is always a smi if y >= 1, otherwise a number. | 5352 // Result of x >>> y is always a smi if y >= 1, otherwise a number. |
5353 result_type = (right.is_constant() && right.handle()->IsSmi() | 5353 result_type = (right.is_constant() && right.handle()->IsSmi() |
5354 && Smi::cast(*right.handle())->value() >= 1) | 5354 && Smi::cast(*right.handle())->value() >= 1) |
5355 ? NumberInfo::Smi() | 5355 ? TypeInfo::Smi() |
5356 : NumberInfo::Number(); | 5356 : TypeInfo::Number(); |
5357 break; | 5357 break; |
5358 case Token::ADD: | 5358 case Token::ADD: |
5359 // Result could be a string or a number. Check types of inputs. | 5359 // Result could be a string or a number. Check types of inputs. |
5360 result_type = operands_type.IsNumber() | 5360 result_type = operands_type.IsNumber() |
5361 ? NumberInfo::Number() | 5361 ? TypeInfo::Number() |
5362 : NumberInfo::Unknown(); | 5362 : TypeInfo::Unknown(); |
5363 break; | 5363 break; |
5364 case Token::SUB: | 5364 case Token::SUB: |
5365 case Token::MUL: | 5365 case Token::MUL: |
5366 case Token::DIV: | 5366 case Token::DIV: |
5367 case Token::MOD: | 5367 case Token::MOD: |
5368 // Result is always a number. | 5368 // Result is always a number. |
5369 result_type = NumberInfo::Number(); | 5369 result_type = TypeInfo::Number(); |
5370 break; | 5370 break; |
5371 default: | 5371 default: |
5372 UNREACHABLE(); | 5372 UNREACHABLE(); |
5373 } | 5373 } |
5374 answer.set_number_info(result_type); | 5374 answer.set_type_info(result_type); |
5375 frame_->Push(&answer); | 5375 frame_->Push(&answer); |
5376 } | 5376 } |
5377 | 5377 |
5378 | 5378 |
5379 // Emit a LoadIC call to get the value from receiver and leave it in | 5379 // Emit a LoadIC call to get the value from receiver and leave it in |
5380 // dst. The receiver register is restored after the call. | 5380 // dst. The receiver register is restored after the call. |
5381 class DeferredReferenceGetNamedValue: public DeferredCode { | 5381 class DeferredReferenceGetNamedValue: public DeferredCode { |
5382 public: | 5382 public: |
5383 DeferredReferenceGetNamedValue(Register dst, | 5383 DeferredReferenceGetNamedValue(Register dst, |
5384 Register receiver, | 5384 Register receiver, |
(...skipping 4602 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
9987 // Call the function from C++. | 9987 // Call the function from C++. |
9988 return FUNCTION_CAST<ModuloFunction>(buffer); | 9988 return FUNCTION_CAST<ModuloFunction>(buffer); |
9989 } | 9989 } |
9990 | 9990 |
9991 #endif | 9991 #endif |
9992 | 9992 |
9993 | 9993 |
9994 #undef __ | 9994 #undef __ |
9995 | 9995 |
9996 } } // namespace v8::internal | 9996 } } // namespace v8::internal |
OLD | NEW |