]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | - // MIR for `main` before SimplifyCfg-early-opt |
2 | + // MIR for `main` after SimplifyCfg-early-opt | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/simplify_cfg.rs:5:11: 5:11 | |
6 | let mut _1: (); // in scope 0 at $DIR/simplify_cfg.rs:5:1: 11:2 | |
7 | let mut _2: bool; // in scope 0 at $DIR/simplify_cfg.rs:7:12: 7:17 | |
8 | let mut _3: !; // in scope 0 at $DIR/simplify_cfg.rs:7:18: 9:10 | |
9 | ||
10 | bb0: { | |
f9f354fc | 11 | - goto -> bb1; // scope 0 at $DIR/simplify_cfg.rs:6:5: 10:6 |
ba9703b0 XL |
12 | - } |
13 | - | |
14 | - bb1: { | |
f9f354fc | 15 | StorageLive(_2); // scope 0 at $DIR/simplify_cfg.rs:7:12: 7:17 |
3dfed10e XL |
16 | - _2 = bar() -> bb3; // scope 0 at $DIR/simplify_cfg.rs:7:12: 7:17 |
17 | + _2 = bar() -> bb1; // scope 0 at $DIR/simplify_cfg.rs:7:12: 7:17 | |
ba9703b0 XL |
18 | // mir::Constant |
19 | // + span: $DIR/simplify_cfg.rs:7:12: 7:15 | |
20 | // + literal: Const { ty: fn() -> bool {bar}, val: Value(Scalar(<ZST>)) } | |
21 | } | |
22 | ||
23 | - bb2 (cleanup): { | |
f9f354fc | 24 | - resume; // scope 0 at $DIR/simplify_cfg.rs:5:1: 11:2 |
ba9703b0 | 25 | + bb1: { |
f9f354fc | 26 | + switchInt(_2) -> [false: bb2, otherwise: bb3]; // scope 0 at $DIR/simplify_cfg.rs:7:9: 9:10 |
ba9703b0 XL |
27 | } |
28 | ||
29 | - bb3: { | |
f9f354fc XL |
30 | - nop; // scope 0 at $DIR/simplify_cfg.rs:7:12: 7:17 |
31 | - switchInt(_2) -> [false: bb5, otherwise: bb4]; // scope 0 at $DIR/simplify_cfg.rs:7:9: 9:10 | |
ba9703b0 XL |
32 | - } |
33 | - | |
34 | - bb4: { | |
f9f354fc | 35 | - goto -> bb6; // scope 0 at $DIR/simplify_cfg.rs:7:9: 9:10 |
ba9703b0 XL |
36 | - } |
37 | - | |
38 | - bb5: { | |
ba9703b0 | 39 | + bb2: { |
f9f354fc | 40 | _1 = const (); // scope 0 at $DIR/simplify_cfg.rs:7:9: 9:10 |
f9f354fc XL |
41 | StorageDead(_2); // scope 0 at $DIR/simplify_cfg.rs:10:5: 10:6 |
42 | goto -> bb0; // scope 0 at $DIR/simplify_cfg.rs:6:5: 10:6 | |
ba9703b0 XL |
43 | } |
44 | ||
45 | - bb6: { | |
ba9703b0 | 46 | + bb3: { |
f9f354fc | 47 | _0 = const (); // scope 0 at $DIR/simplify_cfg.rs:8:13: 8:18 |
f9f354fc XL |
48 | StorageDead(_2); // scope 0 at $DIR/simplify_cfg.rs:10:5: 10:6 |
49 | return; // scope 0 at $DIR/simplify_cfg.rs:11:2: 11:2 | |
ba9703b0 XL |
50 | } |
51 | } | |
52 |