OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 359 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
370 } | 370 } |
371 | 371 |
372 | 372 |
373 void TypeFeedbackOracle::CompareType(TypeFeedbackId id, | 373 void TypeFeedbackOracle::CompareType(TypeFeedbackId id, |
374 Handle<Type>* left_type, | 374 Handle<Type>* left_type, |
375 Handle<Type>* right_type, | 375 Handle<Type>* right_type, |
376 Handle<Type>* combined_type) { | 376 Handle<Type>* combined_type) { |
377 Handle<Object> info = GetInfo(id); | 377 Handle<Object> info = GetInfo(id); |
378 if (!info->IsCode()) { | 378 if (!info->IsCode()) { |
379 // For some comparisons we don't have ICs, e.g. LiteralCompareTypeof. | 379 // For some comparisons we don't have ICs, e.g. LiteralCompareTypeof. |
380 *left_type = *right_type = *combined_type = handle(Type::None(), isolate_); | 380 *left_type = *right_type = *combined_type = Type::None(isolate_); |
381 return; | 381 return; |
382 } | 382 } |
383 Handle<Code> code = Handle<Code>::cast(info); | 383 Handle<Code> code = Handle<Code>::cast(info); |
384 | 384 |
385 Handle<Map> map; | 385 Handle<Map> map; |
386 Map* raw_map = code->FindFirstMap(); | 386 Map* raw_map = code->FindFirstMap(); |
387 if (raw_map != NULL) { | 387 if (raw_map != NULL) { |
388 raw_map = raw_map->CurrentMapForDeprecated(); | 388 raw_map = raw_map->CurrentMapForDeprecated(); |
389 if (raw_map != NULL && !CanRetainOtherContext(raw_map, *native_context_)) { | 389 if (raw_map != NULL && !CanRetainOtherContext(raw_map, *native_context_)) { |
390 map = handle(raw_map, isolate_); | 390 map = handle(raw_map, isolate_); |
(...skipping 17 matching lines...) Expand all Loading... |
408 Handle<Type>* right, | 408 Handle<Type>* right, |
409 Handle<Type>* result, | 409 Handle<Type>* result, |
410 Maybe<int>* fixed_right_arg, | 410 Maybe<int>* fixed_right_arg, |
411 Token::Value op) { | 411 Token::Value op) { |
412 Handle<Object> object = GetInfo(id); | 412 Handle<Object> object = GetInfo(id); |
413 if (!object->IsCode()) { | 413 if (!object->IsCode()) { |
414 // For some binary ops we don't have ICs, e.g. Token::COMMA, but for the | 414 // For some binary ops we don't have ICs, e.g. Token::COMMA, but for the |
415 // operations covered by the BinaryOpIC we should always have them. | 415 // operations covered by the BinaryOpIC we should always have them. |
416 ASSERT(op < BinaryOpIC::State::FIRST_TOKEN || | 416 ASSERT(op < BinaryOpIC::State::FIRST_TOKEN || |
417 op > BinaryOpIC::State::LAST_TOKEN); | 417 op > BinaryOpIC::State::LAST_TOKEN); |
418 *left = *right = *result = handle(Type::None(), isolate_); | 418 *left = *right = *result = Type::None(isolate_); |
419 *fixed_right_arg = Maybe<int>(); | 419 *fixed_right_arg = Maybe<int>(); |
420 return; | 420 return; |
421 } | 421 } |
422 Handle<Code> code = Handle<Code>::cast(object); | 422 Handle<Code> code = Handle<Code>::cast(object); |
423 ASSERT_EQ(Code::BINARY_OP_IC, code->kind()); | 423 ASSERT_EQ(Code::BINARY_OP_IC, code->kind()); |
424 BinaryOpIC::State state(code->extended_extra_ic_state()); | 424 BinaryOpIC::State state(code->extended_extra_ic_state()); |
425 ASSERT_EQ(op, state.op()); | 425 ASSERT_EQ(op, state.op()); |
426 | 426 |
427 *left = state.GetLeftType(isolate()); | 427 *left = state.GetLeftType(isolate()); |
428 *right = state.GetRightType(isolate()); | 428 *right = state.GetRightType(isolate()); |
429 *result = state.GetResultType(isolate()); | 429 *result = state.GetResultType(isolate()); |
430 *fixed_right_arg = state.fixed_right_arg(); | 430 *fixed_right_arg = state.fixed_right_arg(); |
431 } | 431 } |
432 | 432 |
433 | 433 |
434 Handle<Type> TypeFeedbackOracle::ClauseType(TypeFeedbackId id) { | 434 Handle<Type> TypeFeedbackOracle::ClauseType(TypeFeedbackId id) { |
435 Handle<Object> info = GetInfo(id); | 435 Handle<Object> info = GetInfo(id); |
436 Handle<Type> result(Type::None(), isolate_); | 436 Handle<Type> result = Type::None(isolate_); |
437 if (info->IsCode() && Handle<Code>::cast(info)->is_compare_ic_stub()) { | 437 if (info->IsCode() && Handle<Code>::cast(info)->is_compare_ic_stub()) { |
438 Handle<Code> code = Handle<Code>::cast(info); | 438 Handle<Code> code = Handle<Code>::cast(info); |
439 CompareIC::State state = ICCompareStub::CompareState(code->stub_info()); | 439 CompareIC::State state = ICCompareStub::CompareState(code->stub_info()); |
440 result = CompareIC::StateToType(isolate_, state); | 440 result = CompareIC::StateToType(isolate_, state); |
441 } | 441 } |
442 return result; | 442 return result; |
443 } | 443 } |
444 | 444 |
445 | 445 |
446 Handle<Type> TypeFeedbackOracle::CountType(TypeFeedbackId id) { | 446 Handle<Type> TypeFeedbackOracle::CountType(TypeFeedbackId id) { |
447 Handle<Object> object = GetInfo(id); | 447 Handle<Object> object = GetInfo(id); |
448 if (!object->IsCode()) return handle(Type::None(), isolate_); | 448 if (!object->IsCode()) return Type::None(isolate_); |
449 Handle<Code> code = Handle<Code>::cast(object); | 449 Handle<Code> code = Handle<Code>::cast(object); |
450 ASSERT_EQ(Code::BINARY_OP_IC, code->kind()); | 450 ASSERT_EQ(Code::BINARY_OP_IC, code->kind()); |
451 BinaryOpIC::State state(code->extended_extra_ic_state()); | 451 BinaryOpIC::State state(code->extended_extra_ic_state()); |
452 return state.GetLeftType(isolate()); | 452 return state.GetLeftType(isolate()); |
453 } | 453 } |
454 | 454 |
455 | 455 |
456 void TypeFeedbackOracle::PropertyReceiverTypes( | 456 void TypeFeedbackOracle::PropertyReceiverTypes( |
457 TypeFeedbackId id, Handle<String> name, | 457 TypeFeedbackId id, Handle<String> name, |
458 SmallMapList* receiver_types, bool* is_prototype) { | 458 SmallMapList* receiver_types, bool* is_prototype) { |
(...skipping 297 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
756 if (info.IsUninitialized()) return Representation::None(); | 756 if (info.IsUninitialized()) return Representation::None(); |
757 if (info.IsSmi()) return Representation::Smi(); | 757 if (info.IsSmi()) return Representation::Smi(); |
758 if (info.IsInteger32()) return Representation::Integer32(); | 758 if (info.IsInteger32()) return Representation::Integer32(); |
759 if (info.IsDouble()) return Representation::Double(); | 759 if (info.IsDouble()) return Representation::Double(); |
760 if (info.IsNumber()) return Representation::Double(); | 760 if (info.IsNumber()) return Representation::Double(); |
761 return Representation::Tagged(); | 761 return Representation::Tagged(); |
762 } | 762 } |
763 | 763 |
764 | 764 |
765 } } // namespace v8::internal | 765 } } // namespace v8::internal |
OLD | NEW |