blob: 445d9895d6a8f4d2061ec6f845561b3b42a821ef (
plain)
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
|
- // MIR for `foo` before ConstProp
+ // MIR for `foo` after ConstProp
fn foo() -> () {
let mut _0: ();
let mut _1: (i32,);
let mut _2: &mut i32;
let mut _4: i32;
scope 1 {
debug u => _1;
let _3: bool;
scope 2 {
debug y => _3;
}
}
bb0: {
StorageLive(_1);
_1 = (const 1_i32,);
StorageLive(_2);
_2 = &mut (_1.0: i32);
(*_2) = const 5_i32;
StorageDead(_2);
StorageLive(_3);
StorageLive(_4);
_4 = (_1.0: i32);
_3 = Eq(move _4, const 5_i32);
StorageDead(_4);
_0 = const ();
StorageDead(_3);
StorageDead(_1);
return;
}
}
|