|
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