mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-19 07:46:49 +00:00
Code Issues Projects Releases Wiki Activity

[test] Add some test cases for computeArrayUnused.

Browse Source 
llvm-svn: 311404
This commit is contained in:
Michael Kruse 2017-08-21 23:04:55 +00:00
parent ade14269cd
commit f281ae5992
1 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
polly/unittests/Isl/IslTest.cpp
View File

@ -784,6 +784,46 @@ TEST(DeLICM, computeArrayUnused) {
UMAP("{ Write[] -> Elt[] }"), UMAP("{}"),
ReadEltInSameInst, false, true));
// Two writes
EXPECT_EQ(
UMAP("{ Elt[] -> [i] : i <= 10 }"),
computeArrayUnused(UMAP("{ WriteA[] -> [0]; WriteB[] -> [10] }"),
UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),
UMAP("{}"), ReadEltInSameInst, false, true));
// Two unused zones
// read,write,read,write
EXPECT_EQ(
UMAP("{ Elt[] -> [i] : 0 < i <= 10; Elt[] -> [i] : 20 < i <= 30 }"),
computeArrayUnused(UMAP("{ ReadA[] -> [0]; WriteA[] -> [10]; ReadB[] "
"-> [20]; WriteB[] -> [30] }"),
UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),
UMAP("{ ReadA[] -> Elt[]; ReadB[] -> Elt[] }"),
ReadEltInSameInst, false, true));
// write, write
EXPECT_EQ(
UMAP("{ Elt[] -> [i] : i <= 10 }"),
computeArrayUnused(
UMAP("{ WriteA[] -> [0]; WriteB[] -> [10]; Read[] -> [20] }"),
UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),
UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true));
// write, read
EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"),
computeArrayUnused(UMAP("{ Write[] -> [0]; Read[] -> [10] }"),
UMAP("{ Write[] -> Elt[] }"),
UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,
false, true));
// read, write, read
EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"),
computeArrayUnused(
UMAP("{ ReadA[] -> [0]; Write[] -> [10]; ReadB[] -> [20] }"),
UMAP("{ Write[] -> Elt[] }"),
UMAP("{ ReadA[] -> Elt[]; ReadB[] -> Elt[] }"),
ReadEltInSameInst, false, true));
// read, write, write
EXPECT_EQ(
UMAP("{ Elt[] -> [i] : 0 < i <= 20 }"),
@ -791,6 +831,15 @@ TEST(DeLICM, computeArrayUnused) {
UMAP("{ Read[] -> [0]; WriteA[] -> [10]; WriteB[] -> [20] }"),
UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),
UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true));
// read, write, write, read
EXPECT_EQ(
UMAP("{ Elt[] -> [i] : 0 < i <= 20 }"),
computeArrayUnused(UMAP("{ ReadA[] -> [0]; WriteA[] -> [10]; WriteB[] "
"-> [20]; ReadB[] -> [30] }"),
UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),
UMAP("{ ReadA[] -> Elt[]; ReadB[] -> Elt[] }"),
ReadEltInSameInst, false, true));
}
// Read and write in same statement