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 281 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
292 DescriptorArray* descriptors = map()->instance_descriptors(); | 292 DescriptorArray* descriptors = map()->instance_descriptors(); |
293 for (int i = 0; i < map()->NumberOfOwnDescriptors(); i++) { | 293 for (int i = 0; i < map()->NumberOfOwnDescriptors(); i++) { |
294 if (descriptors->GetDetails(i).type() == FIELD) { | 294 if (descriptors->GetDetails(i).type() == FIELD) { |
295 Representation r = descriptors->GetDetails(i).representation(); | 295 Representation r = descriptors->GetDetails(i).representation(); |
296 int field = descriptors->GetFieldIndex(i); | 296 int field = descriptors->GetFieldIndex(i); |
297 Object* value = RawFastPropertyAt(field); | 297 Object* value = RawFastPropertyAt(field); |
298 if (r.IsDouble()) ASSERT(value->IsHeapNumber()); | 298 if (r.IsDouble()) ASSERT(value->IsHeapNumber()); |
299 if (value->IsUninitialized()) continue; | 299 if (value->IsUninitialized()) continue; |
300 if (r.IsSmi()) ASSERT(value->IsSmi()); | 300 if (r.IsSmi()) ASSERT(value->IsSmi()); |
301 if (r.IsHeapObject()) ASSERT(value->IsHeapObject()); | 301 if (r.IsHeapObject()) ASSERT(value->IsHeapObject()); |
302 HeapType* field_type = descriptors->GetFieldType(i); | |
303 if (field_type->IsClass()) { | |
304 Map* map = *field_type->AsClass(); | |
305 CHECK(!map->is_stable() || HeapObject::cast(value)->map() == map); | |
306 } else if (r.IsNone()) { | |
307 CHECK(field_type->Is(HeapType::None())); | |
308 } else { | |
309 CHECK(HeapType::Any()->Is(field_type)); | |
310 } | |
311 } | 302 } |
312 } | 303 } |
313 } | 304 } |
314 | 305 |
315 // If a GC was caused while constructing this object, the elements | 306 // If a GC was caused while constructing this object, the elements |
316 // pointer may point to a one pointer filler map. | 307 // pointer may point to a one pointer filler map. |
317 if (ElementsAreSafeToExamine()) { | 308 if (ElementsAreSafeToExamine()) { |
318 CHECK_EQ((map()->has_fast_smi_or_object_elements() || | 309 CHECK_EQ((map()->has_fast_smi_or_object_elements() || |
319 (elements() == GetHeap()->empty_fixed_array())), | 310 (elements() == GetHeap()->empty_fixed_array())), |
320 (elements()->map() == GetHeap()->fixed_array_map() || | 311 (elements()->map() == GetHeap()->fixed_array_map() || |
(...skipping 871 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1192 for (int i = 0; i < number_of_transitions(); ++i) { | 1183 for (int i = 0; i < number_of_transitions(); ++i) { |
1193 if (!CheckOneBackPointer(current_map, GetTarget(i))) return false; | 1184 if (!CheckOneBackPointer(current_map, GetTarget(i))) return false; |
1194 } | 1185 } |
1195 return true; | 1186 return true; |
1196 } | 1187 } |
1197 | 1188 |
1198 | 1189 |
1199 #endif // DEBUG | 1190 #endif // DEBUG |
1200 | 1191 |
1201 } } // namespace v8::internal | 1192 } } // namespace v8::internal |
OLD | NEW |