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 288 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
299 | 299 |
300 if (GetElementsKind() == NON_STRICT_ARGUMENTS_ELEMENTS) { | 300 if (GetElementsKind() == NON_STRICT_ARGUMENTS_ELEMENTS) { |
301 CHECK(this->elements()->IsFixedArray()); | 301 CHECK(this->elements()->IsFixedArray()); |
302 CHECK_GE(this->elements()->length(), 2); | 302 CHECK_GE(this->elements()->length(), 2); |
303 } | 303 } |
304 | 304 |
305 if (HasFastProperties()) { | 305 if (HasFastProperties()) { |
306 CHECK_EQ(map()->unused_property_fields(), | 306 CHECK_EQ(map()->unused_property_fields(), |
307 (map()->inobject_properties() + properties()->length() - | 307 (map()->inobject_properties() + properties()->length() - |
308 map()->NextFreePropertyIndex())); | 308 map()->NextFreePropertyIndex())); |
| 309 DescriptorArray* descriptors = map()->instance_descriptors(); |
| 310 for (int i = 0; i < map()->NumberOfOwnDescriptors(); i++) { |
| 311 if (descriptors->GetDetails(i).type() == FIELD) { |
| 312 Representation r = descriptors->GetDetails(i).representation(); |
| 313 int field = descriptors->GetFieldIndex(i); |
| 314 Object* value = RawFastPropertyAt(field); |
| 315 if (r.IsSmi()) ASSERT(value->IsSmi()); |
| 316 if (r.IsDouble()) ASSERT(value->IsHeapNumber()); |
| 317 if (r.IsHeapObject()) ASSERT(value->IsHeapObject()); |
| 318 } |
| 319 } |
309 } | 320 } |
310 CHECK_EQ((map()->has_fast_smi_or_object_elements() || | 321 CHECK_EQ((map()->has_fast_smi_or_object_elements() || |
311 (elements() == GetHeap()->empty_fixed_array())), | 322 (elements() == GetHeap()->empty_fixed_array())), |
312 (elements()->map() == GetHeap()->fixed_array_map() || | 323 (elements()->map() == GetHeap()->fixed_array_map() || |
313 elements()->map() == GetHeap()->fixed_cow_array_map())); | 324 elements()->map() == GetHeap()->fixed_cow_array_map())); |
314 CHECK(map()->has_fast_object_elements() == HasFastObjectElements()); | 325 CHECK(map()->has_fast_object_elements() == HasFastObjectElements()); |
315 } | 326 } |
316 | 327 |
317 | 328 |
318 void Map::MapVerify() { | 329 void Map::MapVerify() { |
(...skipping 789 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1108 for (int i = 0; i < number_of_transitions(); ++i) { | 1119 for (int i = 0; i < number_of_transitions(); ++i) { |
1109 if (!CheckOneBackPointer(current_map, GetTarget(i))) return false; | 1120 if (!CheckOneBackPointer(current_map, GetTarget(i))) return false; |
1110 } | 1121 } |
1111 return true; | 1122 return true; |
1112 } | 1123 } |
1113 | 1124 |
1114 | 1125 |
1115 #endif // DEBUG | 1126 #endif // DEBUG |
1116 | 1127 |
1117 } } // namespace v8::internal | 1128 } } // namespace v8::internal |
OLD | NEW |