1 - // MIR for `main` before InstrumentCoverage
2 + // MIR for `main` after InstrumentCoverage
5 let mut _0: (); // return place in scope 0 at $DIR/instrument_coverage.rs:8:11: 8:11
6 let mut _1: (); // in scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2
7 let mut _2: bool; // in scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17
8 let mut _3: !; // in scope 0 at $DIR/instrument_coverage.rs:10:18: 12:10
9 + let mut _4: (); // in scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2
12 - falseUnwind -> [real: bb1, cleanup: bb6]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
13 + StorageLive(_4); // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2
14 + _4 = const std::intrinsics::count_code_region(const 0u32) -> bb7; // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2
16 + // + ty: unsafe extern "rust-intrinsic" fn(u32) {std::intrinsics::count_code_region}
17 + // + val: Value(Scalar(<ZST>))
19 + // + span: $DIR/instrument_coverage.rs:8:1: 8:1
20 + // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(u32) {std::intrinsics::count_code_region}, val: Value(Scalar(<ZST>)) }
23 + // + val: Value(Scalar(0x00000000))
25 + // + span: $DIR/instrument_coverage.rs:8:1: 8:1
26 + // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
30 StorageLive(_2); // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17
31 _2 = const bar() -> [return: bb2, unwind: bb6]; // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17
33 // + ty: fn() -> bool {bar}
34 // + val: Value(Scalar(<ZST>))
36 // + span: $DIR/instrument_coverage.rs:10:12: 10:15
37 // + literal: Const { ty: fn() -> bool {bar}, val: Value(Scalar(<ZST>)) }
41 FakeRead(ForMatchedPlace, _2); // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17
42 switchInt(_2) -> [false: bb4, otherwise: bb3]; // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10
46 falseEdges -> [real: bb5, imaginary: bb4]; // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10
50 _1 = const (); // scope 0 at $DIR/instrument_coverage.rs:10:9: 12:10
53 // + val: Value(Scalar(<ZST>))
55 // + span: $DIR/instrument_coverage.rs:10:9: 12:10
56 // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
57 StorageDead(_2); // scope 0 at $DIR/instrument_coverage.rs:13:5: 13:6
58 goto -> bb0; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
62 _0 = const (); // scope 0 at $DIR/instrument_coverage.rs:11:13: 11:18
65 // + val: Value(Scalar(<ZST>))
67 // + span: $DIR/instrument_coverage.rs:11:13: 11:18
68 // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
69 StorageDead(_2); // scope 0 at $DIR/instrument_coverage.rs:13:5: 13:6
70 return; // scope 0 at $DIR/instrument_coverage.rs:14:2: 14:2
74 resume; // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2
78 + StorageDead(_4); // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
79 + falseUnwind -> [real: bb1, cleanup: bb6]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6