ab786d3b98
When preparing a function's coverage counters and metadata during codegen, any part of the original coverage graph that was removed by MIR optimizations can be treated as having an execution count of zero. Somewhat counter-intuitively, if we give those unreachable nodes a _higher_ priority for receiving physical counters (instead of counter expressions), that ends up reducing the total number of physical counters needed. This works because if a node is unreachable, we don't actually create a physical counter for it. Instead that node gets a fixed zero counter, and any other node that would have relied on that physical counter in its counter expression can just ignore that term completely.
84 lines
3 KiB
Text
84 lines
3 KiB
Text
Function name: bad_counter_ids::eq_bad
|
|
Raw bytes (14): 0x[01, 01, 00, 02, 01, 24, 01, 02, 1f, 00, 03, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 2
|
|
- Code(Counter(0)) at (prev + 36, 1) to (start + 2, 31)
|
|
- Code(Zero) at (prev + 3, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::eq_bad_message
|
|
Raw bytes (19): 0x[01, 01, 00, 03, 01, 29, 01, 02, 0f, 01, 02, 20, 00, 2b, 00, 01, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 3
|
|
- Code(Counter(0)) at (prev + 41, 1) to (start + 2, 15)
|
|
- Code(Counter(0)) at (prev + 2, 32) to (start + 0, 43)
|
|
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::eq_good
|
|
Raw bytes (14): 0x[01, 01, 00, 02, 01, 10, 01, 02, 1f, 01, 03, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 2
|
|
- Code(Counter(0)) at (prev + 16, 1) to (start + 2, 31)
|
|
- Code(Counter(0)) at (prev + 3, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::eq_good_message
|
|
Raw bytes (19): 0x[01, 01, 00, 03, 01, 15, 01, 02, 0f, 00, 02, 20, 00, 2b, 01, 01, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 3
|
|
- Code(Counter(0)) at (prev + 21, 1) to (start + 2, 15)
|
|
- Code(Zero) at (prev + 2, 32) to (start + 0, 43)
|
|
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::ne_bad
|
|
Raw bytes (14): 0x[01, 01, 00, 02, 01, 2e, 01, 02, 1f, 00, 03, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 2
|
|
- Code(Counter(0)) at (prev + 46, 1) to (start + 2, 31)
|
|
- Code(Zero) at (prev + 3, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::ne_bad_message
|
|
Raw bytes (19): 0x[01, 01, 00, 03, 01, 33, 01, 02, 0f, 01, 02, 20, 00, 2b, 00, 01, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 3
|
|
- Code(Counter(0)) at (prev + 51, 1) to (start + 2, 15)
|
|
- Code(Counter(0)) at (prev + 2, 32) to (start + 0, 43)
|
|
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::ne_good
|
|
Raw bytes (14): 0x[01, 01, 00, 02, 01, 1a, 01, 02, 1f, 01, 03, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 2
|
|
- Code(Counter(0)) at (prev + 26, 1) to (start + 2, 31)
|
|
- Code(Counter(0)) at (prev + 3, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|
|
Function name: bad_counter_ids::ne_good_message
|
|
Raw bytes (19): 0x[01, 01, 00, 03, 01, 1f, 01, 02, 0f, 00, 02, 20, 00, 2b, 01, 01, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 3
|
|
- Code(Counter(0)) at (prev + 31, 1) to (start + 2, 15)
|
|
- Code(Zero) at (prev + 2, 32) to (start + 0, 43)
|
|
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c0
|
|
|