luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use comments as a branch description for BRDA events in coverage .info files 

Signed-off-by: Eryk Szpotanski <eszpotanski@antmicro.com>
This commit is contained in:
Eryk Szpotanski 2026-06-25 12:27:17 +02:00
parent 58bd13b623
commit 6a7314fd2c
13 changed files with 621 additions and 611 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/CONTRIBUTORS
View File

@ -70,6 +70,7 @@ Edgar E. Iglesias
Eric Mejdrich Eric Mejdrich
Eric Müller Eric Müller
Eric Rippey Eric Rippey
Eryk Szpotański
Eunseo Song Eunseo Song
Ethan Sifferman Ethan Sifferman
Eyck Jentzsch Eyck Jentzsch

12
src/VlcTop.cpp
View File

@ -240,7 +240,7 @@ void VlcTop::writeInfo(const string& filename) {
// FNF:<number_functions_found> // FNF:<number_functions_found>
// FNH:<number_functions_hit> // FNH:<number_functions_hit>
// Branches: // Branches:
// BRDA:<line_number>,<block_number>,<branch_number>,<taken_count_or_-_for_zero> // BRDA:<line_number>,<block_number>,<branch>,<taken_count_or_-_for_zero>
// BRF:<number_of_branches_found> // BRF:<number_of_branches_found>
// BRH:<number_of_branches_hit> // BRH:<number_of_branches_hit>
// Line counts: // Line counts:
@ -273,8 +273,14 @@ void VlcTop::writeInfo(const string& filename) {
for (const VlcPoint* point : infoPoints) { for (const VlcPoint* point : infoPoints) {
os << "BRDA:" << sc.lineno() << ","; os << "BRDA:" << sc.lineno() << ",";
os << "0,"; os << "0,";
os << point_num << ","; if (point->comment().empty()) {
os << point->count() << "\n"; os << point_num;
} else {
std::string comment(point->comment());
std::replace(comment.begin(), comment.end(), ',', '_');
os << comment;
}
os << "," << point->count() << "\n";
branchesHit += opt.countOk(point->count()); branchesHit += opt.countOk(point->count());
++point_num; ++point_num;

166
test_regress/t/t_cover_line_cc.info.out
View File

@ -4,32 +4,32 @@ DA:15,1
DA:18,1 DA:18,1
DA:55,10 DA:55,10
DA:56,10 DA:56,10
BRDA:56,0,0,10 BRDA:56,0,if,10
BRDA:56,0,1,0 BRDA:56,0,else,0
DA:57,10 DA:57,10
DA:58,10 DA:58,10
DA:60,9 DA:60,9
BRDA:60,0,0,1 BRDA:60,0,if,1
BRDA:60,0,1,9 BRDA:60,0,else,9
DA:61,9 DA:61,9
BRDA:61,0,0,1 BRDA:61,0,if,1
BRDA:61,0,1,9 BRDA:61,0,else,9
DA:62,1 DA:62,1
DA:63,1 DA:63,1
DA:66,9 DA:66,9
BRDA:66,0,0,1 BRDA:66,0,if,1
BRDA:66,0,1,9 BRDA:66,0,else,9
DA:67,9 DA:67,9
BRDA:67,0,0,1 BRDA:67,0,if,1
BRDA:67,0,1,9 BRDA:67,0,else,9
DA:69,9 DA:69,9
DA:70,9 DA:70,9
DA:73,9 DA:73,9
BRDA:73,0,0,1 BRDA:73,0,if,1
BRDA:73,0,1,9 BRDA:73,0,else,9
DA:74,9 DA:74,9
BRDA:74,0,0,1 BRDA:74,0,if,1
BRDA:74,0,1,9 BRDA:74,0,else,9
DA:75,1 DA:75,1
DA:76,1 DA:76,1
DA:79,9 DA:79,9
@ -41,8 +41,8 @@ DA:87,1
DA:88,1 DA:88,1
DA:89,1 DA:89,1
DA:91,7 DA:91,7
BRDA:91,0,0,1 BRDA:91,0,if,1
BRDA:91,0,1,7 BRDA:91,0,else,7
DA:92,1 DA:92,1
DA:93,1 DA:93,1
DA:96,7 DA:96,7
@ -52,67 +52,67 @@ DA:101,0
DA:102,0 DA:102,0
DA:104,0 DA:104,0
DA:105,10 DA:105,10
BRDA:105,0,0,0 BRDA:105,0,block,0
BRDA:105,0,1,10 BRDA:105,0,block,10
DA:106,10 DA:106,10
DA:107,10 DA:107,10
BRDA:107,0,0,0 BRDA:107,0,block,0
BRDA:107,0,1,10 BRDA:107,0,block,10
DA:110,1 DA:110,1
DA:111,1 DA:111,1
DA:113,1 DA:113,1
DA:115,1 DA:115,1
DA:120,7 DA:120,7
BRDA:120,0,0,1 BRDA:120,0,if,1
BRDA:120,0,1,7 BRDA:120,0,else,7
DA:121,1 DA:121,1
DA:122,1 DA:122,1
DA:127,1 DA:127,1
DA:129,1 DA:129,1
DA:140,20 DA:140,20
DA:141,18 DA:141,18
BRDA:141,0,0,2 BRDA:141,0,if,2
BRDA:141,0,1,18 BRDA:141,0,else,18
DA:142,2 DA:142,2
DA:145,18 DA:145,18
DA:164,20 DA:164,20
DA:165,20 DA:165,20
DA:166,20 DA:166,20
BRDA:166,0,0,0 BRDA:166,0,if,0
BRDA:166,0,1,20 BRDA:166,0,else,20
DA:168,0 DA:168,0
DA:170,18 DA:170,18
BRDA:170,0,0,2 BRDA:170,0,if,2
BRDA:170,0,1,18 BRDA:170,0,else,18
DA:172,2 DA:172,2
DA:174,18 DA:174,18
DA:188,11 DA:188,11
DA:189,11 DA:189,11
DA:190,11 DA:190,11
BRDA:190,0,0,11 BRDA:190,0,if,11
BRDA:190,0,1,0 BRDA:190,0,else,0
DA:191,11 DA:191,11
DA:194,11 DA:194,11
DA:195,11 DA:195,11
BRDA:195,0,0,11 BRDA:195,0,if,11
BRDA:195,0,1,0 BRDA:195,0,else,0
DA:196,11 DA:196,11
DA:199,11 DA:199,11
DA:200,11 DA:200,11
BRDA:200,0,0,11 BRDA:200,0,if,11
BRDA:200,0,1,0 BRDA:200,0,else,0
DA:201,11 DA:201,11
DA:215,10 DA:215,10
DA:216,10 DA:216,10
DA:219,11 DA:219,11
DA:221,11 DA:221,11
DA:222,10 DA:222,10
BRDA:222,0,0,1 BRDA:222,0,if,1
BRDA:222,0,1,10 BRDA:222,0,else,10
DA:223,1 DA:223,1
DA:225,10 DA:225,10
BRDA:225,0,0,1 BRDA:225,0,if,1
BRDA:225,0,1,10 BRDA:225,0,else,10
DA:226,1 DA:226,1
DA:229,11 DA:229,11
DA:230,11 DA:230,11
@ -121,12 +121,12 @@ DA:232,11
DA:233,11 DA:233,11
DA:253,10 DA:253,10
DA:254,9 DA:254,9
BRDA:254,0,0,1 BRDA:254,0,if,1
BRDA:254,0,1,9 BRDA:254,0,else,9
DA:256,1 DA:256,1
DA:257,1 DA:257,1
BRDA:257,0,0,0 BRDA:257,0,if,0
BRDA:257,0,1,1 BRDA:257,0,else,1
DA:266,10 DA:266,10
DA:267,10 DA:267,10
DA:268,1 DA:268,1
@ -139,8 +139,8 @@ DA:277,10
DA:278,10 DA:278,10
DA:288,0 DA:288,0
DA:289,0 DA:289,0
BRDA:289,0,0,0 BRDA:289,0,if,0
BRDA:289,0,1,0 BRDA:289,0,else,0
DA:290,0 DA:290,0
DA:292,0 DA:292,0
DA:293,0 DA:293,0
@ -157,66 +157,66 @@ DA:328,10
DA:329,10 DA:329,10
DA:330,10 DA:330,10
DA:333,31 DA:333,31
BRDA:333,0,0,0 BRDA:333,0,cond_then,0
BRDA:333,0,1,31 BRDA:333,0,cond_else,31
DA:334,28 DA:334,28
BRDA:334,0,0,3 BRDA:334,0,cond_then,3
BRDA:334,0,1,28 BRDA:334,0,cond_else,28
DA:335,1 DA:335,1
BRDA:335,0,0,1 BRDA:335,0,cond_then,1
BRDA:335,0,1,0 BRDA:335,0,cond_else,0
DA:336,10 DA:336,10
DA:337,10 DA:337,10
BRDA:337,0,0,10 BRDA:337,0,block,10
BRDA:337,0,1,3 BRDA:337,0,cond_then,3
BRDA:337,0,2,7 BRDA:337,0,cond_else,7
DA:338,10 DA:338,10
BRDA:338,0,0,10 BRDA:338,0,block,10
BRDA:338,0,1,0 BRDA:338,0,cond_then,0
BRDA:338,0,2,10 BRDA:338,0,cond_else,10
DA:340,19 DA:340,19
BRDA:340,0,0,12 BRDA:340,0,cond_then,12
BRDA:340,0,1,19 BRDA:340,0,cond_else,19
BRDA:340,0,2,7 BRDA:340,0,cond_then,7
BRDA:340,0,3,5 BRDA:340,0,cond_else,5
DA:343,11 DA:343,11
BRDA:343,0,0,11 BRDA:343,0,cond_then,11
BRDA:343,0,1,0 BRDA:343,0,cond_else,0
DA:349,22 DA:349,22
BRDA:349,0,0,20 BRDA:349,0,cond_then,20
BRDA:349,0,1,22 BRDA:349,0,cond_else,22
DA:352,11 DA:352,11
DA:353,10 DA:353,10
BRDA:353,0,0,0 BRDA:353,0,cond_then,0
BRDA:353,0,1,1 BRDA:353,0,cond_else,1
BRDA:353,0,2,1 BRDA:353,0,if,1
BRDA:353,0,3,10 BRDA:353,0,else,10
DA:354,10 DA:354,10
DA:356,11 DA:356,11
BRDA:356,0,0,11 BRDA:356,0,block,11
BRDA:356,0,1,1 BRDA:356,0,cond_then,1
BRDA:356,0,2,10 BRDA:356,0,cond_else,10
DA:359,55 DA:359,55
BRDA:359,0,0,11 BRDA:359,0,block,11
BRDA:359,0,1,55 BRDA:359,0,block,55
DA:360,55 DA:360,55
DA:362,44 DA:362,44
BRDA:362,0,0,11 BRDA:362,0,block,11
BRDA:362,0,1,11 BRDA:362,0,cond_then,11
BRDA:362,0,2,33 BRDA:362,0,cond_else,33
BRDA:362,0,3,44 BRDA:362,0,block,44
DA:363,44 DA:363,44
DA:366,11 DA:366,11
BRDA:366,0,0,0 BRDA:366,0,if,0
BRDA:366,0,1,11 BRDA:366,0,else,11
DA:367,11 DA:367,11
DA:370,10 DA:370,10
BRDA:370,0,0,1 BRDA:370,0,cond_then,1
BRDA:370,0,1,10 BRDA:370,0,cond_else,10
DA:373,10 DA:373,10
DA:374,9 DA:374,9
BRDA:374,0,0,1 BRDA:374,0,if,1
BRDA:374,0,1,9 BRDA:374,0,else,9
BRF:83 BRF:83
BRH:32 BRH:32
end_of_record end_of_record

24
test_regress/t/t_cover_toggle_min.info.out
View File

@ -1,20 +1,20 @@
TN:verilator_coverage TN:verilator_coverage
SF:t/t_cover_toggle_min.v SF:t/t_cover_toggle_min.v
DA:10,1 DA:10,1
BRDA:10,0,0,1 BRDA:10,0,a[0]:0->1,1
BRDA:10,0,1,0 BRDA:10,0,a[0]:1->0,0
BRDA:10,0,2,0 BRDA:10,0,a[1]:0->1,0
BRDA:10,0,3,0 BRDA:10,0,a[1]:1->0,0
DA:11,1 DA:11,1
BRDA:11,0,0,0 BRDA:11,0,b[0]:0->1,0
BRDA:11,0,1,0 BRDA:11,0,b[0]:1->0,0
BRDA:11,0,2,1 BRDA:11,0,b[1]:0->1,1
BRDA:11,0,3,0 BRDA:11,0,b[1]:1->0,0
DA:12,1 DA:12,1
BRDA:12,0,0,1 BRDA:12,0,c[0]:0->1,1
BRDA:12,0,1,1 BRDA:12,0,c[0]:1->0,1
BRDA:12,0,2,1 BRDA:12,0,c[1]:0->1,1
BRDA:12,0,3,0 BRDA:12,0,c[1]:1->0,0
BRF:12 BRF:12
BRH:0 BRH:0
end_of_record end_of_record

1
test_regress/t/t_vlcov_data_e.dat
View File

@ -224,3 +224,4 @@ C 'ft/t_cover_line.vl83n10tlinepagev_line/toelsifS83-85htop.t' 1
C 'ft/t_cover_line.vl87n15tlinepagev_line/toelsifS87-89htop.t' 1 C 'ft/t_cover_line.vl87n15tlinepagev_line/toelsifS87-89htop.t' 1
C 'ft/t_cover_line.vl91n15tlinepagev_line/toifS91-93htop.t' 1 C 'ft/t_cover_line.vl91n15tlinepagev_line/toifS91-93htop.t' 1
C 'ft/t_cover_line.vl91n16tlinepagev_line/toelseS96-97htop.t' 7 C 'ft/t_cover_line.vl91n16tlinepagev_line/toelseS96-97htop.t' 7
C 'ft/t_cover_line.vl91n16tlinepagev_line/totest,testS91-91htop.t' 5

2
test_regress/t/t_vlcov_hier_report.out
View File

@ -1,6 +1,6 @@
$ verilator_coverage --report summary t/t_vlcov_data_e.dat $ verilator_coverage --report summary t/t_vlcov_data_e.dat
Coverage Summary: Coverage Summary:
line : 88.6% ( 39/ 44) line : 88.9% ( 40/ 45)
toggle : 33.3% ( 35/105) toggle : 33.3% ( 35/105)
branch : 78.1% ( 50/ 64) branch : 78.1% ( 50/ 64)
expr : 66.7% ( 8/ 12) expr : 66.7% ( 8/ 12)

128
test_regress/t/t_vlcov_opt_branch.info.out
View File

@ -1,32 +1,32 @@
TN:verilator_coverage TN:verilator_coverage
SF:t/t_cover_line.v SF:t/t_cover_line.v
DA:56,10 DA:56,10
BRDA:56,0,0,10 BRDA:56,0,if,10
BRDA:56,0,1,0 BRDA:56,0,else,0
DA:57,10 DA:57,10
DA:58,10 DA:58,10
DA:60,9 DA:60,9
BRDA:60,0,0,1 BRDA:60,0,if,1
BRDA:60,0,1,9 BRDA:60,0,else,9
DA:61,9 DA:61,9
BRDA:61,0,0,1 BRDA:61,0,if,1
BRDA:61,0,1,9 BRDA:61,0,else,9
DA:62,1 DA:62,1
DA:63,1 DA:63,1
DA:66,9 DA:66,9
BRDA:66,0,0,1 BRDA:66,0,if,1
BRDA:66,0,1,9 BRDA:66,0,else,9
DA:67,9 DA:67,9
BRDA:67,0,0,1 BRDA:67,0,if,1
BRDA:67,0,1,9 BRDA:67,0,else,9
DA:69,9 DA:69,9
DA:70,9 DA:70,9
DA:73,9 DA:73,9
BRDA:73,0,0,1 BRDA:73,0,if,1
BRDA:73,0,1,9 BRDA:73,0,else,9
DA:74,9 DA:74,9
BRDA:74,0,0,1 BRDA:74,0,if,1
BRDA:74,0,1,9 BRDA:74,0,else,9
DA:75,1 DA:75,1
DA:76,1 DA:76,1
DA:79,9 DA:79,9
@ -34,93 +34,93 @@ DA:80,9
DA:105,10 DA:105,10
DA:106,10 DA:106,10
DA:120,7 DA:120,7
BRDA:120,0,0,1 BRDA:120,0,if,1
BRDA:120,0,1,7 BRDA:120,0,else,7
DA:121,1 DA:121,1
DA:122,1 DA:122,1
DA:141,18 DA:141,18
BRDA:141,0,0,2 BRDA:141,0,if,2
BRDA:141,0,1,18 BRDA:141,0,else,18
DA:142,2 DA:142,2
DA:166,20 DA:166,20
BRDA:166,0,0,0 BRDA:166,0,if,0
BRDA:166,0,1,20 BRDA:166,0,else,20
DA:168,0 DA:168,0
DA:170,18 DA:170,18
BRDA:170,0,0,2 BRDA:170,0,if,2
BRDA:170,0,1,18 BRDA:170,0,else,18
DA:172,2 DA:172,2
DA:190,1 DA:190,1
BRDA:190,0,0,1 BRDA:190,0,if,1
BRDA:190,0,1,0 BRDA:190,0,else,0
DA:191,1 DA:191,1
DA:195,11 DA:195,11
BRDA:195,0,0,11 BRDA:195,0,if,11
BRDA:195,0,1,0 BRDA:195,0,else,0
DA:196,11 DA:196,11
DA:200,11 DA:200,11
BRDA:200,0,0,11 BRDA:200,0,if,11
BRDA:200,0,1,0 BRDA:200,0,else,0
DA:201,11 DA:201,11
DA:222,10 DA:222,10
BRDA:222,0,0,1 BRDA:222,0,if,1
BRDA:222,0,1,10 BRDA:222,0,else,10
DA:223,1 DA:223,1
DA:225,10 DA:225,10
BRDA:225,0,0,1 BRDA:225,0,if,1
BRDA:225,0,1,10 BRDA:225,0,else,10
DA:226,1 DA:226,1
DA:253,9 DA:253,9
BRDA:253,0,0,1 BRDA:253,0,if,1
BRDA:253,0,1,9 BRDA:253,0,else,9
DA:255,1 DA:255,1
DA:256,1 DA:256,1
BRDA:256,0,0,0 BRDA:256,0,if,0
BRDA:256,0,1,1 BRDA:256,0,else,1
DA:288,0 DA:288,0
BRDA:288,0,0,0 BRDA:288,0,if,0
BRDA:288,0,1,0 BRDA:288,0,else,0
DA:289,0 DA:289,0
DA:291,0 DA:291,0
DA:292,0 DA:292,0
DA:327,31 DA:327,31
BRDA:327,0,0,0 BRDA:327,0,cond_then,0
BRDA:327,0,1,31 BRDA:327,0,cond_else,31
DA:328,28 DA:328,28
BRDA:328,0,0,3 BRDA:328,0,cond_then,3
BRDA:328,0,1,28 BRDA:328,0,cond_else,28
DA:329,21 DA:329,21
BRDA:329,0,0,21 BRDA:329,0,cond_then,21
BRDA:329,0,1,0 BRDA:329,0,cond_else,0
DA:331,7 DA:331,7
BRDA:331,0,0,3 BRDA:331,0,cond_then,3
BRDA:331,0,1,7 BRDA:331,0,cond_else,7
DA:332,10 DA:332,10
BRDA:332,0,0,0 BRDA:332,0,cond_then,0
BRDA:332,0,1,10 BRDA:332,0,cond_else,10
DA:334,19 DA:334,19
BRDA:334,0,0,12 BRDA:334,0,cond_then,12
BRDA:334,0,1,19 BRDA:334,0,cond_else,19
BRDA:334,0,2,7 BRDA:334,0,cond_then,7
BRDA:334,0,3,5 BRDA:334,0,cond_else,5
DA:337,11 DA:337,11
BRDA:337,0,0,11 BRDA:337,0,cond_then,11
BRDA:337,0,1,0 BRDA:337,0,cond_else,0
DA:343,11 DA:343,11
BRDA:343,0,0,10 BRDA:343,0,cond_then,10
BRDA:343,0,1,11 BRDA:343,0,cond_else,11
DA:347,10 DA:347,10
BRDA:347,0,0,0 BRDA:347,0,cond_then,0
BRDA:347,0,1,1 BRDA:347,0,cond_else,1
BRDA:347,0,2,1 BRDA:347,0,if,1
BRDA:347,0,3,10 BRDA:347,0,else,10
DA:348,10 DA:348,10
DA:350,10 DA:350,10
BRDA:350,0,0,1 BRDA:350,0,cond_then,1
BRDA:350,0,1,10 BRDA:350,0,cond_else,10
DA:360,11 DA:360,11
BRDA:360,0,0,0 BRDA:360,0,if,0
BRDA:360,0,1,11 BRDA:360,0,else,11
DA:361,11 DA:361,11
BRF:64 BRF:64
BRH:20 BRH:20

24
test_regress/t/t_vlcov_opt_expr.info.out
View File

@ -1,23 +1,23 @@
TN:verilator_coverage TN:verilator_coverage
SF:t/t_cover_line.v SF:t/t_cover_line.v
DA:331,7 DA:331,7
BRDA:331,0,0,7 BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==0) => 0,7
BRDA:331,0,1,3 BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==1) => 1,3
DA:347,1 DA:347,1
BRDA:347,0,0,1 BRDA:347,0,((cyc > 32'sh5)==0) => 0,1
BRDA:347,0,1,0 BRDA:347,0,((cyc > 32'sh5)==1) => 1,0
DA:350,10 DA:350,10
BRDA:350,0,0,10 BRDA:350,0,((cyc == 32'sh2)==0) => 0,10
BRDA:350,0,1,1 BRDA:350,0,((cyc == 32'sh2)==1) => 1,1
DA:353,11 DA:353,11
BRDA:353,0,0,11 BRDA:353,0,((i < 32'sh5)==0) => 0,11
BRDA:353,0,1,0 BRDA:353,0,((i < 32'sh5)==1) => 1,0
DA:356,11 DA:356,11
BRDA:356,0,0,0 BRDA:356,0,((i > 32'sh4)==0) => 0,0
BRDA:356,0,1,11 BRDA:356,0,((i > 32'sh4)==1) => 1,11
DA:360,11 DA:360,11
BRDA:360,0,0,11 BRDA:360,0,(k==0) => 0,11
BRDA:360,0,1,0 BRDA:360,0,(k==1) => 1,0
BRF:12 BRF:12
BRH:4 BRH:4
end_of_record end_of_record

15
test_regress/t/t_vlcov_opt_line.info.out
View File

@ -10,8 +10,9 @@ DA:87,1
DA:88,1 DA:88,1
DA:89,1 DA:89,1
DA:91,7 DA:91,7
BRDA:91,0,0,1 BRDA:91,0,if,1
BRDA:91,0,1,7 BRDA:91,0,else,7
BRDA:91,0,test_test,5
DA:92,1 DA:92,1
DA:93,1 DA:93,1
DA:96,7 DA:96,7
@ -75,13 +76,13 @@ DA:332,10
DA:346,11 DA:346,11
DA:350,11 DA:350,11
DA:353,55 DA:353,55
BRDA:353,0,0,11 BRDA:353,0,block,11
BRDA:353,0,1,55 BRDA:353,0,block,55
DA:354,55 DA:354,55
DA:356,44 DA:356,44
BRDA:356,0,0,11 BRDA:356,0,block,11
BRDA:356,0,1,44 BRDA:356,0,block,44
DA:357,44 DA:357,44
BRF:6 BRF:7
BRH:4 BRH:4
end_of_record end_of_record

188
test_regress/t/t_vlcov_opt_toggle.info.out
View File

@ -3,14 +3,14 @@ SF:t/t_cover_line.v
DA:12,19 DA:12,19
DA:14,2 DA:14,2
DA:20,11 DA:20,11
BRDA:20,0,0,11 BRDA:20,0,cyc_copy[0],11
BRDA:20,0,1,5 BRDA:20,0,cyc_copy[1],5
BRDA:20,0,2,2 BRDA:20,0,cyc_copy[2],2
BRDA:20,0,3,1 BRDA:20,0,cyc_copy[3],1
BRDA:20,0,4,0 BRDA:20,0,cyc_copy[4],0
BRDA:20,0,5,0 BRDA:20,0,cyc_copy[5],0
BRDA:20,0,6,0 BRDA:20,0,cyc_copy[6],0
BRDA:20,0,7,0 BRDA:20,0,cyc_copy[7],0
DA:138,38 DA:138,38
DA:139,4 DA:139,4
DA:159,38 DA:159,38
@ -21,96 +21,96 @@ DA:241,19
DA:242,2 DA:242,2
DA:261,19 DA:261,19
DA:262,10 DA:262,10
BRDA:262,0,0,10 BRDA:262,0,cyc4[0],10
BRDA:262,0,1,5 BRDA:262,0,cyc4[1],5
BRDA:262,0,2,2 BRDA:262,0,cyc4[2],2
BRDA:262,0,3,1 BRDA:262,0,cyc4[3],1
DA:309,19 DA:309,19
BRDA:309,0,0,19 BRDA:309,0,clk,19
BRDA:309,0,1,11 BRDA:309,0,cyc[0],11
BRDA:309,0,2,0 BRDA:309,0,cyc[10],0
BRDA:309,0,3,0 BRDA:309,0,cyc[11],0
BRDA:309,0,4,0 BRDA:309,0,cyc[12],0
BRDA:309,0,5,0 BRDA:309,0,cyc[13],0
BRDA:309,0,6,0 BRDA:309,0,cyc[14],0
BRDA:309,0,7,0 BRDA:309,0,cyc[15],0
BRDA:309,0,8,0 BRDA:309,0,cyc[16],0
BRDA:309,0,9,0 BRDA:309,0,cyc[17],0
BRDA:309,0,10,0 BRDA:309,0,cyc[18],0
BRDA:309,0,11,0 BRDA:309,0,cyc[19],0
BRDA:309,0,12,5 BRDA:309,0,cyc[1],5
BRDA:309,0,13,0 BRDA:309,0,cyc[20],0
BRDA:309,0,14,0 BRDA:309,0,cyc[21],0
BRDA:309,0,15,0 BRDA:309,0,cyc[22],0
BRDA:309,0,16,0 BRDA:309,0,cyc[23],0
BRDA:309,0,17,0 BRDA:309,0,cyc[24],0
BRDA:309,0,18,0 BRDA:309,0,cyc[25],0
BRDA:309,0,19,0 BRDA:309,0,cyc[26],0
BRDA:309,0,20,0 BRDA:309,0,cyc[27],0
BRDA:309,0,21,0 BRDA:309,0,cyc[28],0
BRDA:309,0,22,0 BRDA:309,0,cyc[29],0
BRDA:309,0,23,2 BRDA:309,0,cyc[2],2
BRDA:309,0,24,0 BRDA:309,0,cyc[30],0
BRDA:309,0,25,0 BRDA:309,0,cyc[31],0
BRDA:309,0,26,1 BRDA:309,0,cyc[3],1
BRDA:309,0,27,0 BRDA:309,0,cyc[4],0
BRDA:309,0,28,0 BRDA:309,0,cyc[5],0
BRDA:309,0,29,0 BRDA:309,0,cyc[6],0
BRDA:309,0,30,0 BRDA:309,0,cyc[7],0
BRDA:309,0,31,0 BRDA:309,0,cyc[8],0
BRDA:309,0,32,0 BRDA:309,0,cyc[9],0
DA:310,19 DA:310,19
BRDA:310,0,0,0 BRDA:310,0,a,0
BRDA:310,0,1,2 BRDA:310,0,b,2
BRDA:310,0,2,19 BRDA:310,0,c,19
BRDA:310,0,3,6 BRDA:310,0,d,6
BRDA:310,0,4,7 BRDA:310,0,e,7
BRDA:310,0,5,1 BRDA:310,0,f,1
BRDA:310,0,6,19 BRDA:310,0,g,19
BRDA:310,0,7,3 BRDA:310,0,h,3
BRDA:310,0,8,0 BRDA:310,0,k,0
BRDA:310,0,9,0 BRDA:310,0,l,0
BRDA:310,0,10,0 BRDA:310,0,m,0
DA:311,1 DA:311,1
BRDA:311,0,0,1 BRDA:311,0,tab[0],1
BRDA:311,0,1,1 BRDA:311,0,tab[1],1
BRDA:311,0,2,0 BRDA:311,0,tab[2],0
BRDA:311,0,3,0 BRDA:311,0,tab[3],0
BRDA:311,0,4,0 BRDA:311,0,tab[4],0
BRDA:311,0,5,0 BRDA:311,0,tab[5],0
DA:313,2 DA:313,2
BRDA:313,0,0,0 BRDA:313,0,data[0][0][0],0
BRDA:313,0,1,2 BRDA:313,0,data[0][0][1],2
BRDA:313,0,2,0 BRDA:313,0,data[0][0][2],0
BRDA:313,0,3,0 BRDA:313,0,data[0][0][3],0
BRDA:313,0,4,0 BRDA:313,0,data[0][0][4],0
BRDA:313,0,5,0 BRDA:313,0,data[0][0][5],0
BRDA:313,0,6,0 BRDA:313,0,data[0][0][6],0
BRDA:313,0,7,0 BRDA:313,0,data[0][0][7],0
BRDA:313,0,8,2 BRDA:313,0,data[0][1][0],2
BRDA:313,0,9,0 BRDA:313,0,data[0][1][1],0
BRDA:313,0,10,0 BRDA:313,0,data[0][1][2],0
BRDA:313,0,11,0 BRDA:313,0,data[0][1][3],0
BRDA:313,0,12,0 BRDA:313,0,data[0][1][4],0
BRDA:313,0,13,0 BRDA:313,0,data[0][1][5],0
BRDA:313,0,14,0 BRDA:313,0,data[0][1][6],0
BRDA:313,0,15,0 BRDA:313,0,data[0][1][7],0
BRDA:313,0,16,0 BRDA:313,0,data[1][0][0],0
BRDA:313,0,17,0 BRDA:313,0,data[1][0][1],0
BRDA:313,0,18,0 BRDA:313,0,data[1][0][2],0
BRDA:313,0,19,0 BRDA:313,0,data[1][0][3],0
BRDA:313,0,20,0 BRDA:313,0,data[1][0][4],0
BRDA:313,0,21,0 BRDA:313,0,data[1][0][5],0
BRDA:313,0,22,0 BRDA:313,0,data[1][0][6],0
BRDA:313,0,23,0 BRDA:313,0,data[1][0][7],0
BRDA:313,0,24,0 BRDA:313,0,data[1][1][0],0
BRDA:313,0,25,0 BRDA:313,0,data[1][1][1],0
BRDA:313,0,26,0 BRDA:313,0,data[1][1][2],0
BRDA:313,0,27,0 BRDA:313,0,data[1][1][3],0
BRDA:313,0,28,0 BRDA:313,0,data[1][1][4],0
BRDA:313,0,29,0 BRDA:313,0,data[1][1][5],0
BRDA:313,0,30,0 BRDA:313,0,data[1][1][6],0
BRDA:313,0,31,0 BRDA:313,0,data[1][1][7],0
BRF:94 BRF:94
BRH:6 BRH:6
end_of_record end_of_record

300
test_regress/t/t_vlcov_opt_user.info.out
View File

@ -1,180 +1,180 @@
TN:verilator_coverage TN:verilator_coverage
SF:t/t_assert_ctl_arg.v SF:t/t_assert_ctl_arg.v
DA:49,1 DA:49,1
BRDA:49,0,0,1 BRDA:49,0,cover_simple_immediate_49,1
BRDA:49,0,1,1 BRDA:49,0,cover_simple_immediate_stmt_49,1
BRDA:49,0,2,0 BRDA:49,0,cover_final_deferred_immediate_49,0
BRDA:49,0,3,0 BRDA:49,0,cover_observed_deferred_immediate_49,0
BRDA:49,0,4,0 BRDA:49,0,cover_final_deferred_immediate_stmt_49,0
BRDA:49,0,5,0 BRDA:49,0,cover_observed_deferred_immediate_stmt_49,0
DA:51,0 DA:51,0
BRDA:51,0,0,0 BRDA:51,0,cover_simple_immediate_51,0
BRDA:51,0,1,0 BRDA:51,0,cover_simple_immediate_stmt_51,0
BRDA:51,0,2,0 BRDA:51,0,cover_final_deferred_immediate_51,0
BRDA:51,0,3,0 BRDA:51,0,cover_observed_deferred_immediate_51,0
BRDA:51,0,4,0 BRDA:51,0,cover_final_deferred_immediate_stmt_51,0
BRDA:51,0,5,0 BRDA:51,0,cover_observed_deferred_immediate_stmt_51,0
DA:56,1 DA:56,1
BRDA:56,0,0,0 BRDA:56,0,cover_simple_immediate_56,0
BRDA:56,0,1,0 BRDA:56,0,cover_simple_immediate_stmt_56,0
BRDA:56,0,2,0 BRDA:56,0,cover_final_deferred_immediate_56,0
BRDA:56,0,3,1 BRDA:56,0,cover_observed_deferred_immediate_56,1
BRDA:56,0,4,0 BRDA:56,0,cover_final_deferred_immediate_stmt_56,0
BRDA:56,0,5,1 BRDA:56,0,cover_observed_deferred_immediate_stmt_56,1
DA:58,0 DA:58,0
BRDA:58,0,0,0 BRDA:58,0,cover_simple_immediate_58,0
BRDA:58,0,1,0 BRDA:58,0,cover_simple_immediate_stmt_58,0
BRDA:58,0,2,0 BRDA:58,0,cover_final_deferred_immediate_58,0
BRDA:58,0,3,0 BRDA:58,0,cover_observed_deferred_immediate_58,0
BRDA:58,0,4,0 BRDA:58,0,cover_final_deferred_immediate_stmt_58,0
BRDA:58,0,5,0 BRDA:58,0,cover_observed_deferred_immediate_stmt_58,0
DA:63,1 DA:63,1
BRDA:63,0,0,0 BRDA:63,0,cover_simple_immediate_63,0
BRDA:63,0,1,0 BRDA:63,0,cover_simple_immediate_stmt_63,0
BRDA:63,0,2,1 BRDA:63,0,cover_final_deferred_immediate_63,1
BRDA:63,0,3,0 BRDA:63,0,cover_observed_deferred_immediate_63,0
BRDA:63,0,4,1 BRDA:63,0,cover_final_deferred_immediate_stmt_63,1
BRDA:63,0,5,0 BRDA:63,0,cover_observed_deferred_immediate_stmt_63,0
DA:65,0 DA:65,0
BRDA:65,0,0,0 BRDA:65,0,cover_simple_immediate_65,0
BRDA:65,0,1,0 BRDA:65,0,cover_simple_immediate_stmt_65,0
BRDA:65,0,2,0 BRDA:65,0,cover_final_deferred_immediate_65,0
BRDA:65,0,3,0 BRDA:65,0,cover_observed_deferred_immediate_65,0
BRDA:65,0,4,0 BRDA:65,0,cover_final_deferred_immediate_stmt_65,0
BRDA:65,0,5,0 BRDA:65,0,cover_observed_deferred_immediate_stmt_65,0
DA:69,0 DA:69,0
BRDA:69,0,0,0 BRDA:69,0,cover_simple_immediate_69,0
BRDA:69,0,1,0 BRDA:69,0,cover_simple_immediate_stmt_69,0
BRDA:69,0,2,0 BRDA:69,0,cover_final_deferred_immediate_69,0
BRDA:69,0,3,0 BRDA:69,0,cover_observed_deferred_immediate_69,0
BRDA:69,0,4,0 BRDA:69,0,cover_final_deferred_immediate_stmt_69,0
BRDA:69,0,5,0 BRDA:69,0,cover_observed_deferred_immediate_stmt_69,0
DA:71,1 DA:71,1
BRDA:71,0,0,1 BRDA:71,0,cover_simple_immediate_71,1
BRDA:71,0,1,1 BRDA:71,0,cover_simple_immediate_stmt_71,1
BRDA:71,0,2,1 BRDA:71,0,cover_final_deferred_immediate_71,1
BRDA:71,0,3,1 BRDA:71,0,cover_observed_deferred_immediate_71,1
BRDA:71,0,4,1 BRDA:71,0,cover_final_deferred_immediate_stmt_71,1
BRDA:71,0,5,1 BRDA:71,0,cover_observed_deferred_immediate_stmt_71,1
DA:73,0 DA:73,0
BRDA:73,0,0,0 BRDA:73,0,cover_simple_immediate_73,0
BRDA:73,0,1,0 BRDA:73,0,cover_simple_immediate_stmt_73,0
BRDA:73,0,2,0 BRDA:73,0,cover_final_deferred_immediate_73,0
BRDA:73,0,3,0 BRDA:73,0,cover_observed_deferred_immediate_73,0
BRDA:73,0,4,0 BRDA:73,0,cover_final_deferred_immediate_stmt_73,0
BRDA:73,0,5,0 BRDA:73,0,cover_observed_deferred_immediate_stmt_73,0
DA:76,1 DA:76,1
BRDA:76,0,0,1 BRDA:76,0,cover_simple_immediate_76,1
BRDA:76,0,1,1 BRDA:76,0,cover_simple_immediate_stmt_76,1
BRDA:76,0,2,0 BRDA:76,0,cover_final_deferred_immediate_76,0
BRDA:76,0,3,1 BRDA:76,0,cover_observed_deferred_immediate_76,1
BRDA:76,0,4,0 BRDA:76,0,cover_final_deferred_immediate_stmt_76,0
BRDA:76,0,5,1 BRDA:76,0,cover_observed_deferred_immediate_stmt_76,1
DA:78,1 DA:78,1
BRDA:78,0,0,1 BRDA:78,0,cover_simple_immediate_78,1
BRDA:78,0,1,1 BRDA:78,0,cover_simple_immediate_stmt_78,1
BRDA:78,0,2,1 BRDA:78,0,cover_final_deferred_immediate_78,1
BRDA:78,0,3,1 BRDA:78,0,cover_observed_deferred_immediate_78,1
BRDA:78,0,4,1 BRDA:78,0,cover_final_deferred_immediate_stmt_78,1
BRDA:78,0,5,1 BRDA:78,0,cover_observed_deferred_immediate_stmt_78,1
DA:80,1 DA:80,1
BRDA:80,0,0,1 BRDA:80,0,cover_simple_immediate_80,1
BRDA:80,0,1,1 BRDA:80,0,cover_simple_immediate_stmt_80,1
BRDA:80,0,2,0 BRDA:80,0,cover_final_deferred_immediate_80,0
BRDA:80,0,3,0 BRDA:80,0,cover_observed_deferred_immediate_80,0
BRDA:80,0,4,0 BRDA:80,0,cover_final_deferred_immediate_stmt_80,0
BRDA:80,0,5,0 BRDA:80,0,cover_observed_deferred_immediate_stmt_80,0
DA:82,1 DA:82,1
BRDA:82,0,0,1 BRDA:82,0,cover_simple_immediate_82,1
BRDA:82,0,1,1 BRDA:82,0,cover_simple_immediate_stmt_82,1
BRDA:82,0,2,0 BRDA:82,0,cover_final_deferred_immediate_82,0
BRDA:82,0,3,0 BRDA:82,0,cover_observed_deferred_immediate_82,0
BRDA:82,0,4,0 BRDA:82,0,cover_final_deferred_immediate_stmt_82,0
BRDA:82,0,5,0 BRDA:82,0,cover_observed_deferred_immediate_stmt_82,0
DA:84,0 DA:84,0
BRDA:84,0,0,0 BRDA:84,0,cover_simple_immediate_84,0
BRDA:84,0,1,0 BRDA:84,0,cover_simple_immediate_stmt_84,0
BRDA:84,0,2,0 BRDA:84,0,cover_final_deferred_immediate_84,0
BRDA:84,0,3,0 BRDA:84,0,cover_observed_deferred_immediate_84,0
BRDA:84,0,4,0 BRDA:84,0,cover_final_deferred_immediate_stmt_84,0
BRDA:84,0,5,0 BRDA:84,0,cover_observed_deferred_immediate_stmt_84,0
DA:86,1 DA:86,1
BRDA:86,0,0,1 BRDA:86,0,cover_simple_immediate_86,1
BRDA:86,0,1,1 BRDA:86,0,cover_simple_immediate_stmt_86,1
BRDA:86,0,2,0 BRDA:86,0,cover_final_deferred_immediate_86,0
BRDA:86,0,3,0 BRDA:86,0,cover_observed_deferred_immediate_86,0
BRDA:86,0,4,0 BRDA:86,0,cover_final_deferred_immediate_stmt_86,0
BRDA:86,0,5,0 BRDA:86,0,cover_observed_deferred_immediate_stmt_86,0
DA:88,0 DA:88,0
BRDA:88,0,0,0 BRDA:88,0,cover_simple_immediate_88,0
BRDA:88,0,1,0 BRDA:88,0,cover_simple_immediate_stmt_88,0
BRDA:88,0,2,0 BRDA:88,0,cover_final_deferred_immediate_88,0
BRDA:88,0,3,0 BRDA:88,0,cover_observed_deferred_immediate_88,0
BRDA:88,0,4,0 BRDA:88,0,cover_final_deferred_immediate_stmt_88,0
BRDA:88,0,5,0 BRDA:88,0,cover_observed_deferred_immediate_stmt_88,0
DA:90,1 DA:90,1
BRDA:90,0,0,1 BRDA:90,0,cover_simple_immediate_90,1
BRDA:90,0,1,1 BRDA:90,0,cover_simple_immediate_stmt_90,1
BRDA:90,0,2,1 BRDA:90,0,cover_final_deferred_immediate_90,1
BRDA:90,0,3,1 BRDA:90,0,cover_observed_deferred_immediate_90,1
BRDA:90,0,4,1 BRDA:90,0,cover_final_deferred_immediate_stmt_90,1
BRDA:90,0,5,1 BRDA:90,0,cover_observed_deferred_immediate_stmt_90,1
DA:92,0 DA:92,0
BRDA:92,0,0,0 BRDA:92,0,cover_simple_immediate_92,0
BRDA:92,0,1,0 BRDA:92,0,cover_simple_immediate_stmt_92,0
BRDA:92,0,2,0 BRDA:92,0,cover_final_deferred_immediate_92,0
BRDA:92,0,3,0 BRDA:92,0,cover_observed_deferred_immediate_92,0
BRDA:92,0,4,0 BRDA:92,0,cover_final_deferred_immediate_stmt_92,0
BRDA:92,0,5,0 BRDA:92,0,cover_observed_deferred_immediate_stmt_92,0
DA:97,0 DA:97,0
BRDA:97,0,0,0 BRDA:97,0,cover_simple_immediate_97,0
BRDA:97,0,1,0 BRDA:97,0,cover_simple_immediate_stmt_97,0
BRDA:97,0,2,0 BRDA:97,0,cover_final_deferred_immediate_97,0
BRDA:97,0,3,0 BRDA:97,0,cover_observed_deferred_immediate_97,0
BRDA:97,0,4,0 BRDA:97,0,cover_final_deferred_immediate_stmt_97,0
BRDA:97,0,5,0 BRDA:97,0,cover_observed_deferred_immediate_stmt_97,0
DA:100,1 DA:100,1
BRDA:100,0,0,1 BRDA:100,0,cover_simple_immediate_100,1
BRDA:100,0,1,1 BRDA:100,0,cover_simple_immediate_stmt_100,1
BRDA:100,0,2,1 BRDA:100,0,cover_final_deferred_immediate_100,1
BRDA:100,0,3,1 BRDA:100,0,cover_observed_deferred_immediate_100,1
BRDA:100,0,4,1 BRDA:100,0,cover_final_deferred_immediate_stmt_100,1
BRDA:100,0,5,1 BRDA:100,0,cover_observed_deferred_immediate_stmt_100,1
DA:103,0 DA:103,0
BRDA:103,0,0,0 BRDA:103,0,cover_simple_immediate_103,0
BRDA:103,0,1,0 BRDA:103,0,cover_simple_immediate_stmt_103,0
BRDA:103,0,2,0 BRDA:103,0,cover_final_deferred_immediate_103,0
BRDA:103,0,3,0 BRDA:103,0,cover_observed_deferred_immediate_103,0
BRDA:103,0,4,0 BRDA:103,0,cover_final_deferred_immediate_stmt_103,0
BRDA:103,0,5,0 BRDA:103,0,cover_observed_deferred_immediate_stmt_103,0
DA:106,1 DA:106,1
BRDA:106,0,0,1 BRDA:106,0,cover_simple_immediate_106,1
BRDA:106,0,1,1 BRDA:106,0,cover_simple_immediate_stmt_106,1
BRDA:106,0,2,1 BRDA:106,0,cover_final_deferred_immediate_106,1
BRDA:106,0,3,1 BRDA:106,0,cover_observed_deferred_immediate_106,1
BRDA:106,0,4,1 BRDA:106,0,cover_final_deferred_immediate_stmt_106,1
BRDA:106,0,5,1 BRDA:106,0,cover_observed_deferred_immediate_stmt_106,1
DA:108,1 DA:108,1
BRDA:108,0,0,1 BRDA:108,0,cover_simple_immediate_108,1
BRDA:108,0,1,1 BRDA:108,0,cover_simple_immediate_stmt_108,1
BRDA:108,0,2,1 BRDA:108,0,cover_final_deferred_immediate_108,1
BRDA:108,0,3,1 BRDA:108,0,cover_observed_deferred_immediate_108,1
BRDA:108,0,4,1 BRDA:108,0,cover_final_deferred_immediate_stmt_108,1
BRDA:108,0,5,1 BRDA:108,0,cover_observed_deferred_immediate_stmt_108,1
DA:110,0 DA:110,0
BRDA:110,0,0,0 BRDA:110,0,cover_simple_immediate_110,0
BRDA:110,0,1,0 BRDA:110,0,cover_simple_immediate_stmt_110,0
BRDA:110,0,2,0 BRDA:110,0,cover_final_deferred_immediate_110,0
BRDA:110,0,3,0 BRDA:110,0,cover_observed_deferred_immediate_110,0
BRDA:110,0,4,0 BRDA:110,0,cover_final_deferred_immediate_stmt_110,0
BRDA:110,0,5,0 BRDA:110,0,cover_observed_deferred_immediate_stmt_110,0
DA:112,1 DA:112,1
BRDA:112,0,0,1 BRDA:112,0,cover_simple_immediate_112,1
BRDA:112,0,1,1 BRDA:112,0,cover_simple_immediate_stmt_112,1
BRDA:112,0,2,1 BRDA:112,0,cover_final_deferred_immediate_112,1
BRDA:112,0,3,0 BRDA:112,0,cover_observed_deferred_immediate_112,0
BRDA:112,0,4,1 BRDA:112,0,cover_final_deferred_immediate_stmt_112,1
BRDA:112,0,5,0 BRDA:112,0,cover_observed_deferred_immediate_stmt_112,0
DA:192,0 DA:192,0
DA:193,0 DA:193,0
BRF:150 BRF:150

369
test_regress/t/t_vlcov_opt_wild.info.out
View File

@ -5,42 +5,42 @@ DA:14,2
DA:15,1 DA:15,1
DA:18,1 DA:18,1
DA:20,11 DA:20,11
BRDA:20,0,0,11 BRDA:20,0,cyc_copy[0],11
BRDA:20,0,1,5 BRDA:20,0,cyc_copy[1],5
BRDA:20,0,2,2 BRDA:20,0,cyc_copy[2],2
BRDA:20,0,3,1 BRDA:20,0,cyc_copy[3],1
BRDA:20,0,4,0 BRDA:20,0,cyc_copy[4],0
BRDA:20,0,5,0 BRDA:20,0,cyc_copy[5],0
BRDA:20,0,6,0 BRDA:20,0,cyc_copy[6],0
BRDA:20,0,7,0 BRDA:20,0,cyc_copy[7],0
DA:55,10 DA:55,10
DA:56,10 DA:56,10
BRDA:56,0,0,10 BRDA:56,0,if,10
BRDA:56,0,1,0 BRDA:56,0,else,0
DA:57,10 DA:57,10
DA:58,10 DA:58,10
DA:60,9 DA:60,9
BRDA:60,0,0,1 BRDA:60,0,if,1
BRDA:60,0,1,9 BRDA:60,0,else,9
DA:61,9 DA:61,9
BRDA:61,0,0,1 BRDA:61,0,if,1
BRDA:61,0,1,9 BRDA:61,0,else,9
DA:62,1 DA:62,1
DA:63,1 DA:63,1
DA:66,9 DA:66,9
BRDA:66,0,0,1 BRDA:66,0,if,1
BRDA:66,0,1,9 BRDA:66,0,else,9
DA:67,9 DA:67,9
BRDA:67,0,0,1 BRDA:67,0,if,1
BRDA:67,0,1,9 BRDA:67,0,else,9
DA:69,9 DA:69,9
DA:70,9 DA:70,9
DA:73,9 DA:73,9
BRDA:73,0,0,1 BRDA:73,0,if,1
BRDA:73,0,1,9 BRDA:73,0,else,9
DA:74,9 DA:74,9
BRDA:74,0,0,1 BRDA:74,0,if,1
BRDA:74,0,1,9 BRDA:74,0,else,9
DA:75,1 DA:75,1
DA:76,1 DA:76,1
DA:79,9 DA:79,9
@ -52,8 +52,9 @@ DA:87,1
DA:88,1 DA:88,1
DA:89,1 DA:89,1
DA:91,7 DA:91,7
BRDA:91,0,0,1 BRDA:91,0,if,1
BRDA:91,0,1,7 BRDA:91,0,else,7
BRDA:91,0,test_test,5
DA:92,1 DA:92,1
DA:93,1 DA:93,1
DA:96,7 DA:96,7
@ -63,19 +64,19 @@ DA:101,0
DA:102,0 DA:102,0
DA:104,0 DA:104,0
DA:105,10 DA:105,10
BRDA:105,0,0,0 BRDA:105,0,block,0
BRDA:105,0,1,10 BRDA:105,0,if,10
DA:106,10 DA:106,10
BRDA:106,0,0,0 BRDA:106,0,block,0
BRDA:106,0,1,10 BRDA:106,0,if,10
DA:107,0 DA:107,0
DA:110,1 DA:110,1
DA:111,1 DA:111,1
DA:113,1 DA:113,1
DA:115,1 DA:115,1
DA:120,7 DA:120,7
BRDA:120,0,0,1 BRDA:120,0,if,1
BRDA:120,0,1,7 BRDA:120,0,else,7
DA:121,1 DA:121,1
DA:122,1 DA:122,1
DA:127,1 DA:127,1
@ -84,8 +85,8 @@ DA:138,38
DA:139,4 DA:139,4
DA:140,20 DA:140,20
DA:141,18 DA:141,18
BRDA:141,0,0,2 BRDA:141,0,if,2
BRDA:141,0,1,18 BRDA:141,0,else,18
DA:142,2 DA:142,2
DA:145,18 DA:145,18
DA:159,38 DA:159,38
@ -93,29 +94,29 @@ DA:160,4
DA:164,20 DA:164,20
DA:165,20 DA:165,20
DA:166,20 DA:166,20
BRDA:166,0,0,0 BRDA:166,0,if,0
BRDA:166,0,1,20 BRDA:166,0,else,20
DA:168,0 DA:168,0
DA:170,18 DA:170,18
BRDA:170,0,0,2 BRDA:170,0,if,2
BRDA:170,0,1,18 BRDA:170,0,else,18
DA:172,2 DA:172,2
DA:174,18 DA:174,18
DA:188,1 DA:188,1
DA:189,1 DA:189,1
DA:190,1 DA:190,1
BRDA:190,0,0,1 BRDA:190,0,if,1
BRDA:190,0,1,0 BRDA:190,0,else,0
DA:191,1 DA:191,1
DA:194,11 DA:194,11
DA:195,11 DA:195,11
BRDA:195,0,0,11 BRDA:195,0,if,11
BRDA:195,0,1,0 BRDA:195,0,else,0
DA:196,11 DA:196,11
DA:199,11 DA:199,11
DA:200,11 DA:200,11
BRDA:200,0,0,11 BRDA:200,0,if,11
BRDA:200,0,1,0 BRDA:200,0,else,0
DA:201,11 DA:201,11
DA:210,19 DA:210,19
DA:211,2 DA:211,2
@ -124,12 +125,12 @@ DA:216,10
DA:219,11 DA:219,11
DA:221,11 DA:221,11
DA:222,10 DA:222,10
BRDA:222,0,0,1 BRDA:222,0,if,1
BRDA:222,0,1,10 BRDA:222,0,else,10
DA:223,1 DA:223,1
DA:225,10 DA:225,10
BRDA:225,0,0,1 BRDA:225,0,if,1
BRDA:225,0,1,10 BRDA:225,0,else,10
DA:226,1 DA:226,1
DA:229,11 DA:229,11
DA:230,1 DA:230,1
@ -139,18 +140,18 @@ DA:241,19
DA:242,2 DA:242,2
DA:252,10 DA:252,10
DA:253,9 DA:253,9
BRDA:253,0,0,1 BRDA:253,0,if,1
BRDA:253,0,1,9 BRDA:253,0,else,9
DA:255,1 DA:255,1
DA:256,1 DA:256,1
BRDA:256,0,0,0 BRDA:256,0,if,0
BRDA:256,0,1,1 BRDA:256,0,else,1
DA:261,19 DA:261,19
DA:262,10 DA:262,10
BRDA:262,0,0,10 BRDA:262,0,cyc4[0],10
BRDA:262,0,1,5 BRDA:262,0,cyc4[1],5
BRDA:262,0,2,2 BRDA:262,0,cyc4[2],2
BRDA:262,0,3,1 BRDA:262,0,cyc4[3],1
DA:265,10 DA:265,10
DA:266,10 DA:266,10
DA:267,1 DA:267,1
@ -163,8 +164,8 @@ DA:276,10
DA:277,10 DA:277,10
DA:287,0 DA:287,0
DA:288,0 DA:288,0
BRDA:288,0,0,0 BRDA:288,0,if,0
BRDA:288,0,1,0 BRDA:288,0,else,0
DA:289,0 DA:289,0
DA:291,0 DA:291,0
DA:292,0 DA:292,0
@ -174,91 +175,91 @@ DA:303,1
DA:304,20 DA:304,20
DA:305,20 DA:305,20
DA:309,19 DA:309,19
BRDA:309,0,0,19 BRDA:309,0,clk,19
BRDA:309,0,1,11 BRDA:309,0,cyc[0],11
BRDA:309,0,2,0 BRDA:309,0,cyc[10],0
BRDA:309,0,3,0 BRDA:309,0,cyc[11],0
BRDA:309,0,4,0 BRDA:309,0,cyc[12],0
BRDA:309,0,5,0 BRDA:309,0,cyc[13],0
BRDA:309,0,6,0 BRDA:309,0,cyc[14],0
BRDA:309,0,7,0 BRDA:309,0,cyc[15],0
BRDA:309,0,8,0 BRDA:309,0,cyc[16],0
BRDA:309,0,9,0 BRDA:309,0,cyc[17],0
BRDA:309,0,10,0 BRDA:309,0,cyc[18],0
BRDA:309,0,11,0 BRDA:309,0,cyc[19],0
BRDA:309,0,12,5 BRDA:309,0,cyc[1],5
BRDA:309,0,13,0 BRDA:309,0,cyc[20],0
BRDA:309,0,14,0 BRDA:309,0,cyc[21],0
BRDA:309,0,15,0 BRDA:309,0,cyc[22],0
BRDA:309,0,16,0 BRDA:309,0,cyc[23],0
BRDA:309,0,17,0 BRDA:309,0,cyc[24],0
BRDA:309,0,18,0 BRDA:309,0,cyc[25],0
BRDA:309,0,19,0 BRDA:309,0,cyc[26],0
BRDA:309,0,20,0 BRDA:309,0,cyc[27],0
BRDA:309,0,21,0 BRDA:309,0,cyc[28],0
BRDA:309,0,22,0 BRDA:309,0,cyc[29],0
BRDA:309,0,23,2 BRDA:309,0,cyc[2],2
BRDA:309,0,24,0 BRDA:309,0,cyc[30],0
BRDA:309,0,25,0 BRDA:309,0,cyc[31],0
BRDA:309,0,26,1 BRDA:309,0,cyc[3],1
BRDA:309,0,27,0 BRDA:309,0,cyc[4],0
BRDA:309,0,28,0 BRDA:309,0,cyc[5],0
BRDA:309,0,29,0 BRDA:309,0,cyc[6],0
BRDA:309,0,30,0 BRDA:309,0,cyc[7],0
BRDA:309,0,31,0 BRDA:309,0,cyc[8],0
BRDA:309,0,32,0 BRDA:309,0,cyc[9],0
DA:310,19 DA:310,19
BRDA:310,0,0,0 BRDA:310,0,a,0
BRDA:310,0,1,2 BRDA:310,0,b,2
BRDA:310,0,2,19 BRDA:310,0,c,19
BRDA:310,0,3,6 BRDA:310,0,d,6
BRDA:310,0,4,7 BRDA:310,0,e,7
BRDA:310,0,5,1 BRDA:310,0,f,1
BRDA:310,0,6,19 BRDA:310,0,g,19
BRDA:310,0,7,3 BRDA:310,0,h,3
BRDA:310,0,8,0 BRDA:310,0,k,0
BRDA:310,0,9,0 BRDA:310,0,l,0
BRDA:310,0,10,0 BRDA:310,0,m,0
DA:311,1 DA:311,1
BRDA:311,0,0,1 BRDA:311,0,tab[0],1
BRDA:311,0,1,1 BRDA:311,0,tab[1],1
BRDA:311,0,2,0 BRDA:311,0,tab[2],0
BRDA:311,0,3,0 BRDA:311,0,tab[3],0
BRDA:311,0,4,0 BRDA:311,0,tab[4],0
BRDA:311,0,5,0 BRDA:311,0,tab[5],0
DA:313,2 DA:313,2
BRDA:313,0,0,0 BRDA:313,0,data[0][0][0],0
BRDA:313,0,1,2 BRDA:313,0,data[0][0][1],2
BRDA:313,0,2,0 BRDA:313,0,data[0][0][2],0
BRDA:313,0,3,0 BRDA:313,0,data[0][0][3],0
BRDA:313,0,4,0 BRDA:313,0,data[0][0][4],0
BRDA:313,0,5,0 BRDA:313,0,data[0][0][5],0
BRDA:313,0,6,0 BRDA:313,0,data[0][0][6],0
BRDA:313,0,7,0 BRDA:313,0,data[0][0][7],0
BRDA:313,0,8,2 BRDA:313,0,data[0][1][0],2
BRDA:313,0,9,0 BRDA:313,0,data[0][1][1],0
BRDA:313,0,10,0 BRDA:313,0,data[0][1][2],0
BRDA:313,0,11,0 BRDA:313,0,data[0][1][3],0
BRDA:313,0,12,0 BRDA:313,0,data[0][1][4],0
BRDA:313,0,13,0 BRDA:313,0,data[0][1][5],0
BRDA:313,0,14,0 BRDA:313,0,data[0][1][6],0
BRDA:313,0,15,0 BRDA:313,0,data[0][1][7],0
BRDA:313,0,16,0 BRDA:313,0,data[1][0][0],0
BRDA:313,0,17,0 BRDA:313,0,data[1][0][1],0
BRDA:313,0,18,0 BRDA:313,0,data[1][0][2],0
BRDA:313,0,19,0 BRDA:313,0,data[1][0][3],0
BRDA:313,0,20,0 BRDA:313,0,data[1][0][4],0
BRDA:313,0,21,0 BRDA:313,0,data[1][0][5],0
BRDA:313,0,22,0 BRDA:313,0,data[1][0][6],0
BRDA:313,0,23,0 BRDA:313,0,data[1][0][7],0
BRDA:313,0,24,0 BRDA:313,0,data[1][1][0],0
BRDA:313,0,25,0 BRDA:313,0,data[1][1][1],0
BRDA:313,0,26,0 BRDA:313,0,data[1][1][2],0
BRDA:313,0,27,0 BRDA:313,0,data[1][1][3],0
BRDA:313,0,28,0 BRDA:313,0,data[1][1][4],0
BRDA:313,0,29,0 BRDA:313,0,data[1][1][5],0
BRDA:313,0,30,0 BRDA:313,0,data[1][1][6],0
BRDA:313,0,31,0 BRDA:313,0,data[1][1][7],0
DA:314,1 DA:314,1
DA:317,21 DA:317,21
DA:318,21 DA:318,21
@ -266,69 +267,69 @@ DA:319,21
DA:322,10 DA:322,10
DA:324,10 DA:324,10
DA:327,31 DA:327,31
BRDA:327,0,0,0 BRDA:327,0,cond_then,0
BRDA:327,0,1,31 BRDA:327,0,cond_else,31
DA:328,28 DA:328,28
BRDA:328,0,0,3 BRDA:328,0,cond_then,3
BRDA:328,0,1,28 BRDA:328,0,cond_else,28
DA:329,21 DA:329,21
BRDA:329,0,0,21 BRDA:329,0,cond_then,21
BRDA:329,0,1,0 BRDA:329,0,cond_else,0
DA:330,10 DA:330,10
DA:331,10 DA:331,10
BRDA:331,0,0,10 BRDA:331,0,block,10
BRDA:331,0,1,7 BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==0) => 0,7
BRDA:331,0,2,3 BRDA:331,0,(((cyc %25 32'sh3) == 32'sh0)==1) => 1,3
BRDA:331,0,3,3 BRDA:331,0,cond_then,3
BRDA:331,0,4,7 BRDA:331,0,cond_else,7
DA:332,10 DA:332,10
BRDA:332,0,0,10 BRDA:332,0,block,10
BRDA:332,0,1,0 BRDA:332,0,cond_then,0
BRDA:332,0,2,10 BRDA:332,0,cond_else,10
DA:334,19 DA:334,19
BRDA:334,0,0,12 BRDA:334,0,cond_then,12
BRDA:334,0,1,19 BRDA:334,0,cond_else,19
BRDA:334,0,2,7 BRDA:334,0,cond_then,7
BRDA:334,0,3,5 BRDA:334,0,cond_else,5
DA:337,11 DA:337,11
BRDA:337,0,0,11 BRDA:337,0,cond_then,11
BRDA:337,0,1,0 BRDA:337,0,cond_else,0
DA:343,11 DA:343,11
BRDA:343,0,0,10 BRDA:343,0,cond_then,10
BRDA:343,0,1,11 BRDA:343,0,cond_else,11
DA:346,11 DA:346,11
DA:347,10 DA:347,10
BRDA:347,0,0,1 BRDA:347,0,((cyc > 32'sh5)==0) => 0,1
BRDA:347,0,1,0 BRDA:347,0,((cyc > 32'sh5)==1) => 1,0
BRDA:347,0,2,0 BRDA:347,0,cond_then,0
BRDA:347,0,3,1 BRDA:347,0,cond_else,1
BRDA:347,0,4,1 BRDA:347,0,if,1
BRDA:347,0,5,10 BRDA:347,0,else,10
DA:348,10 DA:348,10
DA:350,11 DA:350,11
BRDA:350,0,0,11 BRDA:350,0,block,11
BRDA:350,0,1,10 BRDA:350,0,((cyc == 32'sh2)==0) => 0,10
BRDA:350,0,2,1 BRDA:350,0,((cyc == 32'sh2)==1) => 1,1
BRDA:350,0,3,1 BRDA:350,0,cond_then,1
BRDA:350,0,4,10 BRDA:350,0,cond_else,10
DA:353,55 DA:353,55
BRDA:353,0,0,11 BRDA:353,0,block,11
BRDA:353,0,1,11 BRDA:353,0,((i < 32'sh5)==0) => 0,11
BRDA:353,0,2,0 BRDA:353,0,((i < 32'sh5)==1) => 1,0
BRDA:353,0,3,55 BRDA:353,0,block,55
DA:354,55 DA:354,55
DA:356,44 DA:356,44
BRDA:356,0,0,11 BRDA:356,0,block,11
BRDA:356,0,1,0 BRDA:356,0,((i > 32'sh4)==0) => 0,0
BRDA:356,0,2,11 BRDA:356,0,((i > 32'sh4)==1) => 1,11
BRDA:356,0,3,44 BRDA:356,0,block,44
DA:357,44 DA:357,44
DA:360,11 DA:360,11
BRDA:360,0,0,11 BRDA:360,0,(k==0) => 0,11
BRDA:360,0,1,0 BRDA:360,0,(k==1) => 1,0
BRDA:360,0,2,0 BRDA:360,0,if,0
BRDA:360,0,3,11 BRDA:360,0,else,11
DA:361,11 DA:361,11
BRF:183 BRF:184
BRH:39 BRH:39
end_of_record end_of_record

2
test_regress/t/t_vlcov_summary_typed.out
View File

@ -1,5 +1,5 @@
Coverage Summary: Coverage Summary:
line : 88.6% ( 39/ 44) line : 88.9% ( 40/ 45)
toggle : 33.3% ( 35/105) toggle : 33.3% ( 35/105)
branch : 78.1% ( 50/ 64) branch : 78.1% ( 50/ 64)
expr : 66.7% ( 8/ 12) expr : 66.7% ( 8/ 12)