blob: 6a89e45843b9bb7f422bc7dbeb43ddb81d7e8a33 (
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
|
- // MIR for `d2` before SimplifyLocals
+ // MIR for `d2` after SimplifyLocals
fn d2() -> () {
let mut _0: (); // return place in scope 0 at $DIR/simplify-locals.rs:+0:9: +0:9
- let mut _1: E; // in scope 0 at $DIR/simplify-locals.rs:+2:22: +2:26
- let mut _2: (i32, E); // in scope 0 at $DIR/simplify-locals.rs:+2:5: +2:17
- let mut _3: E; // in scope 0 at $DIR/simplify-locals.rs:+2:11: +2:15
bb0: {
- StorageLive(_1); // scope 0 at $DIR/simplify-locals.rs:+2:22: +2:26
- Deinit(_1); // scope 0 at $DIR/simplify-locals.rs:+2:22: +2:26
- discriminant(_1) = 1; // scope 0 at $DIR/simplify-locals.rs:+2:22: +2:26
- StorageLive(_2); // scope 0 at $DIR/simplify-locals.rs:+2:5: +2:17
- StorageLive(_3); // scope 0 at $DIR/simplify-locals.rs:+2:11: +2:15
- Deinit(_3); // scope 0 at $DIR/simplify-locals.rs:+2:11: +2:15
- discriminant(_3) = 0; // scope 0 at $DIR/simplify-locals.rs:+2:11: +2:15
- Deinit(_2); // scope 0 at $DIR/simplify-locals.rs:+2:6: +2:16
- (_2.0: i32) = const 10_i32; // scope 0 at $DIR/simplify-locals.rs:+2:6: +2:16
- (_2.1: E) = move _3; // scope 0 at $DIR/simplify-locals.rs:+2:6: +2:16
- StorageDead(_3); // scope 0 at $DIR/simplify-locals.rs:+2:15: +2:16
- (_2.1: E) = move _1; // scope 0 at $DIR/simplify-locals.rs:+2:5: +2:26
- StorageDead(_1); // scope 0 at $DIR/simplify-locals.rs:+2:25: +2:26
- StorageDead(_2); // scope 0 at $DIR/simplify-locals.rs:+2:26: +2:27
_0 = const (); // scope 0 at $DIR/simplify-locals.rs:+0:9: +3:2
return; // scope 0 at $DIR/simplify-locals.rs:+3:2: +3:2
}
}
|