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 189 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
200 V(Calls) \ | 200 V(Calls) \ |
201 V(ContextSlots) \ | 201 V(ContextSlots) \ |
202 V(DoubleArrayElements) \ | 202 V(DoubleArrayElements) \ |
203 V(DoubleFields) \ | 203 V(DoubleFields) \ |
204 V(ElementsKind) \ | 204 V(ElementsKind) \ |
205 V(ElementsPointer) \ | 205 V(ElementsPointer) \ |
206 V(GlobalVars) \ | 206 V(GlobalVars) \ |
207 V(InobjectFields) \ | 207 V(InobjectFields) \ |
208 V(OsrEntries) \ | 208 V(OsrEntries) \ |
209 V(ExternalMemory) \ | 209 V(ExternalMemory) \ |
210 V(StringChars) \ | 210 V(StringChars) |
211 V(TypedArrayElements) | |
212 | 211 |
213 | 212 |
214 #define DECLARE_ABSTRACT_INSTRUCTION(type) \ | 213 #define DECLARE_ABSTRACT_INSTRUCTION(type) \ |
215 virtual bool Is##type() const V8_FINAL V8_OVERRIDE { return true; } \ | 214 virtual bool Is##type() const V8_FINAL V8_OVERRIDE { return true; } \ |
216 static H##type* cast(HValue* value) { \ | 215 static H##type* cast(HValue* value) { \ |
217 ASSERT(value->Is##type()); \ | 216 ASSERT(value->Is##type()); \ |
218 return reinterpret_cast<H##type*>(value); \ | 217 return reinterpret_cast<H##type*>(value); \ |
219 } | 218 } |
220 | 219 |
221 | 220 |
(...skipping 6138 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6360 : public HTemplateInstruction<3>, public ArrayInstructionInterface { | 6359 : public HTemplateInstruction<3>, public ArrayInstructionInterface { |
6361 public: | 6360 public: |
6362 DECLARE_INSTRUCTION_FACTORY_P4(HLoadKeyed, HValue*, HValue*, HValue*, | 6361 DECLARE_INSTRUCTION_FACTORY_P4(HLoadKeyed, HValue*, HValue*, HValue*, |
6363 ElementsKind); | 6362 ElementsKind); |
6364 DECLARE_INSTRUCTION_FACTORY_P5(HLoadKeyed, HValue*, HValue*, HValue*, | 6363 DECLARE_INSTRUCTION_FACTORY_P5(HLoadKeyed, HValue*, HValue*, HValue*, |
6365 ElementsKind, LoadKeyedHoleMode); | 6364 ElementsKind, LoadKeyedHoleMode); |
6366 | 6365 |
6367 bool is_external() const { | 6366 bool is_external() const { |
6368 return IsExternalArrayElementsKind(elements_kind()); | 6367 return IsExternalArrayElementsKind(elements_kind()); |
6369 } | 6368 } |
6370 bool is_fixed_typed_array() const { | |
6371 return IsFixedTypedArrayElementsKind(elements_kind()); | |
6372 } | |
6373 bool is_typed_elements() const { | |
6374 return is_external() || is_fixed_typed_array(); | |
6375 } | |
6376 HValue* elements() { return OperandAt(0); } | 6369 HValue* elements() { return OperandAt(0); } |
6377 HValue* key() { return OperandAt(1); } | 6370 HValue* key() { return OperandAt(1); } |
6378 HValue* dependency() { | 6371 HValue* dependency() { |
6379 ASSERT(HasDependency()); | 6372 ASSERT(HasDependency()); |
6380 return OperandAt(2); | 6373 return OperandAt(2); |
6381 } | 6374 } |
6382 bool HasDependency() const { return OperandAt(0) != OperandAt(2); } | 6375 bool HasDependency() const { return OperandAt(0) != OperandAt(2); } |
6383 uint32_t index_offset() { return IndexOffsetField::decode(bit_field_); } | 6376 uint32_t index_offset() { return IndexOffsetField::decode(bit_field_); } |
6384 void SetIndexOffset(uint32_t index_offset) { | 6377 void SetIndexOffset(uint32_t index_offset) { |
6385 bit_field_ = IndexOffsetField::update(bit_field_, index_offset); | 6378 bit_field_ = IndexOffsetField::update(bit_field_, index_offset); |
6386 } | 6379 } |
6387 virtual int MaxIndexOffsetBits() { | 6380 virtual int MaxIndexOffsetBits() { |
6388 return kBitsForIndexOffset; | 6381 return kBitsForIndexOffset; |
6389 } | 6382 } |
6390 HValue* GetKey() { return key(); } | 6383 HValue* GetKey() { return key(); } |
6391 void SetKey(HValue* key) { SetOperandAt(1, key); } | 6384 void SetKey(HValue* key) { SetOperandAt(1, key); } |
6392 bool IsDehoisted() { return IsDehoistedField::decode(bit_field_); } | 6385 bool IsDehoisted() { return IsDehoistedField::decode(bit_field_); } |
6393 void SetDehoisted(bool is_dehoisted) { | 6386 void SetDehoisted(bool is_dehoisted) { |
6394 bit_field_ = IsDehoistedField::update(bit_field_, is_dehoisted); | 6387 bit_field_ = IsDehoistedField::update(bit_field_, is_dehoisted); |
6395 } | 6388 } |
6396 ElementsKind elements_kind() const { | 6389 ElementsKind elements_kind() const { |
6397 return ElementsKindField::decode(bit_field_); | 6390 return ElementsKindField::decode(bit_field_); |
6398 } | 6391 } |
6399 LoadKeyedHoleMode hole_mode() const { | 6392 LoadKeyedHoleMode hole_mode() const { |
6400 return HoleModeField::decode(bit_field_); | 6393 return HoleModeField::decode(bit_field_); |
6401 } | 6394 } |
6402 | 6395 |
6403 virtual Representation RequiredInputRepresentation(int index) V8_OVERRIDE { | 6396 virtual Representation RequiredInputRepresentation(int index) V8_OVERRIDE { |
6404 // kind_fast: tagged[int32] (none) | 6397 // kind_fast: tagged[int32] (none) |
6405 // kind_double: tagged[int32] (none) | 6398 // kind_double: tagged[int32] (none) |
6406 // kind_fixed_typed_array: tagged[int32] (none) | 6399 // kind_external: external[int32] (none) |
6407 // kind_external: external[int32] (none) | |
6408 if (index == 0) { | 6400 if (index == 0) { |
6409 return is_external() ? Representation::External() | 6401 return is_external() ? Representation::External() |
6410 : Representation::Tagged(); | 6402 : Representation::Tagged(); |
6411 } | 6403 } |
6412 if (index == 1) { | 6404 if (index == 1) { |
6413 return ArrayInstructionInterface::KeyedAccessIndexRequirement( | 6405 return ArrayInstructionInterface::KeyedAccessIndexRequirement( |
6414 OperandAt(1)->representation()); | 6406 OperandAt(1)->representation()); |
6415 } | 6407 } |
6416 return Representation::None(); | 6408 return Representation::None(); |
6417 } | 6409 } |
(...skipping 29 matching lines...) Expand all Loading... |
6447 ElementsKind elements_kind, | 6439 ElementsKind elements_kind, |
6448 LoadKeyedHoleMode mode = NEVER_RETURN_HOLE) | 6440 LoadKeyedHoleMode mode = NEVER_RETURN_HOLE) |
6449 : bit_field_(0) { | 6441 : bit_field_(0) { |
6450 bit_field_ = ElementsKindField::encode(elements_kind) | | 6442 bit_field_ = ElementsKindField::encode(elements_kind) | |
6451 HoleModeField::encode(mode); | 6443 HoleModeField::encode(mode); |
6452 | 6444 |
6453 SetOperandAt(0, obj); | 6445 SetOperandAt(0, obj); |
6454 SetOperandAt(1, key); | 6446 SetOperandAt(1, key); |
6455 SetOperandAt(2, dependency != NULL ? dependency : obj); | 6447 SetOperandAt(2, dependency != NULL ? dependency : obj); |
6456 | 6448 |
6457 if (!is_typed_elements()) { | 6449 if (!is_external()) { |
6458 // I can detect the case between storing double (holey and fast) and | 6450 // I can detect the case between storing double (holey and fast) and |
6459 // smi/object by looking at elements_kind_. | 6451 // smi/object by looking at elements_kind_. |
6460 ASSERT(IsFastSmiOrObjectElementsKind(elements_kind) || | 6452 ASSERT(IsFastSmiOrObjectElementsKind(elements_kind) || |
6461 IsFastDoubleElementsKind(elements_kind)); | 6453 IsFastDoubleElementsKind(elements_kind)); |
6462 | 6454 |
6463 if (IsFastSmiOrObjectElementsKind(elements_kind)) { | 6455 if (IsFastSmiOrObjectElementsKind(elements_kind)) { |
6464 if (IsFastSmiElementsKind(elements_kind) && | 6456 if (IsFastSmiElementsKind(elements_kind) && |
6465 (!IsHoleyElementsKind(elements_kind) || | 6457 (!IsHoleyElementsKind(elements_kind) || |
6466 mode == NEVER_RETURN_HOLE)) { | 6458 mode == NEVER_RETURN_HOLE)) { |
6467 set_type(HType::Smi()); | 6459 set_type(HType::Smi()); |
6468 if (SmiValuesAre32Bits() && !RequiresHoleCheck()) { | 6460 if (SmiValuesAre32Bits() && !RequiresHoleCheck()) { |
6469 set_representation(Representation::Integer32()); | 6461 set_representation(Representation::Integer32()); |
6470 } else { | 6462 } else { |
6471 set_representation(Representation::Smi()); | 6463 set_representation(Representation::Smi()); |
6472 } | 6464 } |
6473 } else { | 6465 } else { |
6474 set_representation(Representation::Tagged()); | 6466 set_representation(Representation::Tagged()); |
6475 } | 6467 } |
6476 | 6468 |
6477 SetGVNFlag(kDependsOnArrayElements); | 6469 SetGVNFlag(kDependsOnArrayElements); |
6478 } else { | 6470 } else { |
6479 set_representation(Representation::Double()); | 6471 set_representation(Representation::Double()); |
6480 SetGVNFlag(kDependsOnDoubleArrayElements); | 6472 SetGVNFlag(kDependsOnDoubleArrayElements); |
6481 } | 6473 } |
6482 } else { | 6474 } else { |
6483 if (elements_kind == EXTERNAL_FLOAT_ELEMENTS || | 6475 if (elements_kind == EXTERNAL_FLOAT_ELEMENTS || |
6484 elements_kind == EXTERNAL_DOUBLE_ELEMENTS || | 6476 elements_kind == EXTERNAL_DOUBLE_ELEMENTS) { |
6485 elements_kind == FLOAT32_ELEMENTS || | |
6486 elements_kind == FLOAT64_ELEMENTS) { | |
6487 set_representation(Representation::Double()); | 6477 set_representation(Representation::Double()); |
6488 } else { | 6478 } else { |
6489 set_representation(Representation::Integer32()); | 6479 set_representation(Representation::Integer32()); |
6490 } | 6480 } |
6491 | 6481 |
6492 if (is_external()) { | 6482 SetGVNFlag(kDependsOnExternalMemory); |
6493 SetGVNFlag(kDependsOnExternalMemory); | |
6494 } else if (is_fixed_typed_array()) { | |
6495 SetGVNFlag(kDependsOnTypedArrayElements); | |
6496 } else { | |
6497 UNREACHABLE(); | |
6498 } | |
6499 // Native code could change the specialized array. | 6483 // Native code could change the specialized array. |
6500 SetGVNFlag(kDependsOnCalls); | 6484 SetGVNFlag(kDependsOnCalls); |
6501 } | 6485 } |
6502 | 6486 |
6503 SetFlag(kUseGVN); | 6487 SetFlag(kUseGVN); |
6504 } | 6488 } |
6505 | 6489 |
6506 virtual bool IsDeletable() const V8_OVERRIDE { | 6490 virtual bool IsDeletable() const V8_OVERRIDE { |
6507 return !RequiresHoleCheck(); | 6491 return !RequiresHoleCheck(); |
6508 } | 6492 } |
(...skipping 238 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6747 | 6731 |
6748 class HStoreKeyed V8_FINAL | 6732 class HStoreKeyed V8_FINAL |
6749 : public HTemplateInstruction<3>, public ArrayInstructionInterface { | 6733 : public HTemplateInstruction<3>, public ArrayInstructionInterface { |
6750 public: | 6734 public: |
6751 DECLARE_INSTRUCTION_FACTORY_P4(HStoreKeyed, HValue*, HValue*, HValue*, | 6735 DECLARE_INSTRUCTION_FACTORY_P4(HStoreKeyed, HValue*, HValue*, HValue*, |
6752 ElementsKind); | 6736 ElementsKind); |
6753 DECLARE_INSTRUCTION_FACTORY_P5(HStoreKeyed, HValue*, HValue*, HValue*, | 6737 DECLARE_INSTRUCTION_FACTORY_P5(HStoreKeyed, HValue*, HValue*, HValue*, |
6754 ElementsKind, StoreFieldOrKeyedMode); | 6738 ElementsKind, StoreFieldOrKeyedMode); |
6755 | 6739 |
6756 virtual Representation RequiredInputRepresentation(int index) V8_OVERRIDE { | 6740 virtual Representation RequiredInputRepresentation(int index) V8_OVERRIDE { |
6757 // kind_fast: tagged[int32] = tagged | 6741 // kind_fast: tagged[int32] = tagged |
6758 // kind_double: tagged[int32] = double | 6742 // kind_double: tagged[int32] = double |
6759 // kind_smi : tagged[int32] = smi | 6743 // kind_smi : tagged[int32] = smi |
6760 // kind_fixed_typed_array: tagged[int32] = (double | int32) | 6744 // kind_external: external[int32] = (double | int32) |
6761 // kind_external: external[int32] = (double | int32) | |
6762 if (index == 0) { | 6745 if (index == 0) { |
6763 return is_external() ? Representation::External() | 6746 return is_external() ? Representation::External() |
6764 : Representation::Tagged(); | 6747 : Representation::Tagged(); |
6765 } else if (index == 1) { | 6748 } else if (index == 1) { |
6766 return ArrayInstructionInterface::KeyedAccessIndexRequirement( | 6749 return ArrayInstructionInterface::KeyedAccessIndexRequirement( |
6767 OperandAt(1)->representation()); | 6750 OperandAt(1)->representation()); |
6768 } | 6751 } |
6769 | 6752 |
6770 ASSERT_EQ(index, 2); | 6753 ASSERT_EQ(index, 2); |
6771 if (IsDoubleOrFloatElementsKind(elements_kind())) { | 6754 if (IsDoubleOrFloatElementsKind(elements_kind())) { |
6772 return Representation::Double(); | 6755 return Representation::Double(); |
6773 } | 6756 } |
6774 if (SmiValuesAre32Bits() && store_mode_ == STORE_TO_INITIALIZED_ENTRY) { | 6757 if (SmiValuesAre32Bits() && store_mode_ == STORE_TO_INITIALIZED_ENTRY) { |
6775 return Representation::Integer32(); | 6758 return Representation::Integer32(); |
6776 } | 6759 } |
6777 if (IsFastSmiElementsKind(elements_kind())) { | 6760 if (IsFastSmiElementsKind(elements_kind())) { |
6778 return Representation::Smi(); | 6761 return Representation::Smi(); |
6779 } | 6762 } |
6780 | 6763 |
6781 return is_external() || is_fixed_typed_array() | 6764 return is_external() ? Representation::Integer32() |
6782 ? Representation::Integer32() | 6765 : Representation::Tagged(); |
6783 : Representation::Tagged(); | |
6784 } | 6766 } |
6785 | 6767 |
6786 bool is_external() const { | 6768 bool is_external() const { |
6787 return IsExternalArrayElementsKind(elements_kind()); | 6769 return IsExternalArrayElementsKind(elements_kind()); |
6788 } | 6770 } |
6789 | 6771 |
6790 bool is_fixed_typed_array() const { | |
6791 return IsFixedTypedArrayElementsKind(elements_kind()); | |
6792 } | |
6793 | |
6794 bool is_typed_elements() const { | |
6795 return is_external() || is_fixed_typed_array(); | |
6796 } | |
6797 | |
6798 virtual Representation observed_input_representation(int index) V8_OVERRIDE { | 6772 virtual Representation observed_input_representation(int index) V8_OVERRIDE { |
6799 if (index < 2) return RequiredInputRepresentation(index); | 6773 if (index < 2) return RequiredInputRepresentation(index); |
6800 if (IsUninitialized()) { | 6774 if (IsUninitialized()) { |
6801 return Representation::None(); | 6775 return Representation::None(); |
6802 } | 6776 } |
6803 if (IsDoubleOrFloatElementsKind(elements_kind())) { | 6777 if (IsDoubleOrFloatElementsKind(elements_kind())) { |
6804 return Representation::Double(); | 6778 return Representation::Double(); |
6805 } | 6779 } |
6806 if (SmiValuesAre32Bits() && store_mode_ == STORE_TO_INITIALIZED_ENTRY) { | 6780 if (SmiValuesAre32Bits() && store_mode_ == STORE_TO_INITIALIZED_ENTRY) { |
6807 return Representation::Integer32(); | 6781 return Representation::Integer32(); |
6808 } | 6782 } |
6809 if (IsFastSmiElementsKind(elements_kind())) { | 6783 if (IsFastSmiElementsKind(elements_kind())) { |
6810 return Representation::Smi(); | 6784 return Representation::Smi(); |
6811 } | 6785 } |
6812 if (is_typed_elements()) { | 6786 if (is_external()) { |
6813 return Representation::Integer32(); | 6787 return Representation::Integer32(); |
6814 } | 6788 } |
6815 // For fast object elements kinds, don't assume anything. | 6789 // For fast object elements kinds, don't assume anything. |
6816 return Representation::None(); | 6790 return Representation::None(); |
6817 } | 6791 } |
6818 | 6792 |
6819 HValue* elements() { return OperandAt(0); } | 6793 HValue* elements() { return OperandAt(0); } |
6820 HValue* key() { return OperandAt(1); } | 6794 HValue* key() { return OperandAt(1); } |
6821 HValue* value() { return OperandAt(2); } | 6795 HValue* value() { return OperandAt(2); } |
6822 bool value_is_smi() const { | 6796 bool value_is_smi() const { |
(...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6887 SetFlag(kTrackSideEffectDominators); | 6861 SetFlag(kTrackSideEffectDominators); |
6888 SetGVNFlag(kDependsOnNewSpacePromotion); | 6862 SetGVNFlag(kDependsOnNewSpacePromotion); |
6889 } | 6863 } |
6890 if (is_external()) { | 6864 if (is_external()) { |
6891 SetGVNFlag(kChangesExternalMemory); | 6865 SetGVNFlag(kChangesExternalMemory); |
6892 SetFlag(kAllowUndefinedAsNaN); | 6866 SetFlag(kAllowUndefinedAsNaN); |
6893 } else if (IsFastDoubleElementsKind(elements_kind)) { | 6867 } else if (IsFastDoubleElementsKind(elements_kind)) { |
6894 SetGVNFlag(kChangesDoubleArrayElements); | 6868 SetGVNFlag(kChangesDoubleArrayElements); |
6895 } else if (IsFastSmiElementsKind(elements_kind)) { | 6869 } else if (IsFastSmiElementsKind(elements_kind)) { |
6896 SetGVNFlag(kChangesArrayElements); | 6870 SetGVNFlag(kChangesArrayElements); |
6897 } else if (is_fixed_typed_array()) { | |
6898 SetGVNFlag(kChangesTypedArrayElements); | |
6899 SetFlag(kAllowUndefinedAsNaN); | |
6900 } else { | 6871 } else { |
6901 SetGVNFlag(kChangesArrayElements); | 6872 SetGVNFlag(kChangesArrayElements); |
6902 } | 6873 } |
6903 | 6874 |
6904 // EXTERNAL_{UNSIGNED_,}{BYTE,SHORT,INT}_ELEMENTS are truncating. | 6875 // EXTERNAL_{UNSIGNED_,}{BYTE,SHORT,INT}_ELEMENTS are truncating. |
6905 if ((elements_kind >= EXTERNAL_BYTE_ELEMENTS && | 6876 if (elements_kind >= EXTERNAL_BYTE_ELEMENTS && |
6906 elements_kind <= EXTERNAL_UNSIGNED_INT_ELEMENTS) || | 6877 elements_kind <= EXTERNAL_UNSIGNED_INT_ELEMENTS) { |
6907 (elements_kind >= UINT8_ELEMENTS && | |
6908 elements_kind <= INT32_ELEMENTS)) { | |
6909 SetFlag(kTruncatingToInt32); | 6878 SetFlag(kTruncatingToInt32); |
6910 } | 6879 } |
6911 } | 6880 } |
6912 | 6881 |
6913 ElementsKind elements_kind_; | 6882 ElementsKind elements_kind_; |
6914 uint32_t index_offset_; | 6883 uint32_t index_offset_; |
6915 bool is_dehoisted_ : 1; | 6884 bool is_dehoisted_ : 1; |
6916 bool is_uninitialized_ : 1; | 6885 bool is_uninitialized_ : 1; |
6917 StoreFieldOrKeyedMode store_mode_: 1; | 6886 StoreFieldOrKeyedMode store_mode_: 1; |
6918 HValue* new_space_dominator_; | 6887 HValue* new_space_dominator_; |
(...skipping 688 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
7607 virtual bool IsDeletable() const V8_OVERRIDE { return true; } | 7576 virtual bool IsDeletable() const V8_OVERRIDE { return true; } |
7608 }; | 7577 }; |
7609 | 7578 |
7610 | 7579 |
7611 #undef DECLARE_INSTRUCTION | 7580 #undef DECLARE_INSTRUCTION |
7612 #undef DECLARE_CONCRETE_INSTRUCTION | 7581 #undef DECLARE_CONCRETE_INSTRUCTION |
7613 | 7582 |
7614 } } // namespace v8::internal | 7583 } } // namespace v8::internal |
7615 | 7584 |
7616 #endif // V8_HYDROGEN_INSTRUCTIONS_H_ | 7585 #endif // V8_HYDROGEN_INSTRUCTIONS_H_ |
OLD | NEW |