Skip to content

Commit e72afef

Browse files
ZalatharZalathar
committed
coverage: Reactivate -Cinstrument-coverage=branch 
1 parent 66d42ed commit e72afef

File tree

7 files changed

+196
-82
lines changed

7 files changed

+196
-82
lines changed

‎compiler/rustc_session/src/session.rs

-4
Original file line numberDiff line numberDiff line change
@@ -357,10 +357,6 @@ impl Session {
357357
}
358358

359359
pub fn instrument_coverage_branch(&self) -> bool {
360-
// Temporarily deactivate `-Cinstrument-coverage=branch`.
361-
if true {
362-
return false;
363-
}
364360
self.opts.cg.instrument_coverage() == InstrumentCoverage::Branch
365361
}
366362

‎tests/coverage/branch_generics.cov-map

+18-9
Original file line numberDiff line numberDiff line change
@@ -1,43 +1,52 @@
11
Function name: branch_generics::print_size::<()>
2-
Raw bytes (28): 0x[01, 01, 02, 01, 05, 05, 02, 04, 01, 06, 01, 01, 24, 05, 01, 25, 02, 06, 02, 02, 0c, 02, 06, 07, 03, 01, 00, 02]
2+
Raw bytes (35): 0x[01, 01, 02, 01, 05, 05, 02, 05, 01, 06, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 07, 03, 01, 00, 02]
33
Number of files: 1
44
- file 0 => global file 1
55
Number of expressions: 2
66
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
77
- expression 1 operands: lhs = Counter(1), rhs = Expression(0, Sub)
8-
Number of file 0 mappings: 4
8+
Number of file 0 mappings: 5
99
- Code(Counter(0)) at (prev + 6, 1) to (start + 1, 36)
10-
- Code(Counter(1)) at (prev + 1, 37) to (start + 2, 6)
10+
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36)
11+
true = c1
12+
false = (c0 - c1)
13+
- Code(Counter(1)) at (prev + 0, 37) to (start + 2, 6)
1114
- Code(Expression(0, Sub)) at (prev + 2, 12) to (start + 2, 6)
1215
= (c0 - c1)
1316
- Code(Expression(1, Add)) at (prev + 3, 1) to (start + 0, 2)
1417
= (c1 + (c0 - c1))
1518

1619
Function name: branch_generics::print_size::<u32>
17-
Raw bytes (28): 0x[01, 01, 02, 01, 05, 05, 02, 04, 01, 06, 01, 01, 24, 05, 01, 25, 02, 06, 02, 02, 0c, 02, 06, 07, 03, 01, 00, 02]
20+
Raw bytes (35): 0x[01, 01, 02, 01, 05, 05, 02, 05, 01, 06, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 07, 03, 01, 00, 02]
1821
Number of files: 1
1922
- file 0 => global file 1
2023
Number of expressions: 2
2124
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
2225
- expression 1 operands: lhs = Counter(1), rhs = Expression(0, Sub)
23-
Number of file 0 mappings: 4
26+
Number of file 0 mappings: 5
2427
- Code(Counter(0)) at (prev + 6, 1) to (start + 1, 36)
25-
- Code(Counter(1)) at (prev + 1, 37) to (start + 2, 6)
28+
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36)
29+
true = c1
30+
false = (c0 - c1)
31+
- Code(Counter(1)) at (prev + 0, 37) to (start + 2, 6)
2632
- Code(Expression(0, Sub)) at (prev + 2, 12) to (start + 2, 6)
2733
= (c0 - c1)
2834
- Code(Expression(1, Add)) at (prev + 3, 1) to (start + 0, 2)
2935
= (c1 + (c0 - c1))
3036

3137
Function name: branch_generics::print_size::<u64>
32-
Raw bytes (28): 0x[01, 01, 02, 01, 05, 05, 02, 04, 01, 06, 01, 01, 24, 05, 01, 25, 02, 06, 02, 02, 0c, 02, 06, 07, 03, 01, 00, 02]
38+
Raw bytes (35): 0x[01, 01, 02, 01, 05, 05, 02, 05, 01, 06, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 07, 03, 01, 00, 02]
3339
Number of files: 1
3440
- file 0 => global file 1
3541
Number of expressions: 2
3642
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
3743
- expression 1 operands: lhs = Counter(1), rhs = Expression(0, Sub)
38-
Number of file 0 mappings: 4
44+
Number of file 0 mappings: 5
3945
- Code(Counter(0)) at (prev + 6, 1) to (start + 1, 36)
40-
- Code(Counter(1)) at (prev + 1, 37) to (start + 2, 6)
46+
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36)
47+
true = c1
48+
false = (c0 - c1)
49+
- Code(Counter(1)) at (prev + 0, 37) to (start + 2, 6)
4150
- Code(Expression(0, Sub)) at (prev + 2, 12) to (start + 2, 6)
4251
= (c0 - c1)
4352
- Code(Expression(1, Add)) at (prev + 3, 1) to (start + 0, 2)

‎tests/coverage/branch_generics.coverage

+14
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,11 @@
55
LL| |
66
LL| 3|fn print_size<T>() {
77
LL| 3| if std::mem::size_of::<T>() > 4 {
8+
------------------
9+
| Branch (LL:8): [True: 0, False: 1]
10+
| Branch (LL:8): [True: 0, False: 1]
11+
| Branch (LL:8): [True: 1, False: 0]
12+
------------------
813
LL| 1| println!("size > 4");
914
LL| 2| } else {
1015
LL| 2| println!("size <= 4");
@@ -14,6 +19,9 @@
1419
| branch_generics::print_size::<()>:
1520
| LL| 1|fn print_size<T>() {
1621
| LL| 1| if std::mem::size_of::<T>() > 4 {
22+
| ------------------
23+
| | Branch (LL:8): [True: 0, False: 1]
24+
| ------------------
1725
| LL| 0| println!("size > 4");
1826
| LL| 1| } else {
1927
| LL| 1| println!("size <= 4");
@@ -23,6 +31,9 @@
2331
| branch_generics::print_size::<u32>:
2432
| LL| 1|fn print_size<T>() {
2533
| LL| 1| if std::mem::size_of::<T>() > 4 {
34+
| ------------------
35+
| | Branch (LL:8): [True: 0, False: 1]
36+
| ------------------
2637
| LL| 0| println!("size > 4");
2738
| LL| 1| } else {
2839
| LL| 1| println!("size <= 4");
@@ -32,6 +43,9 @@
3243
| branch_generics::print_size::<u64>:
3344
| LL| 1|fn print_size<T>() {
3445
| LL| 1| if std::mem::size_of::<T>() > 4 {
46+
| ------------------
47+
| | Branch (LL:8): [True: 1, False: 0]
48+
| ------------------
3549
| LL| 1| println!("size > 4");
3650
| LL| 1| } else {
3751
| LL| 0| println!("size <= 4");

‎tests/coverage/branch_if.cov-map

+83-46
Original file line numberDiff line numberDiff line change
@@ -1,93 +1,130 @@
11
Function name: branch_if::branch_and
2-
Raw bytes (40): 0x[01, 01, 03, 06, 0d, 05, 09, 11, 03, 06, 01, 1d, 01, 01, 10, 05, 03, 08, 00, 09, 09, 00, 0d, 00, 0e, 11, 00, 0f, 02, 06, 03, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
2+
Raw bytes (56): 0x[01, 01, 04, 05, 09, 0d, 02, 11, 0f, 0d, 02, 08, 01, 1d, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 09, 00, 0d, 00, 0e, 20, 11, 0d, 00, 0d, 00, 0e, 11, 00, 0f, 02, 06, 0f, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
33
Number of files: 1
44
- file 0 => global file 1
5-
Number of expressions: 3
6-
- expression 0 operands: lhs = Expression(1, Sub), rhs = Counter(3)
7-
- expression 1 operands: lhs = Counter(1), rhs = Counter(2)
8-
- expression 2 operands: lhs = Counter(4), rhs = Expression(0, Add)
9-
Number of file 0 mappings: 6
5+
Number of expressions: 4
6+
- expression 0 operands: lhs = Counter(1), rhs = Counter(2)
7+
- expression 1 operands: lhs = Counter(3), rhs = Expression(0, Sub)
8+
- expression 2 operands: lhs = Counter(4), rhs = Expression(3, Add)
9+
- expression 3 operands: lhs = Counter(3), rhs = Expression(0, Sub)
10+
Number of file 0 mappings: 8
1011
- Code(Counter(0)) at (prev + 29, 1) to (start + 1, 16)
1112
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9)
13+
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9)
14+
true = c2
15+
false = (c1 - c2)
1216
- Code(Counter(2)) at (prev + 0, 13) to (start + 0, 14)
17+
- Branch { true: Counter(4), false: Counter(3) } at (prev + 0, 13) to (start + 0, 14)
18+
true = c4
19+
false = c3
1320
- Code(Counter(4)) at (prev + 0, 15) to (start + 2, 6)
14-
- Code(Expression(0, Add)) at (prev + 2, 12) to (start + 2, 6)
15-
= ((c1 - c2) + c3)
21+
- Code(Expression(3, Add)) at (prev + 2, 12) to (start + 2, 6)
22+
= (c3 + (c1 - c2))
1623
- Code(Expression(2, Add)) at (prev + 3, 1) to (start + 0, 2)
17-
= (c4 + ((c1 - c2) + c3))
24+
= (c4 + (c3 + (c1 - c2)))
1825

1926
Function name: branch_if::branch_not
20-
Raw bytes (132): 0x[01, 01, 1d, 05, 09, 09, 02, 73, 0d, 09, 02, 0d, 6e, 73, 0d, 09, 02, 6b, 11, 0d, 6e, 73, 0d, 09, 02, 11, 66, 6b, 11, 0d, 6e, 73, 0d, 09, 02, 63, 15, 11, 66, 6b, 11, 0d, 6e, 73, 0d, 09, 02, 15, 5e, 63, 15, 11, 66, 6b, 11, 0d, 6e, 73, 0d, 09, 02, 0e, 01, 0c, 01, 01, 10, 05, 03, 08, 00, 09, 09, 01, 09, 00, 11, 02, 01, 06, 00, 07, 73, 01, 08, 00, 0a, 6e, 00, 0b, 02, 06, 0d, 02, 06, 00, 07, 6b, 01, 08, 00, 0b, 11, 00, 0c, 02, 06, 66, 02, 06, 00, 07, 63, 01, 08, 00, 0c, 5e, 00, 0d, 02, 06, 15, 02, 06, 00, 07, 5b, 01, 01, 00, 02]
27+
Raw bytes (224): 0x[01, 01, 29, 05, 09, 09, 02, a3, 01, 0d, 09, 02, a3, 01, 0d, 09, 02, 0d, 9e, 01, a3, 01, 0d, 09, 02, 9b, 01, 11, 0d, 9e, 01, a3, 01, 0d, 09, 02, 9b, 01, 11, 0d, 9e, 01, a3, 01, 0d, 09, 02, 11, 96, 01, 9b, 01, 11, 0d, 9e, 01, a3, 01, 0d, 09, 02, 93, 01, 15, 11, 96, 01, 9b, 01, 11, 0d, 9e, 01, a3, 01, 0d, 09, 02, 93, 01, 15, 11, 96, 01, 9b, 01, 11, 0d, 9e, 01, a3, 01, 0d, 09, 02, 15, 8e, 01, 93, 01, 15, 11, 96, 01, 9b, 01, 11, 0d, 9e, 01, a3, 01, 0d, 09, 02, 12, 01, 0c, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 09, 01, 09, 00, 11, 02, 01, 06, 00, 07, a3, 01, 01, 08, 00, 0a, 20, 9e, 01, 0d, 00, 08, 00, 0a, 9e, 01, 00, 0b, 02, 06, 0d, 02, 06, 00, 07, 9b, 01, 01, 08, 00, 0b, 20, 11, 96, 01, 00, 08, 00, 0b, 11, 00, 0c, 02, 06, 96, 01, 02, 06, 00, 07, 93, 01, 01, 08, 00, 0c, 20, 8e, 01, 15, 00, 08, 00, 0c, 8e, 01, 00, 0d, 02, 06, 15, 02, 06, 00, 07, 8b, 01, 01, 01, 00, 02]
2128
Number of files: 1
2229
- file 0 => global file 1
23-
Number of expressions: 29
30+
Number of expressions: 41
2431
- expression 0 operands: lhs = Counter(1), rhs = Counter(2)
2532
- expression 1 operands: lhs = Counter(2), rhs = Expression(0, Sub)
26-
- expression 2 operands: lhs = Expression(28, Add), rhs = Counter(3)
33+
- expression 2 operands: lhs = Expression(40, Add), rhs = Counter(3)
2734
- expression 3 operands: lhs = Counter(2), rhs = Expression(0, Sub)
28-
- expression 4 operands: lhs = Counter(3), rhs = Expression(27, Sub)
29-
- expression 5 operands: lhs = Expression(28, Add), rhs = Counter(3)
30-
- expression 6 operands: lhs = Counter(2), rhs = Expression(0, Sub)
31-
- expression 7 operands: lhs = Expression(26, Add), rhs = Counter(4)
32-
- expression 8 operands: lhs = Counter(3), rhs = Expression(27, Sub)
33-
- expression 9 operands: lhs = Expression(28, Add), rhs = Counter(3)
34-
- expression 10 operands: lhs = Counter(2), rhs = Expression(0, Sub)
35-
- expression 11 operands: lhs = Counter(4), rhs = Expression(25, Sub)
36-
- expression 12 operands: lhs = Expression(26, Add), rhs = Counter(4)
37-
- expression 13 operands: lhs = Counter(3), rhs = Expression(27, Sub)
38-
- expression 14 operands: lhs = Expression(28, Add), rhs = Counter(3)
39-
- expression 15 operands: lhs = Counter(2), rhs = Expression(0, Sub)
40-
- expression 16 operands: lhs = Expression(24, Add), rhs = Counter(5)
41-
- expression 17 operands: lhs = Counter(4), rhs = Expression(25, Sub)
42-
- expression 18 operands: lhs = Expression(26, Add), rhs = Counter(4)
43-
- expression 19 operands: lhs = Counter(3), rhs = Expression(27, Sub)
44-
- expression 20 operands: lhs = Expression(28, Add), rhs = Counter(3)
35+
- expression 4 operands: lhs = Expression(40, Add), rhs = Counter(3)
36+
- expression 5 operands: lhs = Counter(2), rhs = Expression(0, Sub)
37+
- expression 6 operands: lhs = Counter(3), rhs = Expression(39, Sub)
38+
- expression 7 operands: lhs = Expression(40, Add), rhs = Counter(3)
39+
- expression 8 operands: lhs = Counter(2), rhs = Expression(0, Sub)
40+
- expression 9 operands: lhs = Expression(38, Add), rhs = Counter(4)
41+
- expression 10 operands: lhs = Counter(3), rhs = Expression(39, Sub)
42+
- expression 11 operands: lhs = Expression(40, Add), rhs = Counter(3)
43+
- expression 12 operands: lhs = Counter(2), rhs = Expression(0, Sub)
44+
- expression 13 operands: lhs = Expression(38, Add), rhs = Counter(4)
45+
- expression 14 operands: lhs = Counter(3), rhs = Expression(39, Sub)
46+
- expression 15 operands: lhs = Expression(40, Add), rhs = Counter(3)
47+
- expression 16 operands: lhs = Counter(2), rhs = Expression(0, Sub)
48+
- expression 17 operands: lhs = Counter(4), rhs = Expression(37, Sub)
49+
- expression 18 operands: lhs = Expression(38, Add), rhs = Counter(4)
50+
- expression 19 operands: lhs = Counter(3), rhs = Expression(39, Sub)
51+
- expression 20 operands: lhs = Expression(40, Add), rhs = Counter(3)
4552
- expression 21 operands: lhs = Counter(2), rhs = Expression(0, Sub)
46-
- expression 22 operands: lhs = Counter(5), rhs = Expression(23, Sub)
47-
- expression 23 operands: lhs = Expression(24, Add), rhs = Counter(5)
48-
- expression 24 operands: lhs = Counter(4), rhs = Expression(25, Sub)
49-
- expression 25 operands: lhs = Expression(26, Add), rhs = Counter(4)
50-
- expression 26 operands: lhs = Counter(3), rhs = Expression(27, Sub)
51-
- expression 27 operands: lhs = Expression(28, Add), rhs = Counter(3)
52-
- expression 28 operands: lhs = Counter(2), rhs = Expression(0, Sub)
53-
Number of file 0 mappings: 14
53+
- expression 22 operands: lhs = Expression(36, Add), rhs = Counter(5)
54+
- expression 23 operands: lhs = Counter(4), rhs = Expression(37, Sub)
55+
- expression 24 operands: lhs = Expression(38, Add), rhs = Counter(4)
56+
- expression 25 operands: lhs = Counter(3), rhs = Expression(39, Sub)
57+
- expression 26 operands: lhs = Expression(40, Add), rhs = Counter(3)
58+
- expression 27 operands: lhs = Counter(2), rhs = Expression(0, Sub)
59+
- expression 28 operands: lhs = Expression(36, Add), rhs = Counter(5)
60+
- expression 29 operands: lhs = Counter(4), rhs = Expression(37, Sub)
61+
- expression 30 operands: lhs = Expression(38, Add), rhs = Counter(4)
62+
- expression 31 operands: lhs = Counter(3), rhs = Expression(39, Sub)
63+
- expression 32 operands: lhs = Expression(40, Add), rhs = Counter(3)
64+
- expression 33 operands: lhs = Counter(2), rhs = Expression(0, Sub)
65+
- expression 34 operands: lhs = Counter(5), rhs = Expression(35, Sub)
66+
- expression 35 operands: lhs = Expression(36, Add), rhs = Counter(5)
67+
- expression 36 operands: lhs = Counter(4), rhs = Expression(37, Sub)
68+
- expression 37 operands: lhs = Expression(38, Add), rhs = Counter(4)
69+
- expression 38 operands: lhs = Counter(3), rhs = Expression(39, Sub)
70+
- expression 39 operands: lhs = Expression(40, Add), rhs = Counter(3)
71+
- expression 40 operands: lhs = Counter(2), rhs = Expression(0, Sub)
72+
Number of file 0 mappings: 18
5473
- Code(Counter(0)) at (prev + 12, 1) to (start + 1, 16)
5574
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9)
75+
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9)
76+
true = c2
77+
false = (c1 - c2)
5678
- Code(Counter(2)) at (prev + 1, 9) to (start + 0, 17)
5779
- Code(Expression(0, Sub)) at (prev + 1, 6) to (start + 0, 7)
5880
= (c1 - c2)
59-
- Code(Expression(28, Add)) at (prev + 1, 8) to (start + 0, 10)
81+
- Code(Expression(40, Add)) at (prev + 1, 8) to (start + 0, 10)
6082
= (c2 + (c1 - c2))
61-
- Code(Expression(27, Sub)) at (prev + 0, 11) to (start + 2, 6)
83+
- Branch { true: Expression(39, Sub), false: Counter(3) } at (prev + 0, 8) to (start + 0, 10)
84+
true = ((c2 + (c1 - c2)) - c3)
85+
false = c3
86+
- Code(Expression(39, Sub)) at (prev + 0, 11) to (start + 2, 6)
6287
= ((c2 + (c1 - c2)) - c3)
6388
- Code(Counter(3)) at (prev + 2, 6) to (start + 0, 7)
64-
- Code(Expression(26, Add)) at (prev + 1, 8) to (start + 0, 11)
89+
- Code(Expression(38, Add)) at (prev + 1, 8) to (start + 0, 11)
6590
= (c3 + ((c2 + (c1 - c2)) - c3))
91+
- Branch { true: Counter(4), false: Expression(37, Sub) } at (prev + 0, 8) to (start + 0, 11)
92+
true = c4
93+
false = ((c3 + ((c2 + (c1 - c2)) - c3)) - c4)
6694
- Code(Counter(4)) at (prev + 0, 12) to (start + 2, 6)
67-
- Code(Expression(25, Sub)) at (prev + 2, 6) to (start + 0, 7)
95+
- Code(Expression(37, Sub)) at (prev + 2, 6) to (start + 0, 7)
6896
= ((c3 + ((c2 + (c1 - c2)) - c3)) - c4)
69-
- Code(Expression(24, Add)) at (prev + 1, 8) to (start + 0, 12)
97+
- Code(Expression(36, Add)) at (prev + 1, 8) to (start + 0, 12)
7098
= (c4 + ((c3 + ((c2 + (c1 - c2)) - c3)) - c4))
71-
- Code(Expression(23, Sub)) at (prev + 0, 13) to (start + 2, 6)
99+
- Branch { true: Expression(35, Sub), false: Counter(5) } at (prev + 0, 8) to (start + 0, 12)
100+
true = ((c4 + ((c3 + ((c2 + (c1 - c2)) - c3)) - c4)) - c5)
101+
false = c5
102+
- Code(Expression(35, Sub)) at (prev + 0, 13) to (start + 2, 6)
72103
= ((c4 + ((c3 + ((c2 + (c1 - c2)) - c3)) - c4)) - c5)
73104
- Code(Counter(5)) at (prev + 2, 6) to (start + 0, 7)
74-
- Code(Expression(22, Add)) at (prev + 1, 1) to (start + 0, 2)
105+
- Code(Expression(34, Add)) at (prev + 1, 1) to (start + 0, 2)
75106
= (c5 + ((c4 + ((c3 + ((c2 + (c1 - c2)) - c3)) - c4)) - c5))
76107

77108
Function name: branch_if::branch_or
78-
Raw bytes (42): 0x[01, 01, 04, 05, 09, 09, 0d, 0f, 11, 09, 0d, 06, 01, 27, 01, 01, 10, 05, 03, 08, 00, 09, 02, 00, 0d, 00, 0e, 0f, 00, 0f, 02, 06, 11, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
109+
Raw bytes (56): 0x[01, 01, 04, 05, 09, 09, 0d, 0f, 11, 09, 0d, 08, 01, 27, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 02, 00, 0d, 00, 0e, 20, 0d, 11, 00, 0d, 00, 0e, 0f, 00, 0f, 02, 06, 11, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
79110
Number of files: 1
80111
- file 0 => global file 1
81112
Number of expressions: 4
82113
- expression 0 operands: lhs = Counter(1), rhs = Counter(2)
83114
- expression 1 operands: lhs = Counter(2), rhs = Counter(3)
84115
- expression 2 operands: lhs = Expression(3, Add), rhs = Counter(4)
85116
- expression 3 operands: lhs = Counter(2), rhs = Counter(3)
86-
Number of file 0 mappings: 6
117+
Number of file 0 mappings: 8
87118
- Code(Counter(0)) at (prev + 39, 1) to (start + 1, 16)
88119
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9)
120+
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9)
121+
true = c2
122+
false = (c1 - c2)
89123
- Code(Expression(0, Sub)) at (prev + 0, 13) to (start + 0, 14)
90124
= (c1 - c2)
125+
- Branch { true: Counter(3), false: Counter(4) } at (prev + 0, 13) to (start + 0, 14)
126+
true = c3
127+
false = c4
91128
- Code(Expression(3, Add)) at (prev + 0, 15) to (start + 2, 6)
92129
= (c2 + c3)
93130
- Code(Counter(4)) at (prev + 2, 12) to (start + 2, 6)

‎tests/coverage/branch_if.coverage

+20
Original file line numberDiff line numberDiff line change
@@ -13,16 +13,28 @@
1313
LL| 3| no_merge!();
1414
LL| |
1515
LL| 3| if a {
16+
------------------
17+
| Branch (LL:8): [True: 2, False: 1]
18+
------------------
1619
LL| 2| say("a")
1720
LL| 1| }
1821
LL| 3| if !a {
22+
------------------
23+
| Branch (LL:8): [True: 1, False: 2]
24+
------------------
1925
LL| 1| say("not a");
2026
LL| 2| }
2127
LL| 3| if !!a {
28+
------------------
29+
| Branch (LL:8): [True: 2, False: 1]
30+
------------------
2231
LL| 2| say("not not a");
2332
LL| 2| }
2433
^1
2534
LL| 3| if !!!a {
35+
------------------
36+
| Branch (LL:8): [True: 1, False: 2]
37+
------------------
2638
LL| 1| say("not not not a");
2739
LL| 2| }
2840
LL| 3|}
@@ -32,6 +44,10 @@
3244
LL| |
3345
LL| 15| if a && b {
3446
^12
47+
------------------
48+
| Branch (LL:8): [True: 12, False: 3]
49+
| Branch (LL:13): [True: 8, False: 4]
50+
------------------
3551
LL| 8| say("both");
3652
LL| 8| } else {
3753
LL| 7| say("not both");
@@ -43,6 +59,10 @@
4359
LL| |
4460
LL| 15| if a || b {
4561
^3
62+
------------------
63+
| Branch (LL:8): [True: 12, False: 3]
64+
| Branch (LL:13): [True: 2, False: 1]
65+
------------------
4666
LL| 14| say("either");
4767
LL| 14| } else {
4868
LL| 1| say("neither");

0 commit comments

Comments
 (0)