src/test/mir-opt/matches_u8.exhaustive_match.MatchBranchSimplification.diff.64bit

   1 - // MIR for `exhaustive_match` before MatchBranchSimplification
   2 + // MIR for `exhaustive_match` after MatchBranchSimplification
   3
   4   fn exhaustive_match(_1: E) -> u8 {
   5       debug e => _1;                       // in scope 0 at $DIR/matches_u8.rs:11:25: 11:26
   6       let mut _0: u8;                      // return place in scope 0 at $DIR/matches_u8.rs:11:34: 11:36
   7       let mut _2: isize;                   // in scope 0 at $DIR/matches_u8.rs:13:9: 13:13
   8
   9       bb0: {
  10           _2 = discriminant(_1);           // scope 0 at $DIR/matches_u8.rs:13:9: 13:13
  11           switchInt(move _2) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/matches_u8.rs:13:9: 13:13
  12       }
  13
  14       bb1: {
  15           _0 = const 1_u8;                 // scope 0 at $DIR/matches_u8.rs:14:17: 14:18
  16                                            // ty::Const
  17                                            // + ty: u8
  18                                            // + val: Value(Scalar(0x01))
  19                                            // mir::Constant
  20                                            // + span: $DIR/matches_u8.rs:14:17: 14:18
  21                                            // + literal: Const { ty: u8, val: Value(Scalar(0x01)) }
  22           goto -> bb3;                     // scope 0 at $DIR/matches_u8.rs:12:5: 15:6
  23       }
  24
  25       bb2: {
  26           _0 = const 0_u8;                 // scope 0 at $DIR/matches_u8.rs:13:17: 13:18
  27                                            // ty::Const
  28                                            // + ty: u8
  29                                            // + val: Value(Scalar(0x00))
  30                                            // mir::Constant
  31                                            // + span: $DIR/matches_u8.rs:13:17: 13:18
  32                                            // + literal: Const { ty: u8, val: Value(Scalar(0x00)) }
  33           goto -> bb3;                     // scope 0 at $DIR/matches_u8.rs:12:5: 15:6
  34       }
  35
  36       bb3: {
  37           return;                          // scope 0 at $DIR/matches_u8.rs:16:2: 16:2
  38       }
  39   }
  40