src/test/mir-opt/inst_combine_deref.dont_opt.InstCombine.diff

   1 - // MIR for `dont_opt` before InstCombine
   2 + // MIR for `dont_opt` after InstCombine
   3
   4   fn dont_opt() -> u64 {
   5       let mut _0: u64;                     // return place in scope 0 at $DIR/inst_combine_deref.rs:42:18: 42:21
   6       let _1: i32;                         // in scope 0 at $DIR/inst_combine_deref.rs:43:9: 43:10
   7       let mut _5: &i32;                    // in scope 0 at $DIR/inst_combine_deref.rs:47:10: 47:14
   8       scope 1 {
   9           debug y => _1;                   // in scope 1 at $DIR/inst_combine_deref.rs:43:9: 43:10
  10           let _2: &i32;                    // in scope 1 at $DIR/inst_combine_deref.rs:44:9: 44:13
  11           scope 2 {
  12               debug _ref => _2;            // in scope 2 at $DIR/inst_combine_deref.rs:44:9: 44:13
  13               let _3: i32;                 // in scope 2 at $DIR/inst_combine_deref.rs:45:9: 45:10
  14               scope 3 {
  15                   debug x => _3;           // in scope 3 at $DIR/inst_combine_deref.rs:45:9: 45:10
  16                   let mut _4: &i32;        // in scope 3 at $DIR/inst_combine_deref.rs:46:9: 46:15
  17                   scope 4 {
  18                       debug _1 => _4;      // in scope 4 at $DIR/inst_combine_deref.rs:46:9: 46:15
  19                       let _6: i32;         // in scope 4 at $DIR/inst_combine_deref.rs:48:9: 48:11
  20                       scope 5 {
  21                           debug _4 => _6;  // in scope 5 at $DIR/inst_combine_deref.rs:48:9: 48:11
  22                       }
  23                   }
  24               }
  25           }
  26       }
  27
  28       bb0: {
  29           StorageLive(_1);                 // scope 0 at $DIR/inst_combine_deref.rs:43:9: 43:10
  30           _1 = const 5_i32;                // scope 0 at $DIR/inst_combine_deref.rs:43:13: 43:14
  31           StorageLive(_2);                 // scope 1 at $DIR/inst_combine_deref.rs:44:9: 44:13
  32           _2 = &_1;                        // scope 1 at $DIR/inst_combine_deref.rs:44:16: 44:18
  33           StorageLive(_3);                 // scope 2 at $DIR/inst_combine_deref.rs:45:9: 45:10
  34           _3 = const 5_i32;                // scope 2 at $DIR/inst_combine_deref.rs:45:13: 45:14
  35           StorageLive(_4);                 // scope 3 at $DIR/inst_combine_deref.rs:46:9: 46:15
  36           _4 = &_3;                        // scope 3 at $DIR/inst_combine_deref.rs:46:18: 46:20
  37           StorageLive(_5);                 // scope 4 at $DIR/inst_combine_deref.rs:47:10: 47:14
  38 -         _5 = &(*_2);                     // scope 4 at $DIR/inst_combine_deref.rs:47:10: 47:14
  39 +         _5 = _2;                         // scope 4 at $DIR/inst_combine_deref.rs:47:10: 47:14
  40           _4 = move _5;                    // scope 4 at $DIR/inst_combine_deref.rs:47:5: 47:14
  41           StorageDead(_5);                 // scope 4 at $DIR/inst_combine_deref.rs:47:13: 47:14
  42           StorageLive(_6);                 // scope 4 at $DIR/inst_combine_deref.rs:48:9: 48:11
  43           _6 = (*_4);                      // scope 4 at $DIR/inst_combine_deref.rs:48:14: 48:17
  44           _0 = const 0_u64;                // scope 5 at $DIR/inst_combine_deref.rs:49:5: 49:6
  45           StorageDead(_6);                 // scope 4 at $DIR/inst_combine_deref.rs:50:1: 50:2
  46           StorageDead(_4);                 // scope 3 at $DIR/inst_combine_deref.rs:50:1: 50:2
  47           StorageDead(_3);                 // scope 2 at $DIR/inst_combine_deref.rs:50:1: 50:2
  48           StorageDead(_2);                 // scope 1 at $DIR/inst_combine_deref.rs:50:1: 50:2
  49           StorageDead(_1);                 // scope 0 at $DIR/inst_combine_deref.rs:50:1: 50:2
  50           return;                          // scope 0 at $DIR/inst_combine_deref.rs:50:2: 50:2
  51       }
  52   }
  53