src/test/mir-opt/instrument_coverage/rustc.bar.InstrumentCoverage.diff

   1 - // MIR for `bar` before InstrumentCoverage
   2 + // MIR for `bar` after InstrumentCoverage
   3
   4   fn bar() -> bool {
   5       let mut _0: bool;                    // return place in scope 0 at $DIR/instrument_coverage.rs:17:13: 17:17
   6 +     let mut _1: ();                      // in scope 0 at $DIR/instrument_coverage.rs:17:1: 19:2
   7
   8       bb0: {
   9 +         StorageLive(_1);                 // scope 0 at $DIR/instrument_coverage.rs:17:1: 19:2
  10 +         _1 = const std::intrinsics::count_code_region(const 0u32) -> bb2; // scope 0 at $DIR/instrument_coverage.rs:17:1: 19:2
  11 +                                          // ty::Const
  12 +                                          // + ty: unsafe extern "rust-intrinsic" fn(u32) {std::intrinsics::count_code_region}
  13 +                                          // + val: Value(Scalar(<ZST>))
  14 +                                          // mir::Constant
  15 +                                          // + span: $DIR/instrument_coverage.rs:17:1: 17:1
  16 +                                          // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(u32) {std::intrinsics::count_code_region}, val: Value(Scalar(<ZST>)) }
  17 +                                          // ty::Const
  18 +                                          // + ty: u32
  19 +                                          // + val: Value(Scalar(0x00000000))
  20 +                                          // mir::Constant
  21 +                                          // + span: $DIR/instrument_coverage.rs:17:1: 17:1
  22 +                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
  23 +     }
  24 +
  25 +     bb1 (cleanup): {
  26 +         resume;                          // scope 0 at $DIR/instrument_coverage.rs:17:1: 19:2
  27 +     }
  28 +
  29 +     bb2: {
  30 +         StorageDead(_1);                 // scope 0 at $DIR/instrument_coverage.rs:18:5: 18:9
  31           _0 = const true;                 // scope 0 at $DIR/instrument_coverage.rs:18:5: 18:9
  32                                            // ty::Const
  33                                            // + ty: bool
  34                                            // + val: Value(Scalar(0x01))
  35                                            // mir::Constant
  36                                            // + span: $DIR/instrument_coverage.rs:18:5: 18:9
  37                                            // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
  38           return;                          // scope 0 at $DIR/instrument_coverage.rs:19:2: 19:2
  39       }
  40   }
  41