src/test/mir-opt/simplify_try.try_identity.DestinationPropagation.diff

   1 - // MIR for `try_identity` before DestinationPropagation
   2 + // MIR for `try_identity` after DestinationPropagation
   3
   4   fn try_identity(_1: Result<u32, i32>) -> Result<u32, i32> {
   5       debug x => _1;                       // in scope 0 at $DIR/simplify_try.rs:+0:17: +0:18
   6       let mut _0: std::result::Result<u32, i32>; // return place in scope 0 at $DIR/simplify_try.rs:+0:41: +0:57
   7       let _2: u32;                         // in scope 0 at $DIR/simplify_try.rs:+1:9: +1:10
   8       let mut _3: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:+1:19: +1:33
   9       let mut _4: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:+1:31: +1:32
  10       let mut _5: isize;                   // in scope 0 at $DIR/simplify_try.rs:+2:9: +2:15
  11       let _6: i32;                         // in scope 0 at $DIR/simplify_try.rs:+2:13: +2:14
  12       let mut _7: !;                       // in scope 0 at $DIR/simplify_try.rs:+2:19: +2:51
  13       let mut _8: i32;                     // in scope 0 at $DIR/simplify_try.rs:+2:37: +2:50
  14       let mut _9: i32;                     // in scope 0 at $DIR/simplify_try.rs:+2:48: +2:49
  15       let _10: u32;                        // in scope 0 at $DIR/simplify_try.rs:+3:12: +3:13
  16       let mut _11: u32;                    // in scope 0 at $DIR/simplify_try.rs:+5:8: +5:9
  17       scope 1 {
  18 -         debug y => _2;                   // in scope 1 at $DIR/simplify_try.rs:+1:9: +1:10
  19 +         debug y => ((_0 as Ok).0: u32);  // in scope 1 at $DIR/simplify_try.rs:+1:9: +1:10
  20       }
  21       scope 2 {
  22           debug e => _6;                   // in scope 2 at $DIR/simplify_try.rs:+2:13: +2:14
  23           scope 5 (inlined <i32 as From<i32>>::from) { // at $DIR/simplify_try.rs:22:37: 22:50
  24               debug t => _9;               // in scope 5 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
  25           }
  26           scope 6 (inlined from_error::<u32, i32>) { // at $DIR/simplify_try.rs:22:26: 22:51
  27               debug e => _8;               // in scope 6 at $DIR/simplify_try.rs:+0:21: +0:22
  28           }
  29       }
  30       scope 3 {
  31 -         debug v => _10;                  // in scope 3 at $DIR/simplify_try.rs:+3:12: +3:13
  32 +         debug v => ((_0 as Ok).0: u32);  // in scope 3 at $DIR/simplify_try.rs:+3:12: +3:13
  33       }
  34       scope 4 (inlined into_result::<u32, i32>) { // at $DIR/simplify_try.rs:21:19: 21:33
  35 -         debug r => _4;                   // in scope 4 at $DIR/simplify_try.rs:+0:22: +0:23
  36 +         debug r => _3;                   // in scope 4 at $DIR/simplify_try.rs:+0:22: +0:23
  37       }
  38
  39       bb0: {
  40 -         StorageLive(_2);                 // scope 0 at $DIR/simplify_try.rs:+1:9: +1:10
  41 -         StorageLive(_3);                 // scope 0 at $DIR/simplify_try.rs:+1:19: +1:33
  42 -         StorageLive(_4);                 // scope 0 at $DIR/simplify_try.rs:+1:31: +1:32
  43 -         _4 = _1;                         // scope 0 at $DIR/simplify_try.rs:+1:31: +1:32
  44 -         _3 = move _4;                    // scope 4 at $DIR/simplify_try.rs:+0:5: +0:6
  45 -         StorageDead(_4);                 // scope 0 at $DIR/simplify_try.rs:+1:32: +1:33
  46 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+1:9: +1:10
  47 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+1:19: +1:33
  48 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+1:31: +1:32
  49 +         _3 = _1;                         // scope 0 at $DIR/simplify_try.rs:+1:31: +1:32
  50 +         nop;                             // scope 4 at $DIR/simplify_try.rs:+0:5: +0:6
  51 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+1:32: +1:33
  52           _5 = discriminant(_3);           // scope 0 at $DIR/simplify_try.rs:+1:19: +1:33
  53           switchInt(move _5) -> [0_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify_try.rs:+1:13: +1:33
  54       }
  55
  56       bb1: {
  57 -         StorageLive(_10);                // scope 0 at $DIR/simplify_try.rs:+3:12: +3:13
  58 -         _10 = ((_3 as Ok).0: u32);       // scope 0 at $DIR/simplify_try.rs:+3:12: +3:13
  59 -         _2 = _10;                        // scope 3 at $DIR/simplify_try.rs:+3:18: +3:19
  60 -         StorageDead(_10);                // scope 0 at $DIR/simplify_try.rs:+3:18: +3:19
  61 -         StorageDead(_3);                 // scope 0 at $DIR/simplify_try.rs:+4:6: +4:7
  62 -         StorageLive(_11);                // scope 1 at $DIR/simplify_try.rs:+5:8: +5:9
  63 -         _11 = _2;                        // scope 1 at $DIR/simplify_try.rs:+5:8: +5:9
  64 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+3:12: +3:13
  65 +         ((_0 as Ok).0: u32) = ((_3 as Ok).0: u32); // scope 0 at $DIR/simplify_try.rs:+3:12: +3:13
  66 +         nop;                             // scope 3 at $DIR/simplify_try.rs:+3:18: +3:19
  67 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+3:18: +3:19
  68 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+4:6: +4:7
  69 +         nop;                             // scope 1 at $DIR/simplify_try.rs:+5:8: +5:9
  70 +         nop;                             // scope 1 at $DIR/simplify_try.rs:+5:8: +5:9
  71           Deinit(_0);                      // scope 1 at $DIR/simplify_try.rs:+5:5: +5:10
  72 -         ((_0 as Ok).0: u32) = move _11;  // scope 1 at $DIR/simplify_try.rs:+5:5: +5:10
  73 +         nop;                             // scope 1 at $DIR/simplify_try.rs:+5:5: +5:10
  74           discriminant(_0) = 0;            // scope 1 at $DIR/simplify_try.rs:+5:5: +5:10
  75 -         StorageDead(_11);                // scope 1 at $DIR/simplify_try.rs:+5:9: +5:10
  76 -         StorageDead(_2);                 // scope 0 at $DIR/simplify_try.rs:+6:1: +6:2
  77 +         nop;                             // scope 1 at $DIR/simplify_try.rs:+5:9: +5:10
  78 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+6:1: +6:2
  79           return;                          // scope 0 at $DIR/simplify_try.rs:+6:2: +6:2
  80       }
  81
  82       bb2: {
  83           StorageLive(_6);                 // scope 0 at $DIR/simplify_try.rs:+2:13: +2:14
  84           nop;                             // scope 0 at $DIR/simplify_try.rs:+2:13: +2:14
  85           StorageLive(_8);                 // scope 2 at $DIR/simplify_try.rs:+2:37: +2:50
  86           StorageLive(_9);                 // scope 2 at $DIR/simplify_try.rs:+2:48: +2:49
  87           nop;                             // scope 2 at $DIR/simplify_try.rs:+2:48: +2:49
  88           nop;                             // scope 5 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
  89           StorageDead(_9);                 // scope 2 at $DIR/simplify_try.rs:+2:49: +2:50
  90           nop;                             // scope 6 at $DIR/simplify_try.rs:+0:9: +0:10
  91           Deinit(_0);                      // scope 6 at $DIR/simplify_try.rs:+0:5: +0:11
  92           discriminant(_0) = 1;            // scope 6 at $DIR/simplify_try.rs:+0:5: +0:11
  93           StorageDead(_8);                 // scope 2 at $DIR/simplify_try.rs:+2:50: +2:51
  94           StorageDead(_6);                 // scope 0 at $DIR/simplify_try.rs:+2:50: +2:51
  95 -         StorageDead(_3);                 // scope 0 at $DIR/simplify_try.rs:+4:6: +4:7
  96 -         StorageDead(_2);                 // scope 0 at $DIR/simplify_try.rs:+6:1: +6:2
  97 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+4:6: +4:7
  98 +         nop;                             // scope 0 at $DIR/simplify_try.rs:+6:1: +6:2
  99           return;                          // scope 0 at $DIR/simplify_try.rs:+6:2: +6:2
 100       }
 101   }
 102