src/test/mir-opt/matches_reduce_branches.match_nested_if.MatchBranchSimplification.64bit.diff

   1 - // MIR for `match_nested_if` before MatchBranchSimplification
   2 + // MIR for `match_nested_if` after MatchBranchSimplification
   3
   4   fn match_nested_if() -> bool {
   5       let mut _0: bool;                    // return place in scope 0 at $DIR/matches_reduce_branches.rs:39:25: 39:29
   6       let _1: bool;                        // in scope 0 at $DIR/matches_reduce_branches.rs:40:9: 40:12
   7       let mut _2: bool;                    // in scope 0 at $DIR/matches_reduce_branches.rs:41:24: 41:28
   8 +     let mut _3: bool;                    // in scope 0 at $DIR/matches_reduce_branches.rs:41:24: 41:28
   9       scope 1 {
  10           debug val => _1;                 // in scope 1 at $DIR/matches_reduce_branches.rs:40:9: 40:12
  11       }
  12       scope 2 {
  13           scope 3 {
  14               scope 4 {
  15               }
  16           }
  17       }
  18
  19       bb0: {
  20           StorageLive(_1);                 // scope 0 at $DIR/matches_reduce_branches.rs:40:9: 40:12
  21           StorageLive(_2);                 // scope 4 at $DIR/matches_reduce_branches.rs:41:24: 41:28
  22           _2 = const true;                 // scope 4 at $DIR/matches_reduce_branches.rs:41:24: 41:28
  23 -         switchInt(move _2) -> [false: bb2, otherwise: bb1]; // scope 4 at $DIR/matches_reduce_branches.rs:41:24: 41:28
  24 -     }
  25 -
  26 -     bb1: {
  27 +         StorageLive(_3);                 // scope 4 at $DIR/matches_reduce_branches.rs:41:24: 41:28
  28 +         _3 = move _2;                    // scope 4 at $DIR/matches_reduce_branches.rs:41:24: 41:28
  29           StorageDead(_2);                 // scope 3 at $DIR/matches_reduce_branches.rs:41:51: 41:52
  30 -         _1 = const true;                 // scope 0 at $DIR/matches_reduce_branches.rs:47:13: 47:17
  31 -         goto -> bb3;                     // scope 0 at $DIR/matches_reduce_branches.rs:47:13: 47:17
  32 -     }
  33 -
  34 -     bb2: {
  35 -         StorageDead(_2);                 // scope 3 at $DIR/matches_reduce_branches.rs:41:51: 41:52
  36 -         _1 = const false;                // scope 0 at $DIR/matches_reduce_branches.rs:49:14: 49:19
  37 -         goto -> bb3;                     // scope 0 at $DIR/matches_reduce_branches.rs:49:14: 49:19
  38 -     }
  39 -
  40 -     bb3: {
  41 +         _1 = Ne(_3, const false);        // scope 0 at $DIR/matches_reduce_branches.rs:49:14: 49:19
  42 +         StorageDead(_3);                 // scope 4 at $DIR/matches_reduce_branches.rs:41:24: 41:28
  43           _0 = _1;                         // scope 1 at $DIR/matches_reduce_branches.rs:51:5: 51:8
  44           StorageDead(_1);                 // scope 0 at $DIR/matches_reduce_branches.rs:52:1: 52:2
  45           return;                          // scope 0 at $DIR/matches_reduce_branches.rs:52:2: 52:2
  46       }
  47   }
  48