]>
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) -> () { | |
064997fb FG |
5 | debug x => _1; // in scope 0 at $DIR/copy_propagation_arg.rs:+0:8: +0:13 |
6 | let mut _0: (); // return place in scope 0 at $DIR/copy_propagation_arg.rs:+0:19: +0:19 | |
7 | let mut _2: u8; // in scope 0 at $DIR/copy_propagation_arg.rs:+2:9: +2:17 | |
8 | let mut _3: u8; // in scope 0 at $DIR/copy_propagation_arg.rs:+2:15: +2:16 | |
ba9703b0 XL |
9 | |
10 | bb0: { | |
064997fb FG |
11 | StorageLive(_2); // scope 0 at $DIR/copy_propagation_arg.rs:+2:9: +2:17 |
12 | StorageLive(_3); // scope 0 at $DIR/copy_propagation_arg.rs:+2:15: +2:16 | |
13 | _3 = _1; // scope 0 at $DIR/copy_propagation_arg.rs:+2:15: +2:16 | |
14 | _2 = dummy(move _3) -> bb1; // scope 0 at $DIR/copy_propagation_arg.rs:+2:9: +2:17 | |
ba9703b0 XL |
15 | // mir::Constant |
16 | // + span: $DIR/copy_propagation_arg.rs:11:9: 11:14 | |
064997fb | 17 | // + literal: Const { ty: fn(u8) -> u8 {dummy}, val: Value(<ZST>) } |
ba9703b0 XL |
18 | } |
19 | ||
20 | bb1: { | |
064997fb FG |
21 | StorageDead(_3); // scope 0 at $DIR/copy_propagation_arg.rs:+2:16: +2:17 |
22 | nop; // scope 0 at $DIR/copy_propagation_arg.rs:+2:5: +2:17 | |
23 | StorageDead(_2); // scope 0 at $DIR/copy_propagation_arg.rs:+2:16: +2:17 | |
24 | nop; // scope 0 at $DIR/copy_propagation_arg.rs:+0:19: +3:2 | |
25 | return; // scope 0 at $DIR/copy_propagation_arg.rs:+3:2: +3:2 | |
ba9703b0 XL |
26 | } |
27 | } | |
28 |