diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-04-19 14:50:25 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-04-22 21:55:33 +1000 |
| commit | da37b14121d0fed6e49a4ed27abd2b9e7fc1c486 (patch) | |
| tree | 479693a8ccb2fefffa7e03c50b492186160f5a4d /tests/mir-opt/coverage/instrument_coverage_cleanup.main.CleanupPostBorrowck.diff | |
| parent | 3de87feba23c6b9df520f284b51390c02ea8d12a (diff) | |
| download | rust-da37b14121d0fed6e49a4ed27abd2b9e7fc1c486.tar.gz rust-da37b14121d0fed6e49a4ed27abd2b9e7fc1c486.zip | |
coverage: Move mir-opt coverage tests into a subdirectory
Diffstat (limited to 'tests/mir-opt/coverage/instrument_coverage_cleanup.main.CleanupPostBorrowck.diff')
| -rw-r--r-- | tests/mir-opt/coverage/instrument_coverage_cleanup.main.CleanupPostBorrowck.diff | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/tests/mir-opt/coverage/instrument_coverage_cleanup.main.CleanupPostBorrowck.diff b/tests/mir-opt/coverage/instrument_coverage_cleanup.main.CleanupPostBorrowck.diff new file mode 100644 index 00000000000..34d011540b9 --- /dev/null +++ b/tests/mir-opt/coverage/instrument_coverage_cleanup.main.CleanupPostBorrowck.diff @@ -0,0 +1,56 @@ +- // MIR for `main` before CleanupPostBorrowck ++ // MIR for `main` after CleanupPostBorrowck + + fn main() -> () { + let mut _0: (); + let mut _1: bool; + + coverage branch { true: BlockMarkerId(0), false: BlockMarkerId(1) } => $DIR/instrument_coverage_cleanup.rs:14:8: 14:36 (#0) + + coverage ExpressionId(0) => Expression { lhs: Counter(0), op: Subtract, rhs: Counter(1) }; + coverage ExpressionId(1) => Expression { lhs: Counter(1), op: Add, rhs: Expression(0) }; + coverage Code(Counter(0)) => $DIR/instrument_coverage_cleanup.rs:13:1 - 14:36; + coverage Code(Expression(0)) => $DIR/instrument_coverage_cleanup.rs:14:37 - 14:39; + coverage Code(Counter(1)) => $DIR/instrument_coverage_cleanup.rs:14:39 - 14:40; + coverage Code(Expression(1)) => $DIR/instrument_coverage_cleanup.rs:15:1 - 15:2; + coverage Branch { true_term: Expression(0), false_term: Counter(1) } => $DIR/instrument_coverage_cleanup.rs:14:8 - 14:36; + + bb0: { + Coverage::CounterIncrement(0); +- Coverage::SpanMarker; ++ nop; + StorageLive(_1); + _1 = std::hint::black_box::<bool>(const true) -> [return: bb1, unwind: bb5]; + } + + bb1: { + switchInt(move _1) -> [0: bb3, otherwise: bb2]; + } + + bb2: { + Coverage::CounterIncrement(1); +- Coverage::BlockMarker(1); ++ nop; + _0 = const (); + goto -> bb4; + } + + bb3: { + Coverage::ExpressionUsed(0); +- Coverage::BlockMarker(0); ++ nop; + _0 = const (); + goto -> bb4; + } + + bb4: { + Coverage::ExpressionUsed(1); + StorageDead(_1); + return; + } + + bb5 (cleanup): { + resume; + } + } + |
