|
1 | 1 | - // MIR for `main` before InstrumentCoverage
|
2 | 2 | + // MIR for `main` after InstrumentCoverage
|
3 |
| - |
| 3 | + |
4 | 4 | fn main() -> () {
|
5 | 5 | let mut _0: (); // return place in scope 0 at $DIR/instrument_coverage.rs:9:11: 9:11
|
6 | 6 | let mut _1: (); // in scope 0 at $DIR/instrument_coverage.rs:9:1: 15:2
|
7 | 7 | let mut _2: bool; // in scope 0 at $DIR/instrument_coverage.rs:11:12: 11:17
|
8 | 8 | let mut _3: !; // in scope 0 at $DIR/instrument_coverage.rs:11:18: 13:10
|
9 | 9 | + let mut _4: (); // in scope 0 at $DIR/instrument_coverage.rs:9:1: 15:2
|
10 |
| - |
| 10 | + |
11 | 11 | bb0: {
|
12 | 12 | - falseUnwind -> [real: bb1, cleanup: bb2]; // scope 0 at $DIR/instrument_coverage.rs:10:5: 14:6
|
13 | 13 | + StorageLive(_4); // scope 0 at $DIR/instrument_coverage.rs:9:1: 15:2
|
14 |
| -+ _4 = const std::intrinsics::count_code_region(const 0u32) -> bb7; // scope 0 at $DIR/instrument_coverage.rs:9:1: 15:2 |
| 14 | ++ _4 = const std::intrinsics::count_code_region(const 0_u32) -> bb7; // scope 0 at $DIR/instrument_coverage.rs:9:1: 15:2 |
15 | 15 | + // ty::Const
|
16 | 16 | + // + ty: unsafe extern "rust-intrinsic" fn(u32) {std::intrinsics::count_code_region}
|
17 | 17 | + // + val: Value(Scalar(<ZST>))
|
|
25 | 25 | + // + span: $DIR/instrument_coverage.rs:9:1: 9:1
|
26 | 26 | + // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
|
27 | 27 | }
|
28 |
| - |
| 28 | + |
29 | 29 | bb1: {
|
30 | 30 | StorageLive(_2); // scope 0 at $DIR/instrument_coverage.rs:11:12: 11:17
|
31 | 31 | _2 = const bar() -> [return: bb3, unwind: bb2]; // scope 0 at $DIR/instrument_coverage.rs:11:12: 11:17
|
|
36 | 36 | // + span: $DIR/instrument_coverage.rs:11:12: 11:15
|
37 | 37 | // + literal: Const { ty: fn() -> bool {bar}, val: Value(Scalar(<ZST>)) }
|
38 | 38 | }
|
39 |
| - |
| 39 | + |
40 | 40 | bb2 (cleanup): {
|
41 | 41 | resume; // scope 0 at $DIR/instrument_coverage.rs:9:1: 15:2
|
42 | 42 | }
|
43 |
| - |
| 43 | + |
44 | 44 | bb3: {
|
45 | 45 | FakeRead(ForMatchedPlace, _2); // scope 0 at $DIR/instrument_coverage.rs:11:12: 11:17
|
46 | 46 | switchInt(_2) -> [false: bb5, otherwise: bb4]; // scope 0 at $DIR/instrument_coverage.rs:11:9: 13:10
|
47 | 47 | }
|
48 |
| - |
| 48 | + |
49 | 49 | bb4: {
|
50 | 50 | falseEdge -> [real: bb6, imaginary: bb5]; // scope 0 at $DIR/instrument_coverage.rs:11:9: 13:10
|
51 | 51 | }
|
52 |
| - |
| 52 | + |
53 | 53 | bb5: {
|
54 | 54 | _1 = const (); // scope 0 at $DIR/instrument_coverage.rs:11:9: 13:10
|
55 | 55 | // ty::Const
|
|
61 | 61 | StorageDead(_2); // scope 0 at $DIR/instrument_coverage.rs:14:5: 14:6
|
62 | 62 | goto -> bb0; // scope 0 at $DIR/instrument_coverage.rs:10:5: 14:6
|
63 | 63 | }
|
64 |
| - |
| 64 | + |
65 | 65 | bb6: {
|
66 | 66 | _0 = const (); // scope 0 at $DIR/instrument_coverage.rs:12:13: 12:18
|
67 | 67 | // ty::Const
|
|
73 | 73 | StorageDead(_2); // scope 0 at $DIR/instrument_coverage.rs:14:5: 14:6
|
74 | 74 | return; // scope 0 at $DIR/instrument_coverage.rs:15:2: 15:2
|
75 | 75 | + }
|
76 |
| -+ |
| 76 | ++ |
77 | 77 | + bb7: {
|
78 | 78 | + StorageDead(_4); // scope 0 at $DIR/instrument_coverage.rs:10:5: 14:6
|
79 | 79 | + falseUnwind -> [real: bb1, cleanup: bb2]; // scope 0 at $DIR/instrument_coverage.rs:10:5: 14:6
|
80 | 80 | }
|
81 | 81 | }
|
82 |
| - |
| 82 | + |
0 commit comments