mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-26 08:44:35 +00:00
35a8746832
When a lazy logical operator (`&&` or `||`) occurs outside of an `if` condition, it normally doesn't have any associated control-flow branch, so we don't have an existing way to track whether it was true or false. This patch adds special code to handle this case, by inserting extra MIR blocks in a diamond shape after evaluating the RHS. This gives us a place to insert the appropriate marker statements, which can then be given their own counters.
153 lines
7.3 KiB
Plaintext
153 lines
7.3 KiB
Plaintext
Function name: conditions::assign_3_and_or
|
|
Raw bytes (69): 0x[01, 01, 07, 07, 11, 09, 0d, 01, 05, 05, 09, 16, 1a, 05, 09, 01, 05, 09, 01, 1c, 01, 00, 2f, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 1a, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 20, 09, 16, 00, 12, 00, 13, 13, 00, 17, 00, 18, 20, 0d, 11, 00, 17, 00, 18, 03, 01, 05, 01, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 7
|
|
- expression 0 operands: lhs = Expression(1, Add), rhs = Counter(4)
|
|
- expression 1 operands: lhs = Counter(2), rhs = Counter(3)
|
|
- expression 2 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 3 operands: lhs = Counter(1), rhs = Counter(2)
|
|
- expression 4 operands: lhs = Expression(5, Sub), rhs = Expression(6, Sub)
|
|
- expression 5 operands: lhs = Counter(1), rhs = Counter(2)
|
|
- expression 6 operands: lhs = Counter(0), rhs = Counter(1)
|
|
Number of file 0 mappings: 9
|
|
- Code(Counter(0)) at (prev + 28, 1) to (start + 0, 47)
|
|
- Code(Expression(0, Add)) at (prev + 1, 9) to (start + 0, 10)
|
|
= ((c2 + c3) + c4)
|
|
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
|
|
- Branch { true: Counter(1), false: Expression(6, Sub) } at (prev + 0, 13) to (start + 0, 14)
|
|
true = c1
|
|
false = (c0 - c1)
|
|
- Code(Counter(1)) at (prev + 0, 18) to (start + 0, 19)
|
|
- Branch { true: Counter(2), false: Expression(5, Sub) } at (prev + 0, 18) to (start + 0, 19)
|
|
true = c2
|
|
false = (c1 - c2)
|
|
- Code(Expression(4, Add)) at (prev + 0, 23) to (start + 0, 24)
|
|
= ((c1 - c2) + (c0 - c1))
|
|
- Branch { true: Counter(3), false: Counter(4) } at (prev + 0, 23) to (start + 0, 24)
|
|
true = c3
|
|
false = c4
|
|
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
|
|
= ((c2 + c3) + c4)
|
|
|
|
Function name: conditions::assign_3_or_and
|
|
Raw bytes (73): 0x[01, 01, 09, 05, 07, 0b, 11, 09, 0d, 01, 05, 01, 05, 22, 11, 01, 05, 22, 11, 01, 05, 09, 01, 17, 01, 00, 2f, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 22, 00, 0d, 00, 0e, 22, 00, 12, 00, 13, 20, 1e, 11, 00, 12, 00, 13, 1e, 00, 17, 00, 18, 20, 09, 0d, 00, 17, 00, 18, 03, 01, 05, 01, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 9
|
|
- expression 0 operands: lhs = Counter(1), rhs = Expression(1, Add)
|
|
- expression 1 operands: lhs = Expression(2, Add), rhs = Counter(4)
|
|
- expression 2 operands: lhs = Counter(2), rhs = Counter(3)
|
|
- expression 3 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 4 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 5 operands: lhs = Expression(8, Sub), rhs = Counter(4)
|
|
- expression 6 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 7 operands: lhs = Expression(8, Sub), rhs = Counter(4)
|
|
- expression 8 operands: lhs = Counter(0), rhs = Counter(1)
|
|
Number of file 0 mappings: 9
|
|
- Code(Counter(0)) at (prev + 23, 1) to (start + 0, 47)
|
|
- Code(Expression(0, Add)) at (prev + 1, 9) to (start + 0, 10)
|
|
= (c1 + ((c2 + c3) + c4))
|
|
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
|
|
- Branch { true: Counter(1), false: Expression(8, Sub) } at (prev + 0, 13) to (start + 0, 14)
|
|
true = c1
|
|
false = (c0 - c1)
|
|
- Code(Expression(8, Sub)) at (prev + 0, 18) to (start + 0, 19)
|
|
= (c0 - c1)
|
|
- Branch { true: Expression(7, Sub), false: Counter(4) } at (prev + 0, 18) to (start + 0, 19)
|
|
true = ((c0 - c1) - c4)
|
|
false = c4
|
|
- Code(Expression(7, Sub)) at (prev + 0, 23) to (start + 0, 24)
|
|
= ((c0 - c1) - c4)
|
|
- Branch { true: Counter(2), false: Counter(3) } at (prev + 0, 23) to (start + 0, 24)
|
|
true = c2
|
|
false = c3
|
|
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
|
|
= (c1 + ((c2 + c3) + c4))
|
|
|
|
Function name: conditions::assign_and
|
|
Raw bytes (51): 0x[01, 01, 04, 07, 0e, 09, 0d, 01, 05, 01, 05, 07, 01, 0d, 01, 00, 21, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 0e, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 20, 09, 0d, 00, 12, 00, 13, 03, 01, 05, 01, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 4
|
|
- expression 0 operands: lhs = Expression(1, Add), rhs = Expression(3, Sub)
|
|
- expression 1 operands: lhs = Counter(2), rhs = Counter(3)
|
|
- expression 2 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 3 operands: lhs = Counter(0), rhs = Counter(1)
|
|
Number of file 0 mappings: 7
|
|
- Code(Counter(0)) at (prev + 13, 1) to (start + 0, 33)
|
|
- Code(Expression(0, Add)) at (prev + 1, 9) to (start + 0, 10)
|
|
= ((c2 + c3) + (c0 - c1))
|
|
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
|
|
- Branch { true: Counter(1), false: Expression(3, Sub) } at (prev + 0, 13) to (start + 0, 14)
|
|
true = c1
|
|
false = (c0 - c1)
|
|
- Code(Counter(1)) at (prev + 0, 18) to (start + 0, 19)
|
|
- Branch { true: Counter(2), false: Counter(3) } at (prev + 0, 18) to (start + 0, 19)
|
|
true = c2
|
|
false = c3
|
|
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
|
|
= ((c2 + c3) + (c0 - c1))
|
|
|
|
Function name: conditions::assign_or
|
|
Raw bytes (51): 0x[01, 01, 04, 07, 0d, 05, 09, 01, 05, 01, 05, 07, 01, 12, 01, 00, 20, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 0e, 00, 0d, 00, 0e, 0e, 00, 12, 00, 13, 20, 09, 0d, 00, 12, 00, 13, 03, 01, 05, 01, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 4
|
|
- expression 0 operands: lhs = Expression(1, Add), rhs = Counter(3)
|
|
- expression 1 operands: lhs = Counter(1), rhs = Counter(2)
|
|
- expression 2 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 3 operands: lhs = Counter(0), rhs = Counter(1)
|
|
Number of file 0 mappings: 7
|
|
- Code(Counter(0)) at (prev + 18, 1) to (start + 0, 32)
|
|
- Code(Expression(0, Add)) at (prev + 1, 9) to (start + 0, 10)
|
|
= ((c1 + c2) + c3)
|
|
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
|
|
- Branch { true: Counter(1), false: Expression(3, Sub) } at (prev + 0, 13) to (start + 0, 14)
|
|
true = c1
|
|
false = (c0 - c1)
|
|
- Code(Expression(3, Sub)) at (prev + 0, 18) to (start + 0, 19)
|
|
= (c0 - c1)
|
|
- Branch { true: Counter(2), false: Counter(3) } at (prev + 0, 18) to (start + 0, 19)
|
|
true = c2
|
|
false = c3
|
|
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
|
|
= ((c1 + c2) + c3)
|
|
|
|
Function name: conditions::foo
|
|
Raw bytes (9): 0x[01, 01, 00, 01, 01, 21, 01, 02, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 1
|
|
- Code(Counter(0)) at (prev + 33, 1) to (start + 2, 2)
|
|
|
|
Function name: conditions::func_call
|
|
Raw bytes (39): 0x[01, 01, 03, 01, 05, 0b, 02, 09, 0d, 05, 01, 25, 01, 01, 0a, 20, 05, 02, 01, 09, 00, 0a, 05, 00, 0e, 00, 0f, 20, 09, 0d, 00, 0e, 00, 0f, 07, 01, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 3
|
|
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 1 operands: lhs = Expression(2, Add), rhs = Expression(0, Sub)
|
|
- expression 2 operands: lhs = Counter(2), rhs = Counter(3)
|
|
Number of file 0 mappings: 5
|
|
- Code(Counter(0)) at (prev + 37, 1) to (start + 1, 10)
|
|
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 9) to (start + 0, 10)
|
|
true = c1
|
|
false = (c0 - c1)
|
|
- Code(Counter(1)) at (prev + 0, 14) to (start + 0, 15)
|
|
- Branch { true: Counter(2), false: Counter(3) } at (prev + 0, 14) to (start + 0, 15)
|
|
true = c2
|
|
false = c3
|
|
- Code(Expression(1, Add)) at (prev + 1, 1) to (start + 0, 2)
|
|
= ((c2 + c3) + (c0 - c1))
|
|
|
|
Function name: conditions::simple_assign
|
|
Raw bytes (9): 0x[01, 01, 00, 01, 01, 08, 01, 03, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 0
|
|
Number of file 0 mappings: 1
|
|
- Code(Counter(0)) at (prev + 8, 1) to (start + 3, 2)
|
|
|