- // MIR for `cycle` before DeadStoreElimination
+ // MIR for `cycle` after DeadStoreElimination
  
  fn cycle(_1: i32, _2: i32, _3: i32) -> () {
      debug x => _1;
      debug y => _2;
      debug z => _3;
      let mut _0: ();
-     let mut _4: ();
-     let mut _5: bool;
-     let _6: i32;
-     let mut _7: i32;
-     let mut _8: i32;
-     let mut _9: i32;
-     let mut _10: !;
-     let _11: ();
-     let mut _12: !;
+     let mut _4: bool;
+     let _5: i32;
      scope 1 {
-         debug temp => _6;
+         debug temp => _5;
      }
  
      bb0: {
          goto -> bb1;
      }
  
      bb1: {
-         StorageLive(_5);
-         _5 = cond() -> [return: bb2, unwind continue];
+         StorageLive(_4);
+         _4 = cond() -> [return: bb2, unwind continue];
      }
  
      bb2: {
-         switchInt(move _5) -> [0: bb4, otherwise: bb3];
+         switchInt(move _4) -> [0: bb4, otherwise: bb3];
      }
  
      bb3: {
-         StorageLive(_6);
-         _6 = _3;
-         StorageLive(_7);
-         _7 = _2;
-         _3 = move _7;
-         StorageDead(_7);
-         StorageLive(_8);
-         _8 = _1;
-         _2 = move _8;
-         StorageDead(_8);
-         StorageLive(_9);
-         _9 = _6;
-         _1 = move _9;
-         StorageDead(_9);
-         _4 = const ();
-         StorageDead(_6);
+         StorageLive(_5);
          StorageDead(_5);
+         StorageDead(_4);
          goto -> bb1;
      }
  
      bb4: {
-         StorageLive(_11);
          _0 = const ();
-         StorageDead(_11);
-         StorageDead(_5);
+         StorageDead(_4);
          return;
      }
  }