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 283 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
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); | 302 HeapType* field_type = descriptors->GetFieldType(i); |
303 if (field_type->IsClass()) { | 303 if (field_type->IsClass()) { |
304 Map* map = *field_type->AsClass(); | 304 Map* map = *field_type->AsClass()->Map(); |
305 CHECK(!map->is_stable() || HeapObject::cast(value)->map() == map); | 305 CHECK(!map->is_stable() || HeapObject::cast(value)->map() == map); |
306 } else if (r.IsNone()) { | 306 } else if (r.IsNone()) { |
307 CHECK(field_type->Is(HeapType::None())); | 307 CHECK(field_type->Is(HeapType::None())); |
308 } else { | 308 } else { |
309 CHECK(HeapType::Any()->Is(field_type)); | 309 CHECK(HeapType::Any()->Is(field_type)); |
310 } | 310 } |
311 } | 311 } |
312 } | 312 } |
313 } | 313 } |
314 | 314 |
(...skipping 877 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1192 for (int i = 0; i < number_of_transitions(); ++i) { | 1192 for (int i = 0; i < number_of_transitions(); ++i) { |
1193 if (!CheckOneBackPointer(current_map, GetTarget(i))) return false; | 1193 if (!CheckOneBackPointer(current_map, GetTarget(i))) return false; |
1194 } | 1194 } |
1195 return true; | 1195 return true; |
1196 } | 1196 } |
1197 | 1197 |
1198 | 1198 |
1199 #endif // DEBUG | 1199 #endif // DEBUG |
1200 | 1200 |
1201 } } // namespace v8::internal | 1201 } } // namespace v8::internal |
OLD | NEW |