1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
- // MIR for `main` before ConstDebugInfo
+ // MIR for `main` after ConstDebugInfo
fn main() -> () {
let mut _0: ();
let _1: u8;
let mut _5: u8;
let mut _6: u8;
let mut _7: u8;
let mut _8: u8;
let mut _12: u32;
let mut _13: u32;
scope 1 {
- debug x => _1;
+ debug x => const 1_u8;
let _2: u8;
scope 2 {
- debug y => _2;
+ debug y => const 2_u8;
let _3: u8;
scope 3 {
- debug z => _3;
+ debug z => const 3_u8;
let _4: u8;
scope 4 {
- debug sum => _4;
+ debug sum => const 6_u8;
let _9: &str;
scope 5 {
- debug s => _9;
+ debug s => const "hello, world!";
let _14: bool;
let _15: bool;
let _16: u32;
scope 6 {
- debug ((f: (bool, bool, u32)).0: bool) => _14;
- debug ((f: (bool, bool, u32)).1: bool) => _15;
- debug ((f: (bool, bool, u32)).2: u32) => _16;
+ debug ((f: (bool, bool, u32)).0: bool) => const true;
+ debug ((f: (bool, bool, u32)).1: bool) => const false;
+ debug ((f: (bool, bool, u32)).2: u32) => const 123_u32;
let _10: std::option::Option<u16>;
scope 7 {
debug o => _10;
let _17: u32;
let _18: u32;
scope 8 {
- debug ((p: Point).0: u32) => _17;
- debug ((p: Point).1: u32) => _18;
+ debug ((p: Point).0: u32) => const 32_u32;
+ debug ((p: Point).1: u32) => const 32_u32;
let _11: u32;
scope 9 {
- debug a => _11;
+ debug a => const 64_u32;
}
}
}
}
}
}
}
}
}
bb0: {
_1 = const 1_u8;
_2 = const 2_u8;
_3 = const 3_u8;
StorageLive(_4);
StorageLive(_5);
_5 = const 3_u8;
_4 = const 6_u8;
StorageDead(_5);
StorageLive(_9);
_9 = const "hello, world!";
StorageLive(_14);
StorageLive(_15);
StorageLive(_16);
_14 = const true;
_15 = const false;
_16 = const 123_u32;
StorageLive(_10);
_10 = Option::<u16>::Some(const 99_u16);
_17 = const 32_u32;
_18 = const 32_u32;
StorageLive(_11);
_11 = const 64_u32;
StorageDead(_11);
StorageDead(_10);
StorageDead(_14);
StorageDead(_15);
StorageDead(_16);
StorageDead(_9);
StorageDead(_4);
return;
}
}
|
