tests/mir-opt/instrument_coverage.main.InstrumentCoverage.diff

   1 - // MIR for `main` before InstrumentCoverage
   2 + // MIR for `main` after InstrumentCoverage
   3
   4   fn main() -> () {
   5       let mut _0: ();
   6       let mut _1: ();
   7       let mut _2: bool;
   8       let mut _3: !;
   9
  10       bb0: {
  11 +         Coverage::Counter(0) for /the/src/instrument_coverage.rs:11:1 - 11:11;
  12           goto -> bb1;
  13       }
  14
  15       bb1: {
  16 +         Coverage::Expression(0) = Counter(0) + Counter(1) for /the/src/instrument_coverage.rs:12:5 - 13:17;
  17           falseUnwind -> [real: bb2, unwind: bb6];
  18       }
  19
  20       bb2: {
  21           StorageLive(_2);
  22           _2 = bar() -> [return: bb3, unwind: bb6];
  23       }
  24
  25       bb3: {
  26           switchInt(move _2) -> [0: bb5, otherwise: bb4];
  27       }
  28
  29       bb4: {
  30 +         Coverage::Expression(2) = Expression(1) + Zero for /the/src/instrument_coverage.rs:17:1 - 17:2;
  31 +         Coverage::Expression(1) = Expression(0) - Counter(1) for /the/src/instrument_coverage.rs:14:13 - 14:18;
  32           _0 = const ();
  33           StorageDead(_2);
  34           return;
  35       }
  36
  37       bb5: {
  38 +         Coverage::Counter(1) for /the/src/instrument_coverage.rs:15:10 - 15:11;
  39           _1 = const ();
  40           StorageDead(_2);
  41           goto -> bb1;
  42       }
  43
  44       bb6 (cleanup): {
  45           resume;
  46       }
  47   }
  48