| Function name: conditions::main |
| Raw bytes (581): 0x[01, 01, 40, 05, 09, 01, 05, 09, 51, 09, 13, 51, 55, 01, 03, 03, 0d, 11, 49, 11, 27, 49, 4d, 03, 63, 0d, 11, 0d, 11, 0d, 11, 0d, 11, 0d, 11, 0d, 11, 0d, 11, 63, 15, 0d, 11, 19, 41, 19, 5b, 41, 45, 63, bf, 01, 0d, 11, 15, 19, 15, 19, 15, 19, 15, 19, 15, 19, 1d, 21, 15, 19, bf, 01, 1d, 15, 19, 21, 39, 21, 93, 01, 39, 3d, bf, 01, fb, 01, 15, 19, 1d, 21, bf, 01, fb, 01, 15, 19, 1d, 21, bf, 01, fb, 01, 15, 19, 1d, 21, bf, 01, fb, 01, 15, 19, 1d, 21, 25, 29, 1d, 21, fb, 01, 25, 1d, 21, 29, 2d, 29, f3, 01, 2d, 31, f3, 01, 35, 2d, 31, 29, ef, 01, f3, 01, 35, 2d, 31, fb, 01, ff, 01, 1d, 21, 25, 29, 52, 01, 03, 01, 00, 0a, 01, 01, 09, 00, 16, 01, 00, 19, 00, 1a, 01, 01, 08, 00, 0c, 01, 00, 0d, 02, 06, 00, 02, 05, 00, 06, 03, 03, 09, 00, 0a, 01, 00, 10, 00, 1d, 05, 01, 09, 00, 17, 05, 01, 09, 00, 0a, 06, 01, 0f, 00, 1c, 09, 01, 0c, 00, 19, 0a, 00, 1d, 00, 2a, 0e, 00, 2e, 00, 3c, 09, 00, 3d, 02, 0a, 00, 02, 09, 00, 0a, 09, 01, 09, 00, 17, 09, 01, 09, 00, 12, 16, 02, 09, 00, 0f, 03, 03, 09, 00, 16, 03, 00, 19, 00, 1a, 03, 01, 08, 00, 0c, 03, 00, 0d, 02, 06, 00, 02, 05, 00, 06, 03, 02, 08, 00, 15, 0d, 00, 16, 02, 06, 1a, 02, 0f, 00, 1c, 11, 01, 0c, 00, 19, 1e, 00, 1d, 00, 2a, 22, 00, 2e, 00, 3c, 11, 00, 3d, 02, 0a, 00, 02, 09, 00, 0a, 11, 01, 09, 00, 17, 2a, 02, 09, 00, 0f, 63, 03, 08, 00, 0c, 63, 01, 0d, 00, 1a, 63, 00, 1d, 00, 1e, 63, 01, 0c, 00, 10, 63, 00, 11, 02, 0a, 00, 02, 09, 00, 0a, 63, 02, 0c, 00, 19, 15, 00, 1a, 02, 0a, 4a, 04, 11, 00, 1e, 19, 01, 10, 00, 1d, 52, 00, 21, 00, 2e, 56, 00, 32, 00, 40, 19, 00, 41, 02, 0e, 00, 02, 0d, 00, 0e, 19, 01, 0d, 00, 1b, 5e, 02, 0d, 00, 13, 00, 02, 05, 00, 06, bf, 01, 02, 09, 00, 16, bf, 01, 00, 19, 00, 1a, bf, 01, 01, 08, 00, 0c, bf, 01, 00, 0d, 02, 06, 00, 02, 05, 00, 06, fb, 01, 02, 09, 00, 0a, bf, 01, 00, 10, 00, 1d, 1d, 00, 1e, 02, 06, 82, 01, 02, 0f, 00, 1c, 21, 01, 0c, 00, 19, 8a, 01, 00, 1d, 00, 2a, 8e, 01, 00, 2e, 00, 3c, 21, 00, 3d, 02, 0a, 00, 02, 09, 00, 0a, 21, 01, 09, 00, 17, ba, 01, 02, 0d, 00, 20, ba, 01, 00, 23, 00, 2c, ba, 01, 01, 09, 00, 11, ba, 01, 01, 09, 00, 0f, ff, 01, 03, 09, 00, 0a, fb, 01, 00, 10, 00, 1d, 25, 00, 1e, 02, 06, ce, 01, 02, 0f, 00, 1c, 29, 01, 0c, 00, 19, d6, 01, 00, 1d, 00, 2a, da, 01, 00, 2e, 00, 3c, ef, 01, 00, 3d, 02, 0a, ea, 01, 02, 09, 00, 0a, 29, 01, 09, 00, 17, f6, 01, 02, 09, 00, 0f, 01, 02, 01, 00, 02] |
| Number of files: 1 |
| - file 0 => $DIR/conditions.rs |
| Number of expressions: 64 |
| - expression 0 operands: lhs = Counter(1), rhs = Counter(2) |
| - expression 1 operands: lhs = Counter(0), rhs = Counter(1) |
| - expression 2 operands: lhs = Counter(2), rhs = Counter(20) |
| - expression 3 operands: lhs = Counter(2), rhs = Expression(4, Add) |
| - expression 4 operands: lhs = Counter(20), rhs = Counter(21) |
| - expression 5 operands: lhs = Counter(0), rhs = Expression(0, Add) |
| - expression 6 operands: lhs = Expression(0, Add), rhs = Counter(3) |
| - expression 7 operands: lhs = Counter(4), rhs = Counter(18) |
| - expression 8 operands: lhs = Counter(4), rhs = Expression(9, Add) |
| - expression 9 operands: lhs = Counter(18), rhs = Counter(19) |
| - expression 10 operands: lhs = Expression(0, Add), rhs = Expression(24, Add) |
| - expression 11 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 12 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 13 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 14 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 15 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 16 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 17 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 18 operands: lhs = Expression(24, Add), rhs = Counter(5) |
| - expression 19 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 20 operands: lhs = Counter(6), rhs = Counter(16) |
| - expression 21 operands: lhs = Counter(6), rhs = Expression(22, Add) |
| - expression 22 operands: lhs = Counter(16), rhs = Counter(17) |
| - expression 23 operands: lhs = Expression(24, Add), rhs = Expression(47, Add) |
| - expression 24 operands: lhs = Counter(3), rhs = Counter(4) |
| - expression 25 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 26 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 27 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 28 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 29 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 30 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 31 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 32 operands: lhs = Expression(47, Add), rhs = Counter(7) |
| - expression 33 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 34 operands: lhs = Counter(8), rhs = Counter(14) |
| - expression 35 operands: lhs = Counter(8), rhs = Expression(36, Add) |
| - expression 36 operands: lhs = Counter(14), rhs = Counter(15) |
| - expression 37 operands: lhs = Expression(47, Add), rhs = Expression(62, Add) |
| - expression 38 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 39 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 40 operands: lhs = Expression(47, Add), rhs = Expression(62, Add) |
| - expression 41 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 42 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 43 operands: lhs = Expression(47, Add), rhs = Expression(62, Add) |
| - expression 44 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 45 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 46 operands: lhs = Expression(47, Add), rhs = Expression(62, Add) |
| - expression 47 operands: lhs = Counter(5), rhs = Counter(6) |
| - expression 48 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 49 operands: lhs = Counter(9), rhs = Counter(10) |
| - expression 50 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 51 operands: lhs = Expression(62, Add), rhs = Counter(9) |
| - expression 52 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 53 operands: lhs = Counter(10), rhs = Counter(11) |
| - expression 54 operands: lhs = Counter(10), rhs = Expression(60, Add) |
| - expression 55 operands: lhs = Counter(11), rhs = Counter(12) |
| - expression 56 operands: lhs = Expression(60, Add), rhs = Counter(13) |
| - expression 57 operands: lhs = Counter(11), rhs = Counter(12) |
| - expression 58 operands: lhs = Counter(10), rhs = Expression(59, Add) |
| - expression 59 operands: lhs = Expression(60, Add), rhs = Counter(13) |
| - expression 60 operands: lhs = Counter(11), rhs = Counter(12) |
| - expression 61 operands: lhs = Expression(62, Add), rhs = Expression(63, Add) |
| - expression 62 operands: lhs = Counter(7), rhs = Counter(8) |
| - expression 63 operands: lhs = Counter(9), rhs = Counter(10) |
| Number of file 0 mappings: 82 |
| - Code(Counter(0)) at (prev + 3, 1) to (start + 0, 10) |
| - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 22) |
| - Code(Counter(0)) at (prev + 0, 25) to (start + 0, 26) |
| - Code(Counter(0)) at (prev + 1, 8) to (start + 0, 12) |
| - Code(Counter(0)) at (prev + 0, 13) to (start + 2, 6) |
| - Code(Zero) at (prev + 2, 5) to (start + 0, 6) |
| - Code(Expression(0, Add)) at (prev + 3, 9) to (start + 0, 10) |
| = (c1 + c2) |
| - Code(Counter(0)) at (prev + 0, 16) to (start + 0, 29) |
| - Code(Counter(1)) at (prev + 1, 9) to (start + 0, 23) |
| - Code(Counter(1)) at (prev + 1, 9) to (start + 0, 10) |
| - Code(Expression(1, Sub)) at (prev + 1, 15) to (start + 0, 28) |
| = (c0 - c1) |
| - Code(Counter(2)) at (prev + 1, 12) to (start + 0, 25) |
| - Code(Expression(2, Sub)) at (prev + 0, 29) to (start + 0, 42) |
| = (c2 - c20) |
| - Code(Expression(3, Sub)) at (prev + 0, 46) to (start + 0, 60) |
| = (c2 - (c20 + c21)) |
| - Code(Counter(2)) at (prev + 0, 61) to (start + 2, 10) |
| - Code(Zero) at (prev + 2, 9) to (start + 0, 10) |
| - Code(Counter(2)) at (prev + 1, 9) to (start + 0, 23) |
| - Code(Counter(2)) at (prev + 1, 9) to (start + 0, 18) |
| - Code(Expression(5, Sub)) at (prev + 2, 9) to (start + 0, 15) |
| = (c0 - (c1 + c2)) |
| - Code(Expression(0, Add)) at (prev + 3, 9) to (start + 0, 22) |
| = (c1 + c2) |
| - Code(Expression(0, Add)) at (prev + 0, 25) to (start + 0, 26) |
| = (c1 + c2) |
| - Code(Expression(0, Add)) at (prev + 1, 8) to (start + 0, 12) |
| = (c1 + c2) |
| - Code(Expression(0, Add)) at (prev + 0, 13) to (start + 2, 6) |
| = (c1 + c2) |
| - Code(Zero) at (prev + 2, 5) to (start + 0, 6) |
| - Code(Expression(0, Add)) at (prev + 2, 8) to (start + 0, 21) |
| = (c1 + c2) |
| - Code(Counter(3)) at (prev + 0, 22) to (start + 2, 6) |
| - Code(Expression(6, Sub)) at (prev + 2, 15) to (start + 0, 28) |
| = ((c1 + c2) - c3) |
| - Code(Counter(4)) at (prev + 1, 12) to (start + 0, 25) |
| - Code(Expression(7, Sub)) at (prev + 0, 29) to (start + 0, 42) |
| = (c4 - c18) |
| - Code(Expression(8, Sub)) at (prev + 0, 46) to (start + 0, 60) |
| = (c4 - (c18 + c19)) |
| - Code(Counter(4)) at (prev + 0, 61) to (start + 2, 10) |
| - Code(Zero) at (prev + 2, 9) to (start + 0, 10) |
| - Code(Counter(4)) at (prev + 1, 9) to (start + 0, 23) |
| - Code(Expression(10, Sub)) at (prev + 2, 9) to (start + 0, 15) |
| = ((c1 + c2) - (c3 + c4)) |
| - Code(Expression(24, Add)) at (prev + 3, 8) to (start + 0, 12) |
| = (c3 + c4) |
| - Code(Expression(24, Add)) at (prev + 1, 13) to (start + 0, 26) |
| = (c3 + c4) |
| - Code(Expression(24, Add)) at (prev + 0, 29) to (start + 0, 30) |
| = (c3 + c4) |
| - Code(Expression(24, Add)) at (prev + 1, 12) to (start + 0, 16) |
| = (c3 + c4) |
| - Code(Expression(24, Add)) at (prev + 0, 17) to (start + 2, 10) |
| = (c3 + c4) |
| - Code(Zero) at (prev + 2, 9) to (start + 0, 10) |
| - Code(Expression(24, Add)) at (prev + 2, 12) to (start + 0, 25) |
| = (c3 + c4) |
| - Code(Counter(5)) at (prev + 0, 26) to (start + 2, 10) |
| - Code(Expression(18, Sub)) at (prev + 4, 17) to (start + 0, 30) |
| = ((c3 + c4) - c5) |
| - Code(Counter(6)) at (prev + 1, 16) to (start + 0, 29) |
| - Code(Expression(20, Sub)) at (prev + 0, 33) to (start + 0, 46) |
| = (c6 - c16) |
| - Code(Expression(21, Sub)) at (prev + 0, 50) to (start + 0, 64) |
| = (c6 - (c16 + c17)) |
| - Code(Counter(6)) at (prev + 0, 65) to (start + 2, 14) |
| - Code(Zero) at (prev + 2, 13) to (start + 0, 14) |
| - Code(Counter(6)) at (prev + 1, 13) to (start + 0, 27) |
| - Code(Expression(23, Sub)) at (prev + 2, 13) to (start + 0, 19) |
| = ((c3 + c4) - (c5 + c6)) |
| - Code(Zero) at (prev + 2, 5) to (start + 0, 6) |
| - Code(Expression(47, Add)) at (prev + 2, 9) to (start + 0, 22) |
| = (c5 + c6) |
| - Code(Expression(47, Add)) at (prev + 0, 25) to (start + 0, 26) |
| = (c5 + c6) |
| - Code(Expression(47, Add)) at (prev + 1, 8) to (start + 0, 12) |
| = (c5 + c6) |
| - Code(Expression(47, Add)) at (prev + 0, 13) to (start + 2, 6) |
| = (c5 + c6) |
| - Code(Zero) at (prev + 2, 5) to (start + 0, 6) |
| - Code(Expression(62, Add)) at (prev + 2, 9) to (start + 0, 10) |
| = (c7 + c8) |
| - Code(Expression(47, Add)) at (prev + 0, 16) to (start + 0, 29) |
| = (c5 + c6) |
| - Code(Counter(7)) at (prev + 0, 30) to (start + 2, 6) |
| - Code(Expression(32, Sub)) at (prev + 2, 15) to (start + 0, 28) |
| = ((c5 + c6) - c7) |
| - Code(Counter(8)) at (prev + 1, 12) to (start + 0, 25) |
| - Code(Expression(34, Sub)) at (prev + 0, 29) to (start + 0, 42) |
| = (c8 - c14) |
| - Code(Expression(35, Sub)) at (prev + 0, 46) to (start + 0, 60) |
| = (c8 - (c14 + c15)) |
| - Code(Counter(8)) at (prev + 0, 61) to (start + 2, 10) |
| - Code(Zero) at (prev + 2, 9) to (start + 0, 10) |
| - Code(Counter(8)) at (prev + 1, 9) to (start + 0, 23) |
| - Code(Expression(46, Sub)) at (prev + 2, 13) to (start + 0, 32) |
| = ((c5 + c6) - (c7 + c8)) |
| - Code(Expression(46, Sub)) at (prev + 0, 35) to (start + 0, 44) |
| = ((c5 + c6) - (c7 + c8)) |
| - Code(Expression(46, Sub)) at (prev + 1, 9) to (start + 0, 17) |
| = ((c5 + c6) - (c7 + c8)) |
| - Code(Expression(46, Sub)) at (prev + 1, 9) to (start + 0, 15) |
| = ((c5 + c6) - (c7 + c8)) |
| - Code(Expression(63, Add)) at (prev + 3, 9) to (start + 0, 10) |
| = (c9 + c10) |
| - Code(Expression(62, Add)) at (prev + 0, 16) to (start + 0, 29) |
| = (c7 + c8) |
| - Code(Counter(9)) at (prev + 0, 30) to (start + 2, 6) |
| - Code(Expression(51, Sub)) at (prev + 2, 15) to (start + 0, 28) |
| = ((c7 + c8) - c9) |
| - Code(Counter(10)) at (prev + 1, 12) to (start + 0, 25) |
| - Code(Expression(53, Sub)) at (prev + 0, 29) to (start + 0, 42) |
| = (c10 - c11) |
| - Code(Expression(54, Sub)) at (prev + 0, 46) to (start + 0, 60) |
| = (c10 - (c11 + c12)) |
| - Code(Expression(59, Add)) at (prev + 0, 61) to (start + 2, 10) |
| = ((c11 + c12) + c13) |
| - Code(Expression(58, Sub)) at (prev + 2, 9) to (start + 0, 10) |
| = (c10 - ((c11 + c12) + c13)) |
| - Code(Counter(10)) at (prev + 1, 9) to (start + 0, 23) |
| - Code(Expression(61, Sub)) at (prev + 2, 9) to (start + 0, 15) |
| = ((c7 + c8) - (c9 + c10)) |
| - Code(Counter(0)) at (prev + 2, 1) to (start + 0, 2) |
| Highest counter ID seen: c10 |
| |
