Skip to content

Commit 9dcd9e1

Browse files
mayanjemayanje
committed
WI #2014 Simply result format
1 parent 4288ff2 commit 9dcd9e1

File tree

3 files changed

+49
-49
lines changed

3 files changed

+49
-49
lines changed

‎TypeCobol.Analysis.Test/BasicCfgPrograms/HanoiPrg.doms‎

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
1-
Dominators[Block0]={{0}}
2-
Dominators[Block1]={{0, 1}}
3-
Dominators[Block2]={{0, 1, 2}}
4-
Dominators[Block3]={{0, 1, 2, 3, 25, 26, 29}}
5-
Dominators[Block4]={{0, 1, 2, 3, 4, 25, 26, 29}}
6-
Dominators[Block5]={{0, 1, 2, 3, 4, 5, 25, 26, 29}}
7-
Dominators[Block6]={{0, 1, 2, 3, 4, 5, 6, 25, 26, 29}}
8-
Dominators[Block25]={{0, 1, 2, 25}}
9-
Dominators[Block26]={{0, 1, 2, 25, 26}}
10-
Dominators[Block27]={{0, 1, 2, 25, 26, 27}}
11-
Dominators[Block29]={{0, 1, 2, 25, 26, 29}}
12-
Dominators[Block30]={{0, 1, 2, 3, 4, 25, 26, 29, 30}}
13-
Dominators[Block31]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31}}
14-
Dominators[Block32]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32}}
15-
Dominators[Block33]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32, 33}}
16-
Dominators[Block34]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32, 33, 34, 43}}
17-
Dominators[Block35]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 35}}
18-
Dominators[Block36]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 36}}
19-
Dominators[Block37]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 37}}
20-
Dominators[Block38]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 37, 38}}
21-
Dominators[Block39]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 37, 38, 39, 44}}
22-
Dominators[Block40]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 40}}
23-
Dominators[Block43]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32, 33, 43}}
24-
Dominators[Block44]={{0, 1, 2, 3, 4, 25, 26, 29, 30, 37, 38, 44}}
1+
Dominators[Block0]={0}
2+
Dominators[Block1]={0, 1}
3+
Dominators[Block2]={0, 1, 2}
4+
Dominators[Block3]={0, 1, 2, 3, 25, 26, 29}
5+
Dominators[Block4]={0, 1, 2, 3, 4, 25, 26, 29}
6+
Dominators[Block5]={0, 1, 2, 3, 4, 5, 25, 26, 29}
7+
Dominators[Block6]={0, 1, 2, 3, 4, 5, 6, 25, 26, 29}
8+
Dominators[Block25]={0, 1, 2, 25}
9+
Dominators[Block26]={0, 1, 2, 25, 26}
10+
Dominators[Block27]={0, 1, 2, 25, 26, 27}
11+
Dominators[Block29]={0, 1, 2, 25, 26, 29}
12+
Dominators[Block30]={0, 1, 2, 3, 4, 25, 26, 29, 30}
13+
Dominators[Block31]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31}
14+
Dominators[Block32]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32}
15+
Dominators[Block33]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32, 33}
16+
Dominators[Block34]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32, 33, 34, 43}
17+
Dominators[Block35]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 35}
18+
Dominators[Block36]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 36}
19+
Dominators[Block37]={0, 1, 2, 3, 4, 25, 26, 29, 30, 37}
20+
Dominators[Block38]={0, 1, 2, 3, 4, 25, 26, 29, 30, 37, 38}
21+
Dominators[Block39]={0, 1, 2, 3, 4, 25, 26, 29, 30, 37, 38, 39, 44}
22+
Dominators[Block40]={0, 1, 2, 3, 4, 25, 26, 29, 30, 40}
23+
Dominators[Block43]={0, 1, 2, 3, 4, 25, 26, 29, 30, 31, 32, 33, 43}
24+
Dominators[Block44]={0, 1, 2, 3, 4, 25, 26, 29, 30, 37, 38, 44}

‎TypeCobol.Analysis.Test/BasicCfgPrograms/HanoiPrg.idoms‎

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
1-
Dominators[Block0]={{}}
2-
Dominators[Block1]={{0}}
3-
Dominators[Block2]={{1}}
4-
Dominators[Block3]={{29}}
5-
Dominators[Block4]={{3}}
6-
Dominators[Block5]={{4}}
7-
Dominators[Block6]={{5}}
8-
Dominators[Block25]={{2}}
9-
Dominators[Block26]={{25}}
10-
Dominators[Block27]={{26}}
11-
Dominators[Block29]={{26}}
12-
Dominators[Block30]={{4}}
13-
Dominators[Block31]={{30}}
14-
Dominators[Block32]={{31}}
15-
Dominators[Block33]={{32}}
16-
Dominators[Block34]={{43}}
17-
Dominators[Block35]={{31}}
18-
Dominators[Block36]={{31}}
19-
Dominators[Block37]={{30}}
20-
Dominators[Block38]={{37}}
21-
Dominators[Block39]={{44}}
22-
Dominators[Block40]={{30}}
23-
Dominators[Block43]={{33}}
24-
Dominators[Block44]={{38}}
1+
Dominators[Block0]={}
2+
Dominators[Block1]={0}
3+
Dominators[Block2]={1}
4+
Dominators[Block3]={29}
5+
Dominators[Block4]={3}
6+
Dominators[Block5]={4}
7+
Dominators[Block6]={5}
8+
Dominators[Block25]={2}
9+
Dominators[Block26]={25}
10+
Dominators[Block27]={26}
11+
Dominators[Block29]={26}
12+
Dominators[Block30]={4}
13+
Dominators[Block31]={30}
14+
Dominators[Block32]={31}
15+
Dominators[Block33]={32}
16+
Dominators[Block34]={43}
17+
Dominators[Block35]={31}
18+
Dominators[Block36]={31}
19+
Dominators[Block37]={30}
20+
Dominators[Block38]={37}
21+
Dominators[Block39]={44}
22+
Dominators[Block40]={30}
23+
Dominators[Block43]={33}
24+
Dominators[Block44]={38}

‎TypeCobol.Analysis/Graph/ControlFlowGraph.Dominator.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@ public void DumpDominators(BitSet[] dominators, System.IO.TextWriter writer)
119119
if (doms != null)
120120
{
121121
BasicBlock<N, D> b = this.AllBlocks[i];
122-
writer.WriteLine($"Dominators[Block{b.Index}]={{{doms.ToString()}}}");
122+
writer.WriteLine($"Dominators[Block{b.Index}]={doms.ToString()}");
123123
}
124124
}
125125
}

0 commit comments

Comments
 (0)