| 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" |
| (...skipping 391 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 402 (Rep::AsBitset(type1) & Rep::AsBitset(type2) & Rep::AsBitset(mask))); | 402 (Rep::AsBitset(type1) & Rep::AsBitset(type2) & Rep::AsBitset(mask))); |
| 403 } | 403 } |
| 404 } | 404 } |
| 405 | 405 |
| 406 void Bitset() { | 406 void Bitset() { |
| 407 // None and Any are bitsets. | 407 // None and Any are bitsets. |
| 408 CHECK(this->IsBitset(T.None)); | 408 CHECK(this->IsBitset(T.None)); |
| 409 CHECK(this->IsBitset(T.Any)); | 409 CHECK(this->IsBitset(T.Any)); |
| 410 | 410 |
| 411 CHECK(bitset(0) == this->AsBitset(T.None)); | 411 CHECK(bitset(0) == this->AsBitset(T.None)); |
| 412 printf("[BitSet] %p == %p\n", | 412 printf("[BitSet] %p (%p) == %p (%p)\n", |
| 413 reinterpret_cast<void*>(bitset(0xfffffffeu)), | 413 reinterpret_cast<void*>(bitset(0xfffffffeu)), |
| 414 reinterpret_cast<void*>(this->AsBitset(T.Any))); | 414 reinterpret_cast<void*>(HeapType::Any()), |
| 415 reinterpret_cast<void*>(this->AsBitset(T.Any)), |
| 416 reinterpret_cast<void*>(*T.Any)); |
| 415 CHECK(bitset(0xfffffffeu) == this->AsBitset(T.Any)); | 417 CHECK(bitset(0xfffffffeu) == this->AsBitset(T.Any)); |
| 416 | 418 |
| 417 // Union(T1, T2) is bitset for bitsets T1,T2 | 419 // Union(T1, T2) is bitset for bitsets T1,T2 |
| 418 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { | 420 for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) { |
| 419 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { | 421 for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) { |
| 420 TypeHandle type1 = *it1; | 422 TypeHandle type1 = *it1; |
| 421 TypeHandle type2 = *it2; | 423 TypeHandle type2 = *it2; |
| 422 TypeHandle union12 = T.Union(type1, type2); | 424 TypeHandle union12 = T.Union(type1, type2); |
| 423 CHECK(!(this->IsBitset(type1) && this->IsBitset(type2)) || | 425 CHECK(!(this->IsBitset(type1) && this->IsBitset(type2)) || |
| 424 this->IsBitset(union12)); | 426 this->IsBitset(union12)); |
| (...skipping 1394 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1819 } | 1821 } |
| 1820 } | 1822 } |
| 1821 }; | 1823 }; |
| 1822 | 1824 |
| 1823 typedef Tests<Type, Type*, Zone, ZoneRep> ZoneTests; | 1825 typedef Tests<Type, Type*, Zone, ZoneRep> ZoneTests; |
| 1824 typedef Tests<HeapType, Handle<HeapType>, Isolate, HeapRep> HeapTests; | 1826 typedef Tests<HeapType, Handle<HeapType>, Isolate, HeapRep> HeapTests; |
| 1825 | 1827 |
| 1826 | 1828 |
| 1827 TEST(BitsetType) { | 1829 TEST(BitsetType) { |
| 1828 CcTest::InitializeVM(); | 1830 CcTest::InitializeVM(); |
| 1829 ZoneTests().Bitset(); | 1831 // ZoneTests().Bitset(); |
| 1830 HeapTests().Bitset(); | 1832 HeapTests().Bitset(); |
| 1831 } | 1833 } |
| 1832 | 1834 |
| 1833 | 1835 |
| 1834 TEST(ClassType) { | 1836 TEST(ClassType) { |
| 1835 CcTest::InitializeVM(); | 1837 CcTest::InitializeVM(); |
| 1836 ZoneTests().Class(); | 1838 ZoneTests().Class(); |
| 1837 HeapTests().Class(); | 1839 HeapTests().Class(); |
| 1838 } | 1840 } |
| 1839 | 1841 |
| (...skipping 131 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1971 ZoneTests().Convert<HeapType, Handle<HeapType>, Isolate, HeapRep>(); | 1973 ZoneTests().Convert<HeapType, Handle<HeapType>, Isolate, HeapRep>(); |
| 1972 HeapTests().Convert<Type, Type*, Zone, ZoneRep>(); | 1974 HeapTests().Convert<Type, Type*, Zone, ZoneRep>(); |
| 1973 } | 1975 } |
| 1974 | 1976 |
| 1975 | 1977 |
| 1976 TEST(HTypeFromType) { | 1978 TEST(HTypeFromType) { |
| 1977 CcTest::InitializeVM(); | 1979 CcTest::InitializeVM(); |
| 1978 ZoneTests().HTypeFromType(); | 1980 ZoneTests().HTypeFromType(); |
| 1979 HeapTests().HTypeFromType(); | 1981 HeapTests().HTypeFromType(); |
| 1980 } | 1982 } |
| OLD | NEW |