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

   1 - // MIR for `foo` before MatchBranchSimplification
   2 + // MIR for `foo` after MatchBranchSimplification
   3
   4   fn foo(_1: std::option::Option<()>) -> () {
   5       debug bar => _1;                     // in scope 0 at $DIR/matches_reduce_branches.rs:4:8: 4:11
   6       let mut _0: ();                      // return place in scope 0 at $DIR/matches_reduce_branches.rs:4:25: 4:25
   7       let mut _2: bool;                    // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
   8       let mut _3: isize;                   // in scope 0 at $DIR/matches_reduce_branches.rs:5:22: 5:26
   9
  10       bb0: {
  11           StorageLive(_2);                 // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  12           _3 = discriminant(_1);           // scope 0 at $DIR/matches_reduce_branches.rs:5:22: 5:26
  13 -         switchInt(move _3) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/matches_reduce_branches.rs:5:22: 5:26
  14 +         _2 = Eq(_3, const 0_isize);      // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  15 +                                          // ty::Const
  16 +                                          // + ty: isize
  17 +                                          // + val: Value(Scalar(0x0000000000000000))
  18 +                                          // mir::Constant
  19 +                                          // + span: $DIR/matches_reduce_branches.rs:1:1: 1:1
  20 +                                          // + literal: Const { ty: isize, val: Value(Scalar(0x0000000000000000)) }
  21 +         goto -> bb3;                     // scope 0 at $DIR/matches_reduce_branches.rs:5:22: 5:26
  22       }
  23
  24       bb1: {
  25           _2 = const false;                // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  26                                            // ty::Const
  27                                            // + ty: bool
  28                                            // + val: Value(Scalar(0x00))
  29                                            // mir::Constant
  30                                            // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
  31                                            // + literal: Const { ty: bool, val: Value(Scalar(0x00)) }
  32           goto -> bb3;                     // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  33       }
  34
  35       bb2: {
  36           _2 = const true;                 // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  37                                            // ty::Const
  38                                            // + ty: bool
  39                                            // + val: Value(Scalar(0x01))
  40                                            // mir::Constant
  41                                            // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
  42                                            // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
  43           goto -> bb3;                     // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  44       }
  45
  46       bb3: {
  47           switchInt(_2) -> [false: bb4, otherwise: bb5]; // scope 0 at $DIR/matches_reduce_branches.rs:5:5: 7:6
  48       }
  49
  50       bb4: {
  51           _0 = const ();                   // scope 0 at $DIR/matches_reduce_branches.rs:5:5: 7:6
  52                                            // ty::Const
  53                                            // + ty: ()
  54                                            // + val: Value(Scalar(<ZST>))
  55                                            // mir::Constant
  56                                            // + span: $DIR/matches_reduce_branches.rs:5:5: 7:6
  57                                            // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  58           goto -> bb5;                     // scope 0 at $DIR/matches_reduce_branches.rs:5:5: 7:6
  59       }
  60
  61       bb5: {
  62           StorageDead(_2);                 // scope 0 at $DIR/matches_reduce_branches.rs:8:1: 8:2
  63           return;                          // scope 0 at $DIR/matches_reduce_branches.rs:8:2: 8:2
  64       }
  65   }
  66