| 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 |