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: std::result::Result<u32, i32>) -> std::result::Result<u32, i32> {
   5       debug x => _1;                       // in scope 0 at $DIR/simplify_try.rs:7:17: 7:18
   6       let mut _0: std::result::Result<u32, i32>; // return place in scope 0 at $DIR/simplify_try.rs:7:41: 7:57
   7       let _2: u32;                         // in scope 0 at $DIR/simplify_try.rs:8:9: 8:10
   8       let mut _3: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:8:13: 8:15
   9       let mut _4: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:8:13: 8:14
  10       let mut _5: isize;                   // in scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  11       let _6: i32;                         // in scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  12       let mut _7: !;                       // in scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  13       let mut _8: i32;                     // in scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  14       let mut _9: i32;                     // in scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  15       let _10: u32;                        // in scope 0 at $DIR/simplify_try.rs:8:13: 8:15
  16       let mut _11: u32;                    // in scope 0 at $DIR/simplify_try.rs:9:8: 9:9
  17       scope 1 {
  18           debug y => ((_0 as Ok).0: u32);  // in scope 1 at $DIR/simplify_try.rs:8:9: 8:10
  19       }
  20       scope 2 {
  21           debug err => ((_0 as Err).0: i32); // in scope 2 at $DIR/simplify_try.rs:8:14: 8:15
  22           scope 3 {
  23               scope 7 (inlined <i32 as From<i32>>::from) { // at $DIR/simplify_try.rs:8:14: 8:15
  24                   debug t => ((_0 as Err).0: i32); // in scope 7 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
  25               }
  26               scope 8 (inlined <std::result::Result<u32, i32> as Try>::from_error) { // at $DIR/simplify_try.rs:8:13: 8:15
  27                   debug v => ((_0 as Err).0: i32); // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
  28                   let mut _12: i32;        // in scope 8 at $DIR/simplify_try.rs:8:13: 8:15
  29               }
  30           }
  31       }
  32       scope 4 {
  33           debug val => ((_0 as Ok).0: u32); // in scope 4 at $DIR/simplify_try.rs:8:13: 8:15
  34           scope 5 {
  35           }
  36       }
  37       scope 6 (inlined <std::result::Result<u32, i32> as Try>::into_result) { // at $DIR/simplify_try.rs:8:13: 8:15
  38 -         debug self => _4;                // in scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
  39 +         debug self => _0;                // in scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
  40       }
  41
  42       bb0: {
  43           StorageLive(_2);                 // scope 0 at $DIR/simplify_try.rs:8:9: 8:10
  44 -         StorageLive(_3);                 // scope 0 at $DIR/simplify_try.rs:8:13: 8:15
  45 -         StorageLive(_4);                 // scope 0 at $DIR/simplify_try.rs:8:13: 8:14
  46 -         _4 = _1;                         // scope 0 at $DIR/simplify_try.rs:8:13: 8:14
  47 -         _3 = move _4;                    // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
  48 -         StorageDead(_4);                 // scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  49 -         _5 = discriminant(_3);           // scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  50 +         nop;                             // scope 0 at $DIR/simplify_try.rs:8:13: 8:15
  51 +         nop;                             // scope 0 at $DIR/simplify_try.rs:8:13: 8:14
  52 +         _0 = _1;                         // scope 0 at $DIR/simplify_try.rs:8:13: 8:14
  53 +         nop;                             // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
  54 +         nop;                             // scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  55 +         _5 = discriminant(_0);           // scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  56           goto -> bb1;                     // scope 0 at $DIR/simplify_try.rs:8:14: 8:15
  57       }
  58
  59       bb1: {
  60 -         _0 = move _3;                    // scope 1 at $DIR/simplify_try.rs:9:5: 9:10
  61 -         StorageDead(_3);                 // scope 0 at $DIR/simplify_try.rs:8:15: 8:16
  62 +         nop;                             // scope 1 at $DIR/simplify_try.rs:9:5: 9:10
  63 +         nop;                             // scope 0 at $DIR/simplify_try.rs:8:15: 8:16
  64           StorageDead(_2);                 // scope 0 at $DIR/simplify_try.rs:10:1: 10:2
  65           return;                          // scope 0 at $DIR/simplify_try.rs:10:2: 10:2
  66       }
  67   }
  68