| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include <vector> | 5 #include <vector> |
| 6 | 6 |
| 7 #include "src/hydrogen-types.h" | 7 #include "src/hydrogen-types.h" |
| 8 #include "src/isolate-inl.h" | 8 #include "src/isolate-inl.h" |
| 9 #include "src/types.h" | 9 #include "src/types.h" |
| 10 #include "test/cctest/cctest.h" | 10 #include "test/cctest/cctest.h" |
| 11 | 11 |
| 12 using namespace v8::internal; | 12 using namespace v8::internal; |
| 13 | 13 |
| 14 // Testing auxiliaries (breaking the Type abstraction). | 14 // Testing auxiliaries (breaking the Type abstraction). |
| 15 typedef uintptr_t bitset; |
| 16 |
| 15 struct ZoneRep { | 17 struct ZoneRep { |
| 16 typedef void* Struct; | 18 typedef void* Struct; |
| 17 | 19 |
| 18 static bool IsStruct(Type* t, int tag) { | 20 static bool IsStruct(Type* t, int tag) { |
| 19 return !IsBitset(t) && reinterpret_cast<intptr_t>(AsStruct(t)[0]) == tag; | 21 return !IsBitset(t) && reinterpret_cast<intptr_t>(AsStruct(t)[0]) == tag; |
| 20 } | 22 } |
| 21 static bool IsBitset(Type* t) { return reinterpret_cast<intptr_t>(t) & 1; } | 23 static bool IsBitset(Type* t) { return reinterpret_cast<bitset>(t) & 1; } |
| 22 static bool IsUnion(Type* t) { return IsStruct(t, 6); } | 24 static bool IsUnion(Type* t) { return IsStruct(t, 6); } |
| 23 | 25 |
| 24 static Struct* AsStruct(Type* t) { | 26 static Struct* AsStruct(Type* t) { |
| 25 return reinterpret_cast<Struct*>(t); | 27 return reinterpret_cast<Struct*>(t); |
| 26 } | 28 } |
| 27 static int AsBitset(Type* t) { | 29 static bitset AsBitset(Type* t) { |
| 28 return static_cast<int>(reinterpret_cast<intptr_t>(t) >> 1); | 30 return reinterpret_cast<bitset>(t) ^ 1u; |
| 29 } | 31 } |
| 30 static Struct* AsUnion(Type* t) { | 32 static Struct* AsUnion(Type* t) { |
| 31 return AsStruct(t); | 33 return AsStruct(t); |
| 32 } | 34 } |
| 33 static int Length(Struct* structured) { | 35 static int Length(Struct* structured) { |
| 34 return static_cast<int>(reinterpret_cast<intptr_t>(structured[1])); | 36 return static_cast<int>(reinterpret_cast<intptr_t>(structured[1])); |
| 35 } | 37 } |
| 36 | 38 |
| 37 static Zone* ToRegion(Zone* zone, Isolate* isolate) { return zone; } | 39 static Zone* ToRegion(Zone* zone, Isolate* isolate) { return zone; } |
| 38 | 40 |
| 39 struct BitsetType : Type::BitsetType { | 41 struct BitsetType : Type::BitsetType { |
| 40 using Type::BitsetType::New; | 42 using Type::BitsetType::New; |
| 41 using Type::BitsetType::Glb; | 43 using Type::BitsetType::Glb; |
| 42 using Type::BitsetType::Lub; | 44 using Type::BitsetType::Lub; |
| 43 using Type::BitsetType::InherentLub; | 45 using Type::BitsetType::InherentLub; |
| 44 }; | 46 }; |
| 45 }; | 47 }; |
| 46 | 48 |
| 47 | 49 |
| 48 struct HeapRep { | 50 struct HeapRep { |
| 49 typedef FixedArray Struct; | 51 typedef FixedArray Struct; |
| 50 | 52 |
| 51 static bool IsStruct(Handle<HeapType> t, int tag) { | 53 static bool IsStruct(Handle<HeapType> t, int tag) { |
| 52 return t->IsFixedArray() && Smi::cast(AsStruct(t)->get(0))->value() == tag; | 54 return t->IsFixedArray() && Smi::cast(AsStruct(t)->get(0))->value() == tag; |
| 53 } | 55 } |
| 54 static bool IsBitset(Handle<HeapType> t) { return t->IsSmi(); } | 56 static bool IsBitset(Handle<HeapType> t) { return t->IsSmi(); } |
| 55 static bool IsUnion(Handle<HeapType> t) { return IsStruct(t, 6); } | 57 static bool IsUnion(Handle<HeapType> t) { return IsStruct(t, 6); } |
| 56 | 58 |
| 57 static Struct* AsStruct(Handle<HeapType> t) { return FixedArray::cast(*t); } | 59 static Struct* AsStruct(Handle<HeapType> t) { return FixedArray::cast(*t); } |
| 58 static int AsBitset(Handle<HeapType> t) { return Smi::cast(*t)->value(); } | 60 static bitset AsBitset(Handle<HeapType> t) { |
| 61 return reinterpret_cast<bitset>(*t); |
| 62 } |
| 59 static Struct* AsUnion(Handle<HeapType> t) { return AsStruct(t); } | 63 static Struct* AsUnion(Handle<HeapType> t) { return AsStruct(t); } |
| 60 static int Length(Struct* structured) { return structured->length() - 1; } | 64 static int Length(Struct* structured) { return structured->length() - 1; } |
| 61 | 65 |
| 62 static Isolate* ToRegion(Zone* zone, Isolate* isolate) { return isolate; } | 66 static Isolate* ToRegion(Zone* zone, Isolate* isolate) { return isolate; } |
| 63 | 67 |
| 64 struct BitsetType : HeapType::BitsetType { | 68 struct BitsetType : HeapType::BitsetType { |
| 65 using HeapType::BitsetType::New; | 69 using HeapType::BitsetType::New; |
| 66 using HeapType::BitsetType::Glb; | 70 using HeapType::BitsetType::Glb; |
| 67 using HeapType::BitsetType::Lub; | 71 using HeapType::BitsetType::Lub; |
| 68 using HeapType::BitsetType::InherentLub; | 72 using HeapType::BitsetType::InherentLub; |
| 69 static int Glb(Handle<HeapType> type) { return Glb(*type); } | 73 static bitset Glb(Handle<HeapType> type) { return Glb(*type); } |
| 70 static int Lub(Handle<HeapType> type) { return Lub(*type); } | 74 static bitset Lub(Handle<HeapType> type) { return Lub(*type); } |
| 71 static int InherentLub(Handle<HeapType> type) { return InherentLub(*type); } | 75 static bitset InherentLub(Handle<HeapType> type) { |
| 76 return InherentLub(*type); |
| 77 } |
| 72 }; | 78 }; |
| 73 }; | 79 }; |
| 74 | 80 |
| 75 | 81 |
| 76 template<class Type, class TypeHandle, class Region> | 82 template<class Type, class TypeHandle, class Region> |
| 77 class Types { | 83 class Types { |
| 78 public: | 84 public: |
| 79 Types(Region* region, Isolate* isolate) | 85 Types(Region* region, Isolate* isolate) |
| 80 : region_(region), rng_(isolate->random_number_generator()) { | 86 : region_(region), rng_(isolate->random_number_generator()) { |
| 81 #define DECLARE_TYPE(name, value) \ | 87 #define DECLARE_TYPE(name, value) \ |
| (...skipping 276 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 358 } | 364 } |
| 359 | 365 |
| 360 void CheckEqual(TypeHandle type1, TypeHandle type2) { | 366 void CheckEqual(TypeHandle type1, TypeHandle type2) { |
| 361 CHECK(Equal(type1, type2)); | 367 CHECK(Equal(type1, type2)); |
| 362 } | 368 } |
| 363 | 369 |
| 364 void CheckSub(TypeHandle type1, TypeHandle type2) { | 370 void CheckSub(TypeHandle type1, TypeHandle type2) { |
| 365 CHECK(type1->Is(type2)); | 371 CHECK(type1->Is(type2)); |
| 366 CHECK(!type2->Is(type1)); | 372 CHECK(!type2->Is(type1)); |
| 367 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { | 373 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { |
| 368 CHECK_NE(Rep::AsBitset(type1), Rep::AsBitset(type2)); | 374 CHECK(Rep::AsBitset(type1) != Rep::AsBitset(type2)); |
| 369 } | 375 } |
| 370 } | 376 } |
| 371 | 377 |
| 372 void CheckUnordered(TypeHandle type1, TypeHandle type2) { | 378 void CheckUnordered(TypeHandle type1, TypeHandle type2) { |
| 373 CHECK(!type1->Is(type2)); | 379 CHECK(!type1->Is(type2)); |
| 374 CHECK(!type2->Is(type1)); | 380 CHECK(!type2->Is(type1)); |
| 375 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { | 381 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { |
| 376 CHECK_NE(Rep::AsBitset(type1), Rep::AsBitset(type2)); | 382 CHECK(Rep::AsBitset(type1) != Rep::AsBitset(type2)); |
| 377 } | 383 } |
| 378 } | 384 } |
| 379 | 385 |
| 380 void CheckOverlap(TypeHandle type1, TypeHandle type2, TypeHandle mask) { | 386 void CheckOverlap(TypeHandle type1, TypeHandle type2, TypeHandle mask) { |
| 381 CHECK(type1->Maybe(type2)); | 387 CHECK(type1->Maybe(type2)); |
| 382 CHECK(type2->Maybe(type1)); | 388 CHECK(type2->Maybe(type1)); |
| 383 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { | 389 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { |
| 384 CHECK_NE(0, | 390 CHECK(0 != |
| 385 Rep::AsBitset(type1) & Rep::AsBitset(type2) & Rep::AsBitset(mask)); | 391 (Rep::AsBitset(type1) & Rep::AsBitset(type2) & Rep::AsBitset(mask))); |
| 386 } | 392 } |
| 387 } | 393 } |
| 388 | 394 |
| 389 void CheckDisjoint(TypeHandle type1, TypeHandle type2, TypeHandle mask) { | 395 void CheckDisjoint(TypeHandle type1, TypeHandle type2, TypeHandle mask) { |
| 390 CHECK(!type1->Is(type2)); | 396 CHECK(!type1->Is(type2)); |
| 391 CHECK(!type2->Is(type1)); | 397 CHECK(!type2->Is(type1)); |
| 392 CHECK(!type1->Maybe(type2)); | 398 CHECK(!type1->Maybe(type2)); |
| 393 CHECK(!type2->Maybe(type1)); | 399 CHECK(!type2->Maybe(type1)); |
| 394 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { | 400 if (Rep::IsBitset(type1) && Rep::IsBitset(type2)) { |
| 395 CHECK_EQ(0, | 401 CHECK(0 == |
| 396 Rep::AsBitset(type1) & Rep::AsBitset(type2) & Rep::AsBitset(mask)); | 402 (Rep::AsBitset(type1) & Rep::AsBitset(type2) & Rep::AsBitset(mask))); |
| 397 } | 403 } |
| 398 } | 404 } |
| 399 | 405 |
| 400 void Bitset() { | 406 void Bitset() { |
| 401 // None and Any are bitsets. | 407 // None and Any are bitsets. |
| 402 CHECK(this->IsBitset(T.None)); | 408 CHECK(this->IsBitset(T.None)); |
| 403 CHECK(this->IsBitset(T.Any)); | 409 CHECK(this->IsBitset(T.Any)); |
| 404 | 410 |
| 405 CHECK_EQ(0, this->AsBitset(T.None)); | 411 CHECK(0 == this->AsBitset(T.None)); |
| 406 CHECK_EQ(-1, this->AsBitset(T.Any)); | 412 CHECK(0xfffffffeu == this->AsBitset(T.Any)); |
| 407 | 413 |
| 408 // Union(T1, T2) is bitset for bitsets T1,T2 | 414 // Union(T1, T2) is bitset for bitsets T1,T2 |
| 409 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { | 415 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { |
| 410 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { | 416 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { |
| 411 TypeHandle type1 = *it1; | 417 TypeHandle type1 = *it1; |
| 412 TypeHandle type2 = *it2; | 418 TypeHandle type2 = *it2; |
| 413 TypeHandle union12 = T.Union(type1, type2); | 419 TypeHandle union12 = T.Union(type1, type2); |
| 414 CHECK(!(this->IsBitset(type1) && this->IsBitset(type2)) || | 420 CHECK(!(this->IsBitset(type1) && this->IsBitset(type2)) || |
| 415 this->IsBitset(union12)); | 421 this->IsBitset(union12)); |
| 416 } | 422 } |
| (...skipping 21 matching lines...) Expand all Loading... |
| 438 } | 444 } |
| 439 } | 445 } |
| 440 | 446 |
| 441 // Union(T1, T2) is bitwise disjunction for bitsets T1,T2 | 447 // Union(T1, T2) is bitwise disjunction for bitsets T1,T2 |
| 442 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { | 448 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { |
| 443 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { | 449 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { |
| 444 TypeHandle type1 = *it1; | 450 TypeHandle type1 = *it1; |
| 445 TypeHandle type2 = *it2; | 451 TypeHandle type2 = *it2; |
| 446 TypeHandle union12 = T.Union(type1, type2); | 452 TypeHandle union12 = T.Union(type1, type2); |
| 447 if (this->IsBitset(type1) && this->IsBitset(type2)) { | 453 if (this->IsBitset(type1) && this->IsBitset(type2)) { |
| 448 CHECK_EQ( | 454 CHECK( |
| 449 this->AsBitset(type1) | this->AsBitset(type2), | 455 (this->AsBitset(type1) | this->AsBitset(type2)) == |
| 450 this->AsBitset(union12)); | 456 this->AsBitset(union12)); |
| 451 } | 457 } |
| 452 } | 458 } |
| 453 } | 459 } |
| 454 | 460 |
| 455 // Intersect(T1, T2) is bitwise conjunction for bitsets T1,T2 | 461 // Intersect(T1, T2) is bitwise conjunction for bitsets T1,T2 |
| 456 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { | 462 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { |
| 457 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { | 463 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { |
| 458 TypeHandle type1 = *it1; | 464 TypeHandle type1 = *it1; |
| 459 TypeHandle type2 = *it2; | 465 TypeHandle type2 = *it2; |
| 460 TypeHandle intersect12 = T.Intersect(type1, type2); | 466 TypeHandle intersect12 = T.Intersect(type1, type2); |
| 461 if (this->IsBitset(type1) && this->IsBitset(type2)) { | 467 if (this->IsBitset(type1) && this->IsBitset(type2)) { |
| 462 CHECK_EQ( | 468 CHECK( |
| 463 this->AsBitset(type1) & this->AsBitset(type2), | 469 (this->AsBitset(type1) & this->AsBitset(type2)) == |
| 464 this->AsBitset(intersect12)); | 470 this->AsBitset(intersect12)); |
| 465 } | 471 } |
| 466 } | 472 } |
| 467 } | 473 } |
| 468 } | 474 } |
| 469 | 475 |
| 470 void Class() { | 476 void Class() { |
| 471 // Constructor | 477 // Constructor |
| 472 for (MapIterator mt = T.maps.begin(); mt != T.maps.end(); ++mt) { | 478 for (MapIterator mt = T.maps.begin(); mt != T.maps.end(); ++mt) { |
| 473 Handle<i::Map> map = *mt; | 479 Handle<i::Map> map = *mt; |
| (...skipping 1488 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1962 ZoneTests().Convert<HeapType, Handle<HeapType>, Isolate, HeapRep>(); | 1968 ZoneTests().Convert<HeapType, Handle<HeapType>, Isolate, HeapRep>(); |
| 1963 HeapTests().Convert<Type, Type*, Zone, ZoneRep>(); | 1969 HeapTests().Convert<Type, Type*, Zone, ZoneRep>(); |
| 1964 } | 1970 } |
| 1965 | 1971 |
| 1966 | 1972 |
| 1967 TEST(HTypeFromType) { | 1973 TEST(HTypeFromType) { |
| 1968 CcTest::InitializeVM(); | 1974 CcTest::InitializeVM(); |
| 1969 ZoneTests().HTypeFromType(); | 1975 ZoneTests().HTypeFromType(); |
| 1970 HeapTests().HTypeFromType(); | 1976 HeapTests().HTypeFromType(); |
| 1971 } | 1977 } |
| OLD | NEW |