summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/retag.{impl#0}-foo.SimplifyCfg-elaborate-drops.after.mir
blob: 08fd655ae29bb979f6161bc63c8886cadee45b50 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// MIR for `<impl at $DIR/retag.rs:12:1: 12:10>::foo` after SimplifyCfg-elaborate-drops

fn <impl at $DIR/retag.rs:12:1: 12:10>::foo(_1: &Test, _2: &mut i32) -> &mut i32 {
    debug self => _1;                    // in scope 0 at $DIR/retag.rs:+0:16: +0:21
    debug x => _2;                       // in scope 0 at $DIR/retag.rs:+0:23: +0:24
    let mut _0: &mut i32;                // return place in scope 0 at $DIR/retag.rs:+0:42: +0:53
    let mut _3: &mut i32;                // in scope 0 at $DIR/retag.rs:+1:9: +1:10

    bb0: {
        Retag([fn entry] _1);            // scope 0 at $DIR/retag.rs:+0:16: +0:21
        Retag([fn entry] _2);            // scope 0 at $DIR/retag.rs:+0:23: +0:24
        StorageLive(_3);                 // scope 0 at $DIR/retag.rs:+1:9: +1:10
        _3 = &mut (*_2);                 // scope 0 at $DIR/retag.rs:+1:9: +1:10
        Retag(_3);                       // scope 0 at $DIR/retag.rs:+1:9: +1:10
        _0 = &mut (*_3);                 // scope 0 at $DIR/retag.rs:+1:9: +1:10
        Retag(_0);                       // scope 0 at $DIR/retag.rs:+1:9: +1:10
        StorageDead(_3);                 // scope 0 at $DIR/retag.rs:+2:5: +2:6
        return;                          // scope 0 at $DIR/retag.rs:+2:6: +2:6
    }
}