AuroraMiddleware/v8
1
0
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

Split Distributivity test

Browse Source 
TBR=verwaest@chromium.org
BUG=

Review URL: https://codereview.chromium.org/298253008

git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@21572 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
This commit is contained in:
rossberg@chromium.org 2014-05-28 15:05:53 +00:00
parent 776fcd685d
commit 0589ba7017
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
test/cctest/test-types.cc
View File

@ -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().Distributivity();
HeapTests().Distributivity();
ZoneTests().Distributivity1();
HeapTests().Distributivity1();
}
TEST(Distributivity2) {
CcTest::InitializeVM();
ZoneTests().Distributivity2();
HeapTests().Distributivity2();
}