tests/mir-opt/remove_fake_borrows.match_guard.CleanupPostBorrowck.diff

   1 - // MIR for `match_guard` before CleanupPostBorrowck
   2 + // MIR for `match_guard` after CleanupPostBorrowck
   3
   4   fn match_guard(_1: Option<&&i32>, _2: bool) -> i32 {
   5       debug x => _1;                       // in scope 0 at $DIR/remove_fake_borrows.rs:+0:16: +0:17
   6       debug c => _2;                       // in scope 0 at $DIR/remove_fake_borrows.rs:+0:34: +0:35
   7       let mut _0: i32;                     // return place in scope 0 at $DIR/remove_fake_borrows.rs:+0:46: +0:49
   8       let mut _3: isize;                   // in scope 0 at $DIR/remove_fake_borrows.rs:+2:9: +2:16
   9       let mut _4: &std::option::Option<&&i32>; // in scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  10       let mut _5: &&i32;                   // in scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  11       let mut _6: &&&i32;                  // in scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  12       let mut _7: &i32;                    // in scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  13       let mut _8: bool;                    // in scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  14
  15       bb0: {
  16 -         FakeRead(ForMatchedPlace(None), _1); // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  17 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  18           _3 = discriminant(_1);           // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  19           switchInt(move _3) -> [1: bb2, otherwise: bb1]; // scope 0 at $DIR/remove_fake_borrows.rs:+1:5: +1:12
  20       }
  21
  22       bb1: {
  23           _0 = const 1_i32;                // scope 0 at $DIR/remove_fake_borrows.rs:+3:14: +3:15
  24           goto -> bb7;                     // scope 0 at $DIR/remove_fake_borrows.rs:+3:14: +3:15
  25       }
  26
  27       bb2: {
  28           switchInt((*(*((_1 as Some).0: &&i32)))) -> [0: bb3, otherwise: bb1]; // scope 0 at $DIR/remove_fake_borrows.rs:+1:5: +1:12
  29       }
  30
  31       bb3: {
  32 -         falseEdge -> [real: bb4, imaginary: bb1]; // scope 0 at $DIR/remove_fake_borrows.rs:+2:9: +2:16
  33 +         goto -> bb4;                     // scope 0 at $DIR/remove_fake_borrows.rs:+2:9: +2:16
  34       }
  35
  36       bb4: {
  37 -         _4 = &shallow _1;                // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  38 -         _5 = &shallow (*((_1 as Some).0: &&i32)); // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  39 -         _6 = &shallow ((_1 as Some).0: &&i32); // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  40 -         _7 = &shallow (*(*((_1 as Some).0: &&i32))); // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  41 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  42 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  43 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  44 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+1:11: +1:12
  45           StorageLive(_8);                 // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  46           _8 = _2;                         // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  47           switchInt(move _8) -> [0: bb6, otherwise: bb5]; // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  48       }
  49
  50       bb5: {
  51           StorageDead(_8);                 // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  52 -         FakeRead(ForMatchGuard, _4);     // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  53 -         FakeRead(ForMatchGuard, _5);     // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  54 -         FakeRead(ForMatchGuard, _6);     // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  55 -         FakeRead(ForMatchGuard, _7);     // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  56 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  57 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  58 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  59 +         nop;                             // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  60           _0 = const 0_i32;                // scope 0 at $DIR/remove_fake_borrows.rs:+2:25: +2:26
  61           goto -> bb7;                     // scope 0 at $DIR/remove_fake_borrows.rs:+2:25: +2:26
  62       }
  63
  64       bb6: {
  65           StorageDead(_8);                 // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  66 -         falseEdge -> [real: bb1, imaginary: bb1]; // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  67 +         goto -> bb1;                     // scope 0 at $DIR/remove_fake_borrows.rs:+2:20: +2:21
  68       }
  69
  70       bb7: {
  71           return;                          // scope 0 at $DIR/remove_fake_borrows.rs:+5:2: +5:2
  72       }
  73   }
  74