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

   1 - // MIR for `bar` before MatchBranchSimplification
   2 + // MIR for `bar` after MatchBranchSimplification
   3
   4   fn bar(_1: i32) -> (bool, bool, bool, bool) {
   5       debug i => _1;                       // in scope 0 at $DIR/matches_reduce_branches.rs:12:8: 12:9
   6       let mut _0: (bool, bool, bool, bool); // return place in scope 0 at $DIR/matches_reduce_branches.rs:12:19: 12:43
   7       let _2: bool;                        // in scope 0 at $DIR/matches_reduce_branches.rs:13:9: 13:10
   8       let _6: ();                          // in scope 0 at $DIR/matches_reduce_branches.rs:18:5: 33:6
   9       let mut _7: bool;                    // in scope 0 at $DIR/matches_reduce_branches.rs:35:6: 35:7
  10       let mut _8: bool;                    // in scope 0 at $DIR/matches_reduce_branches.rs:35:9: 35:10
  11       let mut _9: bool;                    // in scope 0 at $DIR/matches_reduce_branches.rs:35:12: 35:13
  12       let mut _10: bool;                   // in scope 0 at $DIR/matches_reduce_branches.rs:35:15: 35:16
  13 +     let mut _11: i32;                    // in scope 0 at $DIR/matches_reduce_branches.rs:19:9: 19:10
  14       scope 1 {
  15           debug a => _2;                   // in scope 1 at $DIR/matches_reduce_branches.rs:13:9: 13:10
  16           let _3: bool;                    // in scope 1 at $DIR/matches_reduce_branches.rs:14:9: 14:10
  17           scope 2 {
  18               debug b => _3;               // in scope 2 at $DIR/matches_reduce_branches.rs:14:9: 14:10
  19               let _4: bool;                // in scope 2 at $DIR/matches_reduce_branches.rs:15:9: 15:10
  20               scope 3 {
  21                   debug c => _4;           // in scope 3 at $DIR/matches_reduce_branches.rs:15:9: 15:10
  22                   let _5: bool;            // in scope 3 at $DIR/matches_reduce_branches.rs:16:9: 16:10
  23                   scope 4 {
  24                       debug d => _5;       // in scope 4 at $DIR/matches_reduce_branches.rs:16:9: 16:10
  25                   }
  26               }
  27           }
  28       }
  29
  30       bb0: {
  31           StorageLive(_2);                 // scope 0 at $DIR/matches_reduce_branches.rs:13:9: 13:10
  32           StorageLive(_3);                 // scope 1 at $DIR/matches_reduce_branches.rs:14:9: 14:10
  33           StorageLive(_4);                 // scope 2 at $DIR/matches_reduce_branches.rs:15:9: 15:10
  34           StorageLive(_5);                 // scope 3 at $DIR/matches_reduce_branches.rs:16:9: 16:10
  35           StorageLive(_6);                 // scope 4 at $DIR/matches_reduce_branches.rs:18:5: 33:6
  36 -         switchInt(_1) -> [7_i32: bb2, otherwise: bb1]; // scope 4 at $DIR/matches_reduce_branches.rs:19:9: 19:10
  37 +         StorageLive(_11);                // scope 4 at $DIR/matches_reduce_branches.rs:19:9: 19:10
  38 +         _11 = _1;                        // scope 4 at $DIR/matches_reduce_branches.rs:19:9: 19:10
  39 +         _2 = Ne(_11, const 7_i32);       // scope 4 at $DIR/matches_reduce_branches.rs:20:13: 20:22
  40 +         _3 = Eq(_11, const 7_i32);       // scope 4 at $DIR/matches_reduce_branches.rs:21:13: 21:21
  41 +         _4 = const false;                // scope 4 at $DIR/matches_reduce_branches.rs:22:13: 22:22
  42 +         _5 = const true;                 // scope 4 at $DIR/matches_reduce_branches.rs:23:13: 23:21
  43 +         StorageDead(_11);                // scope 4 at $DIR/matches_reduce_branches.rs:19:9: 19:10
  44 +         goto -> bb3;                     // scope 4 at $DIR/matches_reduce_branches.rs:19:9: 19:10
  45       }
  46
  47       bb1: {
  48           _2 = const true;                 // scope 4 at $DIR/matches_reduce_branches.rs:27:13: 27:21
  49           _3 = const false;                // scope 4 at $DIR/matches_reduce_branches.rs:28:13: 28:22
  50           _4 = const false;                // scope 4 at $DIR/matches_reduce_branches.rs:29:13: 29:22
  51           _5 = const true;                 // scope 4 at $DIR/matches_reduce_branches.rs:30:13: 30:21
  52           goto -> bb3;                     // scope 4 at $DIR/matches_reduce_branches.rs:18:5: 33:6
  53       }
  54
  55       bb2: {
  56           _2 = const false;                // scope 4 at $DIR/matches_reduce_branches.rs:20:13: 20:22
  57           _3 = const true;                 // scope 4 at $DIR/matches_reduce_branches.rs:21:13: 21:21
  58           _4 = const false;                // scope 4 at $DIR/matches_reduce_branches.rs:22:13: 22:22
  59           _5 = const true;                 // scope 4 at $DIR/matches_reduce_branches.rs:23:13: 23:21
  60           goto -> bb3;                     // scope 4 at $DIR/matches_reduce_branches.rs:18:5: 33:6
  61       }
  62
  63       bb3: {
  64           StorageDead(_6);                 // scope 4 at $DIR/matches_reduce_branches.rs:33:6: 33:7
  65           StorageLive(_7);                 // scope 4 at $DIR/matches_reduce_branches.rs:35:6: 35:7
  66           _7 = _2;                         // scope 4 at $DIR/matches_reduce_branches.rs:35:6: 35:7
  67           StorageLive(_8);                 // scope 4 at $DIR/matches_reduce_branches.rs:35:9: 35:10
  68           _8 = _3;                         // scope 4 at $DIR/matches_reduce_branches.rs:35:9: 35:10
  69           StorageLive(_9);                 // scope 4 at $DIR/matches_reduce_branches.rs:35:12: 35:13
  70           _9 = _4;                         // scope 4 at $DIR/matches_reduce_branches.rs:35:12: 35:13
  71           StorageLive(_10);                // scope 4 at $DIR/matches_reduce_branches.rs:35:15: 35:16
  72           _10 = _5;                        // scope 4 at $DIR/matches_reduce_branches.rs:35:15: 35:16
  73           (_0.0: bool) = move _7;          // scope 4 at $DIR/matches_reduce_branches.rs:35:5: 35:17
  74           (_0.1: bool) = move _8;          // scope 4 at $DIR/matches_reduce_branches.rs:35:5: 35:17
  75           (_0.2: bool) = move _9;          // scope 4 at $DIR/matches_reduce_branches.rs:35:5: 35:17
  76           (_0.3: bool) = move _10;         // scope 4 at $DIR/matches_reduce_branches.rs:35:5: 35:17
  77           StorageDead(_10);                // scope 4 at $DIR/matches_reduce_branches.rs:35:16: 35:17
  78           StorageDead(_9);                 // scope 4 at $DIR/matches_reduce_branches.rs:35:16: 35:17
  79           StorageDead(_8);                 // scope 4 at $DIR/matches_reduce_branches.rs:35:16: 35:17
  80           StorageDead(_7);                 // scope 4 at $DIR/matches_reduce_branches.rs:35:16: 35:17
  81           StorageDead(_5);                 // scope 3 at $DIR/matches_reduce_branches.rs:36:1: 36:2
  82           StorageDead(_4);                 // scope 2 at $DIR/matches_reduce_branches.rs:36:1: 36:2
  83           StorageDead(_3);                 // scope 1 at $DIR/matches_reduce_branches.rs:36:1: 36:2
  84           StorageDead(_2);                 // scope 0 at $DIR/matches_reduce_branches.rs:36:1: 36:2
  85           return;                          // scope 0 at $DIR/matches_reduce_branches.rs:36:2: 36:2
  86       }
  87   }
  88