]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/switch_int.rs:6:11: 6:11 | |
6 | let mut _1: i32; // in scope 0 at $DIR/switch_int.rs:7:11: 7:12 | |
7 | ||
8 | bb0: { | |
9 | StorageLive(_1); // scope 0 at $DIR/switch_int.rs:7:11: 7:12 | |
10 | _1 = const 1_i32; // scope 0 at $DIR/switch_int.rs:7:11: 7:12 | |
94222f64 XL |
11 | - switchInt(_1) -> [1_i32: bb2, otherwise: bb1]; // scope 0 at $DIR/switch_int.rs:7:5: 7:12 |
12 | + switchInt(const 1_i32) -> [1_i32: bb2, otherwise: bb1]; // scope 0 at $DIR/switch_int.rs:7:5: 7:12 | |
3dfed10e XL |
13 | } |
14 | ||
15 | bb1: { | |
16 | _0 = foo(const -1_i32) -> bb3; // scope 0 at $DIR/switch_int.rs:9:14: 9:21 | |
17 | // mir::Constant | |
18 | // + span: $DIR/switch_int.rs:9:14: 9:17 | |
19 | // + literal: Const { ty: fn(i32) {foo}, val: Value(Scalar(<ZST>)) } | |
20 | } | |
21 | ||
22 | bb2: { | |
23 | _0 = foo(const 0_i32) -> bb3; // scope 0 at $DIR/switch_int.rs:8:14: 8:20 | |
24 | // mir::Constant | |
25 | // + span: $DIR/switch_int.rs:8:14: 8:17 | |
26 | // + literal: Const { ty: fn(i32) {foo}, val: Value(Scalar(<ZST>)) } | |
27 | } | |
28 | ||
29 | bb3: { | |
30 | StorageDead(_1); // scope 0 at $DIR/switch_int.rs:11:1: 11:2 | |
31 | return; // scope 0 at $DIR/switch_int.rs:11:2: 11:2 | |
32 | } | |
33 | } | |
34 |