| Function name: while::while_with_tail_expr | |
| Raw bytes (41): 0x[01, 01, 01, 05, 01, 07, 01, 06, 01, 00, 1a, 01, 01, 11, 00, 12, 05, 01, 0b, 00, 10, 02, 01, 09, 00, 0f, 02, 01, 09, 00, 1b, 01, 02, 05, 00, 13, 01, 01, 01, 00, 02] | |
| Number of files: 1 | |
| - file 0 => $DIR/while.rs | |
| Number of expressions: 1 | |
| - expression 0 operands: lhs = Counter(1), rhs = Counter(0) | |
| Number of file 0 mappings: 7 | |
| - Code(Counter(0)) at (prev + 6, 1) to (start + 0, 26) | |
| - Code(Counter(0)) at (prev + 1, 17) to (start + 0, 18) | |
| - Code(Counter(1)) at (prev + 1, 11) to (start + 0, 16) | |
| - Code(Expression(0, Sub)) at (prev + 1, 9) to (start + 0, 15) | |
| = (c1 - c0) | |
| - Code(Expression(0, Sub)) at (prev + 1, 9) to (start + 0, 27) | |
| = (c1 - c0) | |
| - Code(Counter(0)) at (prev + 2, 5) to (start + 0, 19) | |
| - Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2) | |
| Highest counter ID seen: c1 | |
| Function name: while::while_with_tail_stmt | |
| Raw bytes (41): 0x[01, 01, 01, 05, 01, 07, 01, 0f, 01, 00, 1a, 01, 01, 11, 00, 12, 05, 01, 0b, 00, 10, 02, 01, 09, 00, 0f, 02, 01, 09, 00, 1b, 01, 02, 05, 00, 13, 01, 01, 01, 00, 02] | |
| Number of files: 1 | |
| - file 0 => $DIR/while.rs | |
| Number of expressions: 1 | |
| - expression 0 operands: lhs = Counter(1), rhs = Counter(0) | |
| Number of file 0 mappings: 7 | |
| - Code(Counter(0)) at (prev + 15, 1) to (start + 0, 26) | |
| - Code(Counter(0)) at (prev + 1, 17) to (start + 0, 18) | |
| - Code(Counter(1)) at (prev + 1, 11) to (start + 0, 16) | |
| - Code(Expression(0, Sub)) at (prev + 1, 9) to (start + 0, 15) | |
| = (c1 - c0) | |
| - Code(Expression(0, Sub)) at (prev + 1, 9) to (start + 0, 27) | |
| = (c1 - c0) | |
| - Code(Counter(0)) at (prev + 2, 5) to (start + 0, 19) | |
| - Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2) | |
| Highest counter ID seen: c1 | |