]>
Commit | Line | Data |
---|---|---|
29967ef6 XL |
1 | - // MIR for `arg_src` before DestinationPropagation |
2 | + // MIR for `arg_src` after DestinationPropagation | |
3 | ||
4 | fn arg_src(_1: i32) -> i32 { | |
923072b8 | 5 | debug x => const 123_i32; // in scope 0 at $DIR/copy_propagation_arg.rs:27:12: 27:17 |
29967ef6 XL |
6 | let mut _0: i32; // return place in scope 0 at $DIR/copy_propagation_arg.rs:27:27: 27:30 |
7 | let _2: i32; // in scope 0 at $DIR/copy_propagation_arg.rs:28:9: 28:10 | |
8 | scope 1 { | |
9 | - debug y => _2; // in scope 1 at $DIR/copy_propagation_arg.rs:28:9: 28:10 | |
10 | + debug y => _0; // in scope 1 at $DIR/copy_propagation_arg.rs:28:9: 28:10 | |
11 | } | |
12 | ||
13 | bb0: { | |
14 | - StorageLive(_2); // scope 0 at $DIR/copy_propagation_arg.rs:28:9: 28:10 | |
15 | - _2 = _1; // scope 0 at $DIR/copy_propagation_arg.rs:28:13: 28:14 | |
16 | + nop; // scope 0 at $DIR/copy_propagation_arg.rs:28:9: 28:10 | |
17 | + _0 = _1; // scope 0 at $DIR/copy_propagation_arg.rs:28:13: 28:14 | |
923072b8 | 18 | nop; // scope 1 at $DIR/copy_propagation_arg.rs:29:5: 29:12 |
29967ef6 XL |
19 | - _0 = _2; // scope 1 at $DIR/copy_propagation_arg.rs:30:5: 30:6 |
20 | - StorageDead(_2); // scope 0 at $DIR/copy_propagation_arg.rs:31:1: 31:2 | |
21 | + nop; // scope 1 at $DIR/copy_propagation_arg.rs:30:5: 30:6 | |
22 | + nop; // scope 0 at $DIR/copy_propagation_arg.rs:31:1: 31:2 | |
23 | return; // scope 0 at $DIR/copy_propagation_arg.rs:31:2: 31:2 | |
24 | } | |
25 | } | |
26 |