| - // MIR for `test` before CopyPropagation |
| + // MIR for `test` after CopyPropagation |
| |
| fn test(_1: u32) -> u32 { |
| debug x => _1; // in scope 0 at $DIR/copy_propagation.rs:3:9: 3:10 |
| let mut _0: u32; // return place in scope 0 at $DIR/copy_propagation.rs:3:20: 3:23 |
| let _2: u32; // in scope 0 at $DIR/copy_propagation.rs:4:9: 4:10 |
| scope 1 { |
| debug y => _0; // in scope 1 at $DIR/copy_propagation.rs:4:9: 4:10 |
| } |
| |
| bb0: { |
| nop; // scope 0 at $DIR/copy_propagation.rs:4:9: 4:10 |
| _0 = _1; // scope 0 at $DIR/copy_propagation.rs:4:13: 4:14 |
| nop; // scope 1 at $DIR/copy_propagation.rs:5:5: 5:6 |
| nop; // scope 0 at $DIR/copy_propagation.rs:6:1: 6:2 |
| return; // scope 0 at $DIR/copy_propagation.rs:6:2: 6:2 |
| } |
| } |
| |