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