]>
Commit | Line | Data |
---|---|---|
29967ef6 XL |
1 | - // MIR for `foo` before DestinationPropagation |
2 | + // MIR for `foo` after DestinationPropagation | |
ba9703b0 XL |
3 | |
4 | fn foo(_1: u8) -> () { | |
5 | debug x => _1; // in scope 0 at $DIR/copy_propagation_arg.rs:9:8: 9:13 | |
6 | let mut _0: (); // return place in scope 0 at $DIR/copy_propagation_arg.rs:9:19: 9:19 | |
7 | let mut _2: u8; // in scope 0 at $DIR/copy_propagation_arg.rs:11:9: 11:17 | |
8 | let mut _3: u8; // in scope 0 at $DIR/copy_propagation_arg.rs:11:15: 11:16 | |
9 | ||
10 | bb0: { | |
29967ef6 XL |
11 | - StorageLive(_2); // scope 0 at $DIR/copy_propagation_arg.rs:11:9: 11:17 |
12 | + nop; // scope 0 at $DIR/copy_propagation_arg.rs:11:9: 11:17 | |
f9f354fc XL |
13 | StorageLive(_3); // scope 0 at $DIR/copy_propagation_arg.rs:11:15: 11:16 |
14 | _3 = _1; // scope 0 at $DIR/copy_propagation_arg.rs:11:15: 11:16 | |
29967ef6 XL |
15 | - _2 = dummy(move _3) -> bb1; // scope 0 at $DIR/copy_propagation_arg.rs:11:9: 11:17 |
16 | + _1 = dummy(move _3) -> bb1; // scope 0 at $DIR/copy_propagation_arg.rs:11:9: 11:17 | |
ba9703b0 XL |
17 | // mir::Constant |
18 | // + span: $DIR/copy_propagation_arg.rs:11:9: 11:14 | |
19 | // + literal: Const { ty: fn(u8) -> u8 {dummy}, val: Value(Scalar(<ZST>)) } | |
20 | } | |
21 | ||
22 | bb1: { | |
f9f354fc | 23 | StorageDead(_3); // scope 0 at $DIR/copy_propagation_arg.rs:11:16: 11:17 |
29967ef6 XL |
24 | - _1 = move _2; // scope 0 at $DIR/copy_propagation_arg.rs:11:5: 11:17 |
25 | - StorageDead(_2); // scope 0 at $DIR/copy_propagation_arg.rs:11:16: 11:17 | |
26 | + nop; // scope 0 at $DIR/copy_propagation_arg.rs:11:5: 11:17 | |
27 | + nop; // scope 0 at $DIR/copy_propagation_arg.rs:11:16: 11:17 | |
cdc7bbd5 | 28 | nop; // scope 0 at $DIR/copy_propagation_arg.rs:9:19: 12:2 |
f9f354fc | 29 | return; // scope 0 at $DIR/copy_propagation_arg.rs:12:2: 12:2 |
ba9703b0 XL |
30 | } |
31 | } | |
32 |