tests/mir-opt/copy-prop/non_dominate.f.CopyProp.diff

   1 - // MIR for `f` before CopyProp
   2 + // MIR for `f` after CopyProp
   3
   4   fn f(_1: bool) -> bool {
   5       let mut _0: bool;                    // return place in scope 0 at $DIR/non_dominate.rs:+0:18: +0:22
   6       let mut _2: bool;                    // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   7       let mut _3: bool;                    // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   8
   9       bb0: {
  10           goto -> bb1;                     // scope 0 at $DIR/non_dominate.rs:+4:11: +4:20
  11       }
  12
  13       bb1: {
  14           _3 = _1;                         // scope 0 at $DIR/non_dominate.rs:+5:17: +5:22
  15           switchInt(_3) -> [0: bb3, otherwise: bb2]; // scope 0 at $DIR/non_dominate.rs:+5:24: +5:58
  16       }
  17
  18       bb2: {
  19           _2 = _3;                         // scope 0 at $DIR/non_dominate.rs:+8:17: +8:22
  20           _1 = const false;                // scope 0 at $DIR/non_dominate.rs:+8:24: +8:33
  21           goto -> bb1;                     // scope 0 at $DIR/non_dominate.rs:+8:35: +8:44
  22       }
  23
  24       bb3: {
  25           _0 = _2;                         // scope 0 at $DIR/non_dominate.rs:+9:17: +9:24
  26           return;                          // scope 0 at $DIR/non_dominate.rs:+9:26: +9:34
  27       }
  28   }
  29