| Index: test/cctest/test-types.cc
|
| diff --git a/test/cctest/test-types.cc b/test/cctest/test-types.cc
|
| index d2f9b9a004b9fc5c7a8a8cc7bb3d4708c04398ad..21e3df8f9a6d793b909a81d91e853e9ee723dba9 100644
|
| --- a/test/cctest/test-types.cc
|
| +++ b/test/cctest/test-types.cc
|
| @@ -1725,7 +1725,7 @@ struct Tests : Rep {
|
| T.Union(T.ObjectConstant2, T.ObjectConstant1));
|
| }
|
|
|
| - void Distributivity() {
|
| + void Distributivity1() {
|
| // Distributivity:
|
| // Union(T1, Intersect(T2, T3)) = Intersect(Union(T1, T2), Union(T1, T3))
|
| for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) {
|
| @@ -1743,7 +1743,9 @@ struct Tests : Rep {
|
| }
|
| }
|
| }
|
| + }
|
|
|
| + void Distributivity2() {
|
| // Distributivity:
|
| // Intersect(T1, Union(T2, T3)) = Union(Intersect(T1, T2), Intersect(T1,T3))
|
| for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) {
|
| @@ -1899,10 +1901,17 @@ TEST(Intersect2) {
|
| }
|
|
|
|
|
| -TEST(Distributivity) {
|
| +TEST(Distributivity1) {
|
| + CcTest::InitializeVM();
|
| + ZoneTests().Distributivity1();
|
| + HeapTests().Distributivity1();
|
| +}
|
| +
|
| +
|
| +TEST(Distributivity2) {
|
| CcTest::InitializeVM();
|
| - ZoneTests().Distributivity();
|
| - HeapTests().Distributivity();
|
| + ZoneTests().Distributivity2();
|
| + HeapTests().Distributivity2();
|
| }
|
|
|
|
|
|
|