summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/retag.{impl#0}-foo.SimplifyCfg-elaborate-drops.after.mir
blob: e395fdb274f371428523f04d78077e32b5b87510 (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:11:1: 11:10>::foo` after SimplifyCfg-elaborate-drops

fn <impl at $DIR/retag.rs:11:1: 11: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:5: +2:6
        Retag([fn entry] _2);            // scope 0 at $DIR/retag.rs:+0:5: +2:6
        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
    }
}