Skip to content

Commit 1f80dfc

Browse files
danpoedanpoe
committed
More dependence graph tests
1 parent 738e682 commit 1f80dfc

File tree

14 files changed

+404
-3
lines changed

14 files changed

+404
-3
lines changed

‎regression/goto-analyzer/dependence-graph10/main.c

+15
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
int a;
2+
3+
void main(void)
4+
{
5+
int i = 0;
6+
7+
if(i < 10)
8+
{
9+
a = 1;
10+
}
11+
else
12+
{
13+
a = 2;
14+
}
15+
}

‎regression/goto-analyzer/dependence-graph10/test.desc

+39
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
CORE
2+
main.c
3+
--dependence-graph --show
4+
activate-multi-line-match
5+
EXIT=0
6+
SIGNAL=0
7+
// First assignment has a control dependency on the if
8+
\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
9+
// Second assignment has a control dependency on the if
10+
\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 2
11+
--
12+
^warning: ignoring
13+
--
14+
The first regex above matches output portions like shown below (with <N> being a
15+
location number). The intention is to check whether the assignment has a control
16+
dependency on the goto statement.
17+
18+
// <N> file main.c line 7 function main
19+
IF !(i < 10) THEN GOTO 1
20+
21+
**** 3 file main.c line 9 function main
22+
Control dependencies: <N>
23+
24+
// 3 file main.c line 9 function main
25+
a = 1;
26+
27+
The second regex above matches output portions like shown below (with <N> being
28+
a location number). The intention is to check whether the assignment has a
29+
control dependency on the goto statement.
30+
31+
// <N> file main.c line 7 function main
32+
IF !(i < 10) THEN GOTO 1
33+
...
34+
**** 5 file main.c line 13 function main
35+
Control dependencies: <N>
36+
37+
// 5 file main.c line 13 function main
38+
1: a = 2;
39+

‎regression/goto-analyzer/dependence-graph11/main.c

+15
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
int a;
2+
3+
void func()
4+
{
5+
}
6+
7+
void main(void)
8+
{
9+
func();
10+
11+
if(a < 10)
12+
{
13+
a = 1;
14+
}
15+
}

‎regression/goto-analyzer/dependence-graph11/test.desc

+23
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CORE
2+
main.c
3+
--dependence-graph --show
4+
activate-multi-line-match
5+
EXIT=0
6+
SIGNAL=0
7+
// Assignment has a control dependency on the if
8+
\/\/ ([0-9]+).*\n.*IF.*a < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
9+
--
10+
^warning: ignoring
11+
--
12+
The regex above match output portions like shown below (with <N> being a
13+
location number). The intention is to check whether the assignment has a control
14+
dependency on the goto statement.
15+
16+
// <N> file main.c line 11 function main
17+
IF !(i < 10) THEN GOTO 1
18+
...
19+
**** 3 file main.c line 13 function main
20+
Control dependencies: <N>
21+
22+
// 3 file main.c line 13 function main
23+
a = 1;

‎regression/goto-analyzer/dependence-graph12/main.c

+21
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
int a;
2+
3+
void func()
4+
{
5+
}
6+
7+
void main(void)
8+
{
9+
if(a < 7)
10+
{
11+
goto L;
12+
}
13+
14+
if(a < 10)
15+
{
16+
func();
17+
L:
18+
a = 1;
19+
a = 2;
20+
}
21+
}

‎regression/goto-analyzer/dependence-graph12/test.desc

+38
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
CORE
2+
main.c
3+
--dependence-graph --show
4+
activate-multi-line-match
5+
EXIT=0
6+
SIGNAL=0
7+
// Assignment has a control dependency on the first if
8+
\/\/ ([0-9]+).*\n.*IF.*a < 7.*THEN(.*\n)*Control dependencies: (([0-9]+,\1)|(\1,[0-9]+))\n(.*\n){2,3}.*a = 2
9+
// Assignment has a control dependency on the second if
10+
\/\/ ([0-9]+).*\n.*IF.*a < 10.*THEN(.*\n)*Control dependencies: (([0-9]+,\1)|(\1,[0-9]+))\n(.*\n){2,3}.*a = 2
11+
--
12+
^warning: ignoring
13+
--
14+
The first regex above matches output portions like shown below (with <N> being a
15+
location number). The intention is to check whether the assignment has a control
16+
dependency on the goto statement.
17+
18+
// <N> file main.c line 9 function main
19+
IF a < 7 THEN GOTO 1
20+
...
21+
**** 6 file main.c line 19 function main
22+
Control dependencies: (<N>,...)|(...,<N>)
23+
24+
// 6 file main.c line 19 function main
25+
a = 2;
26+
27+
The second regex above matches output portions like shown below (with <N> being
28+
a location number). The intention is to check whether the assignment has a
29+
control dependency on the goto statement.
30+
31+
// <N> file main.c line 14 function main
32+
IF !(a < 10) THEN GOTO 2
33+
...
34+
**** 6 file main.c line 19 function main
35+
Control dependencies: (<N>,...)|(...,<N>)
36+
37+
// 6 file main.c line 19 function main
38+
a = 2;

‎regression/goto-analyzer/dependence-graph4/main.c

+3-3
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@ int g_out;
33

44
void main(void)
55
{
6-
int t;
6+
int x;
77
if(g_in1)
88
{
99
if(g_in2)
10-
t = 0;
10+
x = 0;
1111
else
12-
t = 1;
12+
x = 1;
1313

1414
g_out = 1; // depends on "if(g_in1)
1515
}

‎regression/goto-analyzer/dependence-graph4/test.desc

+69
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,74 @@ activate-multi-line-match
55
EXIT=0
66
SIGNAL=0
77
\/\/ ([0-9]+) file.*\n.*IF.*g_in1.*THEN GOTO(.*\n)*Control dependencies: \1\n\n.*\n.*g_out = 1
8+
\/\/ ([0-9]+) file.*\n.*IF.*g_in2.*THEN GOTO(.*\n)*Control dependencies: \1\n\n.*\n.*x = 0
9+
\/\/ ([0-9]+) file.*\n.*IF.*g_in2.*THEN GOTO(.*\n)*Control dependencies: \1\n\n.*\n.*x = 1
810
--
911
^warning: ignoring
12+
\/\/ ([0-9]+) file.*\n.*IF.*g_in1.*THEN GOTO(.*\n)*Control dependencies: (([0-9]+,\1)|(\1,[0-9]+)|(\1))\n(.*\n){2,3}.*x = 0
13+
\/\/ ([0-9]+) file.*\n.*IF.*g_in1.*THEN GOTO(.*\n)*Control dependencies: (([0-9]+,\1)|(\1,[0-9]+)|(\1))\n(.*\n){2,3}.*x = 1
14+
--
15+
The first regex above matches output portions like shown below (with <N> being a
16+
location number). The intention is to check whether the assignment has a control
17+
dependency on the goto statement.
18+
19+
// <N> file main.c line 7 function main
20+
IF !(g_in1 != 0) THEN GOTO 3
21+
...
22+
**** 3 file main.c line 14 function main
23+
Control dependencies: <N>
24+
25+
// 3 file main.c line 14 function main
26+
g_out = 1;
27+
28+
The second regex above matches output portions like shown below (with <N> being
29+
a location number). The intention is to check whether the assignment has a
30+
control dependency on the goto statement.
31+
32+
// <N> file main.c line 9 function main
33+
IF !(g_in2 != 0) THEN GOTO 3
34+
...
35+
**** 3 file main.c line 10 function main
36+
Control dependencies: <N>
37+
38+
// 3 file main.c line 10 function main
39+
x = 0;
40+
41+
The third regex above matches output portions like shown below (with <N> being
42+
a location number). The intention is to check whether the assignment has a
43+
control dependency on the goto statement.
44+
45+
// <N> file main.c line 9 function main
46+
IF !(g_in2 != 0) THEN GOTO 3
47+
...
48+
**** 3 file main.c line 12 function main
49+
Control dependencies: <N>
50+
51+
// 3 file main.c line 12 function main
52+
x = 1;
53+
54+
The fourth regex above matches output portions like shown below (with <N> being
55+
a location number). The intention is to check whether the assignment has a
56+
control dependency on the goto statement.
57+
58+
// <N> file main.c line 7 function main
59+
IF g_in1 != 0 THEN GOTO 2
60+
...
61+
**** 6 file main.c line 10 function main
62+
Control dependencies: (...,<N>)|(<N>,...)|<N>
63+
64+
// 6 file main.c line 10 function main
65+
x = 0;
66+
67+
The fifth regex above matches output portions like shown below (with <N> being
68+
a location number). The intention is to check whether the assignment has a
69+
control dependency on the goto statement.
70+
71+
// <N> file main.c line 7 function main
72+
IF g_in1 != 0 THEN GOTO 2
73+
...
74+
**** 6 file main.c line 12 function main
75+
Control dependencies: (...,<N>)|(<N>,...)|<N>
76+
77+
// 6 file main.c line 12 function main
78+
x = 1;

‎regression/goto-analyzer/dependence-graph7/main.c

+10
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
int a;
2+
3+
void main(void)
4+
{
5+
int i = 0;
6+
while(i < 10)
7+
{
8+
a = 1;
9+
}
10+
}

‎regression/goto-analyzer/dependence-graph7/test.desc

+50
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
CORE
2+
main.c
3+
--dependence-graph --show
4+
activate-multi-line-match
5+
EXIT=0
6+
SIGNAL=0
7+
// Assignment has a control dependency on the loop head
8+
\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
9+
// Backedge has a control dependency on the loop head
10+
\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}\s*GOTO [0-9]+
11+
// Loop head has a control dependency on itself
12+
Control dependencies: ([0-9]+)\n(.*\n)?\n.*\/\/ \1.*\n.*IF.*i < 10.*THEN
13+
--
14+
^warning: ignoring
15+
--
16+
The first regex above match output portions like shown below (with <N> being a
17+
location number). The intention is to check whether the assignment has a control
18+
dependency on the loop head.
19+
20+
// <N> file main.c line 6 function main
21+
1: IF !(i < 10) THEN GOTO 2
22+
...
23+
**** 3 file main.c line 8 function main
24+
Control dependencies: <N>
25+
26+
// 3 file main.c line 8 function main
27+
a = 1;
28+
29+
The second regex above match output portions like shown below (with <N> being a
30+
location number). The intention is to check whether the backwards goto has a
31+
control dependency on the loop head.
32+
33+
// <N> file main.c line 6 function main
34+
1: IF !(i < 10) THEN GOTO 2
35+
...
36+
**** 4 file main.c line 6 function main
37+
Control dependencies: <N>
38+
39+
// 4 file main.c line 6 function main
40+
GOTO 1
41+
42+
The third regex above match output portions like shown below (with <N> being a
43+
location number). The intention is to check whether the loop head has a control
44+
dependency on itself.
45+
46+
Control dependencies: <N>
47+
Data dependencies: 1
48+
49+
// <N> file main.c line 6 function main
50+
1: IF !(i < 10) THEN GOTO 2

‎regression/goto-analyzer/dependence-graph8/main.c

+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
int a;
2+
3+
void main(void)
4+
{
5+
int i = 0;
6+
while(i < 10)
7+
{
8+
if(i < 7)
9+
{
10+
a = 1;
11+
}
12+
}
13+
}

‎regression/goto-analyzer/dependence-graph8/test.desc

+54
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
CORE
2+
main.c
3+
--dependence-graph --show
4+
activate-multi-line-match
5+
EXIT=0
6+
SIGNAL=0
7+
// Assignment has a control dependency on the if
8+
\/\/ ([0-9]+).*\n.*IF.*i < 7.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
9+
// If has a control dependency on the loop head
10+
\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*i < 7
11+
--
12+
^warning: ignoring
13+
// Assignment does not have a control dependency on the loop head
14+
\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
15+
--
16+
The first regex above matches output portions like shown below (with <N> being a
17+
location number). The intention is to check whether the assignment has a control
18+
dependency on the if.
19+
20+
// <N> file main.c line 8 function main
21+
1: IF !(i < 7) THEN GOTO 2
22+
...
23+
**** 3 file main.c line 10 function main
24+
Control dependencies: <N>
25+
26+
// 3 file main.c line 10 function main
27+
a = 1;
28+
29+
The second regex above matches output portions like shown below (with <N> being
30+
a location number). The intention is to check whether the if has a control
31+
dependency on the loop head.
32+
33+
// <N> file main.c line 6 function main
34+
1: IF !(i < 10) THEN GOTO 3
35+
36+
**** 3 file main.c line 8 function main
37+
Control dependencies: <N>
38+
Data dependencies: 1
39+
40+
// 3 file main.c line 8 function main
41+
IF !(i < 7) THEN GOTO 2
42+
43+
The third regex above matches output portions like shown below (with <N> being a
44+
location number). The intention is to check that the assignment does not have a
45+
control dependency on the loop head.
46+
47+
// <N> file main.c line 6 function main
48+
1: IF !(i < 10) THEN GOTO 3
49+
...
50+
**** 4 file main.c line 10 function main
51+
Control dependencies: <N>
52+
53+
// 4 file main.c line 10 function main
54+
a = 1;

‎regression/goto-analyzer/dependence-graph9/main.c

+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
int a;
2+
3+
void main(void)
4+
{
5+
int i = 0;
6+
7+
if(i < 10)
8+
{
9+
if(i < 7)
10+
{
11+
a = 1;
12+
}
13+
14+
a = 2;
15+
}
16+
}

0 commit comments

Comments
 (0)