|
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