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

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