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(); |
} |