|  | 
| 1 |  | -- // MIR for `main` before SimplifyBranches-after-copy-prop | 
| 2 |  | -+ // MIR for `main` after SimplifyBranches-after-copy-prop | 
|  | 1 | +- // MIR for `main` before ConstProp | 
|  | 2 | ++ // MIR for `main` after ConstProp | 
| 3 | 3 | 
 | 
| 4 | 4 |  fn main() -> () { | 
| 5 | 5 |  let mut _0: (); // return place in scope 0 at $DIR/simplify_match.rs:5:11: 5:11 | 
|  | 
| 19 | 19 |  // mir::Constant | 
| 20 | 20 |  // + span: $DIR/simplify_match.rs:6:21: 6:26 | 
| 21 | 21 |  // + literal: Const { ty: bool, val: Value(Scalar(0x00)) } | 
| 22 |  | - _1 = const false; // scope 1 at $DIR/simplify_match.rs:6:28: 6:29 | 
| 23 |  | - // ty::Const | 
| 24 |  | - // + ty: bool | 
| 25 |  | - // + val: Value(Scalar(0x00)) | 
| 26 |  | - // mir::Constant | 
| 27 |  | - // + span: $DIR/simplify_match.rs:6:28: 6:29 | 
| 28 |  | - // + literal: Const { ty: bool, val: Value(Scalar(0x00)) } | 
|  | 22 | +- _1 = _2; // scope 1 at $DIR/simplify_match.rs:6:28: 6:29 | 
|  | 23 | ++ _1 = const false; // scope 1 at $DIR/simplify_match.rs:6:28: 6:29 | 
|  | 24 | ++ // ty::Const | 
|  | 25 | ++ // + ty: bool | 
|  | 26 | ++ // + val: Value(Scalar(0x00)) | 
|  | 27 | ++ // mir::Constant | 
|  | 28 | ++ // + span: $DIR/simplify_match.rs:6:28: 6:29 | 
|  | 29 | ++ // + literal: Const { ty: bool, val: Value(Scalar(0x00)) } | 
| 29 | 30 |  StorageDead(_2); // scope 0 at $DIR/simplify_match.rs:6:30: 6:31 | 
| 30 |  | - goto -> bb1; // scope 0 at $DIR/simplify_match.rs:7:9: 7:13 | 
|  | 31 | +- switchInt(_1) -> [false: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify_match.rs:7:9: 7:13 | 
|  | 32 | ++ switchInt(const false) -> [false: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify_match.rs:7:9: 7:13 | 
|  | 33 | ++ // ty::Const | 
|  | 34 | ++ // + ty: bool | 
|  | 35 | ++ // + val: Value(Scalar(0x00)) | 
|  | 36 | ++ // mir::Constant | 
|  | 37 | ++ // + span: $DIR/simplify_match.rs:7:9: 7:13 | 
|  | 38 | ++ // + literal: Const { ty: bool, val: Value(Scalar(0x00)) } | 
| 31 | 39 |  } | 
| 32 | 40 | 
 | 
| 33 | 41 |  bb1: { | 
|  | 
0 commit comments