| Function name: no_mir_spans::while_cond |
| Raw bytes (16): 0x[01, 01, 00, 02, 01, 10, 01, 00, 11, 20, 05, 09, 04, 0b, 00, 10] |
| 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 + 0, 17) |
| - Branch { true: Counter(1), false: Counter(2) } at (prev + 4, 11) to (start + 0, 16) |
| true = c1 |
| false = c2 |
| Highest counter ID seen: c2 |
| |
| Function name: no_mir_spans::while_cond_not |
| Raw bytes (16): 0x[01, 01, 00, 02, 01, 19, 01, 00, 15, 20, 09, 05, 04, 0b, 00, 14] |
| Number of files: 1 |
| - file 0 => global file 1 |
| Number of expressions: 0 |
| Number of file 0 mappings: 2 |
| - Code(Counter(0)) at (prev + 25, 1) to (start + 0, 21) |
| - Branch { true: Counter(2), false: Counter(1) } at (prev + 4, 11) to (start + 0, 20) |
| true = c2 |
| false = c1 |
| Highest counter ID seen: c2 |
| |
| Function name: no_mir_spans::while_op_and |
| Raw bytes (25): 0x[01, 01, 01, 09, 0d, 03, 01, 22, 01, 00, 13, 20, 09, 05, 05, 0b, 00, 10, 20, 02, 0d, 00, 14, 00, 19] |
| Number of files: 1 |
| - file 0 => global file 1 |
| Number of expressions: 1 |
| - expression 0 operands: lhs = Counter(2), rhs = Counter(3) |
| Number of file 0 mappings: 3 |
| - Code(Counter(0)) at (prev + 34, 1) to (start + 0, 19) |
| - Branch { true: Counter(2), false: Counter(1) } at (prev + 5, 11) to (start + 0, 16) |
| true = c2 |
| false = c1 |
| - Branch { true: Expression(0, Sub), false: Counter(3) } at (prev + 0, 20) to (start + 0, 25) |
| true = (c2 - c3) |
| false = c3 |
| Highest counter ID seen: c3 |
| |
| Function name: no_mir_spans::while_op_or |
| Raw bytes (25): 0x[01, 01, 01, 09, 0d, 03, 01, 2d, 01, 00, 12, 20, 05, 09, 05, 0b, 00, 10, 20, 0d, 02, 00, 14, 00, 19] |
| Number of files: 1 |
| - file 0 => global file 1 |
| Number of expressions: 1 |
| - expression 0 operands: lhs = Counter(2), rhs = Counter(3) |
| Number of file 0 mappings: 3 |
| - Code(Counter(0)) at (prev + 45, 1) to (start + 0, 18) |
| - Branch { true: Counter(1), false: Counter(2) } at (prev + 5, 11) to (start + 0, 16) |
| true = c1 |
| false = c2 |
| - Branch { true: Counter(3), false: Expression(0, Sub) } at (prev + 0, 20) to (start + 0, 25) |
| true = c3 |
| false = (c2 - c3) |
| Highest counter ID seen: c3 |
| |
