Skip to content

Commit 14c22e3

Browse files
ZalatharZalathar
committed
coverage: Remove the final merge pass after span refinement
This step used to be essential, but after other recent changes to span refinement it doesn't appear to be particularly necessary. Removing the final merge step will make it easier to simplify or replace the span refinement code.
1 parent 4e922eb commit 14c22e3

File tree

4 files changed

+75
-89
lines changed

4 files changed

+75
-89
lines changed

‎compiler/rustc_mir_transform/src/coverage/spans.rs‎

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -159,17 +159,6 @@ struct RefinedCovspan {
159159
is_closure: bool,
160160
}
161161

162-
impl RefinedCovspan {
163-
fn is_mergeable(&self, other: &Self) -> bool {
164-
self.bcb == other.bcb && !self.is_closure && !other.is_closure
165-
}
166-
167-
fn merge_from(&mut self, other: &Self) {
168-
debug_assert!(self.is_mergeable(other));
169-
self.span = self.span.to(other.span);
170-
}
171-
}
172-
173162
/// Converts the initial set of coverage spans (one per MIR `Statement` or `Terminator`) into a
174163
/// minimal set of coverage spans, using the BCB CFG to determine where it is safe and useful to:
175164
///
@@ -258,17 +247,6 @@ impl SpansRefiner {
258247
self.refined_spans.push(prev.into_refined());
259248
}
260249

261-
// Do one last merge pass, to simplify the output.
262-
self.refined_spans.dedup_by(|b, a| {
263-
if a.is_mergeable(b) {
264-
debug!(?a, ?b, "merging list-adjacent refined spans");
265-
a.merge_from(b);
266-
true
267-
} else {
268-
false
269-
}
270-
});
271-
272250
// Remove spans derived from closures, originally added to ensure the coverage
273251
// regions for the current function leave room for the closure's own coverage regions
274252
// (injected separately, from the closure's own MIR).

‎tests/coverage/fn_sig_into_try.cov-map‎

Lines changed: 15 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -7,45 +7,48 @@ Number of file 0 mappings: 1
77
- Code(Counter(0)) at (prev + 10, 1) to (start + 5, 2)
88

99
Function name: fn_sig_into_try::b
10-
Raw bytes (28): 0x[01, 01, 02, 01, 00, 00, 02, 04, 01, 11, 01, 03, 0f, 00, 03, 0f, 00, 10, 02, 01, 05, 00, 0c, 07, 01, 01, 00, 02]
10+
Raw bytes (33): 0x[01, 01, 02, 01, 00, 00, 02, 05, 01, 11, 01, 02, 01, 01, 03, 05, 00, 0f, 00, 00, 0f, 00, 10, 02, 01, 05, 00, 0c, 07, 01, 01, 00, 02]
1111
Number of files: 1
1212
- file 0 => global file 1
1313
Number of expressions: 2
1414
- expression 0 operands: lhs = Counter(0), rhs = Zero
1515
- expression 1 operands: lhs = Zero, rhs = Expression(0, Sub)
16-
Number of file 0 mappings: 4
17-
- Code(Counter(0)) at (prev + 17, 1) to (start + 3, 15)
18-
- Code(Zero) at (prev + 3, 15) to (start + 0, 16)
16+
Number of file 0 mappings: 5
17+
- Code(Counter(0)) at (prev + 17, 1) to (start + 2, 1)
18+
- Code(Counter(0)) at (prev + 3, 5) to (start + 0, 15)
19+
- Code(Zero) at (prev + 0, 15) to (start + 0, 16)
1920
- Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12)
2021
= (c0 - Zero)
2122
- Code(Expression(1, Add)) at (prev + 1, 1) to (start + 0, 2)
2223
= (Zero + (c0 - Zero))
2324

2425
Function name: fn_sig_into_try::c
25-
Raw bytes (28): 0x[01, 01, 02, 01, 00, 00, 02, 04, 01, 18, 01, 03, 17, 00, 03, 17, 00, 18, 02, 01, 05, 00, 0c, 07, 01, 01, 00, 02]
26+
Raw bytes (33): 0x[01, 01, 02, 01, 00, 00, 02, 05, 01, 18, 01, 02, 01, 01, 03, 0d, 00, 17, 00, 00, 17, 00, 18, 02, 01, 05, 00, 0c, 07, 01, 01, 00, 02]
2627
Number of files: 1
2728
- file 0 => global file 1
2829
Number of expressions: 2
2930
- expression 0 operands: lhs = Counter(0), rhs = Zero
3031
- expression 1 operands: lhs = Zero, rhs = Expression(0, Sub)
31-
Number of file 0 mappings: 4
32-
- Code(Counter(0)) at (prev + 24, 1) to (start + 3, 23)
33-
- Code(Zero) at (prev + 3, 23) to (start + 0, 24)
32+
Number of file 0 mappings: 5
33+
- Code(Counter(0)) at (prev + 24, 1) to (start + 2, 1)
34+
- Code(Counter(0)) at (prev + 3, 13) to (start + 0, 23)
35+
- Code(Zero) at (prev + 0, 23) to (start + 0, 24)
3436
- Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12)
3537
= (c0 - Zero)
3638
- Code(Expression(1, Add)) at (prev + 1, 1) to (start + 0, 2)
3739
= (Zero + (c0 - Zero))
3840

3941
Function name: fn_sig_into_try::d
40-
Raw bytes (28): 0x[01, 01, 02, 01, 00, 00, 02, 04, 01, 1f, 01, 04, 0f, 00, 04, 0f, 00, 10, 02, 01, 05, 00, 0c, 07, 01, 01, 00, 02]
42+
Raw bytes (33): 0x[01, 01, 02, 01, 00, 00, 02, 05, 01, 1f, 01, 03, 13, 01, 04, 05, 00, 0f, 00, 00, 0f, 00, 10, 02, 01, 05, 00, 0c, 07, 01, 01, 00, 02]
4143
Number of files: 1
4244
- file 0 => global file 1
4345
Number of expressions: 2
4446
- expression 0 operands: lhs = Counter(0), rhs = Zero
4547
- expression 1 operands: lhs = Zero, rhs = Expression(0, Sub)
46-
Number of file 0 mappings: 4
47-
- Code(Counter(0)) at (prev + 31, 1) to (start + 4, 15)
48-
- Code(Zero) at (prev + 4, 15) to (start + 0, 16)
48+
Number of file 0 mappings: 5
49+
- Code(Counter(0)) at (prev + 31, 1) to (start + 3, 19)
50+
- Code(Counter(0)) at (prev + 4, 5) to (start + 0, 15)
51+
- Code(Zero) at (prev + 0, 15) to (start + 0, 16)
4952
- Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12)
5053
= (c0 - Zero)
5154
- Code(Expression(1, Add)) at (prev + 1, 1) to (start + 0, 2)

‎tests/coverage/issue-84561.cov-map‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
Function name: <issue_84561::Foo as core::fmt::Debug>::fmt
2-
Raw bytes (29): 0x[01, 01, 02, 01, 05, 05, 02, 04, 01, 8a, 01, 05, 01, 25, 05, 01, 25, 00, 26, 02, 01, 09, 00, 0f, 07, 01, 05, 00, 06]
2+
Raw bytes (34): 0x[01, 01, 02, 01, 05, 05, 02, 05, 01, 8a, 01, 05, 00, 44, 01, 01, 09, 00, 25, 05, 00, 25, 00, 26, 02, 01, 09, 00, 0f, 07, 01, 05, 00, 06]
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
9-
- Code(Counter(0)) at (prev + 138, 5) to (start + 1, 37)
10-
- Code(Counter(1)) at (prev + 1, 37) to (start + 0, 38)
8+
Number of file 0 mappings: 5
9+
- Code(Counter(0)) at (prev + 138, 5) to (start + 0, 68)
10+
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 37)
11+
- Code(Counter(1)) at (prev + 0, 37) to (start + 0, 38)
1112
- Code(Expression(0, Sub)) at (prev + 1, 9) to (start + 0, 15)
1213
= (c0 - c1)
1314
- Code(Expression(1, Add)) at (prev + 1, 5) to (start + 0, 6)

‎tests/coverage/try_error_result.cov-map‎

Lines changed: 55 additions & 51 deletions
Original file line numberDiff line numberDiff line change
@@ -44,15 +44,16 @@ Number of file 0 mappings: 4
4444
= (c1 + (c0 - c1))
4545

4646
Function name: try_error_result::main
47-
Raw bytes (28): 0x[01, 01, 02, 01, 05, 05, 02, 04, 01, 73, 01, 02, 0c, 05, 03, 05, 00, 06, 02, 02, 05, 00, 0b, 07, 01, 01, 00, 02]
47+
Raw bytes (33): 0x[01, 01, 02, 01, 05, 05, 02, 05, 01, 73, 01, 01, 2c, 01, 02, 05, 00, 0c, 05, 01, 05, 00, 06, 02, 02, 05, 00, 0b, 07, 01, 01, 00, 02]
4848
Number of files: 1
4949
- file 0 => global file 1
5050
Number of expressions: 2
5151
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
5252
- expression 1 operands: lhs = Counter(1), rhs = Expression(0, Sub)
53-
Number of file 0 mappings: 4
54-
- Code(Counter(0)) at (prev + 115, 1) to (start + 2, 12)
55-
- Code(Counter(1)) at (prev + 3, 5) to (start + 0, 6)
53+
Number of file 0 mappings: 5
54+
- Code(Counter(0)) at (prev + 115, 1) to (start + 1, 44)
55+
- Code(Counter(0)) at (prev + 2, 5) to (start + 0, 12)
56+
- Code(Counter(1)) at (prev + 1, 5) to (start + 0, 6)
5657
- Code(Expression(0, Sub)) at (prev + 2, 5) to (start + 0, 11)
5758
= (c0 - c1)
5859
- Code(Expression(1, Add)) at (prev + 1, 1) to (start + 0, 2)
@@ -89,61 +90,64 @@ Number of file 0 mappings: 11
8990
= (((c4 + Zero) + Zero) + c3)
9091

9192
Function name: try_error_result::test2
92-
Raw bytes (280): 0x[01, 01, 24, 01, 07, 00, 09, 03, 0d, 41, 00, 1e, 00, 41, 00, 1e, 00, 41, 00, 4a, 00, 4e, 00, 52, 41, 03, 0d, 52, 41, 03, 0d, 4e, 00, 52, 41, 03, 0d, 4a, 00, 4e, 00, 52, 41, 03, 0d, 66, 00, 45, 00, 45, 00, 66, 00, 45, 00, 7a, 00, 4d, 00, 4d, 00, 7a, 00, 4d, 00, 83, 01, 0d, 87, 01, 00, 00, 8b, 01, 8f, 01, 00, 19, 00, 28, 01, 3e, 01, 03, 17, 03, 08, 09, 00, 0e, 52, 02, 09, 04, 1a, 41, 06, 0d, 00, 2f, 00, 00, 2f, 00, 30, 1e, 00, 31, 03, 35, 00, 04, 11, 00, 12, 1a, 02, 11, 04, 12, 00, 05, 11, 00, 14, 1a, 00, 17, 00, 41, 19, 00, 41, 00, 42, 00, 00, 43, 00, 5f, 00, 00, 5f, 00, 60, 00, 01, 0d, 00, 20, 00, 01, 11, 00, 14, 00, 00, 17, 00, 41, 00, 00, 41, 00, 42, 00, 00, 43, 00, 60, 00, 00, 60, 00, 61, 00, 01, 0d, 00, 20, 46, 04, 11, 00, 14, 4e, 00, 17, 00, 42, 00, 00, 42, 00, 43, 4a, 00, 44, 00, 61, 00, 00, 61, 00, 62, 46, 01, 0d, 00, 20, 62, 01, 11, 00, 14, 45, 00, 17, 01, 36, 00, 01, 36, 00, 37, 66, 01, 12, 00, 2f, 00, 00, 2f, 00, 30, 62, 01, 0d, 00, 20, 76, 01, 11, 00, 14, 4d, 00, 17, 01, 36, 00, 02, 11, 00, 12, 7a, 01, 12, 00, 2f, 00, 01, 11, 00, 12, 76, 02, 0d, 00, 20, 0d, 03, 05, 00, 0b, 7f, 01, 01, 00, 02]
93+
Raw bytes (288): 0x[01, 01, 25, 01, 07, 00, 09, 03, 0d, 41, 00, 41, 00, 22, 00, 41, 00, 22, 00, 41, 00, 4e, 00, 52, 00, 56, 41, 03, 0d, 56, 41, 03, 0d, 52, 00, 56, 41, 03, 0d, 4e, 00, 52, 00, 56, 41, 03, 0d, 6a, 00, 45, 00, 45, 00, 6a, 00, 45, 00, 7e, 00, 4d, 00, 4d, 00, 7e, 00, 4d, 00, 87, 01, 0d, 8b, 01, 00, 00, 8f, 01, 93, 01, 00, 19, 00, 29, 01, 3e, 01, 03, 17, 03, 08, 09, 00, 0e, 56, 02, 09, 04, 1a, 41, 06, 0d, 00, 2f, 00, 00, 2f, 00, 30, 22, 00, 31, 00, 63, 22, 01, 0d, 02, 35, 00, 03, 11, 00, 12, 1e, 02, 11, 04, 12, 00, 05, 11, 00, 14, 1e, 00, 17, 00, 41, 19, 00, 41, 00, 42, 00, 00, 43, 00, 5f, 00, 00, 5f, 00, 60, 00, 01, 0d, 00, 20, 00, 01, 11, 00, 14, 00, 00, 17, 00, 41, 00, 00, 41, 00, 42, 00, 00, 43, 00, 60, 00, 00, 60, 00, 61, 00, 01, 0d, 00, 20, 4a, 04, 11, 00, 14, 52, 00, 17, 00, 42, 00, 00, 42, 00, 43, 4e, 00, 44, 00, 61, 00, 00, 61, 00, 62, 4a, 01, 0d, 00, 20, 66, 01, 11, 00, 14, 45, 00, 17, 01, 36, 00, 01, 36, 00, 37, 6a, 01, 12, 00, 2f, 00, 00, 2f, 00, 30, 66, 01, 0d, 00, 20, 7a, 01, 11, 00, 14, 4d, 00, 17, 01, 36, 00, 02, 11, 00, 12, 7e, 01, 12, 00, 2f, 00, 01, 11, 00, 12, 7a, 02, 0d, 00, 20, 0d, 03, 05, 00, 0b, 83, 01, 01, 01, 00, 02]
9394
Number of files: 1
9495
- file 0 => global file 1
95-
Number of expressions: 36
96+
Number of expressions: 37
9697
- expression 0 operands: lhs = Counter(0), rhs = Expression(1, Add)
9798
- expression 1 operands: lhs = Zero, rhs = Counter(2)
9899
- expression 2 operands: lhs = Expression(0, Add), rhs = Counter(3)
99100
- expression 3 operands: lhs = Counter(16), rhs = Zero
100-
- expression 4 operands: lhs = Expression(7, Sub), rhs = Zero
101-
- expression 5 operands: lhs = Counter(16), rhs = Zero
102-
- expression 6 operands: lhs = Expression(7, Sub), rhs = Zero
103-
- expression 7 operands: lhs = Counter(16), rhs = Zero
104-
- expression 8 operands: lhs = Expression(18, Sub), rhs = Zero
101+
- expression 4 operands: lhs = Counter(16), rhs = Zero
102+
- expression 5 operands: lhs = Expression(8, Sub), rhs = Zero
103+
- expression 6 operands: lhs = Counter(16), rhs = Zero
104+
- expression 7 operands: lhs = Expression(8, Sub), rhs = Zero
105+
- expression 8 operands: lhs = Counter(16), rhs = Zero
105106
- expression 9 operands: lhs = Expression(19, Sub), rhs = Zero
106-
- expression 10 operands: lhs = Expression(20, Sub), rhs = Counter(16)
107-
- expression 11 operands: lhs = Expression(0, Add), rhs = Counter(3)
108-
- expression 12 operands: lhs = Expression(20, Sub), rhs = Counter(16)
109-
- expression 13 operands: lhs = Expression(0, Add), rhs = Counter(3)
110-
- expression 14 operands: lhs = Expression(19, Sub), rhs = Zero
111-
- expression 15 operands: lhs = Expression(20, Sub), rhs = Counter(16)
112-
- expression 16 operands: lhs = Expression(0, Add), rhs = Counter(3)
113-
- expression 17 operands: lhs = Expression(18, Sub), rhs = Zero
107+
- expression 10 operands: lhs = Expression(20, Sub), rhs = Zero
108+
- expression 11 operands: lhs = Expression(21, Sub), rhs = Counter(16)
109+
- expression 12 operands: lhs = Expression(0, Add), rhs = Counter(3)
110+
- expression 13 operands: lhs = Expression(21, Sub), rhs = Counter(16)
111+
- expression 14 operands: lhs = Expression(0, Add), rhs = Counter(3)
112+
- expression 15 operands: lhs = Expression(20, Sub), rhs = Zero
113+
- expression 16 operands: lhs = Expression(21, Sub), rhs = Counter(16)
114+
- expression 17 operands: lhs = Expression(0, Add), rhs = Counter(3)
114115
- expression 18 operands: lhs = Expression(19, Sub), rhs = Zero
115-
- expression 19 operands: lhs = Expression(20, Sub), rhs = Counter(16)
116-
- expression 20 operands: lhs = Expression(0, Add), rhs = Counter(3)
117-
- expression 21 operands: lhs = Expression(25, Sub), rhs = Zero
118-
- expression 22 operands: lhs = Counter(17), rhs = Zero
116+
- expression 19 operands: lhs = Expression(20, Sub), rhs = Zero
117+
- expression 20 operands: lhs = Expression(21, Sub), rhs = Counter(16)
118+
- expression 21 operands: lhs = Expression(0, Add), rhs = Counter(3)
119+
- expression 22 operands: lhs = Expression(26, Sub), rhs = Zero
119120
- expression 23 operands: lhs = Counter(17), rhs = Zero
120-
- expression 24 operands: lhs = Expression(25, Sub), rhs = Zero
121-
- expression 25 operands: lhs = Counter(17), rhs = Zero
122-
- expression 26 operands: lhs = Expression(30, Sub), rhs = Zero
123-
- expression 27 operands: lhs = Counter(19), rhs = Zero
121+
- expression 24 operands: lhs = Counter(17), rhs = Zero
122+
- expression 25 operands: lhs = Expression(26, Sub), rhs = Zero
123+
- expression 26 operands: lhs = Counter(17), rhs = Zero
124+
- expression 27 operands: lhs = Expression(31, Sub), rhs = Zero
124125
- expression 28 operands: lhs = Counter(19), rhs = Zero
125-
- expression 29 operands: lhs = Expression(30, Sub), rhs = Zero
126-
- expression 30 operands: lhs = Counter(19), rhs = Zero
127-
- expression 31 operands: lhs = Expression(32, Add), rhs = Counter(3)
128-
- expression 32 operands: lhs = Expression(33, Add), rhs = Zero
129-
- expression 33 operands: lhs = Zero, rhs = Expression(34, Add)
130-
- expression 34 operands: lhs = Expression(35, Add), rhs = Zero
131-
- expression 35 operands: lhs = Counter(6), rhs = Zero
132-
Number of file 0 mappings: 40
126+
- expression 29 operands: lhs = Counter(19), rhs = Zero
127+
- expression 30 operands: lhs = Expression(31, Sub), rhs = Zero
128+
- expression 31 operands: lhs = Counter(19), rhs = Zero
129+
- expression 32 operands: lhs = Expression(33, Add), rhs = Counter(3)
130+
- expression 33 operands: lhs = Expression(34, Add), rhs = Zero
131+
- expression 34 operands: lhs = Zero, rhs = Expression(35, Add)
132+
- expression 35 operands: lhs = Expression(36, Add), rhs = Zero
133+
- expression 36 operands: lhs = Counter(6), rhs = Zero
134+
Number of file 0 mappings: 41
133135
- Code(Counter(0)) at (prev + 62, 1) to (start + 3, 23)
134136
- Code(Expression(0, Add)) at (prev + 8, 9) to (start + 0, 14)
135137
= (c0 + (Zero + c2))
136-
- Code(Expression(20, Sub)) at (prev + 2, 9) to (start + 4, 26)
138+
- Code(Expression(21, Sub)) at (prev + 2, 9) to (start + 4, 26)
137139
= ((c0 + (Zero + c2)) - c3)
138140
- Code(Counter(16)) at (prev + 6, 13) to (start + 0, 47)
139141
- Code(Zero) at (prev + 0, 47) to (start + 0, 48)
140-
- Code(Expression(7, Sub)) at (prev + 0, 49) to (start + 3, 53)
142+
- Code(Expression(8, Sub)) at (prev + 0, 49) to (start + 0, 99)
143+
= (c16 - Zero)
144+
- Code(Expression(8, Sub)) at (prev + 1, 13) to (start + 2, 53)
141145
= (c16 - Zero)
142-
- Code(Zero) at (prev + 4, 17) to (start + 0, 18)
143-
- Code(Expression(6, Sub)) at (prev + 2, 17) to (start + 4, 18)
146+
- Code(Zero) at (prev + 3, 17) to (start + 0, 18)
147+
- Code(Expression(7, Sub)) at (prev + 2, 17) to (start + 4, 18)
144148
= ((c16 - Zero) - Zero)
145149
- Code(Zero) at (prev + 5, 17) to (start + 0, 20)
146-
- Code(Expression(6, Sub)) at (prev + 0, 23) to (start + 0, 65)
150+
- Code(Expression(7, Sub)) at (prev + 0, 23) to (start + 0, 65)
147151
= ((c16 - Zero) - Zero)
148152
- Code(Counter(6)) at (prev + 0, 65) to (start + 0, 66)
149153
- Code(Zero) at (prev + 0, 67) to (start + 0, 95)
@@ -155,35 +159,35 @@ Number of file 0 mappings: 40
155159
- Code(Zero) at (prev + 0, 67) to (start + 0, 96)
156160
- Code(Zero) at (prev + 0, 96) to (start + 0, 97)
157161
- Code(Zero) at (prev + 1, 13) to (start + 0, 32)
158-
- Code(Expression(17, Sub)) at (prev + 4, 17) to (start + 0, 20)
162+
- Code(Expression(18, Sub)) at (prev + 4, 17) to (start + 0, 20)
159163
= (((((c0 + (Zero + c2)) - c3) - c16) - Zero) - Zero)
160-
- Code(Expression(19, Sub)) at (prev + 0, 23) to (start + 0, 66)
164+
- Code(Expression(20, Sub)) at (prev + 0, 23) to (start + 0, 66)
161165
= (((c0 + (Zero + c2)) - c3) - c16)
162166
- Code(Zero) at (prev + 0, 66) to (start + 0, 67)
163-
- Code(Expression(18, Sub)) at (prev + 0, 68) to (start + 0, 97)
167+
- Code(Expression(19, Sub)) at (prev + 0, 68) to (start + 0, 97)
164168
= ((((c0 + (Zero + c2)) - c3) - c16) - Zero)
165169
- Code(Zero) at (prev + 0, 97) to (start + 0, 98)
166-
- Code(Expression(17, Sub)) at (prev + 1, 13) to (start + 0, 32)
170+
- Code(Expression(18, Sub)) at (prev + 1, 13) to (start + 0, 32)
167171
= (((((c0 + (Zero + c2)) - c3) - c16) - Zero) - Zero)
168-
- Code(Expression(24, Sub)) at (prev + 1, 17) to (start + 0, 20)
172+
- Code(Expression(25, Sub)) at (prev + 1, 17) to (start + 0, 20)
169173
= ((c17 - Zero) - Zero)
170174
- Code(Counter(17)) at (prev + 0, 23) to (start + 1, 54)
171175
- Code(Zero) at (prev + 1, 54) to (start + 0, 55)
172-
- Code(Expression(25, Sub)) at (prev + 1, 18) to (start + 0, 47)
176+
- Code(Expression(26, Sub)) at (prev + 1, 18) to (start + 0, 47)
173177
= (c17 - Zero)
174178
- Code(Zero) at (prev + 0, 47) to (start + 0, 48)
175-
- Code(Expression(24, Sub)) at (prev + 1, 13) to (start + 0, 32)
179+
- Code(Expression(25, Sub)) at (prev + 1, 13) to (start + 0, 32)
176180
= ((c17 - Zero) - Zero)
177-
- Code(Expression(29, Sub)) at (prev + 1, 17) to (start + 0, 20)
181+
- Code(Expression(30, Sub)) at (prev + 1, 17) to (start + 0, 20)
178182
= ((c19 - Zero) - Zero)
179183
- Code(Counter(19)) at (prev + 0, 23) to (start + 1, 54)
180184
- Code(Zero) at (prev + 2, 17) to (start + 0, 18)
181-
- Code(Expression(30, Sub)) at (prev + 1, 18) to (start + 0, 47)
185+
- Code(Expression(31, Sub)) at (prev + 1, 18) to (start + 0, 47)
182186
= (c19 - Zero)
183187
- Code(Zero) at (prev + 1, 17) to (start + 0, 18)
184-
- Code(Expression(29, Sub)) at (prev + 2, 13) to (start + 0, 32)
188+
- Code(Expression(30, Sub)) at (prev + 2, 13) to (start + 0, 32)
185189
= ((c19 - Zero) - Zero)
186190
- Code(Counter(3)) at (prev + 3, 5) to (start + 0, 11)
187-
- Code(Expression(31, Add)) at (prev + 1, 1) to (start + 0, 2)
191+
- Code(Expression(32, Add)) at (prev + 1, 1) to (start + 0, 2)
188192
= (((Zero + ((c6 + Zero) + Zero)) + Zero) + c3)
189193

0 commit comments

Comments
 (0)