]>
Commit | Line | Data |
---|---|---|
ba9703b0 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/issue-66971.rs:15:11: 15:11 | |
6 | let _1: (); // in scope 0 at $DIR/issue-66971.rs:16:5: 16:23 | |
7 | let mut _2: ((), u8, u8); // in scope 0 at $DIR/issue-66971.rs:16:12: 16:22 | |
8 | let mut _3: (); // in scope 0 at $DIR/issue-66971.rs:16:13: 16:15 | |
9 | ||
10 | bb0: { | |
f9f354fc XL |
11 | StorageLive(_1); // scope 0 at $DIR/issue-66971.rs:16:5: 16:23 |
12 | StorageLive(_2); // scope 0 at $DIR/issue-66971.rs:16:12: 16:22 | |
13 | StorageLive(_3); // scope 0 at $DIR/issue-66971.rs:16:13: 16:15 | |
14 | - _3 = (); // scope 0 at $DIR/issue-66971.rs:16:13: 16:15 | |
15 | + _3 = const (); // scope 0 at $DIR/issue-66971.rs:16:13: 16:15 | |
ba9703b0 XL |
16 | + // ty::Const |
17 | + // + ty: () | |
18 | + // + val: Value(Scalar(<ZST>)) | |
19 | + // mir::Constant | |
20 | + // + span: $DIR/issue-66971.rs:16:13: 16:15 | |
21 | + // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) } | |
f035d41b | 22 | _2 = (move _3, const 0_u8, const 0_u8); // scope 0 at $DIR/issue-66971.rs:16:12: 16:22 |
ba9703b0 XL |
23 | // ty::Const |
24 | // + ty: u8 | |
25 | // + val: Value(Scalar(0x00)) | |
26 | // mir::Constant | |
27 | // + span: $DIR/issue-66971.rs:16:17: 16:18 | |
28 | // + literal: Const { ty: u8, val: Value(Scalar(0x00)) } | |
29 | // ty::Const | |
30 | // + ty: u8 | |
31 | // + val: Value(Scalar(0x00)) | |
32 | // mir::Constant | |
33 | // + span: $DIR/issue-66971.rs:16:20: 16:21 | |
34 | // + literal: Const { ty: u8, val: Value(Scalar(0x00)) } | |
f9f354fc XL |
35 | StorageDead(_3); // scope 0 at $DIR/issue-66971.rs:16:21: 16:22 |
36 | _1 = const encode(move _2) -> bb1; // scope 0 at $DIR/issue-66971.rs:16:5: 16:23 | |
ba9703b0 XL |
37 | // ty::Const |
38 | // + ty: fn(((), u8, u8)) {encode} | |
39 | // + val: Value(Scalar(<ZST>)) | |
40 | // mir::Constant | |
41 | // + span: $DIR/issue-66971.rs:16:5: 16:11 | |
42 | // + literal: Const { ty: fn(((), u8, u8)) {encode}, val: Value(Scalar(<ZST>)) } | |
43 | } | |
44 | ||
45 | bb1: { | |
f9f354fc XL |
46 | StorageDead(_2); // scope 0 at $DIR/issue-66971.rs:16:22: 16:23 |
47 | StorageDead(_1); // scope 0 at $DIR/issue-66971.rs:16:23: 16:24 | |
48 | _0 = const (); // scope 0 at $DIR/issue-66971.rs:15:11: 17:2 | |
ba9703b0 XL |
49 | // ty::Const |
50 | // + ty: () | |
51 | // + val: Value(Scalar(<ZST>)) | |
52 | // mir::Constant | |
53 | // + span: $DIR/issue-66971.rs:15:11: 17:2 | |
54 | // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) } | |
f9f354fc | 55 | return; // scope 0 at $DIR/issue-66971.rs:17:2: 17:2 |
ba9703b0 XL |
56 | } |
57 | } | |
58 |